news
Open in hackernews
TLA+ creator Leslie Lamport: 'Programmers need abstractions'
https://thenewstack.io/tla-creator-leslie-lamport-programmers-need-abstractions/
38
•
MilnerRoute
•
2d ago
Show HN: VectorVFS, your filesystem as a vector database
https://vectorvfs.readthedocs.io/en/latest/
65
•
perone
•
1h ago
•
23 comments
The Death of Daydreaming: What we lose when phones take away boredom
https://www.afterbabel.com/p/on-the-death-of-daydreaming
194
•
isolli
•
4h ago
•
76 comments
No Instagram, No Privacy
https://blog.wouterjanleys.com/blog/no-instagram-no-privacy/
26
•
wouterjanl
•
1h ago
•
8 comments
Geometrically understanding calculus of inverse functions (2023)
https://tobylam.xyz/2023/11/27/inverse-functions-legendre-part-1
34
•
tobytylam
•
1h ago
•
0 comments
A Tektronix TDS 684B Oscilloscope Uses CCD Analog Memory
https://tomverbeure.github.io/2025/05/04/TDS684B-CCD-Memory.html
38
•
zdw
•
2h ago
•
14 comments
AWS Built a Security Tool. It Introduced a Security Risk
https://www.token.security/blog/aws-built-a-security-tool-it-introduced-a-security-risk
145
•
simplesort
•
5h ago
•
65 comments
History of "Adventure" for the Atari 2600
https://www.atariarchive.org/blog/adventure-march-1980/
36
•
coldpie
•
2h ago
•
7 comments
The vocal effects of Daft Punk
https://bjango.com/articles/daftpunkvocaleffects/
239
•
qzervaas
•
5h ago
•
48 comments
Show HN: Klavis AI – Open-source MCP integration for AI applications
https://github.com/Klavis-AI/klavis
6
•
wirehack
•
45m ago
•
5 comments
Show HN: Bracket – selfhosted tournament system
https://github.com/evroon/bracket
68
•
tripleseven
•
2h ago
•
7 comments
Tuning Timbre Spectrum Scale
https://sethares.engr.wisc.edu/ttss.html
3
•
Tomte
•
8m ago
•
0 comments
I'd rather read the prompt
https://claytonwramsey.com/blog/prompt/
1218
•
claytonwramsey
•
21h ago
•
711 comments
Jiga (YC W21) Is Hiring Engineers
https://www.workatastartup.com/companies/jiga
1
•
grmmph
•
3h ago
The Beauty of Having a Pi-Hole
https://den.dev/blog/pihole/
31
•
mpweiher
•
4h ago
•
24 comments
AI Meets WinDBG
https://svnscha.de/posts/ai-meets-windbg/
228
•
thunderbong
•
11h ago
•
50 comments
V.S. Naipaul: The Grief and the Glory
https://granta.com/vs-naipaul-the-grief-and-the-glory/
39
•
paulpauper
•
17h ago
•
4 comments
Circuitpainter: Create PCBs using a simplfiied graphics language
https://github.com/Blinkinlabs/circuitpainter
31
•
todsacerdoti
•
2d ago
•
4 comments
How are cyber criminals rolling in 2025?
https://vin01.github.io/piptagole/cybcecrime/security/cybersecurity/2025/05/05/state-cyber-security.html
4
•
vin10
•
1h ago
•
0 comments
Design for 3D-Printing
https://blog.rahix.de/design-for-3d-printing/
702
•
q3k
•
23h ago
•
175 comments
Digitization Complete for World-Renowned Franco Novacco Map Collection
https://www.newberry.org/news/digitization-complete-for-world-renowned-franco-novacco-map-collection
7
•
mooreds
•
1d ago
•
1 comments
Judge said Meta illegally used books to build its AI
https://www.wired.com/story/meta-lawsuit-copyright-hearing-artificial-intelligence/
251
•
mekpro
•
5h ago
•
184 comments
Show HN: My AI Native Resume
https://ai.jakegaylor.com/
249
•
jhgaylor
•
14h ago
•
158 comments
On Not Carrying a Camera – Cultivating memories instead of snapshots
https://hedgehogreview.com/issues/after-neoliberalism/articles/on-not-carrying-a-camera
265
•
pseudolus
•
17h ago
•
271 comments
Emergent Misalignment: Narrow Finetuning Can Produce Broadly Misaligned LLMs
https://www.emergent-misalignment.com/
3
•
helsinkiandrew
•
3d ago
•
1 comments
Matrix-vector multiplication implemented in off-the-shelf DRAM for Low-Bit LLMs
https://arxiv.org/abs/2503.23817
185
•
cpldcpu
•
17h ago
•
44 comments
Show HN: CodeCafé – A real-time collaborative code editor in the browser
https://github.com/mrktsm/codecafe
55
•
mrktsm__
•
8h ago
•
9 comments
Towards the Cutest Neural Network
https://kevinlynagh.com/towards-the-cutest-neural-network/
91
•
surprisetalk
•
3d ago
•
23 comments
Why Archers Didn't Volley Fire
https://acoup.blog/2025/05/02/collections-why-archers-didnt-volley-fire/
439
•
StefanBatory
•
2d ago
•
240 comments
The Design of Compact Elastic Binary Trees (Cebtree)
http://wtarreau.blogspot.com/2025/03/on-design-of-compact-elastic-binary.html
24
•
r4um
•
7h ago
•
0 comments
Unparalleled Misalignments
https://rickiheicklen.com/unparalleled-misalignments.html
107
•
ChadNauseam
•
15h ago
•
29 comments