danaugrs

9 ms·

1.
by danaugrs 10mo ago
I'm the author of the research paper ( https://arxiv.org/abs/2505.20314 ) and owner of that GitHub account. Please see my comment here: https://news.ycombinator.com/item?id=46069564
2.
by danaugrs 10mo ago
Awesome post, please make a Zig library!
3.
by danaugrs 10mo ago
Author here. Thanks for posting. I spent several years' worth of weekends working on this, and I'm glad to see it here on Hacker News. I started working on this problem when I learned about Lamping's algorithm for optimal lam
4.
by danaugrs 10mo ago
Author here. Other experts in this field have also used the term "lambda reduction", including Levy himself [1] and Lamping [2], both which are referenced in the Delta-Nets paper. "Lambda-reduction" is clearly an abbrevi
5.
by danaugrs 1y ago
Excellent article. I'm looking forward to Zig's upcoming async I/O.
6.
by danaugrs 2y ago
Loosely related: https://www.quantamagazine.org/computer-scientists-invent-an...
7.
by danaugrs 3y ago
Six weeks of six days (4 work days and 2 rest days) in a month would be better than four weeks of nine days (6 work days and 3 rest days) in my opinion.
8.
by danaugrs 3y ago
Awesome! I'm a big fan of Keras and this is an exciting update.
9.
by danaugrs 3y ago
Cool! Sounds a bit like the weekly founder meetings that https://www.startupschool.org/ had, which were a lot of fun and very helpful.
10.
by danaugrs 3y ago
https://www.riffusion.com/riffs/99a8cf65-b854-4b28-a174-072d...
11.
by danaugrs 3y ago
Very cool idea - starred!
12.
by danaugrs 3y ago
This is awesome! It looks like a fantastic way to play with boolean logic and learn/teach how computers work. I love the ability to encapsulate circuits and abstract them into higher level components.
13.
Show HN: Lambda-Calculi Expression Visualizer(lambda-vis.deno.dev)
4 points by danaugrs 3y ago|0 comments
14.
by danaugrs 3y ago
Very cool! Love the visualizations.
15.
by danaugrs 3y ago
This is a cool idea that I hadn't heard or thought of before.
16.
A Computer in Conway's Game of Life (YouTube) [video](youtube.com)
1 points by danaugrs 3y ago|0 comments
17.
by danaugrs 3y ago
I just want to say Bevy is great! Thanks for building and maintaining such a cool project.
18.
by danaugrs 4y ago
Check out https://petals.ml/ .
19.
by danaugrs 4y ago
Javalin is a great name!
20.
by danaugrs 4y ago
Nice article! I'm building a language ( https://flame.run/ ) in Rust that aims to have WebGPU+GUI support built-in. I'm playing with refinement types, which you effectively described in the second-to-last section. I
21.
by danaugrs 4y ago
How about PostgreSQLite? Joke aside, is anyone building something that takes a stab at fixing the issues with both?
22.
by danaugrs 4y ago
I'm building a language ( https://flame.run ) and trying a similar idea for imports. In my language there is no package manager. Files just import other files, locally or from URLs (like Deno). But, unlike Deno, I'd lik
23.
by danaugrs 4y ago
We only need an application web. A blog post can be just a markdown file. Want to read it? Use a markdown viewer (from the application web). Want to build a more complex experience? Build an application. You can hardcode/bake the conte
24.
by danaugrs 4y ago
What's the fractal projection used? It's super cool.
25.
by danaugrs 5y ago
Nice! Where is the music from? It feels very familiar... isn't it from Kerbal Space Program?
26.
by danaugrs 5y ago
What you described is very similar to the state of affairs of internet companies in the beginning of the 2000s. It is probably a common effect in the early days of any major paradigm shift and a predictor of big changes to come.
27.
by danaugrs 5y ago
So if I get this, I will have to worry about potentially paying anyone that approaches my wrist with something that could contain a radio? Someone should create another startup that embeds tiny contactless credit card machines on wrists lol
28.
by danaugrs 6y ago
Why is Element suspended but not Signal? Is Signal compromised?
29.
by danaugrs 6y ago
There are repeated entries for the same company+founder but with different values. It doesn't make any sense. Additionally sometimes the founder's name is right in one row but not in the other e.g. Cloudflare's Matthew Prince
30.
by danaugrs 6y ago
There are repeated entries for the same company+founder but with different values. It doesn't make any sense. Additionally sometimes the founder's name is right in one row but not in the other e.g. Cloudflare's Matthew Prince

More ›