HNHacker News
TopNewBestAskShowJobs

akkad33

710 karma · joined September 26, 2022

submissionscomments

Ask HN: Good fast IDE for reading and navigating code in multiple languages

6 pts·akkad33·
10

Ask HN: Is formal verification of practical use in real world projects?

5 pts·akkad33·
4

Ask HN: Do you think programming as a job will end soon and if so, how soon?

5 pts·akkad33·
13

Ask HN: Transition from back end to programming language research

1 pts·akkad33·
0

Simple Programming Languages

ryanbrewer.dev·3 pts·akkad33·
0

Explicit tail call optimization in Rust on nightly merged

github.com·1 pts·akkad33·
0

Ask HN: Is there a language that is simple and empowers developer productivity?

3 pts·akkad33·
11

Piccolo: Powerful async ORM, query builder, and admin GUI

piccolo-orm.com·5 pts·akkad33·
0

The Jank programming language

jank-lang.org·423 pts·akkad33·
137

Litestar 2.16.0

docs.litestar.dev·2 pts·akkad33·
0

Ask HN: Which language best compromise between pragmatic and innovative?

1 pts·akkad33·
2

Phoenix.LiveView behaviour

hexdocs.pm·4 pts·akkad33·
0

Fairphone 5

shop.fairphone.com·3 pts·akkad33·
3

Ask HN: Can you explain like 5 what is Apache arrow flight is and its use case?

2 pts·akkad33·
4

The Jank Programming Language

jank-lang.org·1 pts·akkad33·
0

Ask HN: Which functional language for full stack web development?

3 pts·akkad33·
8

Literate Programming in Quarto

ivelasq.quarto.pub·25 pts·akkad33·
5

Rust for System Programmers

github.com·3 pts·akkad33·
0

Zig: What I think after one month of using it (perspective of a Rust programmer)

strongly-typed-thoughts.net·3 pts·akkad33·
0

The jank programming language: Dialect of Clojure compiled to LLVM

jank-lang.org·2 pts·akkad33·
0

Writing High Performance F# code

bartoszsypytkowski.com·15 pts·akkad33·
1

'Music is back' as sales hit a 20-year high

bbc.com·2 pts·akkad33·
0

Gleam v1.7

gleam.run·182 pts·akkad33·
26

Oxidizing OCaml: Rust-Style Ownership

blog.janestreet.com·1 pts·akkad33·
0

F*: A proof oriented general purpose programming language

fstar-lang.org·254 pts·akkad33·
61

Python 3.13 with free-thread is slow

stackoverflow.com·3 pts·akkad33·
0

Verify the Safety of the Rust Standard Library

aws.amazon.com·2 pts·akkad33·
0

ISO C++ Chair: C++ 26 'most impactful release since C++11'

devclass.com·2 pts·akkad33·
0

F# developer stories: how we've fixed a 9-year-old performance issue

devblogs.microsoft.com·6 pts·akkad33·
0

Ask HN: Good books about architecturing cloud solutions for performance?

15 pts·akkad33·
6
Page 1 of 2Next →