Readit News logoReadit News
danaugrs commented on Asynchrony is not concurrency   kristoff.it/blog/asynchro... · Posted by u/kristoff_it
danaugrs · 2 months ago
Excellent article. I'm looking forward to Zig's upcoming async I/O.
danaugrs commented on Deciyear Calendar   deciyear.com/... · Posted by u/joaomsa
danaugrs · 2 years 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.
danaugrs commented on Keras 3.0   keras.io/keras_3/... · Posted by u/bratao
danaugrs · 2 years ago
Awesome! I'm a big fan of Keras and this is an exciting update.
danaugrs commented on Show HN: Executo.rs – Meet other founders weekly to talk strategy and ideas   executo.rs... · Posted by u/tsergiu
danaugrs · 2 years 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.

Deleted Comment

danaugrs commented on A Gentle Introduction to Liquid Types   goto.ucsd.edu/~ucsdpl-blo... · Posted by u/marvinborner
hansvm · 2 years ago
This sort of idea is why I sketched out pdv [0] in Zig. Even extremely simple type systems can handle arbitrary invariants when you are allowed to compute with those invariants at compile time.

[0] https://github.com/hmusgrave/pdv

danaugrs · 2 years ago
Very cool idea - starred!
danaugrs commented on BOOLR – A digital logic simulator   boolr.me/... · Posted by u/cjdrake
danaugrs · 2 years 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.

u/danaugrs

KarmaCake day69March 11, 2017View Original