frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

A Generalized Algebraic Theory of Directed Equality

https://jacobneu.phd/
27•matt_d•3d ago

Comments

weinzierl•1h ago
"See below for a desciption of the contents of the thesis, at four different levels of assumed background knowledge: 'Basic' (no assumed familiarity with type theory and category theory), 'Intermediate' (some familiarity), 'Advanced' (significant assumed familiarity), and 'Expert'."

This is a brilliant idea and very well executed. I almost did not click the link because I would put myself into the 'Intermediate' (some familiarity) bucket and most blog posts are either too basic or too advanced for me. Glad I clicked.

cubefox•11m ago
... and for those who were wondering about the TLD:

> In our biggest launch to date, Google Registry is adding eight new extensions to the internet: .dad, .phd, .prof, .esq, .foo, .zip, .mov and .nexus, now publicly available at a base annual price through your registrar of choice.

> The .phd, .prof, and .esq TLDs are perfect for professionals who want to show off their credentials and expertise.

https://www.registry.google/announcements/introducing-8-new-...

tristramb•2m ago
..or for non-professional who want to mislead people into thinking that they have those credentials and expertise.

Download responsibly

https://blog.geofabrik.de/index.php/2025/09/10/download-responsibly/
168•marklit•3h ago•80 comments

How I, a beginner developer, read the tutorial you, a developer, wrote for me

https://anniemueller.com/posts/how-i-a-non-developer-read-the-tutorial-you-a-developer-wrote-for-...
311•wonger_•7h ago•150 comments

Privacy and Security Risks in the eSIM Ecosystem [pdf]

https://www.usenix.org/system/files/usenixsecurity25-motallebighomi.pdf
145•walterbell•4h ago•69 comments

A Generalized Algebraic Theory of Directed Equality

https://jacobneu.phd/
27•matt_d•3d ago•3 comments

Sj.h: A tiny little JSON parsing library in ~150 lines of C99

https://github.com/rxi/sj.h
398•simonpure•16h ago•196 comments

Australian telco cut off emergency calls, firewall upgrade linked to 3 deaths

https://www.theregister.com/2025/09/21/optus_emergency_call_incident/
25•croes•54m ago•9 comments

Why is Venus hell and Earth an Eden?

https://www.quantamagazine.org/why-is-venus-hell-and-earth-an-eden-20250915/
125•pseudolus•10h ago•190 comments

Simulating a Machine from the 80s

https://rmazur.io/blog/fahivets.html
35•roman-mazur•3d ago•5 comments

Lightweight, highly accurate line and paragraph detection

https://arxiv.org/abs/2203.09638
113•colonCapitalDee•11h ago•17 comments

How can I influence others without manipulating them?

https://andiroberts.com/leadership-questions/how-to-influence-others-without-manipulating
113•kiyanwang•10h ago•98 comments

40k-Year-Old Symbols in Caves Worldwide May Be the Earliest Written Language

https://www.openculture.com/2025/09/40000-year-old-symbols-found-in-caves-worldwide-may-be-the-ea...
143•mdp2021•4d ago•86 comments

DSM Disorders Disappear in Statistical Clustering of Psychiatric Symptoms (2024)

https://www.psychiatrymargins.com/p/traditional-dsm-disorders-dissolve?r=2wyot6&triedRedirect=true
120•rendx•6h ago•67 comments

Obsidian Note Codes

https://ezhik.jp/obsidian/note-codes/
89•surprisetalk•3d ago•31 comments

DXGI debugging: Microsoft put me on a list

https://slugcat.systems/post/25-09-21-dxgi-debugging-microsoft-put-me-on-a-list/
261•todsacerdoti•18h ago•75 comments

I uncovered an ACPI bug in my Dell Inspiron 5567. It was plaguing me for 8 years

https://triangulatedexistence.mataroa.blog/blog/i-uncovered-an-acpi-bug-in-my-dell-inspiron-5667-...
46•thunderbong•3d ago•4 comments

Why your outdoorsy friend suddenly has a gummy bear power bank

https://www.theverge.com/tech/781387/backpacking-ultralight-haribo-power-bank
217•arnon•20h ago•266 comments

Nvmath-Python: Nvidia Math Libraries for the Python Ecosystem

https://github.com/NVIDIA/nvmath-python
45•gballan•3d ago•1 comments

Show HN: Tips to stay safe from NPM supply chain attacks

https://github.com/bodadotsh/npm-security-best-practices
57•bodash•11h ago•22 comments

Calculator Forensics (2002)

https://www.rskey.org/~mwsebastian/miscprj/results.htm
81•ColinWright•3d ago•36 comments

Teach Kids Electronics Using Dough: Light Up Caterpillar Project

https://newsletter.infiniteretry.com/dough-circuits-led-caterpillar/
9•ekuck•3d ago•1 comments

We Politely Insist: Your LLM Must Learn the Persian Art of Taarof

https://arxiv.org/abs/2509.01035
24•chosenbeard•8h ago•3 comments

South Korea's President says US investment demands would spark financial crisis

https://www.reuters.com/world/china/south-koreas-president-lee-says-us-investment-demands-would-s...
66•rbanffy•5h ago•44 comments

Procedural Island Generation (VI)

https://brashandplucky.com/2025/09/28/procedural-island-generation-vi.html
57•ibobev•11h ago•4 comments

I forced myself to spend a week in Instagram instead of Xcode

https://www.pixelpusher.club/p/i-forced-myself-to-spend-a-week-in
236•wallflower•19h ago•92 comments

Node 20 will be deprecated on GitHub Actions runners

https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
97•redbell•1d ago•41 comments

Pointer Tagging in C++: The Art of Packing Bits into a Pointer

https://vectrx.substack.com/p/pointer-tagging-in-c-the-art-of-packing
55•signa11•7h ago•40 comments

INapGPU: Text-mode graphics card, using only TTL gates

https://github.com/Leoneq/iNapGPU
73•userbinator•4d ago•11 comments

How Isaac Newton discovered the binomial power series (2022)

https://www.quantamagazine.org/how-isaac-newton-discovered-the-binomial-power-series-20220831/
75•FromTheArchives•3d ago•15 comments

RCA VideoDisc's Legacy: Scanning Capacitance Microscope

https://spectrum.ieee.org/rca-videodisc
19•WaitWaitWha•3d ago•7 comments

Timesketch: Collaborative forensic timeline analysis

https://github.com/google/timesketch
116•apachepig•16h ago•12 comments