bOZbfU4YdRnJQ

3 ms·

1. 1.▲
   Show HN: Cute Music App

   2 points by bOZbfU4YdRnJQ 3mo ago|0 comments
2. 2.▲
   by bOZbfU4YdRnJQ 4mo ago

   no special story, since this project is safety-focused, it naturally lines up with my personal habits. And honestly, coming up with usernames is tiring, so I use randomly generated ones.
3. 3.▲
   by bOZbfU4YdRnJQ 4mo ago

   Before accusing others of misunderstanding, do a little research yourself. Don’t wholeheartedly believe ads without examining them first.
4. 4.▲
   by bOZbfU4YdRnJQ 4mo ago

   Currently, this compiler is not at such an early stage. There’s no need to post any code samples on the website right now. If you’re willing to try the compiler, just dump the spec packaged with the release into the LLM and let the LLM writ
5. 5.▲
   by bOZbfU4YdRnJQ 4mo ago

   i am not this person.
6. 6.▲
   by bOZbfU4YdRnJQ 4mo ago

   You are projecting your own misunderstandings and confusion onto others. Calling safe Rust “sound” is meaningless at best and misleading at worst. You cannot seriously test soundness without a formal model and a complete, stable list of und
7. 7.▲
   Show HN: Ironwall, a safety-first native programming language and compiler

   16 points by bOZbfU4YdRnJQ 4mo ago|19 comments