RefinedRust: High-Assurance Verification of Rust Programs [video]

https://www.youtube.com/watch?v=XR8p9R1cPC4

1•matt_d•2m ago•0 comments

Qwen3: Think Deeper, Act Faster

https://qwenlm.github.io/blog/qwen3/

2•synthwave•3m ago•0 comments

AI like 'Autistic Translator' and 'Goblin.Tools' are helping autistic people

https://www.washingtonpost.com/technology/2025/04/27/ai-autism-autistic-translator/

2•thoughtpeddler•3m ago•2 comments

The case for multi-decade AI timelines

https://epochai.substack.com/p/the-case-for-multi-decade-ai-timelines

1•paulpauper•4m ago•0 comments

They Stole a Quarter-Billion in Crypto and Got Caught Within a Month

https://www.nytimes.com/2025/04/24/magazine/crybercrime-crypto-minecraft.html

1•paulpauper•5m ago•0 comments

Bay Area tech workers thought their jobs were safe

https://www.latimes.com/business/story/2025-04-28/tech-layoffs-meta-google-autodesk-block-san-francisco

1•axiomdata316•5m ago•0 comments

Stonebraker: One size fits none: everything you learned in your DBMS class is wr

https://slideshot.epfl.ch/play/suri_stonebraker

1•fanf2•5m ago•0 comments

Monero Price Surge Likely Attributable to Large Hack

https://www.coindesk.com/markets/2025/04/28/monero-price-surge-likely-attributable-to-large-hack-zachxbt

1•paulpauper•6m ago•0 comments

What Is an AI Agent?

https://a16z.com/podcast/what-is-an-ai-agent/

1•ykhli•7m ago•0 comments

Ups in Talks with Startup Figure AI to Deploy Humanoid Robots

https://www.bloomberg.com/news/articles/2025-04-28/ups-in-talks-with-startup-figure-ai-to-deploy-humanoid-robots

1•htrp•7m ago•0 comments

ChatGPT is getting better for shopping

https://www.theverge.com/news/656729/openai-chatgpt-search-shopping

2•htrp•9m ago•0 comments

The design of software engineering course projects

https://austinhenley.com/blog/groupprojects.html

2•azhenley•9m ago•0 comments

Beyond Elk: Lightweight and Scalable Cloud-Native Log Monitoring

https://greptime.com/blogs/2025-04-24-elasticsearch-greptimedb-comparison-performance

1•xzhuang1984•13m ago•0 comments

Show HN: CodeSight is the Figma for your GitHub repository

https://twitter.com/sashimikun_void/status/1916953299942527326

1•sashimikun•13m ago•0 comments

Show HN: AI Beauty Test – Get AI Score and Tips on Your Selfie (Free, No Login)

https://aibeautytest.pro

1•DearestZ•17m ago•0 comments

Agents Companion

https://www.kaggle.com/whitepaper-agent-companion

1•lawrenceyan•17m ago•0 comments

Justice41 – Rehosting the screening tool Trump took down

https://justice41.org/en/

2•tfpgh•19m ago•0 comments

The standing power throw is out as new Army fitness test goes 'sex-neutral'

https://taskandpurpose.com/news/army-fitness-test-sex-neutral/

8•PaulHoule•19m ago•2 comments

Why YC Rejects Experienced Founders (and Why They're Probably Right)

https://medium.com/@jonah.harris/why-yc-rejects-experienced-founders-and-why-theyre-probably-right-64b6aba65b49

3•jonahharris•20m ago•1 comments

An update to our free plan

https://windsurf.com/blog/update-to-free-plan

1•varunkmohan•21m ago•0 comments

DRM-Free OnlyFans Downloads See Widevine Project Nuked from GitHub

https://torrentfreak.com/drm-free-onlyfans-downloads-see-widevine-project-nuked-from-github-250428/

2•hn_acker•22m ago•0 comments

How the state sent Californians' personal health data to LinkedIn

https://calmatters.org/health/2025/04/covered-california-linkedin-tracker/

3•Scramblejams•23m ago•0 comments

Building the Internet of the 2030s

https://blog.andyl.com/building-the-internet-of-the-2030s/

1•dylanplecki•24m ago•0 comments

Benchmark Scores Aren't Enough: A/B Testing AI in Production

https://blog.growthbook.io/how-to-a-b-test-ai-a-practical-guide/

1•royalfig•25m ago•1 comments

Show HN: Chat to Design Forms in Minutes

https://www.chatform.dev/

1•adamskrocki•26m ago•0 comments

It took me two days to check that these 'theorems' were just made up by ChatGPT

https://old.reddit.com/r/math/comments/1k9ww17/took_me_2_days_to_check_that_these_theorems_were/

RefinedRust: High-Assurance Verification of Rust Programs [video]

Qwen3: Think Deeper, Act Faster

AI like 'Autistic Translator' and 'Goblin.Tools' are helping autistic people

The case for multi-decade AI timelines

They Stole a Quarter-Billion in Crypto and Got Caught Within a Month

Bay Area tech workers thought their jobs were safe

Stonebraker: One size fits none: everything you learned in your DBMS class is wr

Monero Price Surge Likely Attributable to Large Hack

What Is an AI Agent?

Ups in Talks with Startup Figure AI to Deploy Humanoid Robots

ChatGPT is getting better for shopping

The design of software engineering course projects

Beyond Elk: Lightweight and Scalable Cloud-Native Log Monitoring

Show HN: CodeSight is the Figma for your GitHub repository

Show HN: AI Beauty Test – Get AI Score and Tips on Your Selfie (Free, No Login)

Agents Companion

Justice41 – Rehosting the screening tool Trump took down

The standing power throw is out as new Army fitness test goes 'sex-neutral'

Why YC Rejects Experienced Founders (and Why They're Probably Right)

An update to our free plan

DRM-Free OnlyFans Downloads See Widevine Project Nuked from GitHub

How the state sent Californians' personal health data to LinkedIn

Building the Internet of the 2030s

Benchmark Scores Aren't Enough: A/B Testing AI in Production

Show HN: Chat to Design Forms in Minutes

It took me two days to check that these 'theorems' were just made up by ChatGPT

New York’s Top 10 Most Reckless Drivers

Google Maps fixed India's street name problem

No-engine gamedev using Odin and Raylib

Inside DVD-Video: Interaction Machine

Building routing for e-cargo bikes

RefinedRust: High-Assurance Verification of Rust Programs [video]

Qwen3: Think Deeper, Act Faster

AI like 'Autistic Translator' and 'Goblin.Tools' are helping autistic people

The case for multi-decade AI timelines

They Stole a Quarter-Billion in Crypto and Got Caught Within a Month

Bay Area tech workers thought their jobs were safe

Stonebraker: One size fits none: everything you learned in your DBMS class is wr

Monero Price Surge Likely Attributable to Large Hack

What Is an AI Agent?

Ups in Talks with Startup Figure AI to Deploy Humanoid Robots

ChatGPT is getting better for shopping

The design of software engineering course projects

Beyond Elk: Lightweight and Scalable Cloud-Native Log Monitoring

Show HN: CodeSight is the Figma for your GitHub repository

Show HN: AI Beauty Test – Get AI Score and Tips on Your Selfie (Free, No Login)

Agents Companion

Justice41 – Rehosting the screening tool Trump took down

The standing power throw is out as new Army fitness test goes 'sex-neutral'

Why YC Rejects Experienced Founders (and Why They're Probably Right)

An update to our free plan

DRM-Free OnlyFans Downloads See Widevine Project Nuked from GitHub

How the state sent Californians' personal health data to LinkedIn

Building the Internet of the 2030s

Benchmark Scores Aren't Enough: A/B Testing AI in Production

Show HN: Chat to Design Forms in Minutes

It took me two days to check that these 'theorems' were just made up by ChatGPT

New York’s Top 10 Most Reckless Drivers

Google Maps fixed India's street name problem

No-engine gamedev using Odin and Raylib

Inside DVD-Video: Interaction Machine