newest
Open in hackernews
Crafting a dependent typechecker, part 1
https://blueberrywren.dev/blog/dependent-p1/
4
•
blueberry87
•
4h ago
Ukrainian drones attack Moscow as Zelenskyy suggests fresh ceasefire talks
https://abcnews.go.com/International/ukrainian-drones-attack-moscow-zelenskyy-suggests-fresh-ceasefire/story?id=123901237
1
•
MilnerRoute
•
1m ago
•
0 comments
WorkOS: Summer Launch Week
https://workos.com/launch-week/summer-2025
1
•
Bogdanp
•
3m ago
•
0 comments
Moving from an orchestration-heavy to leadership-heavy management role
https://lethain.com/orchestration-heavy-leadership-heavy/
1
•
johnny313
•
5m ago
•
0 comments
OpenVPN puts packets inside your packets
https://www.saminiir.com/openvpn-puts-packets-inside-your-packets/
1
•
LorenDB
•
5m ago
•
0 comments
Using Claude Code Full-Time for 1 Month: Learnings and Workflows
https://mortenvistisen.com/posts/one-month-with-claude-code
2
•
mbvisti
•
6m ago
•
0 comments
Ask HN: How does HN handle indexing by LLMs?
2
•
jaynate
•
7m ago
•
0 comments
Therac-25
https://en.wikipedia.org/wiki/Therac-25
1
•
danielschreber
•
9m ago
•
0 comments
Vivaldi 7.5 RC 1 – Vivaldi Desktop Browser snapshot 3735.34/35
https://vivaldi.com/blog/desktop/7-5-rc-1/
2
•
cataldovito
•
9m ago
•
0 comments
Ransomware groups are now using bug bounty tactics
3
•
redmug
•
13m ago
•
1 comments
Gold Metal for "Future" Gpt5
https://github.com/aw31/openai-imo-2025-proofs
2
•
ConteMascetti71
•
13m ago
•
2 comments
Fourier lightfield multiview stereoscope for large field-of-view 3D imaging
https://www.spiedigitallibrary.org/journals/advanced-photonics-nexus/volume-4/issue-04/046008/Fourier-lightfield-multiview-stereoscope-for-large-field-of-view-3D/10.1117/1.APN.4.4.046008.full
3
•
PaulHoule
•
15m ago
•
0 comments
Type aware lint rules: Oxlint vs. Biome 2
https://www.solberg.is/fast-type-aware-linting
2
•
jokull
•
15m ago
•
0 comments
Ask HN: What's the worst part of web E2E testing?
3
•
enekesabel
•
16m ago
•
0 comments
"The Bitter Lesson" is wrong. Well sort of
https://assaf-pinhasi.medium.com/the-bitter-lesson-is-wrong-sort-of-a3d021864924
3
•
GavCo
•
17m ago
•
0 comments
U+237C ⍼ Right Angle with Downwards Zigzag Arrow
https://ionathan.ch/2022/04/09/angzarr.html
3
•
vikrum
•
20m ago
•
0 comments
China's Richest Man Buying Water Supply of New Hampshire Town Sparks Alarm
https://www.newsweek.com/new-hampshire-china-water-supply-nongfu-spring-zhong-shanshan-2099705
6
•
indigodaddy
•
20m ago
•
0 comments
ChatGPT Hammers for Python Script Nails
https://www.prograham.net/posts/chatgpt-hammers-python-script-nails/
1
•
grahamjpark
•
27m ago
•
0 comments
Show HN: Open LLM Spec – Standardizing inputs and outputs across providers
1
•
gpt4o
•
27m ago
•
1 comments
WebSecDojo – Free Web Security Challenges
https://websecdojo.com/
2
•
bubblehack3r
•
28m ago
•
0 comments
Unlimited Zip Game
https://www.zipgame.app/
1
•
willy158
•
29m ago
•
0 comments
MCP the Illustrated Guidebook
https://media.licdn.com/dms/document/media/v2/D4D1FAQGcFuVK_L-sOA/feedshare-document-pdf-analyzed/B4DZgmnnQ6HwAY-/0/1752994604587?e=1753920000&v=beta&t=LGgHaSyCqezTkRxxA24_w9yXJySIIyHVpLjmKEVdFPc
3
•
delduca
•
30m ago
•
0 comments
Java Processor
https://en.wikipedia.org/wiki/Java_processor
2
•
danielschreber
•
32m ago
•
0 comments
I'm Tired of Talking About AI
https://paddy.carvers.com/posts/2025/07/ai/
5
•
todsacerdoti
•
34m ago
•
2 comments
λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf]
https://www.cis.upenn.edu/~cis5110/lambda_calculus_timeline-Scott.pdf
3
•
082349872349872
•
35m ago
•
0 comments
New interface gives anyone the ability to train a robot
https://news.mit.edu/2025/new-tool-gives-anyone-ability-to-train-robot-0717
3
•
bookofjoe
•
38m ago
•
0 comments
New Study Finds Evidence of Hepatitis C Virus in Cells Lining Human Brain
https://www.hopkinsmedicine.org/news/newsroom/news-releases/2025/07/new-study-finds-evidence-of-hepatitis-c-virus-in-cells-lining-human-brain
2
•
kungfudoi
•
39m ago
•
0 comments
Show HN: Use local LLMs to organize your files
https://github.com/hyperfield/ai-file-sorter
2
•
hyperfield
•
40m ago
•
0 comments
Long-lost giant rivers that flowed across Antarctica up to 80M years ago
https://www.livescience.com/planet-earth/antarctica/scientists-discover-long-lost-giant-rivers-that-flowed-across-antarctica-up-to-80-million-years-ago
1
•
Bluestein
•
46m ago
•
0 comments
The Veo 3 API is now available
https://developers.googleblog.com/en/veo-3-now-available-gemini-api/
1
•
logankilpatrick
•
46m ago
•
0 comments
Before Macintosh: The Apple Lisa (2024) [video]
https://www.youtube.com/watch?v=psAeTDYezdo
2
•
ayaros
•
47m ago
•
1 comments