HN Explorer

akkad33

↗ HN profile [ 67.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: Good fast IDE for reading and navigating code in multiple languages

    With the use AI I find myself writing less and less code, but reading way more than before at work. I have been using IDEA, because in my experience no IDE offers code inspection and navigation as good as IDEA across…

    1 points 11
  2. Ask HN: Is formal verification of practical use in real world projects?
    5 points 3
  3. 1 points 0
  4. Ask HN: Do you think programming as a job will end soon and if so, how soon?
    5 points 12
  5. Ask HN: Transition from back end to programming language research

    Is it realistic to look for transitioning into research in programming language theory for someone who's has done mostly backend but has a PhD in math related field, without passing through Academia?

    1 points 0
  6. Simple Programming Languages (ryanbrewer.dev)
    3 points 0
  7. Explicit tail call optimization in Rust on nightly merged (github.com)
    1 points 0
  8. Ask HN: Is there a language that is simple and empowers developer productivity?

    I think many languages tried to be "simple", but in the process they also handicapped developers by removing useful features like generics and operator overloading. I'm thinking Java, Go, etc. Is there a language that…

    3 points 6
  9. Piccolo: Powerful async ORM, query builder, and admin GUI (piccolo-orm.com)
    5 points 0
  10. The Jank programming language (jank-lang.org)
    423 points 23
  11. Litestar 2.16.0 (docs.litestar.dev)
    2 points 0
  12. Ask HN: Which language best compromise between pragmatic and innovative?

    In my opinion, it is Rust. It puts safety first and most features are coherent and well thought out

    1 points 2
  13. Phoenix.LiveView behaviour (hexdocs.pm)
    2 points 1
  14. Fairphone 5 (shop.fairphone.com)
    3 points 3
  15. Ask HN: Can you explain like 5 what is Apache arrow flight is and its use case?

    Here's their homepage explaining what it is https://arrow.apache.org/docs/format/Flight.html but it's not clear to me what new use case is addressed by this . Is it a message passing format? Does it speed up data…

    2 points 4
  16. The Jank Programming Language (jank-lang.org)
    1 points 0
  17. Ask HN: Which functional language for full stack web development?

    I am thinking between F# and elixir. I like F# but don't like .net ecosystem. Should I pick up Elixir?

    2 points 8
  18. Literate Programming in Quarto (ivelasq.quarto.pub)
    25 points 5
  19. Rust for System Programmers (github.com)
    3 points 0
  20. Zig: What I think after one month of using it (perspective of a Rust programmer) (strongly-typed-thoughts.net)
    3 points 0
  21. The jank programming language: Dialect of Clojure compiled to LLVM (jank-lang.org)
    2 points 0
  22. Writing High Performance F# code (bartoszsypytkowski.com)
    1 points 1
  23. 'Music is back' as sales hit a 20-year high (bbc.com)
    2 points 0
  24. Gleam v1.7 (gleam.run)
    182 points 27
  25. Oxidizing OCaml: Rust-Style Ownership (blog.janestreet.com)
    1 points 0