newest
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
fovc•4h ago