frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Formalizing a proof in Lean using GitHub Copilot and canonical [video]

https://www.youtube.com/watch?v=cyyR7j2ChCI
1•Philpax•2h ago

Is Cline really Apache 2.0?

https://github.com/cline/cline/issues/3510
1•icoxfog417•50s ago•0 comments

Learn Lua quickly with this short yet comprehensive and friendly script (2015)

https://gist.github.com/tylerneylon/5853042
1•Tomte•50s ago•0 comments

Rustls Server-Side Performance

https://www.memorysafety.org/blog/rustls-server-perf/
1•jaas•1m ago•0 comments

AdaCore and Lynx Software Technologies Reaffirm Partnership

https://blog.adacore.com/adacore-and-lynx-software-technologies-reaffirm-longstanding-partnership
1•Tomte•2m ago•0 comments

FlyLoop – AI Agent for Scheduling Meetings and Managing Your Calendar

1•localbuilder•2m ago•0 comments

WebKit Features in Safari 18.5

https://webkit.org/blog/16923/webkit-features-in-safari-18-5/
1•ksec•3m ago•0 comments

Recursive Becoming: Theory of Everything

https://twitter.com/dvcoolster/status/1922266236173365313
2•dvcoolster•4m ago•1 comments

Footage Captures Ground Shifting Live During Myanmar Earthquake

https://twitter.com/Geo_Risk/status/1921735829199679868
1•Ridius•5m ago•0 comments

Show HN: Stickr.Shop – Buy Stickers via SSH

https://stickr.shop
2•f4n4tiX•6m ago•0 comments

Match to lay off 13% of staff as number of paid users fall

https://techcrunch.com/2025/05/08/match-to-lay-off-13-of-staff/
2•Funes-•8m ago•0 comments

The End of Sierra as We Knew It, Part 3: The Dog Days of Oakhurst

https://www.filfre.net/2025/05/the-end-of-sierra-as-we-knew-it-part-3-the-dog-days-of-oakhurst/
1•doppp•9m ago•0 comments

Why Apple can’t just quit China

https://restofworld.org/2025/apple-china-dependence-tariffs-india-shift/
1•vinnyglennon•11m ago•0 comments

Argonne team uses Aurora to investigate potential dark energy breakthrough

https://www.anl.gov/article/argonne-team-uses-aurora-supercomputer-to-investigate-potential-dark-energy-breakthrough
1•rbanffy•12m ago•0 comments

China Makes High-Speed Laser Links in Orbit

https://spectrum.ieee.org/satellite-internet-china-crosslink
1•pseudolus•13m ago•0 comments

Beyond Incentives: How to Build Durable DeFi

https://www.coindesk.com/opinion/2025/04/22/beyond-incentives-how-to-build-durable-defi
1•PaulHoule•13m ago•0 comments

The Scouring of the Shire: a letter from ex-Palantir staff to tech workers [pdf]

https://s3.documentcloud.org/documents/25930212/the-scouring-of-the-shire.pdf
2•DonnyV•14m ago•0 comments

A calculator app? Anyone could make that

https://twitter.com/ChadNauseam/status/1890889465322786878
1•FjordWarden•15m ago•0 comments

In a high-stress work environment, prioritize relationships

https://wqtz.bearblog.dev/high-stress-job-relationships/
2•wqtz•15m ago•0 comments

Polkadot Naming Service

https://pns-swart.vercel.app/
2•andre15silva•16m ago•0 comments

Is Free-Threading Our Only Option?

https://discuss.python.org/t/is-free-threading-our-only-option/91775
1•Yiling-J•17m ago•0 comments

Chinese Weapons Gain Credibility After Pakistan-India Conflict

https://www.bloomberg.com/news/articles/2025-05-13/success-of-chinese-jets-against-india-raises-alarm-in-asia
1•belter•17m ago•0 comments

How the United States Gave Up Being a Science Superpower

https://steveblank.com/2025/05/13/how-the-united-states-became-a-science-superpower-and-how-quickly-it-could-crumble/
34•enescakir•19m ago•3 comments

Find Your Early Adopters

https://www.lennysnewsletter.com/p/consumer-business-find-first-users
1•harperlee•20m ago•0 comments

Lua for Elixir

https://davelucia.com/blog/lua-elixir
2•davydog187•20m ago•0 comments

The FreeBSD-native-ish home lab and network

https://antranigv.am/posts/2024/06/freebsd-server-network-homelab/
2•bediger4000•21m ago•0 comments

Google Search Engineer Rants on DOJ's Anti-Trust Case

https://www.seroundtable.com/google-search-engineer-x-doj-rant-39397.html
2•rexbee•23m ago•1 comments

Why the Poor Vote for the Right (and Stop Demanding More Equality)

https://www.unibocconi.it/en/news/why-poor-vote-right-and-stop-demanding-more-equality
23•rbanffy•24m ago•8 comments

Tower Defense: Cache Control

https://www.jasonthorsness.com/26
1•jasonthorsness•25m ago•0 comments

Claude Code as one-shot MCP server

https://github.com/steipete/claude-code-mcp
2•tosh•25m ago•0 comments

As US vuln-tracking falters, EU enters with its own security bug database

https://www.theregister.com/2025/05/13/eu_security_bug_database/
1•voxadam•26m ago•0 comments