🦞🌯 Lobster Roll

Stories by akkad33

The Jank programming language (jank-lang.org)
F*: A proof oriented general purpose programming language (fstar-lang.org)
Gleam v1.7 (gleam.run)
Literate Programming in Quarto (ivelasq.quarto.pub)
Writing High Performance F# code (bartoszsypytkowski.com)
Ask HN: Good books about architecturing cloud solutions for performance?
What are some good books for architecture of web software for performance? Preferably ones targeted to Spring but also other technologies
F# developer stories: how we've fixed a 9-year-old performance issue (devblogs.microsoft.com)
Ask HN: Is formal verification of practical use in real world projects?
Ask HN: Do you think programming as a job will end soon and if so, how soon?
Piccolo: Powerful async ORM, query builder, and admin GUI (piccolo-orm.com)
Phoenix.LiveView behaviour (hexdocs.pm)
Simple Programming Languages (ryanbrewer.dev)
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 actually is simple, but also is expressive while also remaining cor...
Fairphone 5 (shop.fairphone.com)
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?
Rust for System Programmers (github.com)
Zig: What I think after one month of using it (perspective of a Rust programmer) (strongly-typed-thoughts.net)
Python 3.13 with free-thread is slow (stackoverflow.com)
Ask HN: Practical books for software engineer to make a difference in efficacy
On book recommendations for developers SICP and similar books come up a lot. But what are some practice oriented books that can make a real difference in the job of a software developer/architect?
Litestar 2.16.0 (docs.litestar.dev)
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 reading over the network say from s3?
The jank programming language: Dialect of Clojure compiled to LLVM (jank-lang.org)
'Music is back' as sales hit a 20-year high (bbc.com)
Verify the Safety of the Rust Standard Library (aws.amazon.com)
ISO C++ Chair: C++ 26 'most impactful release since C++11' (devclass.com)
Forthcoming C++ 26 'most impactful release since C++11' (devclass.com)
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?
Explicit tail call optimization in Rust on nightly merged (github.com)
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
The Jank Programming Language (jank-lang.org)