frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Formal Software Design with Alloy 6

https://haslab.github.io/formal-software-design/index.html
1•Tomte•6h ago

Some Personal Anecdotes About Developing with GenAI

https://www.notyourlanguage.com/post/genai_anecdotes/
1•dnoberon•48s ago•1 comments

The verge of a digital divide in the use of generative AI?

https://www.sciencedirect.com/science/article/abs/pii/S0308596125000941
1•geox•1m ago•0 comments

Why programming is going get lot tougher for humans

https://androidauthority.dev/why-programming-is-going-get-lot-tougher-for-humans
1•aiauthoritydev•3m ago•0 comments

Liberland

https://de.wikipedia.org/wiki/Liberland
1•waldarbeiter•7m ago•0 comments

Metal: VNC visibility into stealth browser agent

https://metalsecurity.io/blog/ai-agents-vnc-technology
1•erekp•9m ago•0 comments

C++ to Rust Cheat-Sheet

https://corrode.dev/learn/migration-guides/cpp-to-rust/
1•KomoD•9m ago•0 comments

Show HN: Doc2dict a fast, open-source document to dict converter – No AI

1•jgfriedman1999•10m ago•0 comments

Disney Will Alter Song in ‘Aladdin’ after Arab-Americans complained (1993)

https://www.latimes.com/archives/la-xpm-1993-07-10-ca-11747-story.html
2•vitto_gioda•11m ago•0 comments

What's So Bad About POSIX I/O? (2017)

https://www.nextplatform.com/2017/09/11/whats-bad-posix-io/
2•ColinWright•14m ago•1 comments

Mozilla is shutting down Pocket and Fakespot

https://www.theverge.com/news/672924/mozilla-pocket-fakespot-shutting-down
2•spatten•17m ago•1 comments

Discord admits role in the decline of forums, wants to fix things using AI

https://www.neowin.net/news/discord-admits-role-in-the-decline-of-forums-aims-to-use-ai-to-make-info-easier-to-find/
1•bundie•17m ago•0 comments

The world of Japan's PC-98 computer

https://strangecomforts.com/the-strange-world-of-japans-pc-98-computer/
2•ecliptik•20m ago•0 comments

Why do hailstones get so big? Scientists are chasing storms to find answers

https://www.nature.com/articles/d41586-025-01618-7
1•gnabgib•20m ago•0 comments

Map of All US Public Schools & Educational Outcomes

https://timeback-world.vercel.app/
2•bjornpagen•22m ago•1 comments

Starship's Ninth Flight Test

https://www.spacex.com/launches/mission/?missionId=starship-flight-9
1•trollied•23m ago•0 comments

Show HN: I built a more productive way to manage AI chats

https://contextch.at
6•tapeo•25m ago•1 comments

TacoGuru: Lessons from a failed $5M taco tech startup in Mexico

3•bredee•27m ago•0 comments

Comparison of global surface temperature observations with IPCC simulations

https://bsky.app/profile/michaelemann.bsky.social/post/3lpsfutfzas2n
2•doener•27m ago•0 comments

X&Y gene dosage effects primary contributors to human sexual dimorphism:height

https://www.pnas.org/doi/full/10.1073/pnas.2503039122
2•bookofjoe•27m ago•0 comments

Playing with QR Codes [video]

https://www.youtube.com/watch?v=TlafDammd6s
3•vladde•30m ago•0 comments

Big Week for AI Releases: A Day-by-Day Remote MCP Breakdown

https://remotemcp.substack.com/p/big-week-for-ai-releases-a-day-by
2•joshwarwick15•31m ago•0 comments

Kagi Small Web

https://kagi.com/smallweb
2•nan60•35m ago•0 comments

Withdrawal symptoms are common after stopping antidepressants

https://www.psypost.org/withdrawal-symptoms-are-common-after-stopping-antidepressants/
4•lentoutcry•47m ago•0 comments

Trump Signs Orders To Speed Nuclear Reactor Deployment

https://www.cnbc.com/2025/05/23/trump-nuclear-executive-order.html
2•atomic128•48m ago•0 comments

UndoDB – The interactive time travel debugger for Linux C/C++ for debugging

https://undo.io/
1•droideqa•49m ago•0 comments

Tiny Genetic Code Disruption Alters Brain Wiring and Behavior

https://neurosciencenews.com/genetics-behavior-synapses-29125/
2•lentoutcry•50m ago•0 comments

Show HN: Mini PBS – A minimal public bike status webapp

https://github.com/adrien-delhorme/mini-pbs
1•adrndlhrm•51m ago•0 comments

Contraband

https://www.asymco.com/2025/05/17/contrabrand/
1•carrotsalad•57m ago•0 comments

Gottlob Frege

https://en.wikipedia.org/wiki/Gottlob_Frege
1•vram22•57m ago•0 comments

Salesforce Is Back in Talks to Acquire Informatica

https://www.bloomberg.com/news/articles/2025-05-23/salesforce-is-said-back-in-talks-to-acquire-informatica
1•mfiguiere•58m ago•0 comments