jaen

6 ms·

31.
by jaen 4mo ago
This is like a type theory question - do you like it untyped or typed? In physics, values have units too. Analogously, you could say - why incorporate units into the algebra in physics (as is often done)? Why not just add scalars etc. and
32.
by jaen 4mo ago
Could you actually explain/exemplify any of the gotchas and what's been made better (or is this just handwaving)?
33.
by jaen 4mo ago
> -Linq is nice but has a huge caveat: if a Linq provider does not implement it fully to falls back to the .NET collections. So trying to 'Skip' and 'Take' on a ActiveDirectory will fall back to collections in memory
34.
by jaen 4mo 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
35.
by jaen 4mo 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).
36.
by jaen 4mo ago
Changelog: https://webassembly.github.io/spec/core/appendix/changes.htm...
37.
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
38.
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
39.
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,
40.
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
41.
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
42.
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
43.
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
44.
by jaen 5mo 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
45.
by jaen 5mo 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
46.
by jaen 5mo 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
47.
by jaen 5mo 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....
48.
by jaen 5mo 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
49.
by jaen 5mo 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/
50.
by jaen 5mo 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
51.
by jaen 5mo 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
52.
by jaen 5mo 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
53.
by jaen 5mo ago
err... copyright-violation-as-a-service?
54.
by jaen 5mo 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.
55.
by jaen 5mo ago
open access arXiv link to pre-print for those that actually want to read it: https://arxiv.org/abs/2507.03516
56.
by jaen 5mo ago
Part of FUNARCH 2025 (ACM SIGPLAN Workshop on Functional Software Architecture). Links to other talks/abstracts: https://functional-architecture.org/events/funarch-2025/
57.
by jaen 5mo 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.
58.
by jaen 5mo 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.
59.
by jaen 5mo 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,
60.
by jaen 5mo 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),

More ›