frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

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