jaen

8 ms·

31.
by jaen 3mo ago
I think this is a good example of complex lifetimes involving reference cycles that can not be safely modeled by eg. Rust. Is the next step formal methods (theorem proving) or is there a less complex lifetime system still out there that c
32.
by jaen 3mo ago
You can generally configure the power button to require a 5s press or to suspend the computer in the motherboard's firmware UI (UEFI/BIOS).
33.
by jaen 3mo ago
Changelog: https://webassembly.github.io/spec/core/appendix/changes.htm...
34.
by jaen 4mo ago
Changing orientation affects which parts of the display processor are used. In general, the low power states on GPUs are very capricious. eg. from personal experience, on older Nvidia cards (1080 Ti), just adding +1Hz to the refresh rate
35.
by jaen 4mo ago
The game originally used a "voxel" engine [1], but the final release switched to affine texture mapping (with a heightmap-based terrain, still). The voxel-style engines tend to feature a longer draw distance (due to it being cheap
36.
by jaen 4mo ago
There's still speculation though - if eg. most values are of 1 or 2-byte length, you can speculate that any control-valued byte is actually control. You can even do a compensation pass to try to fix some amount of mis-speculations,
37.
by jaen 4mo ago
Right, I think we have a slightly different definition of SIMD: You mean byte-parallel, I mean "doable with SIMD instructions". I also didn't imply the performance would be better than other methods... Even though decoding
38.
by jaen 4mo ago
This doesn't seem particularly hard to SIMD, especially when the CPU architecture has "compress/expand" horizontal instructions. The first byte fully encodes the length, which is not harder than the continuation bits of
39.
by jaen 4mo ago
I think it should be possible to do P2P / relay-less communication using WebRTC? eg. https://github.com/jchorl/sendfiles Hopefully P2P WebTransport takes off soon... https://w3c.github.io/p2p-webtr
40.
by jaen 4mo ago
Your intuition is not right, I have plenty of experience with REPL-driven development, even having used all the tools you have mentioned in your post. (and Clojure Spec is exactly the runtime specification part I was referring to in my
41.
by jaen 4mo ago
I love REPL-driven development, and exploratory "programming" via small snippets is likely part of the endgame (the more the agent strays outside its comfort zone, the more it's needed). It also looks like it paradoxically sa
42.
by jaen 4mo ago
LLMs have a limited context window - similar to the limited attention span and memory of humans. LLMs also have trouble attending to many constraints at once. Therefore the best language for agents is likely the one that, on one hand erases
43.
by jaen 4mo ago
You seem to be aggressively misreading what I said, stuck in your own "world" and instead of asking for clarifying questions, making unfounded assumptions. > I began by noting that TS has literals and set theoretic types Can yo
44.
by jaen 4mo ago
References for the Quake virtual machines: Quake 1 had QuakeC: [1] https://en.wikipedia.org/wiki/QuakeC [2] Hello world in QuakeC - https://www.leonrische.me/pages/quakec_bytecode_hello_world....
45.
by jaen 4mo ago
Yeah, you're just continuing to take whatever was written argumentatively/maliciously as predicted. Does not seem like this: > Please respond to the strongest plausible interpretation of what someone says, not a weaker one that
46.
by jaen 4mo ago
OCaml and Scala, both also famously strongly typed functional languages, also have structural typing (OCaml even has many different kinds at many different levels!). Mainstream, Go is based on structural (interface) typing. The Person/
47.
by jaen 4mo ago
By Haskell's type system do you mean with all the GHC extensions? Because TypeScript has structural sub-typing, while standard Haskell (eg. `A | B | C`) has neither subtyping nor structural typing, which both are very useful features f
48.
by jaen 4mo ago
These are not what are commonly called tagged unions. It's actually closer to an untagged union. The C# union does not store any discriminator. Just look at the implementation - it's a single `object?` field. The discriminative pa
49.
by jaen 4mo ago
String literals are structural types which are way more expressive than regular (Haskell) ADTs, which are nominal types. In TS in particular, in combination with other features (mapped types), they are equivalent to row polymorphism + whate
50.
by jaen 4mo ago
err... copyright-violation-as-a-service?
51.
by jaen 4mo ago
Wow, that's pretty cool. Translating (almost) arbitrary floating point programs into weird integer programs while also preserving equivalence under non-strict floating point semantics? Mathematics can be surprisingly wonderful.
52.
by jaen 4mo ago
open access arXiv link to pre-print for those that actually want to read it: https://arxiv.org/abs/2507.03516
53.
by jaen 4mo ago
Part of FUNARCH 2025 (ACM SIGPLAN Workshop on Functional Software Architecture). Links to other talks/abstracts: https://functional-architecture.org/events/funarch-2025/
54.
by jaen 4mo ago
Yeah, I'm fully aware, no point in "works for me"-ing this. CGO_ENABLED=0 breaks nsswitch etc. and overall makes Go a poor ecosystem inhabitant. Only usable if you only care about your own system.
55.
by jaen 4mo ago
but... why not just use pnpm? It's generally a straightforward migration. It has dependency cooldowns, build scripts disabled by default, and the setting you mentioned.
56.
by jaen 4mo ago
Server platforms definitely need UEFI or something very much like it. How else can a server boot from eg. a network card that's not directly supported by the firmware? You need something like UEFI to define a standard for option ROMs,
57.
by jaen 4mo ago
Nah. Go also relies on libc if you do anything non-trivial, like look up a the IP address of localhost. $ go build -o hello main.go $ file hello && ldd hello hello: ELF 64-bit LSB executable, x86-64, version 1 (SYSV),
58.
by jaen 4mo ago
Uhh... did you read the same article? Where does it propose re-inventing the wheel? It just says "make things addressable" eg. an URL for every object. Regarding your examples, they don't even make sense in that context.. eg.
59.
by jaen 5mo ago
Noticed this myself as a VSCode-derivative user. But I think this is just because having multiple Python extensions enabled generally breaks the UX... Since VSCode doesn't really have a nice way for multiple language extensions to coop
60.
by jaen 5mo ago
Just by the (lack of) inter-model variance, I don't think SWEBench-Pro does a very good job of representing model capability. Terminal-Bench seems more challenging and separates the wheat from the chaff. Also, *ops work, which in my ex

More ›