khaledh

11 ms·

121.
by khaledh 2y ago
A single address space operating system called Fusion¹ implemented in Nim. It currently has the basic building blocks for the kernel. The rest is being built incrementally as time permits. I've also taken the time to document everythin
122.
by khaledh 2y ago
Hoare's Law of Large Programs: Inside every large program is a small program struggling to get out.
123.
by khaledh 2y ago
I'd add Wirth's Law: Software gets slower faster than hardware gets faster.
124.
by khaledh 2y ago
Thanks. The subscription model is now almost the default for everything. Investors like the steady stream, which makes sense financially. But unfortunately it has resulted in much lower software quality, because software shops now don'
125.
by khaledh 2y ago
Right? What happened to "they hate us for our freedom"?
126.
by khaledh 2y ago
Microsoft knew they were losing the client device market to iPhone and Android (after their Windows Phone flopped). So they essentially gave up on improving Windows, and decided to turn it into a thin client for Microsoft cloud services. Fo
127.
by khaledh 2y ago
I too thought Sonnet 3.7 was hard to beat. But from my few interactions with Gemini 2.5, it is freakishly good. The level of discourse is somewhere near talking to an experienced staff engineer that is almost always right.
128.
by khaledh 2y ago
No. Nim channels are for inter-thread communication within the same process, and they perform a deep-copy of messages. Fusion channels are a different beast. They're kernel objects that require syscalls to create/open/send&#x
129.
by khaledh 2y ago
Fusion author here. I haven't abandoned the project, and I do plan to complete it, including a graphics subsystem and a network stack. I'm currently trying to crack a tough nut, which is efficient zero-copy IPC using message passi
130.
Computer Networks – The Heralds of Resource Sharing (Arpanet, 1972)(archive.org)
2 points by khaledh 2y ago|0 comments
131.
by khaledh 2y ago
Some time circa late 1950s, a coder is given a problem and a compiler to solve it. The coder writes their solution in a high level language and asks the compiler to generate the assembly code from it. The compiler: I cannot generate the ass
132.
by khaledh 2y ago
True, but now you're relying on a specific implementation and optimization of the compiler, unless the language semantics explicitly say that lambdas will be inlined.
133.
by khaledh 2y ago
This, and the prefix nature of operators. That's the primary reason every time I try to give Lisp a chance, I get turned off by the maze of parens that I have to unravel in my head, especially for long, nested calls. For Lispers, good
134.
by khaledh 2y ago
That's not true. The lambdas used in the functional version are each called once for every item in the list.
135.
by khaledh 2y ago
Agreed. LLMs pull you towards the average knowledge, and they suck when you're trying to find a creative solution that challenges the status quo.
136.
by khaledh 2y ago
There should be an image of Agent Smith somewhere in the readme (j/k) :)
137.
by khaledh 2y ago
Indeed a bitter lesson. I once enjoyed encoding human knowledge into a computer because it gives me understanding of what's going on. Now everything is becoming a big black box that is hard to reason about. /sigh/ Also, Moore
138.
by khaledh 2y ago
This is nice. It reminds me of old Windows desktop pets: https://www.youtube.com/watch?v=CosQ1n7k6lw
139.
by khaledh 2y ago
Everything is slow. It takes several seconds to load any page, submit a comment, etc.
140.
by khaledh 2y ago
Thanks for the correction :)
141.
by khaledh 2y ago
I think the reason is that the right hand side can be a long and complex set of premises. It is supposed to be read as: The lhs is true iff everything on the rhs is true. You can also think the same way about functions in typical languages:
142.
by khaledh 2y ago
You've got your history mixed up. It was the Christians who persecuted Jews throughout history, culminating in the holocaust by, guess who, Christians. Jews thrived under Muslim rule during the middle ages.
143.
by khaledh 2y ago
Portable Doom Format
144.
by khaledh 2y ago
Very cool to see someone tackling a small OS for RISC-V. Shameless plug: I've written hobby OS (well, a kernel actually) in Nim for x86-64[0] and it's all documented as well. I put its development on hold until I create a JetBrain
145.
by khaledh 2y ago
I don't see a "urine test" in the test suite.
146.
by khaledh 2y ago
That's fair. Pex does support specifying a target platform though, which can package linux binary dependencies on a Mac for example. That being said, if a native dependency doesn't provide binaries (i.e. source only) we're ou
147.
by khaledh 2y ago
We've been using pex for a long while to package PySpark jobs with dependencies into a single file. Saves a ton of time vs. the old way of building/deploying docker images. https://spark.apache.org/docs/latest
148.
by khaledh 2y ago
This reminds me of Clay Christensen's talk: How Will You Measure Your Life?[0] He compares how most people define success by how high up the hierarchy they get, against the individual effort of making a positive impact on the people ar
149.
NimConf 2024(conf.nim-lang.org)
7 points by khaledh 2y ago|1 comments
150.
by khaledh 2y ago
The conference is scheduled for Saturday, October 26th at 11:00 UTC. The videos are pre-recorded[0] and will air on that date/time. [0] https://www.youtube.com/playlist?list=PLxLdEZg8DRwSkT93RIO-C...

More ›