newest
Open in hackernews
Lightweight Diagramming for Lightweight Formal Methods
https://blog.brownplt.org/2025/06/09/copeanddrag.html
3
•
azhenley
•
2h ago
WWDC 25 Keynote Thoughts
https://taoofmac.com/space/blog/2025/06/09/2130
1
•
rcarmo
•
4m ago
•
0 comments
Why Icon Rebranded to Sodax and Abandoned Its Layer-1
https://www.coindesk.com/markets/2025/05/12/here-s-why-icon-rebranded-to-sodax-and-abandoned-its-layer-1
1
•
PaulHoule
•
4m ago
•
0 comments
Apple: AI suffers "complete accuracy collapse" in face of complex problems
https://www.theguardian.com/technology/artificialintelligenceai
2
•
rippeltippel
•
5m ago
•
0 comments
Omni-Path is back on the AI, HPC menu in a new challenge to Nvidia's InfiniBand
https://www.theregister.com/2025/06/09/omnipath_is_back/
1
•
rntn
•
6m ago
•
0 comments
I Want to Hack to See WHO He Likes
1
•
Marjuskaa
•
6m ago
•
0 comments
Cal Newport: What Isaac Asimov Reveals About Living with A.I.
https://www.newyorker.com/culture/open-questions/what-isaac-asimov-reveals-about-living-with-ai
1
•
mitchbob
•
7m ago
•
2 comments
Baking the Y Combinator from scratch, Part 2: Recursion and its consequences
https://the-nerve-blog.ghost.io/baking-the-y-combinator-from-scratch-part-2-recursion-and-its-consequences/
1
•
mprast
•
7m ago
•
0 comments
Take That, You Hockey Puck
https://slate.com/life/2025/06/chatgpt-ai-best-free-google-gemini-writing.html
1
•
petethomas
•
7m ago
•
0 comments
You Can Be Anything [video]
https://www.youtube.com/watch?v=lLeCkSoS0oQ
1
•
itronitron
•
8m ago
•
0 comments
Agentic AI Summit 8/2 UC Berkeley-Early Bird Registration Now Open Until 6/30
1
•
rdi_berkeley
•
9m ago
•
0 comments
Container: Apple's Linux-Container Runtime
https://github.com/apple/container
4
•
jzelinskie
•
10m ago
•
1 comments
The urgency of saving our wallets
https://bluematt.bitcoin.ninja/2025/05/25/saveourwallets/
1
•
greyface-
•
12m ago
•
0 comments
The Secret World of Luxury Real Estate in DC
https://www.washingtonian.com/2025/05/15/inside-the-secret-world-of-luxury-real-estate-in-dc/
2
•
gmays
•
14m ago
•
0 comments
Headspace competitor Nomadful expands worldwide on the App Store
https://nomadful.io
1
•
liquidiguisante
•
15m ago
•
0 comments
Bears, mice, and moles aren't enough: a better approach for preventing fraud
https://stytch.com/blog/bears-mice-and-moles-aren-t-enough-a-better-approach-for-preventing-fraud/
1
•
bobbiechen
•
15m ago
•
0 comments
Push Science [pdf]
https://paulrcohen.github.io/papers/pushScience.pdf
1
•
todsacerdoti
•
16m ago
•
0 comments
New revolutionary device – 24 EEG channels with Raspberry Pi
https://pieeg.com/news/low-cost-24-channels-brain-computer-interface/
1
•
Christiangmer
•
17m ago
•
0 comments
Domains I Love
https://www.ahmedsaoudi.com/blog/domains-i-love/
1
•
ahmedfromtunis
•
19m ago
•
0 comments
Lovart AI-Powered Visual Design Assistant
https://www.lovart.ai
1
•
doniv01
•
21m ago
•
1 comments
Show HN: ForkOff – Live Fork and RPC Desync Monitor for Ethereum and L2s
1
•
ForkOff
•
22m ago
•
0 comments
As war rages in Gaza, archaeological looting in the West Bank has spiked
https://www.science.org/content/article/war-rages-gaza-archaeological-looting-west-bank-has-spiked
5
•
rbanffy
•
23m ago
•
0 comments
Pavel Durov Speaks Out Since His Arrest in France [video]
https://www.youtube.com/watch?v=bxFQvOyTolg
1
•
souvlakee
•
24m ago
•
0 comments
Xcode 26 Beta Release Notes
https://developer.apple.com/documentation/xcode-release-notes/xcode-26-release-notes
2
•
SoKamil
•
24m ago
•
0 comments
Report claims voting machines were tampered with before 2024 elections
https://www.msn.com/en-in/news/world/kamala-harris-won-the-u-s-elections-bombshell-report-claims-voting-machines-were-tampered-with-before-2024/ar-AA1GnteW
4
•
apples_oranges
•
24m ago
•
0 comments
AMD EPYC 4345P 8-Core CPU Performance Review
https://www.phoronix.com/review/amd-epyc-4345p
1
•
rbanffy
•
26m ago
•
0 comments
iOS 26 Gets New 'Adaptive Power' Option to Extend Battery Life
https://www.macrumors.com/2025/06/09/ios-26-adaptive-power/
1
•
mfiguiere
•
26m ago
•
0 comments
Fact Sheet: Donald Trump Reprioritizes Cybersecurity Efforts to Protect America
https://www.whitehouse.gov/fact-sheets/2025/06/fact-sheet-president-donald-j-trump-reprioritizes-cybersecurity-efforts-to-protect-america/
4
•
weinzierl
•
26m ago
•
0 comments
NASA's Top Technical Challenges Countdown: #2: More Power – Universe Today
https://www.universetoday.com/articles/nasas-top-5-technical-challenges-countdown-2-more-power
1
•
rbanffy
•
28m ago
•
0 comments
Ask HN: What are the pros and cons of different AI coding background agents?
2
•
hoanh
•
28m ago
•
0 comments
The Making of 'New York Street Diaries' by Phil Penman
https://aboutphotography.blog/blog/behind-the-scenes-with-phil-penman-the-making-of-new-york-street-diaries-book-spotlight
1
•
ChompChomp
•
30m ago
•
0 comments