Hacker Newsnew | past | comments | ask | show | jobs | submit | epgui's favoriteslogin
1.
Jank is C++ (jank-lang.org)
289 points by Jeaye 32 days ago | 95 comments
2.
The jank programming language (jank-lang.org)
423 points by akkad33 37 days ago | 137 comments
3.
My first verified imperative program (markushimmel.de)
181 points by TwoFx 36 days ago | 93 comments
4.
Functions Are Vectors (2023) (thenumb.at)
233 points by azeemba 37 days ago | 127 comments
5.
Sound As Pure Form: Music Language Inspired by Supercollider, APL, and Forth (github.com/lfnoise)
190 points by mindcrime 51 days ago | 42 comments
6.
Klong: A Simple Array Language (t3x.org)
130 points by tosh 53 days ago | 67 comments
7.
How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)
32 points by nill0 59 days ago | 10 comments
8.
APL Interpreter – An implementation of APL, written in Haskell (2024) (scharenbroch.dev)
136 points by ofalkaed 67 days ago | 69 comments
9.
A Lean companion to Analysis I (terrytao.wordpress.com)
292 points by jeremyscanvic 73 days ago | 42 comments
10.
Clojuring the web application stack: Meditation One (evalapply.org)
165 points by adityaathalye 84 days ago | 37 comments
11.
Show HN: Job board aggregator for best paying remote SWE jobs in the U.S. (remoteswe.fyi)
195 points by xitang 85 days ago | 143 comments
12.
Spaced repetition systems have gotten better (domenic.me)
1026 points by domenicd 86 days ago | 512 comments
13.
Typed Lisp, a Primer (alhassy.com)
140 points by todsacerdoti 3 months ago | 66 comments
14.
Derivation and Intuition behind Poisson distribution (antaripasaha.notion.site)
105 points by sebg 3 months ago | 34 comments
15.
Curry: A functional logic programming language (curry-lang.org)
172 points by hyperbrainer 3 months ago | 37 comments
16.
Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)
188 points by ndrwnaguib 3 months ago | 34 comments
17.
How much math is knowable? [video] (youtube.com)
115 points by diaphanous 3 months ago | 15 comments
18.
Dumb statistical models, always making people look bad (columbia.edu)
118 points by hackandthink 3 months ago | 29 comments
19.
Clolog (github.com/bobschrag)
258 points by todsacerdoti 3 months ago | 44 comments
20.
Open guide to equity compensation (github.com/jlevy)
656 points by mooreds 4 months ago | 297 comments
21.
The Tcl Programming Language: A Comprehensive Guide (2nd Edition) (magicsplat.com)
134 points by teleforce 4 months ago | 103 comments
22.
The persistent mischaracterization of Google and Facebook A/B tests (sciencedirect.com)
56 points by PaulHoule 4 months ago | 13 comments
23.
The Startup CTO's Handbook (github.com/zachgoldberg)
649 points by simonebrunozzi 5 months ago | 206 comments
24.
Learn Arabic (arabic.fi)
114 points by teleforce 5 months ago | 38 comments
25.
Modernist Cuisine: The Art and Science of Cooking (modernistcuisine.com)
144 points by tyleo 5 months ago | 138 comments
26.
How Core Git Developers Configure Git (gitbutler.com)
570 points by lnkl 5 months ago | 122 comments
27.
FFmpeg School of Assembly Language (github.com/ffmpeg)
869 points by davikr 5 months ago | 220 comments
28.
Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
107 points by baruchel 5 months ago | 17 comments
29.
Johnny.Decimal – A system to organise your life (johnnydecimal.com)
578 points by debone 5 months ago | 291 comments
30.
A year of uv: pros, cons, and should you migrate (bitecode.dev)
723 points by bertdb 5 months ago | 394 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: