olivia-banks

8 ms·

91.
by olivia-banks 1y ago
It's incredible they've lasted this long.
92.
by olivia-banks 1y ago
> OCaml is weird in that it’s a garbage collected language for systems, similar to Go. I don't understand why this isn't more popular. For most areas, I'd gladly take a garbage collector over manual memory management or ex
93.
by olivia-banks 1y ago
I'd say that functional programming is probably one of the only domains where linked lists actually make sense. Vectors certainty have their use in more places though.
94.
by olivia-banks 1y ago
> It just genuinely felt like the Go language designers didn’t want to engage with any of the ideas coming from functional programming. You'd be right. "The key point here is our programmers are Googlers, they’re not researcher
95.
by olivia-banks 1y ago
I did a small small experiment in dependent typing for Python (and catching those errors before run time). It's a decently good fit, and with HM Type inference some neat things just fall out of the design. But the real challenge is dec
96.
by olivia-banks 1y ago
I love how this is written. A lot of things nowadays on this site, if only vaguely, make me think it was written in part by an LLM, but this didn’t fall into that category. Great read, bravo!
97.
by olivia-banks 1y ago
Donated!! I run a small cluster of a few nodes I bought for cheap, and I’m experimenting with SSI on them. The kernel is really nice to read and modify.
98.
by olivia-banks 1y ago
I'm toying around with a language that's like Python but with Hindley-Miller interference and some functional stuff. It's not a superset or anything, because I can't do that, but it's interesting how well HM (plus s
99.
by olivia-banks 1y ago
I remember seeing this a while ago when I was on an OS kick, I thought it died!
100.
by olivia-banks 1y ago
Font showcase websites are frequently some of my favorites from a design perspective. This stuff just looks awesome.
101.
by olivia-banks 1y ago
This whole thing seems very strange to me, but maybe I’m missing the point. > API services paid per request Given that this runs atop Payment Required, doesn’t this mean that each API request would involve an extra one or two data transf
102.
by olivia-banks 1y ago
I love Valgrind, but since my main development machine is an M3, I don’t get to use it nearly as much as I would like.
103.
by olivia-banks 1y ago
Seconding AngelScript, but there’s also Squirrel, and a myriad of other C/Lua-like languages. AngelScript’s interop story is really cool, though.
104.
by olivia-banks 1y ago
C++ is considered to be a typically compiled language by the majority of people. But you’re right, I should have said that it makes GCC look like a C++ interpreter.
105.
by olivia-banks 1y ago
Yeah, I was referring to the details. It looks like it calls internally into both tools, but not after doing some messing with the binary sections.
106.
by olivia-banks 1y ago
There’s definitely a space for these highly-specialised filesystems. You wouldn’t want to use this as your /home FS, nor would you want to use ext4 or something similar for what they’re trying to do.
107.
by olivia-banks 1y ago
I think it definitely depends on the software. GNU GCC coreutils/binutils are a nightmare to build if you're trying to build it on a system more than 15 years its junior.
108.
by olivia-banks 1y ago
As far as I can tell, it looks like a wrapper for cc1plus (internal GCC tool) and ld that do a custom #define of some input data, compile, extract some data from the binary, and do... something with it. Makes it look like C++ is an interpre
109.
by olivia-banks 1y ago
I wish all projects like these had some sort of documentation as to how they worked. All I can see is that the `-B` flag tells GCC to look in the ased directory for internal binaries (cc1plus and ld), but anything other than that would requ
110.
by olivia-banks 1y ago
> TernFS is designed for XTX data center needs of maxing out at around 10EB of logical file storage, around one trillion files and 100 billion directories with around one million clients. All running atop commodity hardware and Ethernet
111.
by olivia-banks 1y ago
I stand corrected! It would be interesting to try and use the Zig linker for something else, would be a neat weekend project.
112.
by olivia-banks 1y ago
Yeah, this is one of the bigger pain points (that and no dynamic stack allocation). I got around this by defining anonymous functions and then calling between them (using `@call(.always-tail, ...)` where possible to avoid stack-frame overhe
113.
by olivia-banks 1y ago
I agree with the "off" part. I've thought maybe it's the syntax? It's unclear, but I'm just hoping the feeling will go away! I find the IO changes to be strange, it's almost as if Zig is encoding an effect
114.
by olivia-banks 1y ago
Interesting. OCaml cross compilation scared me the one time I considered it, so it's nice to know this is an option. I will be pedantic and say it isn't a replacement for a custom sysroot/binutils/whatnot, since it reall
115.
by olivia-banks 1y ago
They're also getting an aarch64 backend soon (or has it already landed)? Really looking forward to this one for development on my Mac! My point was that Zig uses their backends (which includes their homegrown ones), but since `zig cc`
116.
by olivia-banks 1y ago
Looking in the source tree, it doesn't look like it has it's own entry point. Zig is heading in the direction of a very verticall integrated compilation stack (I believe this is where most of the speed up comes from), so I'm
117.
by olivia-banks 1y ago
I vendor in log.c all the time for C projects! I had no idea the author was relatively prolific. Would really recommend checking out log.c, it's really easy to hack in what you need to.
118.
by olivia-banks 1y ago
I might be misunderstanding, but I don’t think that's quite accurate. As I understand it, Zig ships a Clang frontend and wraps it with precompiled sysroots. Unless they're developing an LLVM backend, I'm not sure how it could
119.
by olivia-banks 1y ago
The more I hear about Zig, the more I appreciate it. Its vertically integrated stack (with the custom linker and code-generation backends) stands out to me as a really compelling feature that enables interesting optimizations. The compiler
120.
by olivia-banks 1y ago
Cervical cancer really doesn't need to be a thing anymore, the vast majority of cases are oncoviral, and we know how to prevent HPV.

More ›