Specification and Formal Verification of Hardware–Software Contracts

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

1•matt_d•7m ago•0 comments

Challenge.gov – Medicare Fraud

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

1•gshakir•7m ago•0 comments

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

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

2•tmm1•9m 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•10m ago•0 comments

DBQuacks: An interactive SQL tutorial powered by DuckDB

https://dbquacks.com/

1•RockstarSprain•11m ago•0 comments

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs

https://arxiv.org/abs/2508.12743

2•matt_d•12m ago•0 comments

How to Scale Your Model: How to Think About GPUs

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

2•matt_d•12m 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•13m 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•15m 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/

3•ed•16m 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•17m ago•0 comments

The Forgotten Meaning of "Jerk."

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

3•aspenmayer•18m ago•2 comments

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

https://mastodon.social/@ancientjames

2•limbicsystem•20m 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•26m ago•0 comments

How to quickly test your code with Pytest

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

1•Ben5554•26m 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•29m 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•30m 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•32m 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•36m 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•37m 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•40m ago•1 comments

Drunken Bishop (2023)

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

6•todsacerdoti•41m ago•0 comments

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

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

1•yegemberdin•43m ago•0 comments

gRPC: A high performance, open source universal RPC framework

https://grpc.io

1•doener•46m 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•47m ago•0 comments

2026, Year of Reinforcement Learning?

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

2•namnnumbr•49m 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

5•mikestew•49m 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

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

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