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

1 points by matt_d 3m ago 0 comments

Challenge.gov – Medicare Fraud (challenge.gov)

1 points by gshakir 3m ago 0 comments

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

1 points by tmm1 6m ago 0 comments

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

2 points by depressed 6m ago 0 comments

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

1 points by RockstarSprain 7m ago 0 comments

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

2 points by matt_d 8m ago 0 comments

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

2 points by matt_d 9m ago 0 comments

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

2 points by petethomas 9m ago 0 comments

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

1 points by toomuchtodo 12m ago 1 comments

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

1 points by ed 12m ago 0 comments

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

1 points by geox 14m ago 0 comments

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

3 points by aspenmayer 15m ago 2 comments

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

1 points by limbicsystem 16m ago 0 comments

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

3 points by kamaraju 22m ago 0 comments

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

1 points by Ben5554 22m ago 1 comments

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

1 points by ro_arepally 25m ago 0 comments

How Flu Shots Prevent Heart Attacks (psychologytoday.com)

3 points by amichail 27m ago 0 comments

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

5 points by antithesizer 28m ago 2 comments

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

1 points by Anon84 33m ago 0 comments

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

1 points by bgwalter 33m ago 0 comments

White House launches official TikTok account (reuters.com)

4 points by giuliomagnifico 37m ago 1 comments

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

6 points by todsacerdoti 38m ago 0 comments

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

1 points by yegemberdin 39m ago 0 comments

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

1 points by doener 43m ago 0 comments

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

2 points by bookofjoe 43m ago 0 comments

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

1 points by namnnumbr 45m ago 0 comments

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

4 points by mikestew 45m ago 5 comments

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

1 points by PaulHoule 46m ago 0 comments

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

1 points by dr_dimitru 46m ago 0 comments

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

1 points by frknbasaran 46m ago 0 comments

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

3 points by petethomas 47m ago 1 comments

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

5 points by fariszr 47m ago 0 comments

Alien Intelligences (alicemaz.com)

1 points by exolymph 48m ago 0 comments

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

1 points by fortran77 49m ago 1 comments

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

3 points by belter 50m ago 0 comments

Top Five Lies in Epstein Footage (youtube.com)

2 points by belter 54m ago 1 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

Drunken Bishop (2023)

6 todsacerdoti 0 8/19/2025, 9:48:30 PM re.factorcode.org ↗

Comments (0)

No comments yet