Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1 (philipzucker.com)

1 points by matt_d 1m ago 0 comments

Show HN: I built the fastest VIN decoder (github.com)

1 points by samsullivan 1m ago 0 comments

AI Chef (cloudchef.co)

1 points by artur_makly 11m ago 0 comments

The Crypto Crises Are Coming (project-syndicate.org)

1 points by clumsysmurf 12m ago 0 comments

iPhone rakes in 3 times the revenue of any rival (cultofmac.com)

1 points by mgh2 12m ago 0 comments

The Changing Politics of Masks (nytimes.com)

2 points by puttycat 14m ago 0 comments

NASA's Lunar Trailblazer Moon Mission Ends (nasa.gov)

1 points by gnabgib 15m ago 0 comments

Lumo Privacy and Security Model (proton.me)

1 points by ryandotsmith 16m ago 0 comments

Some female frogs play dead to avoid mating (snopes.com)

2 points by Gaishan 17m ago 0 comments

When Disney Went Digital (animationobsessive.substack.com)

1 points by ani_obsessive 18m ago 0 comments

Japan breaks 17 heat records (phys.org)

2 points by teleforce 20m ago 0 comments

TUI Implementation for Avalonia UI (github.com)

1 points by vyrotek 22m ago 0 comments

Netanyahu Has Decided on Full Occupation of Gaza Strip: Reports (newsweek.com)

5 points by rubslopes 22m ago 0 comments

NASA's Lunar Trailblazer mission ends in disappointment (engadget.com)

2 points by Bluestein 23m ago 1 comments

Australia picks Japan over Germany to build $10B frigates (abc.net.au)

6 points by Gaishan 24m ago 1 comments

Pornography is turning sex into an extreme sport (thetimes.com)

3 points by drankl 26m ago 2 comments

3D Line Drawings (amritkwatra.com)

2 points by tansh 28m ago 0 comments

AI Flight Pricing Can Push Travelers to the Limit of Their Ability to Pay (bloomberg.com)

2 points by jaredwiener 29m ago 1 comments

Over engineering my homelab so I don't pay cloud providers (ergaster.org)

2 points by JNRowe 30m ago 0 comments

I Mailed the FBI a Hate Crime Cease and Desist Letter (onedrive.live.com)

1 points by slowdoorsemillc 32m ago 1 comments

EconTeen – Financial Literacy Lessons and Tools for Teens (econteen.com)

7 points by Chrisjackson4 34m ago 1 comments

Just tried a new AI tool – it turns text prompts into short films (popshort.ai)

1 points by florawwn 36m ago 1 comments

Revisiting Clause Vivification [pdf] (cs.cmu.edu)

1 points by matt_d 37m ago 0 comments

MIT tool visualizes and edits "physically impossible" objects (news.mit.edu)

1 points by chmaynard 37m ago 0 comments

Russian volcano erupts for first time in more than 500 years (bbc.com)

5 points by mhb 38m ago 0 comments

"Fluid Compute": Streaming requests to AWS lambdas for increased efficiency (theregister.com)

3 points by Shorn 38m ago 1 comments

OCHA situation report on Gaza, July 30 (ochaopt.org)

3 points by xg15 39m ago 0 comments

Long dormant Russian volcano erupts, spews ash 4 miles high (upi.com)

3 points by mhb 39m ago 2 comments

Falcon-H1: A Family of Hybrid-Head Models Redefining Efficiency and Performance (arxiv.org)

1 points by rbanffy 40m ago 0 comments

London Stock Exchange considers 24-hour trading to stimulate market (theguardian.com)

6 points by PaulHoule 43m ago 0 comments

Trello: How the project management app's update is causing customers to revolt (slate.com)

3 points by tekdude 44m ago 0 comments

Developers, Reinvented (ashtom.github.io)

1 points by azhenley 44m ago 0 comments

Perplexity is using stealth, undeclared crawlers to evade no-crawl directives (lobste.rs)

1 points by SupremumLimit 45m ago 1 comments

My current guess at AI automation effect on jobs (sortega.substack.com)

2 points by kreig 45m ago 0 comments

Nothing to see here (it was Cloudflare crawler hints) (simonwillison.net)

3 points by simonw 46m ago 1 comments

Vim: You probably don't want to use Netrw (kitsugo.com)

2 points by scentoni 48m ago 0 comments

Pre-Training Large Memory Language Models with Internal and External Knowledge (arxiv.org)

2 points by bilsbie 50m ago 0 comments

CVE-2025-50753 – Mitrastar GPT-2741 GNAC-N2 root privilege escalation (amatriz.net)

1 points by geraldog 51m ago 0 comments

How a 25-year-old dev made 600 apps without being able to code (2015) (cultofmac.com)

2 points by surround 52m ago 0 comments

Learn Software-Defined Radio, GNURadio, RTL-SDR and PlutoSDR with Prof Jason (youtube.com)

4 points by transpute 53m ago 0 comments

Beware Macro Decay Modes (overcomingbias.com)

1 points by paulpauper 53m ago 0 comments

State Dpt may require visa applicants to post bond of up to $15,000 to enter US (yahoo.com)

2 points by testrun 54m ago 0 comments

Telnyx launches TypeScript/React Library for building custom AI agent widgets

1 points by maevesentner 56m ago 0 comments

Darkness at Noon (1940) (archive.org)

2 points by OgsyedIE 57m ago 0 comments

US Nuclear Weapons Return to UK After 2008 Withdrawal (thedefensepost.com)

5 points by bbarnett 58m ago 0 comments

The Simple Brilliance of the Illudium PU-36 Explosive Space Modulator (flamingmonocle.com)

2 points by austinallegro 59m ago 0 comments

New Statue Appears on Easter Island: How Many Moai Are There? (popularmechanics.com)

2 points by coloneltcb 1h ago 0 comments

Ask HN: How does the Postgres ecosystem compare to Vitess at 1PB+?

3 points by GabrielBianconi 1h ago 2 comments

Staring into the abyss as a core life skill (benkuhn.net)

2 points by paulpauper 1h ago 0 comments

Tesla Diner (tesla.com)

15 points by poly2it 1h ago 10 comments

RapiTapir: Type-Safe HTTP APIs for Ruby

1 rickydjit 0 8/4/2025, 8:32:49 PM github.com ↗

Comments (0)

No comments yet