| 1. | | Ask HN: Is formal verification of practical use in real world projects? |
| 5 points by akkad33 16 days ago | past | 4 comments |
|
| 2. | | Ask HN: Do you think programming as a job will end soon and if so, how soon? |
| 5 points by akkad33 4 months ago | past | 13 comments |
|
| 3. | | Ask HN: Transition from back end to programming language research |
| 1 point by akkad33 5 months ago | past |
|
| 4. | | Simple Programming Languages (ryanbrewer.dev) |
| 3 points by akkad33 5 months ago | past |
|
| 5. | | Explicit tail call optimization in Rust on nightly merged (github.com/rust-lang) |
| 1 point by akkad33 5 months ago | past |
|
| 6. | | Ask HN: Is there a language that is simple and empowers developer productivity? |
| 3 points by akkad33 5 months ago | past | 11 comments |
|
| 7. | | Piccolo: Powerful async ORM, query builder, and admin GUI (piccolo-orm.com) |
| 5 points by akkad33 5 months ago | past |
|
| 8. | | The jank programming language (jank-lang.org) |
| 423 points by akkad33 6 months ago | past | 137 comments |
|
| 9. | | Litestar 2.16.0 (litestar.dev) |
| 2 points by akkad33 6 months ago | past |
|
| 10. | | Ask HN: Which language best compromise between pragmatic and innovative? |
| 1 point by akkad33 7 months ago | past | 2 comments |
|
| 11. | | Phoenix.LiveView behaviour (hexdocs.pm) |
| 4 points by akkad33 9 months ago | past |
|
| 12. | | Fairphone 5 (fairphone.com) |
| 3 points by akkad33 10 months ago | past | 3 comments |
|
| 13. | | Ask HN: Can you explain like 5 what is Apache arrow flight is and its use case? |
| 2 points by akkad33 10 months ago | past | 4 comments |
|
| 14. | | The Jank Programming Language (jank-lang.org) |
| 1 point by akkad33 11 months ago | past |
|
| 15. | | Ask HN: Which functional language for full stack web development? |
| 3 points by akkad33 11 months ago | past | 8 comments |
|
| 16. | | Literate Programming in Quarto (quarto.pub) |
| 25 points by akkad33 11 months ago | past | 5 comments |
|
| 17. | | Rust for System Programmers (github.com/orangeava) |
| 3 points by akkad33 11 months ago | past |
|
| 18. | | Zig: What I think after one month of using it (perspective of a Rust programmer) (strongly-typed-thoughts.net) |
| 3 points by akkad33 11 months ago | past |
|
| 19. | | The jank programming language: Dialect of Clojure compiled to LLVM (jank-lang.org) |
| 2 points by akkad33 11 months ago | past |
|
| 20. | | Writing High Performance F# code (bartoszsypytkowski.com) |
| 15 points by akkad33 11 months ago | past | 1 comment |
|
| 21. | | 'Music is back' as sales hit a 20-year high (bbc.com) |
| 2 points by akkad33 12 months ago | past |
|
| 22. | | Gleam v1.7 (gleam.run) |
| 182 points by akkad33 12 months ago | past | 26 comments |
|
| 23. | | Oxidizing OCaml: Rust-Style Ownership (janestreet.com) |
| 1 point by akkad33 on Dec 27, 2024 | past |
|
| 24. | | F*: A proof oriented general purpose programming language (fstar-lang.org) |
| 254 points by akkad33 on Dec 25, 2024 | past | 61 comments |
|
| 25. | | Python 3.13 with free-thread is slow (stackoverflow.com) |
| 3 points by akkad33 on Dec 25, 2024 | past |
|
| 26. | | Verify the Safety of the Rust Standard Library (amazon.com) |
| 2 points by akkad33 on Dec 25, 2024 | past |
|
| 27. | | ISO C++ Chair: C++ 26 'most impactful release since C++11' (devclass.com) |
| 2 points by akkad33 on Dec 25, 2024 | past |
|
| 28. | | F# developer stories: how we've fixed a 9-year-old performance issue (devblogs.microsoft.com/dotnet) |
| 6 points by akkad33 on Dec 9, 2024 | past |
|
| 29. | | Ask HN: Good books about architecturing cloud solutions for performance? |
| 15 points by akkad33 on Nov 26, 2024 | past | 6 comments |
|
| 30. | | Next is the most impactful C++ release (devclass.com) |
| 1 point by akkad33 on Nov 22, 2024 | past |
|
|
| More |
