Specification and Formal Verification of Hardware–Software Contracts (computer.org)

1 points by matt_d 5m ago 0 comments

Challenge.gov – Medicare Fraud (challenge.gov)

1 points by gshakir 5m ago 0 comments

Cursor: 1.5x Faster Moe Training on Blackwell with MXFP8 Kernels (cursor.com)

1 points by tmm1 7m ago 0 comments

The Costs of Coding with Generative AI (sloanreview.mit.edu)

2 points by depressed 8m ago 0 comments

DBQuacks: An interactive SQL tutorial powered by DuckDB (dbquacks.com)

1 points by RockstarSprain 9m ago 0 comments

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs (arxiv.org)

2 points by matt_d 10m ago 0 comments

How to Scale Your Model: How to Think About GPUs (jax-ml.github.io)

2 points by matt_d 11m ago 0 comments

$36.5M in Emergency Funding to Protect Public Media in Vulnerable Communities (knightfoundation.org)

2 points by petethomas 11m ago 0 comments

IEA: Renewables Will Be Top Power Source "By 2026" (cleantechnica.com)

1 points by toomuchtodo 14m ago 1 comments

DeepSeek v3.1 just dropped – and it might be the most powerful open AI yet (venturebeat.com)

2 points by ed 14m ago 0 comments

Research suggests doctors might quickly become dependent on AI (npr.org)

1 points by geox 15m ago 0 comments

The Forgotten Meaning of "Jerk." (languagehat.com)

3 points by aspenmayer 17m ago 2 comments

James Brown's Mastodon feed is the hackiest thing on the internet (mastodon.social)

2 points by limbicsystem 18m ago 0 comments

Send Harvard's Chinese Students Home (wsj.com)

3 points by kamaraju 24m ago 0 comments

How to quickly test your code with Pytest (codecut.ai)

1 points by Ben5554 24m ago 1 comments

Databricks is raising a Series K Investment at >$100B valuation (databricks.com)

1 points by ro_arepally 27m ago 0 comments

How Flu Shots Prevent Heart Attacks (psychologytoday.com)

3 points by amichail 29m ago 0 comments

95 per cent of organisations are getting zero return from AI according to MIT (ft.com)

5 points by antithesizer 30m ago 3 comments

The Americans Following in the Footsteps of the Knights Templar (smithsonianmag.com)

1 points by Anon84 35m ago 0 comments

'SPAC King' Palihapitiya makes a comeback with new blank-check IPO (reuters.com)

1 points by bgwalter 35m ago 0 comments

White House launches official TikTok account (reuters.com)

4 points by giuliomagnifico 38m ago 1 comments

Drunken Bishop (2023) (re.factorcode.org)

6 points by todsacerdoti 40m ago 0 comments

Show HN: Wonder – AI-native design tool on canvas (twitter.com)

1 points by yegemberdin 41m ago 0 comments

gRPC: A high performance, open source universal RPC framework (grpc.io)

1 points by doener 45m ago 0 comments

CSF lipoprotein-mediated cholesterol delivery to neurons impaired in Alzheimer's (jlr.org)

2 points by bookofjoe 45m ago 0 comments

2026, Year of Reinforcement Learning? (aimlbling-about.ninerealmlabs.com)

1 points by namnnumbr 47m ago 0 comments

Microsoft Workers Protesting Israel Ties Say They Have Occupied HQ (bloomberg.com)

4 points by mikestew 47m ago 5 comments

Increased animal pollination during the Paleocene–Eocene thermal maximum (cambridge.org)

1 points by PaulHoule 48m ago 0 comments

Show HN: SEO Middleware for Next.js (npmjs.com)

1 points by dr_dimitru 48m ago 0 comments

Show HN: I made insta-like stories widget to mobile sites (getstorieswidget.com)

1 points by frknbasaran 48m ago 0 comments

Intel's $25B Rally Sends Valuation to Dot-Com Levels (bloomberg.com)

3 points by petethomas 49m ago 1 comments

Syrian Immigrants Are Boosting Germany's Economy (bloomberg.com)

5 points by fariszr 49m ago 0 comments

Alien Intelligences (alicemaz.com)

1 points by exolymph 50m ago 0 comments

FDA issues warning over possible radioactive shrimp (livescience.com)

1 points by fortran77 51m ago 1 comments

"Smithsonian should portray America's 'Brightness,' not 'how bad Slavery was" (abcnews.go.com)

3 points by belter 52m ago 0 comments

Top Five Lies in Epstein Footage (youtube.com)

2 points by belter 56m ago 2 comments

Deel: Court Dismisses Rippling Claims (deel.com)

2 points by superphil0 1h ago 0 comments

Free FreeHand Files Antitrust Lawsuit Against Adobe Systems, Inc. (2011) (web.archive.org)

1 points by doener 1h ago 0 comments

Why Bother with Markdown? (2020) (idle.nprescott.com)

1 points by smartmic 1h ago 0 comments

Show HN: LLM API proxy with API token rotation (github.com)

1 points by froschXP 1h ago 0 comments

Muon Optimizer Explained to a Toddler (yacinemahdid.com)

1 points by research_pie 1h ago 0 comments

Multi-band high-frequency antenna for satellite, automotive radar, and 6G comm (nature.com)

3 points by Improvement 1h ago 0 comments

A simple way to generate random points on a sphere (johndcook.com)

2 points by piinbinary 1h ago 1 comments

I hope you will never get this letter (news.lettersofnote.com)

3 points by tyre 1h ago 2 comments

I got 7k users in 1 month with my Text-to-Speech (amuletvoice.com)

1 points by romanmokie 1h ago 1 comments

3D-printed patch could heal damaged areas of the heart (futurity.org)

2 points by Improvement 1h ago 0 comments

Oregon Man Charged in 'Rapper Bot' DDoS Service (krebsonsecurity.com)

1 points by todsacerdoti 1h ago 0 comments

S&P 500 to Gold Ratio (macrotrends.net)

2 points by jameslk 1h ago 3 comments

Show HN: Delta Widgets – A widget maker for Windows using Tauri (delta-widgets.vercel.app)

1 points by amaan-mohib 1h ago 0 comments

Phoenix LiveView Colocated Hooks and JavaScript (elixircasts.io)

2 points by alekx 1h ago 0 comments

Docker container for running Claude Code in "dangerously skip permissions" mode

4 Luc 1 8/19/2025, 8:34:36 PM github.com ↗

Comments (1)

jshchnz · 1h ago

lol i literally just built this myself for a project this week, as I'm sure many have