frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

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