newest
Open in hackernews
Getting Started with Dafny: A Guide
https://dafny.org/latest/OnlineTutorial/guide
3
•
gone35
•
3h ago
The Largest SSD Arrives with 122.88TB
https://www.howtogeek.com/solidigm-d5-p5336-ssd-debut/
1
•
raydenvm
•
6m ago
•
0 comments
Notes on Managing ADHD
https://borretti.me/article/notes-on-managing-adhd
1
•
bookofjoe
•
8m ago
•
0 comments
Many Exporters No Longer Want Dollars, US Bank Executive Says
https://www.bloomberg.com/news/articles/2025-06-16/many-exporters-no-longer-want-dollars-us-bank-executive-says
2
•
teleforce
•
11m ago
•
0 comments
Reviving Dead Malls and Dying Colleges: 2 Successful Cases of Adaptive Reuse
https://www.collegetowns.org/p/reviving-dead-malls-and-dying-colleges
2
•
RetiredRichard
•
16m ago
•
0 comments
Zoë Kooyman on Post-Stallman Changes at the Free Software Foundation
https://fossforce.com/2025/03/zoe-kooyman-on-post-stallman-changes-at-the-free-software-foundation/
1
•
MilnerRoute
•
16m ago
•
0 comments
Show HN: Lstr – A modern, interactive tree command written in Rust
https://github.com/bgreenwell/lstr
11
•
w108bmg
•
18m ago
•
1 comments
The Ecosystem Dynamics That Can Make or Break an Invasion
https://www.quantamagazine.org/the-ecosystem-dynamics-that-can-make-or-break-an-invasion-20250616/
1
•
pseudolus
•
18m ago
•
0 comments
Long-term benefits of single-dose psilocybin in depressed patients with cancer
https://acsjournals.onlinelibrary.wiley.com/doi/10.1002/cncr.35889
1
•
miles
•
40m ago
•
0 comments
IndexedDB Is Weird
https://qsantos.fr/2025/03/03/indexeddb-is-weird/
1
•
owebmaster
•
46m ago
•
0 comments
tcploop TCP client and server for bug hunting
https://raw.githubusercontent.com/haproxy/haproxy/master/dev/tcploop/tcploop.c
2
•
1vuio0pswjnm7
•
50m ago
•
0 comments
What employees think of their companies' values
https://www.economist.com/interactive/business/2025/06/16/corporate-culture
2
•
jcartw
•
59m ago
•
1 comments
John Boyd and the OODA Loop
https://psychsafety.com/john-boyd-and-the-ooda-loop/
2
•
squircle
•
59m ago
•
0 comments
GPT is writing the GitHub issues, Copilot is fixing them
https://philipotoole.com/gpt-is-writing-the-github-issues-copilot-is-fixing-them/
1
•
otoolep
•
1h ago
•
0 comments
Connect Word: Word Association Puzzle Mobile Game – Video Tutorial Collection
https://connectword.net
1
•
wsljhint
•
1h ago
•
0 comments
Demystifying EAA and GPSR
https://igda-gasig.org/what-and-why/demystifying-eaa-gpsr/
1
•
amichail
•
1h ago
•
0 comments
Text to video in seconds with Wan 2.1 AI Video Generator
https://www.vidorai.com
1
•
cy2025421
•
1h ago
•
0 comments
Show HN: PM Workflow Copilot AI Product-Management Workflow in Cursor/Cline IDEs
https://github.com/botingw/pm-workflow-copilot-ide
2
•
botingw_job
•
1h ago
•
0 comments
X sues to block copycat NY content moderation law after California win
https://arstechnica.com/tech-policy/2025/06/x-sues-to-block-copycat-ny-content-moderation-law-after-california-win/
2
•
danaris
•
1h ago
•
0 comments
Bitcoin
https://vault.fbi.gov/bitcoin/bitcoin-final/view
2
•
sans_souse
•
1h ago
•
1 comments
FDA to offer faster drug reviews to companies promoting 'national priorities'
https://apnews.com/article/fda-drugs-makary-trump-accelerated-approval-752146d97521b1644c9b10f2c6361f33
6
•
geox
•
1h ago
•
0 comments
Show HN: Rulebook AI – rules and memory manager for AI coding IDEs
https://github.com/botingw/rulebook-ai
2
•
botingw_job
•
1h ago
•
0 comments
China's automakers aim for cars with 100% domestic chips from 2026
https://asia.nikkei.com/Business/Technology/China-s-automakers-aim-for-cars-with-100-domestic-chips-from-2026
5
•
rguiscard
•
1h ago
•
1 comments
AI Behavioral Evolution: An Experimental Study of Autonomous Digital Development
https://www.nunodonato.com/ai-behavioral-evolution-an-experimental-study-of-autonomous-digital-development/
1
•
nunodonato
•
1h ago
•
0 comments
Show HN: Tiny Hoare logic verifier using SMT
https://github.com/namin/metaprogramming/tree/master/lectures/5-smt
4
•
namin
•
1h ago
•
0 comments
Generic Model Calling
https://pypi.org/project/model-calling/
1
•
rdwj
•
1h ago
•
0 comments
I Tried to Warn Them, but We've Lost Control G. Hinton [video]
https://www.youtube.com/watch?v=giT0ytynSqg
3
•
grg0
•
1h ago
•
0 comments
Use our prompt improver to optimize your prompts
https://docs.anthropic.com/en/docs/build-with-claude/prompt-engineering/prompt-improver
3
•
handfuloflight
•
1h ago
•
0 comments
Why Quantum Computers Cannot Work [pdf]
https://www.math.ucdavis.edu/~deloera/TEACHING/VIDEOS/Kalai-Lectures/hkD.pdf
3
•
bpiroman
•
1h ago
•
1 comments
My plan to make art for 200 years after I die
https://www.thetimes.com/culture/art/article/damien-hirst-money-death-therapy-a-yba-turns-60-78v9x2mwn
1
•
driftsumi-e
•
1h ago
•
0 comments
Website claims wildfire destroyed clothing warehouse. But it doesn't exist
https://www.cbc.ca/news/canada/manitoba/a-website-claims-wildfire-destroyed-a-single-mom-s-clothing-warehouse-but-the-store-doesn-t-exist-1.7557826
2
•
gnabgib
•
1h ago
•
0 comments