newest
Open in hackernews
Z3 Theorem Prover
https://github.com/Z3Prover/z3
3
•
klaussilveira
•
2h ago
Show HN: Ambient AI – a web form that fills itself
https://github.com/ritiksahni/smart-form-input-router
1
•
rtk0
•
50s ago
•
0 comments
Malaysian Fryer Oil Arbitrage
https://www.bloomberg.com/opinion/newsletters/2025-06-23/malaysian-fryer-oil-arbitrage
1
•
ioblomov
•
55s ago
•
0 comments
Chinese satellite achieves 5x Starlink speed with 2-watt laser from 36km orbit
https://www.ibtimes.co.uk/chinese-satellite-targets-starlink-laser-strike-36000-kmwhat-it-means-space-security-1736432
1
•
penneyd
•
1m ago
•
0 comments
Assembly – Space Invaders ships remaining not initialized
https://retrocomputing.stackexchange.com/questions/31797/space-invaders-ships-remaining-not-initialized
1
•
rrauenza
•
1m ago
•
0 comments
Show HN: GUI for Claude Code – parallel tasks supported
https://github.com/ObservedObserver/async-code
1
•
loa_observer
•
2m ago
•
0 comments
Show HN: Neuralake, a simple platform for complex data
https://github.com/neuralinkcorp/neuralake
1
•
_asura
•
3m ago
•
0 comments
One Year at a Database Startup Called Neon
https://davidgomes.com/one-year-at-a-database-startup-called-neon/
1
•
davidgomes
•
3m ago
•
0 comments
The Global A.I. Divide
https://www.nytimes.com/interactive/2025/06/23/technology/ai-computing-global-divide.html
1
•
uxhacker
•
4m ago
•
0 comments
Bezos told he can pay more tax if he can rent Venice
https://www.ansa.it/english/news/general_news/2025/06/23/bezos-told-he-can-pay-more-tax-if-he-can-rent-venice_3b943490-fe95-49a9-beec-dcbb9a4ab383.html
1
•
Lucasoato
•
4m ago
•
0 comments
Laude Institute: Ship Your Research
https://www.laude.org
1
•
tosh
•
4m ago
•
0 comments
Intel Continues Working On Linear Address Space Separation "LASS" For Linux
https://www.phoronix.com/news/Intel-LASS-For-Linux-Mid-2025
1
•
akyuu
•
4m ago
•
0 comments
Substack – network error when adding images
1
•
samjones33
•
5m ago
•
0 comments
Iran State Media Announces Attack on U.S. Military in Qatar
https://www.barrons.com/livecoverage/us-iran-trump-news/card/iran-state-media-announces-attack-on-u-s-military-in-qatar-8hWMT4pySp8FuLunh1db
2
•
Anon84
•
6m ago
•
0 comments
Officials Concede They Don't Know the Fate of Iran's Uranium Stockpile
https://www.nytimes.com/2025/06/22/us/politics/iran-uranium-stockpile-whereabouts.html
10
•
zzzeek
•
8m ago
•
0 comments
Building a Language Server
https://bullno1.com/blog/building-a-language-server
1
•
bullno1
•
8m ago
•
0 comments
Let me ChatGPT that for you
https://lmcgtfy.com:443/
5
•
ramiabih
•
8m ago
•
0 comments
Expansion of the genomic and functional diversity of global ocean giant viruses
https://www.nature.com/articles/s44298-025-00122-z
1
•
PaulHoule
•
9m ago
•
0 comments
Serialization from Node.js
https://adamfaulkner.github.io/serialization_from_nodejs.html
1
•
adamkf
•
9m ago
•
0 comments
Chatbots Don't Just Do Language, They Do Metalinguistics
https://spectrum.ieee.org/ai-linguistics
1
•
01-_-
•
11m ago
•
0 comments
A clear, 2-minute explainer on Deep Learning and Neural Networks [video]
https://www.youtube.com/watch?v=kPVI1AHLsdM
1
•
paulakshat
•
11m ago
•
1 comments
The Holy Grail of Automation: Now a Robot Can Unload a Truck
https://www.wsj.com/business/logistics/the-holy-grail-of-automation-now-a-robot-can-unload-a-truck-ad527ba8
1
•
Jimmc414
•
11m ago
•
1 comments
The IAEA report on Iran [pdf]
https://www.iaea.org/sites/default/files/25/06/gov2025-24.pdf
2
•
simonebrunozzi
•
11m ago
•
0 comments
Threat Hunting Introduction: Cobalt Strike
https://rushter.com/blog/threat-hunting-cobalt-strike/
1
•
f311a
•
12m ago
•
0 comments
Highschoolers moving to SF from around the world for free [video]
https://www.youtube.com/watch?v=vcIS_-wvPZU
1
•
devenj
•
13m ago
•
0 comments
Tesla Robotaxi launches to the public with a safety driver (First Look)
https://www.youtube.com/watch?v=K1yr2ragaPw
2
•
_Yguy_
•
14m ago
•
0 comments
Iran launches six missiles toward US bases in Qatar
https://www.reuters.com/world/middle-east/axios-iran-launches-six-missiles-toward-us-bases-qatar-2025-06-23/
6
•
burnrate
•
14m ago
•
3 comments
Voyager 2 Illuminates Boundary of Interstellar Space
https://www.jpl.nasa.gov/news/voyager-2-illuminates-boundary-of-interstellar-space/
1
•
Bluestein
•
15m ago
•
1 comments
What an Nventure Nvidia joins Bill Gates' nuclear party by investing in startup
https://www.pcguide.com/news/what-an-nventure-nvidia-joins-bill-gates-nuclear-party-by-investing-in-start-up/
1
•
01-_-
•
16m ago
•
0 comments
Bacalhau 1.8 – focusing on improvements to observability pipelines
https://blog.bacalhau.org/p/announcing-bacalhau-v180
1
•
TheIronYuppie
•
16m ago
•
0 comments
Be serious – what you need to do before you build an AI agent
https://ingenimax.ai/blog/before-you-build-an-agent
1
•
tech-aguirre
•
16m ago
•
0 comments