4nonverbal-alit

5 ms·

1. 31.▲
   by 4nonverbal-alit 10mo ago

   Or be proud once the history has been rewritten
2. 32.▲
   by 4nonverbal-alit 10mo ago

   For me the blocker was having to switch to bash/powershell when moving to a different machine (ie: servers, work machine, etc..). I would end up needing to redo same things to be compatible with the existing tools; eventually I just ga
3. 33.▲
   by 4nonverbal-alit 10mo ago

   Any plans for adding algebraic data types (aka rust enums)?
4. 34.▲
   by 4nonverbal-alit 10mo ago

   In the article it's mentioned. They have built robotic stuff to clear rubble for example.
5. 35.▲
   by 4nonverbal-alit 10mo ago

   I think as long as we don't integrate formal verification into the programs themselves, it's not going to become mainstream. Especially now you got two different pieces you need to maintain and keep in sync (whether using LLMs or
6. 36.▲
   by 4nonverbal-alit 10mo ago

   Usually that's because of third party cookies the government websites love to use for authentication. FF and Safari by default blocks them but both can be disabled temporarily to use those websites. Chrome is more lax on them since ad
7. 37.▲
   Show HN: SmarticleAI – An Overpriced AI Chatbot That's Basically a ChatGPT Clone(smarticleai.com)

   2 points by 4nonverbal-alit 2y ago|0 comments
8. 38.▲
   Implementing an ordered concurrent queue(themisir.com)

   56 points by 4nonverbal-alit 4y ago|12 comments