15,000 lines of verified cryptography now in Python

https://jonathan.protzenko.fr/2025/04/18/python.html

182•todsacerdoti•3h ago•44 comments

Full Text Search of US Court records

https://www.judyrecords.com/

87•FigurativeVoid•2h ago•13 comments

Show HN: I made a Doom-like game fit inside a QR code

https://github.com/Kuberwastaken/backdooms

286•kuberwastaken•6h ago•89 comments

Understanding the Origins and the Evolution of Vi and Vim

https://pikuma.com/blog/origins-of-vim-text-editor

69•amosjyng•3d ago•21 comments

Principles for Building One-Shot AI Agents

https://edgebit.io/blog/automated-dependency-updates-with-ai/

25•robszumski•2d ago•6 comments

Hextraction, a free and open source board game

https://www.playhextraction.com/

19•chedoku•2h ago•3 comments

UML diagram for the DDD example in Evans' book

https://github.com/takaakit/uml-diagram-for-ddd-example-in-evans-book

43•takaakit•3h ago•23 comments

Judge Rules Blanket Search of Cell Tower Data Unconstitutional

https://www.404media.co/judge-rules-blanket-search-of-cell-tower-data-unconstitutional/

258•bradac56•4h ago•103 comments

Show HN: (bits) of a Libc, Optimized for Wasm

https://github.com/ncruces/go-sqlite3/tree/main/sqlite3/libc

47•ncruces•5h ago•9 comments

Ink and Switch Constraint System (2023)

https://www.inkandswitch.com/ink/notes/phase-2-constraint-system/

60•mpweiher•6h ago•7 comments

Cyberpunk 1958: The Early Days of the Polish IT Industry

https://culture.pl/en/article/cyberpunk-1958-the-early-days-of-the-polish-it-industry

94•StefanBatory•3d ago•6 comments

There's Life Inside Earth's Crust

https://www.noemamag.com/theres-life-inside-earths-crust/

40•jprohov•4h ago•9 comments

A New ASN.1 API for Python

https://blog.trailofbits.com/2025/04/18/sneak-peek-a-new-asn.1-api-for-python/

132•woodruffw•8h ago•39 comments

Electric Propulsion's Dirty Secret: Why Lithium Can't Fly (Or Float) Profitably

https://kumarletter.com/posts/electric-propulsion-s-dirty-secret-why-lithium-can-t-fly-or-float-profitably

45•kumarski•3h ago•126 comments

How a yacht works: sailboat physics and design

https://www.onemetre.net/Design/Design.htm

150•stass•3d ago•53 comments

Loglan'82: programming language for object-oriented and distributed programming

https://lem12.uksw.edu.pl/wiki/Loglan%2782_project

26•danielam•4h ago•4 comments

The most famous carbon dioxide absorber

https://www.howequipmentworks.com/apollo_13/

100•bemmu•3d ago•31 comments

Dot (YC S21) is hiring a sales engineer to automate analytics (fully remote)

https://www.ycombinator.com/companies/dot/jobs/XSmklFa-customer-success-sales-engineer-remote

1•zurfer•6h ago

Defold: cross-platform game engine

https://defold.com

317•xd•14h ago•131 comments

The Good Karma Kit

https://archivebox.github.io/good-karma-kit/

23•jedeusus•4h ago•5 comments

College Towns: Urbanism from a Past Era

https://www.governance.fyi/p/college-towns-urbanism-from-a-past

40•toomuchtodo•6h ago•61 comments

Jupiter, it's mushballs all the way down

https://www.sciencedaily.com/releases/2025/04/250415183433.htm

7•docmechanic•2d ago•0 comments

Show HN: Attune - Build and publish APT repositories in seconds

https://github.com/attunehq/attune

56•ilikebits•6h ago•18 comments

Unique bacteria that survive by employing multicellular behavior

https://phys.org/news/2025-04-unique-bacteria-survive-employing-multicellular.html

20•PaulHoule•3d ago•7 comments

PDCurses – for environments that don't fit the termcap/terminfo model

https://github.com/wmcbrine/PDCurses

8•smartmic•4h ago•1 comments

OpenAI's new reasoning AI models hallucinate more

https://techcrunch.com/2025/04/18/openais-new-reasoning-ai-models-hallucinate-more/

9•almog•28m ago•5 comments

Show HN: Too Many Business Ideas? stop choosing, launch all of them, FAST&FREE

https://starterpilot.com/

4•AzizBelAbed•1h ago•3 comments

SDFs from Unoriented Point Clouds Using Neural Variational Heat Distances

https://arxiv.org/abs/2504.11212

27•haxiomic•7h ago•5 comments

Potatoes in the Mail

https://facts.usps.com/mailing-potatoes/

468•mooreds•1d ago•227 comments

AMP and why emails are not (and should never be) interactive

https://buttondown.com/blog/whatever-happened-to-amp-email

169•maguay•15h ago•122 comments

15,000 lines of verified cryptography now in Python

Full Text Search of US Court records

Show HN: I made a Doom-like game fit inside a QR code

Understanding the Origins and the Evolution of Vi and Vim

Principles for Building One-Shot AI Agents

Hextraction, a free and open source board game

UML diagram for the DDD example in Evans' book

Judge Rules Blanket Search of Cell Tower Data Unconstitutional

Show HN: (bits) of a Libc, Optimized for Wasm

Ink and Switch Constraint System (2023)

Cyberpunk 1958: The Early Days of the Polish IT Industry

There's Life Inside Earth's Crust

A New ASN.1 API for Python

Electric Propulsion's Dirty Secret: Why Lithium Can't Fly (Or Float) Profitably

How a yacht works: sailboat physics and design

Loglan'82: programming language for object-oriented and distributed programming

The most famous carbon dioxide absorber

Dot (YC S21) is hiring a sales engineer to automate analytics (fully remote)

Defold: cross-platform game engine

The Good Karma Kit

College Towns: Urbanism from a Past Era

Jupiter, it's mushballs all the way down

Show HN: Attune - Build and publish APT repositories in seconds

Unique bacteria that survive by employing multicellular behavior

PDCurses – for environments that don't fit the termcap/terminfo model

OpenAI's new reasoning AI models hallucinate more

Show HN: Too Many Business Ideas? stop choosing, launch all of them, FAST&FREE

SDFs from Unoriented Point Clouds Using Neural Variational Heat Distances

Potatoes in the Mail

AMP and why emails are not (and should never be) interactive

RNG and Cosine in Nix

15,000 lines of verified cryptography now in Python

Full Text Search of US Court records

Show HN: I made a Doom-like game fit inside a QR code

Understanding the Origins and the Evolution of Vi and Vim

Principles for Building One-Shot AI Agents

Hextraction, a free and open source board game

UML diagram for the DDD example in Evans' book

Judge Rules Blanket Search of Cell Tower Data Unconstitutional

Show HN: (bits) of a Libc, Optimized for Wasm

Ink and Switch Constraint System (2023)

Cyberpunk 1958: The Early Days of the Polish IT Industry

There's Life Inside Earth's Crust

A New ASN.1 API for Python

Electric Propulsion's Dirty Secret: Why Lithium Can't Fly (Or Float) Profitably

How a yacht works: sailboat physics and design

Loglan'82: programming language for object-oriented and distributed programming

The most famous carbon dioxide absorber

Dot (YC S21) is hiring a sales engineer to automate analytics (fully remote)

Defold: cross-platform game engine

The Good Karma Kit

College Towns: Urbanism from a Past Era

Jupiter, it's mushballs all the way down

Show HN: Attune - Build and publish APT repositories in seconds

Unique bacteria that survive by employing multicellular behavior

PDCurses – for environments that don't fit the termcap/terminfo model

OpenAI's new reasoning AI models hallucinate more

Show HN: Too Many Business Ideas? stop choosing, launch all of them, FAST&FREE

SDFs from Unoriented Point Clouds Using Neural Variational Heat Distances

Potatoes in the Mail

AMP and why emails are not (and should never be) interactive