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