frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Show HN: Tiny Hoare logic verifier using SMT

https://github.com/namin/metaprogramming/tree/master/lectures/5-smt
6•namin•6h ago

Comments

fovc•4h ago
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.

The Unreasonable Effectiveness of Fuzzing for Porting Programs

https://rjp.io/blog/2025-06-17-unreasonable-effectiveness-of-fuzzing
1•dlwh•1m ago•0 comments

BruhGrow Tools

https://www.bruhgrow.fun/
1•M0HD197•3m ago•0 comments

AI is eating our brains. MIT study: Your brain on ChatGPT

https://www.media.mit.edu/projects/your-brain-on-chatgpt/overview/
1•msyvr•3m ago•0 comments

Scientists Discover the Key to Axolotls' Ability to Regenerate Limbs

https://www.wired.com/story/scientists-discover-the-key-to-axolotls-ability-to-regenerate-limbs/
1•indigoabstract•3m ago•0 comments

Tesla FSD (Supervised) in Manhattan [video]

https://www.youtube.com/watch?v=aSZLD-kxmKM
2•arkmm•4m ago•0 comments

Optimise PostgreSQL queries: correlation and index-only scans

https://medium.com/typeforms-engineering-blog/optimise-postgresql-queries-correlation-and-index-only-scans-c248682b94f0
1•luigitni•5m ago•0 comments

Nvidia N1X, first benchmarks at GeekBench

https://www.heise.de/news/Nvidias-PC-Prozessor-N1X-im-Geekbench-10440734.html
1•tronjr•5m ago•0 comments

Code Reviews Are Changing with AI

https://read.technically.dev/p/what-are-code-reviews
1•TheAnkurTyagi•8m ago•0 comments

Stanislav Petrov

https://en.wikipedia.org/wiki/Stanislav_Petrov
1•franczesko•9m ago•0 comments

I made a collection of 50 calculators to solve niche problems

https://minform.io/templates
1•eashish93•9m ago•0 comments

LexiCAD – A tool that generates printable 3D models from text descriptions

https://lexicad.com
1•k1musab1•13m ago•0 comments

A community reading children's books became an emotional anchor for my wife

1•chbkall•14m ago•0 comments

Sam Altman says Meta offered OpenAI staff $100M bonuses

https://www.cnbc.com/2025/06/18/sam-altman-says-meta-tried-to-poach-openai-staff-with-100-million-bonuses-mark-zuckerberg.html
1•turntable_pride•18m ago•0 comments

Bombshell report claims voting machines were tampered with before 2024

https://economictimes.indiatimes.com/news/international/us/kamala-harris-won-the-u-s-elections-bombshell-report-claims-voting-machines-were-tampered-with-before-2024/articleshow/121732679.cms?from=mdr
2•doener•22m ago•0 comments

Windows x86-64 System Call Table (XP/2003/Vista/7/8/10/11 and Server)

https://j00ru.vexillium.org/syscalls/nt/64/
1•walterbell•26m ago•0 comments

Show HN: A concept to make images resilient to AI manipulation

https://github.com/rijal028/Adaptive-Web-Concept-Hub
1•rijal028•29m ago•1 comments

VocalCopyCat – 90% Cheaper Than ElevenLabs – API Coming Soon

https://www.vocalcopycat.com/
2•easylearnai•34m ago•2 comments

Show HN: One-Click Apply Resume Generator

https://cosign.com.au/resume-generator
1•louisblythe•40m ago•0 comments

Python 201 – All About the TypedDict – By Mike Driscoll

https://www.pythonpapers.com/p/python-201-all-about-the-typeddict
1•ankitg12•40m ago•0 comments

Your Brain on ChatGPT: Accumulation of Cognitive Debt When Using an AI Assistant

https://fermatslibrary.com/s/your-brain-on-chatgpt-accumulation-of-cognitive-debt-when-using-an-ai-assistant-for-essay-writing-task
7•BerislavLopac•43m ago•0 comments

Which company would you prefer to join?

https://www.companymatches.com/
2•wsycharles0o•43m ago•0 comments

Download all images from any site – in 1 click, for free

https://github.com/YelielGerardK/image-downloader-pro-extension
1•H0009•47m ago•0 comments

Electric Cars Are Losing Appeal to New Drivers, Increasing with Existing

https://www.bloomberg.com/news/articles/2025-06-17/electric-cars-lose-appeal-with-new-drivers-shell-survey-finds
3•helsinkiandrew•53m ago•1 comments

Despite what you learned at school, insulin isn't just made in the pancreas

https://theconversation.com/despite-what-you-learned-at-school-insulin-isnt-just-made-in-the-pancreas-256264
2•gnabgib•54m ago•0 comments

The Paris Years of Arcadio Huang (1990)

https://granta.com/the-paris-years-of-arcadio-huang/
1•sarcasticfish•58m ago•0 comments

Cool data centres with treated sewage

https://www.bbc.com/news/articles/cwyx41kx8d5o
3•1659447091•1h ago•0 comments

Paternity Leave Around Europe

https://www.bbc.com/news/articles/cy8d3l7858zo
4•NalNezumi•1h ago•0 comments

New material is eight times stronger than graphene

https://bgr.com/science/this-new-material-is-eight-times-stronger-than-graphene/
2•Bluestein•1h ago•0 comments

The Code Reviewer's Job Just Got Harder (Thanks, AI)

https://gigacore.substack.com/p/why-your-engineering-teams-need-to
1•Gigacore•1h ago•0 comments

Elaboration with Error Recovery

https://github.com/brendanzab/language-garden/tree/main/elab-stlc-error-recovery
1•matt_d•1h ago•0 comments