Specification and Formal Verification of Hardware–Software Contracts

https://www.computer.org/csdl/magazine/co/2025/08/11104170/28MaS4fMgyk

1•matt_d•4m ago•0 comments

Challenge.gov – Medicare Fraud

https://www.challenge.gov/?challenge=crushing-fraud-chili-cook-off-competition

1•gshakir•4m ago•0 comments

Cursor: 1.5x Faster Moe Training on Blackwell with MXFP8 Kernels

https://cursor.com/en/blog/kernels

1•tmm1•7m ago•0 comments

The Costs of Coding with Generative AI

https://sloanreview.mit.edu/article/the-hidden-costs-of-coding-with-generative-ai/

2•depressed•7m ago•0 comments

DBQuacks: An interactive SQL tutorial powered by DuckDB

https://dbquacks.com/

1•RockstarSprain•8m ago•0 comments

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs

https://arxiv.org/abs/2508.12743

2•matt_d•9m ago•0 comments

How to Scale Your Model: How to Think About GPUs

https://jax-ml.github.io/scaling-book/gpus/

2•matt_d•10m ago•0 comments

$36.5M in Emergency Funding to Protect Public Media in Vulnerable Communities

https://knightfoundation.org/press/releases/foundations-commit-36-5-million-in-emergency-funding-to-protect-public-media-in-vulnerable-communities/

2•petethomas•10m ago•0 comments

IEA: Renewables Will Be Top Power Source "By 2026"

https://cleantechnica.com/2025/08/18/iea-renewables-will-be-worlds-top-power-source-by-2026/

1•toomuchtodo•13m ago•1 comments

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

https://venturebeat.com/ai/deepseek-v3-1-just-dropped-and-it-might-be-the-most-powerful-open-ai-yet/

1•ed•13m ago•0 comments

Research suggests doctors might quickly become dependent on AI

https://www.npr.org/sections/shots-health-news/2025/08/19/nx-s1-5506292/doctors-ai-artificial-intelligence-dependent-colonoscopy

1•geox•14m ago•0 comments

The Forgotten Meaning of "Jerk."

https://languagehat.com/the-forgotten-meaning-of-jerk/

3•aspenmayer•16m ago•2 comments

James Brown's Mastodon feed is the hackiest thing on the internet

https://mastodon.social/@ancientjames

1•limbicsystem•17m ago•0 comments

Send Harvard's Chinese Students Home

https://www.wsj.com/opinion/send-harvards-chinese-students-home-national-security-risk-research-2e43313d

3•kamaraju•23m ago•0 comments

How to quickly test your code with Pytest

https://codecut.ai/pytest-for-data-scientists/

1•Ben5554•23m ago•1 comments

Databricks is raising a Series K Investment at >$100B valuation

https://www.databricks.com/company/newsroom/press-releases/databricks-raising-series-k-investment-100-billion-valuation

1•ro_arepally•26m ago•0 comments

How Flu Shots Prevent Heart Attacks

https://www.psychologytoday.com/us/blog/fevered-mind/202508/how-flu-shots-prevent-heart-attacks

3•amichail•28m ago•0 comments

95 per cent of organisations are getting zero return from AI according to MIT

https://www.ft.com/content/33914f25-093c-4069-bb16-8626cfc15a51

5•antithesizer•29m ago•3 comments

The Americans Following in the Footsteps of the Knights Templar

https://www.smithsonianmag.com/history/meet-americans-following-footsteps-knights-templar-180969344/

1•Anon84•34m ago•0 comments

'SPAC King' Palihapitiya makes a comeback with new blank-check IPO

https://www.reuters.com/markets/wealth/spac-king-palihapitiya-makes-comeback-with-new-blank-check-ipo-2025-08-19/

1•bgwalter•34m ago•0 comments

White House launches official TikTok account

https://www.reuters.com/world/us/white-house-launches-official-tiktok-account-2025-08-19/

4•giuliomagnifico•37m ago•1 comments

Drunken Bishop (2023)

https://re.factorcode.org/2023/08/drunken-bishop.html

6•todsacerdoti•39m ago•0 comments

Show HN: Wonder – AI-native design tool on canvas

https://twitter.com/aibek_design/status/1957856991608512898

1•yegemberdin•40m ago•0 comments

gRPC: A high performance, open source universal RPC framework

https://grpc.io

1•doener•44m ago•0 comments

CSF lipoprotein-mediated cholesterol delivery to neurons impaired in Alzheimer's

https://www.jlr.org/article/S0022-2275(25)00127-0/fulltext

2•bookofjoe•44m ago•0 comments

2026, Year of Reinforcement Learning?

https://aimlbling-about.ninerealmlabs.com/blog/reinforcement-learning/

1•namnnumbr•46m ago•0 comments

Microsoft Workers Protesting Israel Ties Say They Have Occupied HQ

https://www.bloomberg.com/news/articles/2025-08-19/microsoft-workers-protesting-israel-ties-say-they-ve-occupied-hq

4•mikestew•46m ago•5 comments

Increased animal pollination during the Paleocene–Eocene thermal maximum

https://www.cambridge.org/core/journals/paleobiology/article/evidence-for-increased-animal-pollination-during-the-paleoceneeocene-thermal-maximum/149BE1218DC87646479C23976B0A1E62

Specification and Formal Verification of Hardware–Software Contracts

Challenge.gov – Medicare Fraud

Cursor: 1.5x Faster Moe Training on Blackwell with MXFP8 Kernels

The Costs of Coding with Generative AI

DBQuacks: An interactive SQL tutorial powered by DuckDB

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs

How to Scale Your Model: How to Think About GPUs

$36.5M in Emergency Funding to Protect Public Media in Vulnerable Communities

IEA: Renewables Will Be Top Power Source "By 2026"

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

Research suggests doctors might quickly become dependent on AI

The Forgotten Meaning of "Jerk."

James Brown's Mastodon feed is the hackiest thing on the internet

Send Harvard's Chinese Students Home

How to quickly test your code with Pytest

Databricks is raising a Series K Investment at >$100B valuation

How Flu Shots Prevent Heart Attacks

95 per cent of organisations are getting zero return from AI according to MIT

The Americans Following in the Footsteps of the Knights Templar

'SPAC King' Palihapitiya makes a comeback with new blank-check IPO

White House launches official TikTok account

Drunken Bishop (2023)

Show HN: Wonder – AI-native design tool on canvas

gRPC: A high performance, open source universal RPC framework

CSF lipoprotein-mediated cholesterol delivery to neurons impaired in Alzheimer's

2026, Year of Reinforcement Learning?

Microsoft Workers Protesting Israel Ties Say They Have Occupied HQ

Increased animal pollination during the Paleocene–Eocene thermal maximum

Show HN: SEO Middleware for Next.js

Show HN: I made insta-like stories widget to mobile sites

Muon Optimizer Explained to a Toddler

Specification and Formal Verification of Hardware–Software Contracts

Challenge.gov – Medicare Fraud

Cursor: 1.5x Faster Moe Training on Blackwell with MXFP8 Kernels

The Costs of Coding with Generative AI

DBQuacks: An interactive SQL tutorial powered by DuckDB

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs

How to Scale Your Model: How to Think About GPUs

$36.5M in Emergency Funding to Protect Public Media in Vulnerable Communities

IEA: Renewables Will Be Top Power Source "By 2026"

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

Research suggests doctors might quickly become dependent on AI

The Forgotten Meaning of "Jerk."

James Brown's Mastodon feed is the hackiest thing on the internet

Send Harvard's Chinese Students Home

How to quickly test your code with Pytest

Databricks is raising a Series K Investment at >$100B valuation

How Flu Shots Prevent Heart Attacks

95 per cent of organisations are getting zero return from AI according to MIT

The Americans Following in the Footsteps of the Knights Templar

'SPAC King' Palihapitiya makes a comeback with new blank-check IPO

White House launches official TikTok account

Drunken Bishop (2023)

Show HN: Wonder – AI-native design tool on canvas

gRPC: A high performance, open source universal RPC framework

CSF lipoprotein-mediated cholesterol delivery to neurons impaired in Alzheimer's

2026, Year of Reinforcement Learning?

Microsoft Workers Protesting Israel Ties Say They Have Occupied HQ

Increased animal pollination during the Paleocene–Eocene thermal maximum

Show HN: SEO Middleware for Next.js

Show HN: I made insta-like stories widget to mobile sites