Hacker News Reader

i want to like ocaml but the tooling is not there, coming from Rust.

The lsp requires you to run "dune build" first, bad already.

If you add a new file, the lsp wont pick it up until you dune build it again.

The compiler errors arent there too.

But i loved writing OCaml, its just thats a bit more painful to learn than due to the tooling, since i didn't use many functional langs before.

edg-lon I am writing a programming language

Hey, i'm writing one too! (for fun) https://github.com/edg-l/edlang

edg-lon Awesome Engineering Games

This list lacks most of Zachtronics games, which are all related to engineering, and my favorite game dev.

I really think Exapunks, Shenzhen I/O, SpaceChem and TIS-100 should be there, in fact, Zachtronics created his own puzzle genre, "zachs-like"

https://www.zachtronics.com/

edg-lon Leantime: Open-Source Jira Alternative

I like to quote the gnu article on pragmatic idealism:

> The GNU GPL is not Mr. Nice Guy. It says no to some of the things that people sometimes want to do. There are users who say that this is a bad thing—that the GPL “excludes” some proprietary software developers who “need to be brought into the free software community.”

But we are not excluding them from our community; they are choosing not to enter. Their decision to make software proprietary is a decision to stay out of our community. Being in our community means joining in cooperation with us; we cannot “bring them into our community” if they don't want to join.

What we can do is offer them an inducement to join. The GNU GPL is designed to make an inducement from our existing software: “If you will make your software free, you can use this code.” Of course, it won't win 'em all, but it wins some of the time.

Proprietary software development does not contribute to our community, but its developers often want handouts from us. Free software users can offer free software developers strokes for the ego—recognition and gratitude—but it can be very tempting when a business tells you, “Just let us put your package in our proprietary program, and your program will be used by many thousands of people!” The temptation can be powerful, but in the long run we are all better off if we resist it.

edg-lon Fastest branchless binary search

Check out https://en.algorithmica.org/hpc/data-structures/binary-searc...

edg-lon https://16777217/

so does rust https://play.rust-lang.org/?version=stable&mode=debug&editio...

edg-lon Trianglify.io – Low Poly Pattern Generator

you don't need an extension, just press shift and right click

edg-lon I Designed My Own 16-Bit CPU [video]

Check this one out: https://store.steampowered.com/app/1885690/Virtual_Circuit_B...

It focuses on performance, and looks quite beautiful.

edg-lon Lilium achieves first main wing transition for all-electric aircraft [video]

this comment reminded me of this http://www.temporarilyembarrassedmillionaires.org/

edg-lon Zine – an simple and opinionated tool to build your own magazine

This may not be relevant, but Zachtronics (a known programming puzzle game dev) nearly always includes zines in the games, and they feel unique and quirky as you say.

E.g the exapunks "Trash world news" zine: https://imgur.com/a/TZEZx7N (or https://exazines.mattmerr.com/zine01.html)

https://www.zachtronics.com/

edg-lon 100k Stars Chrome visualization experiment

If you have ever played Elite Dangerous, you will be unimpressed by this.

The stellar forge (which is a system used to generate the roughly 400 billion star systems which are present in the 1:1 scale Milky Way galaxy in Elite Dangerous) is actually something incredible: https://elite-dangerous.fandom.com/wiki/Stellar_Forge

If you ever played the game and opened the map and zoomed out you know what I mean (https://www.youtube.com/watch?v=qpZZnrwRyME).

edg-lon Ruby Fiber Scheduler

I'll never get these type of minimalist websites that limit themselves to 80 chars like terminals BUT not center the content. When you have a big display, it's such a pain

edg-lon The $11B Webb telescope aims to probe the early universe

a good video about lagrange points https://www.youtube.com/watch?v=Gu4vA2ztgGM

edg-lon Full key extraction of Nvidia TSEC

interesting related article: https://en.wikipedia.org/wiki/Illegal_number

edg-lon Replacements for existing software written in Rust

I think this comment (on this same post) is relevant here https://news.ycombinator.com/item?id=27318979

edg-lon Rust heads into the kernel?

>There’s already an OS completely written in Rust called Redox. Nobody uses it.

I find it would be very difficult to convince anyone to use any other OS than the currently mainstream ones. You should instead see this as an accomplishment of what Rust can achieve.

I also think you are undermining Redox OS developers efforts, which is kinda sad.

>Rust code is guaranteed to be fast and guaranteed to be bug free

Nobody claimed this, what people claim is that it can be as fast as C, and it has some safety guarantees. You can still have bugs.

>Rust is for writing blog posts...

What's so wrong about people being excited about something? Personally I find it awesome that a programming language can bring so much enthusiasm to people. In my opinion, what you are seeing here is people being excited about progress being made.

>the compiler authors so wonderful and smart

I sense some envy here, people achieved a great thing through effort and collaboration, we should celebrate this.