chris_armstrong

7 ms·

31.
by chris_armstrong 1y ago
If I recall correctly, this is one of the final pieces that allows zig to be used as a fully self-contained cross-compiling C toolchain (once its linker is enabled for more platforms / formats)
32.
by chris_armstrong 1y ago
Damn this is a blast from the past - it was such an ambitious project with so many interesting ideas to explore. CoreObject itself was revolutionary in its thinking about distributed document sharing and versioning, let alone some of deskto
33.
by chris_armstrong 1y ago
I almost never find a use for GADTs or functors or carefully specifying module types, but when I need them, they help me get stuff done neatly. Even the object system which most OCaml developers avoid, is actually very useful for some speci
34.
by chris_armstrong 1y ago
As someone who uses OCaml for hobby projects, I appreciate how little the language gets in your way when you want to just “get shit done”, despite the language’s origins in academia and industrial uses. The type system usually means that I
35.
by chris_armstrong 1y ago
Onlynulls, the subscription-only service you’d be too ashamed to have your supervisor find you on.
36.
by chris_armstrong 1y ago
I think the tragedy is that we don't have fluid ways to move between them, that these different development modes (solitary and social, dynamic and static) have produced philosophically and practically incompatible tools and methodolog
37.
by chris_armstrong 1y ago
The author spends a lot time describing programming as a solitary activity (discovery, analysis) using like metaphors (poets, explorers, etc) and draws his conclusions thus, emphasizing the malleability of LISPs and Smalltalk as ideal for t
38.
by chris_armstrong 1y ago
The wildest claims are those of increased labor productivity and economic growth: if they were true, our energy consumption would be increasing wildly beyond our current capacity to add more (dwarfing the increase from AI itself). Productiv
39.
by chris_armstrong 1y ago
Might I add - this isn't limited to languages like TypeScript which simply try and make underlying untyped languages (like JavaScript) safer. It affects well-designed strongly-and-statically-typed-from-the-ground-up languages which hav
40.
by chris_armstrong 1y ago
Many of the highlighted problems come from TypeScript allowing such complex type definitions in the first place, which in turn stems from JavaScript allowing such an open and untyped (and yet convenient) compositional model. The expressiv
41.
by chris_armstrong 2y ago
OCaml The compiler is very fast, even over large codebases. Mostly trying to bring AWS tooling to the platform[1], or experimenting with cross-compilation[2] using another less well known systems language, zig. [1] https://github
42.
by chris_armstrong 2y ago
I hate Java just as much, but at least it’s trying to improve and grow beyond its past limitations, instead of promoting bad design decisions as good for the programmer.
43.
by chris_armstrong 2y ago
A recent book, the Light Eaters, summarises much of the recent research into plant behaviour like this, including how maligned and misreported it has been over the past 50 years or so.
44.
Removing Unused Code in OCaml(chrisarmstrong.dev)
2 points by chris_armstrong 2y ago|0 comments
45.
by chris_armstrong 2y ago
Investigating tree-shaking in OCaml (tldr; there isn't any, but it's been discussed a lot over the past 8 years) https://www.chrisarmstrong.dev/posts/dead-code-elimination-d...
46.
What we didn't learn from the past(chrisarmstrong.dev)
2 points by chris_armstrong 2y ago|0 comments
47.
by chris_armstrong 2y ago
Although Docs have almost given up making in Northampton, you'll still find a number of shoemakers producing good quality boots that should last a decade or more. You'll be paying £250-£500 as you guessed.
48.
by chris_armstrong 2y ago
It's different degrees of the same thing I would have thought. If you're running your own box, you still depend on network infrastructure and uplink of a service provider, whereas a cloud infrastructure provider may go the other w
49.
by chris_armstrong 2y ago
Interesting to see Sydney Water put their sponsorship near the top of this. So much of Sydney including its larger rivers and waterholes are swimmable. Even our unique (but not very well known) ocean pools make many of our more dangerous su
50.
by chris_armstrong 2y ago
> I am a simple sole, I want to reduce the cognitive load in my web projects. The general idea is to go back to the halcyon early days of the web before Netscape dropped the JS-bomb. You know HTML for the layout and CSS for the style. An
51.
by chris_armstrong 2y ago
You’d think conveyancing would be cheaper here, but you’re still spending $2-3k on who knows what to transact property. At least the process is quick and final compared to the mess in other common law jurisdictions
52.
by chris_armstrong 2y ago
This whole situation is absolutely bizarre to me as an Australian. Our states converted to a system of centrally registered title (also known as Torrens title) over a hundred years ago to avoid the “old system” problem of tracing ownership
53.
by chris_armstrong 2y ago
I'd love to do something like this for Australian native plants. It seems like quite a lot of work though!
54.
by chris_armstrong 3y ago
A similar idea [^1] has cropped up in the serverless OpenTelemetry world to collate OpenTelemetry spans in a Kinesis stream before forwarding them to a third-party service for analysis, obviating the need for a separate collector, reducing
55.
by chris_armstrong 3y ago
Absolutely amazing, I know about page tables and the like but tying it to performance analysis with `perf` makes it clear how central it is to throughput
56.
by chris_armstrong 3y ago
I'm the organizer of a social meetup in Sydney for LGBTQIA+ scientists, engineers and technologists.[^1] We still mostly find new members through the platform and word-of-mouth (probably about 50-50), but compared to pre-pandemic, the
57.
by chris_armstrong 3y ago
The proposed solution to market monopolisation by Amazon seems to boil down to the old refrain, "design better markets", with a lament for the innovation and freedom of the old anarchistic (i.e. unregulated) web. It's a touch
58.
by chris_armstrong 3y ago
i love lazyvim, as someone who is productive with vim movements and keyboard macros, but has zero interest in learning every inch of the vim plugin ecosystem and writing the corresponding lua to configure it. In fact, I've found it eas
59.
by chris_armstrong 3y ago
You could take the perspective that this is art, and sometimes art sets constraints on how the viewer can experience it that be a limitation of the medium or something deliberate on the part of the artist. I was happy enough to go with it,
60.
OCaml-cfgen: generate CloudFormation in OCaml(github.com)
3 points by chris_armstrong 4y ago|1 comments

More ›