frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Programming in Martin-Lof's Type Theory: An Introduction (1990)

https://www.cse.chalmers.se/research/group/logic/book/
32•todsacerdoti•2d ago

Don't Guess My Language

https://vitonsky.net/blog/2025/05/17/language-detection/
264•e-topy•3h ago•147 comments

Telum II at Hot Chips 2024: Mainframe with a Unique Caching Strategy

https://chipsandcheese.com/p/telum-ii-at-hot-chips-2024-mainframe-with-a-unique-caching-strategy
62•rbanffy•3h ago•10 comments

ClawPDF – Open-Source Virtual/Network PDF Printer with OCR and Image Support

https://github.com/clawsoftware/clawPDF
29•miles•1h ago•5 comments

Side projects I've built since 2009

https://naeemnur.com/side-projects/
94•naeemnur•4h ago•42 comments

InventWood is about to mass-produce wood that's stronger than steel

https://techcrunch.com/2025/05/12/inventwood-is-about-to-mass-produce-wood-thats-stronger-than-steel/
205•LorenDB•1d ago•195 comments

How scrolling becomes a religious act

https://etymology.substack.com/p/youre-literally-worshipping-your
44•ZeroTalent•2h ago•23 comments

Show HN: Goboscript, text-based programming language, compiles to Scratch

https://github.com/aspizu/goboscript
122•aspizu•7h ago•37 comments

Monitoring Node.js: Key Metrics You Should Track

https://last9.io/blog/node-js-key-metrics/
15•unripe_syntax•2h ago•0 comments

Emulator Debugging: Area 5150's Lake Effect

https://martypc.blogspot.com/2025/05/emulator-debugging-area-5150s-lake.html
27•rbanffy•4h ago•5 comments

Ugly infrastructure: Why can't we have nice things?

https://jordanwtaylor2.substack.com/p/ugly-infrastructure-why-cant-we-have
14•bilsbie•2d ago•3 comments

New research reveals the strongest solar event ever detected, in 12350 BC

https://phys.org/news/2025-05-reveals-strongest-solar-event-bc.html
199•politelemon•3d ago•98 comments

“There are people who can see and others who cannot even look”

https://worldhistory.substack.com/p/there-are-people-who-can-see-and
173•crescit_eundo•13h ago•31 comments

Is Winter Coming? (2024)

https://www.datagubbe.se/winter/
64•rbanffy•2h ago•65 comments

Llama from scratch (2023)

https://blog.briankitano.com/llama-from-scratch/
74•sebg•4d ago•1 comments

Ditching Obsidian and building my own

https://amberwilliams.io/blogs/building-my-own-pkms
371•williamsss•21h ago•428 comments

Show HN: Job board aggregator for best paying remote SWE jobs in the U.S.

https://www.remoteswe.fyi
103•xitang•12h ago•61 comments

Show HN: Cogitator – A Python Toolkit for Chain-of-Thought Prompting

https://github.com/habedi/cogitator
11•habedi0•3d ago•0 comments

Programming in Martin-Lof's Type Theory: An Introduction (1990)

https://www.cse.chalmers.se/research/group/logic/book/
32•todsacerdoti•2d ago•0 comments

The principles of database design, or, the Truth is out there

https://ebellani.github.io/blog/2025/the-principles-of-database-design-or-the-truth-is-out-there/
64•b-man•10h ago•63 comments

Show HN: I modeled the Voynich Manuscript with SBERT to test for structure

https://github.com/brianmg/voynich-nlp-analysis
353•brig90•21h ago•112 comments

What do wealthy people buy, that ordinary people know nothing about? (2015)

https://old.reddit.com/r/AskReddit/comments/2s9u0s/comment/cnnmca8/
262•Tomte•21h ago•483 comments

KDE is finally getting a native virtual machine manager called “Karton”

https://www.neowin.net/news/kde-is-finally-getting-a-native-virtual-machine-manager-called-karton/
118•bundie•15h ago•62 comments

'Significant amount' of private data stolen in UK Legal Aid hack

https://www.bbc.co.uk/news/articles/cgr5g4pv2l0o
22•neversaydie•2h ago•13 comments

France Endorses UN Open Source Principles

https://social.numerique.gouv.fr/@codegouvfr/114529954373492878
523•bzg•15h ago•173 comments

Procolored printer drivers contained malware

https://www.neowin.net/news/this-printer-company-served-you-malware-for-months-and-dismissed-it-as-false-positives/
114•bundie•2d ago•51 comments

Spaced repetition memory system (2024)

https://notes.andymatuschak.org/Spaced_repetition_memory_system
242•gasull•21h ago•29 comments

$30 Homebrew Automated Blinds Opener (2024)

https://sifter.org/~simon/journal/20240718.html
285•busymom0•20h ago•124 comments

What does the end of mathematics look like?

https://www.awanderingmind.blog/posts/2025-05-18-what-does-the-end-of-mathematics-look-like.html
38•awanderingmind•5h ago•49 comments

Font Activations: A Note on the Type

https://robhorning.substack.com/p/font-activations
42•prismatic•2d ago•4 comments

K-Scale Labs: Open-source humanoid robots, built for developers

https://www.kscale.dev/
113•rbanffy•18h ago•49 comments