Show HN: Bertrand Russell's Principia Mathematica in Lean

https://github.com/ndrwnaguib/principia

1•ndrwnaguib•37s ago•0 comments

Microsoft's Big AI Hire Can't Match OpenAI

https://www.newcomer.co/p/microsofts-big-ai-hire-cant-match

1•pdyc•1m ago•0 comments

Surgeon general nominee faces scrutiny over credentials

https://www.cbsnews.com/news/trump-surgeon-general-nominee-dr-janette-nesheiwat-credentials/

1•pmags•1m ago•0 comments

Step1X-Edit: When Open-Source Image Editing Gets Interesting

https://safichaudhry.substack.com/

1•safi_•1m ago•0 comments

Part 1: LA avatar startups and other mysterious unicorns

https://medium.com/@quinnhoekstra/part-1-la-avatar-startups-and-other-mysterious-unicorns-7b608d9bff38

1•saasFounder1•1m ago•0 comments

Curry: A Integrated Functional Logic Programming Language

https://curry-lang.org/

1•hyperbrainer•3m ago•0 comments

Colors are objective − even though what you see doesn't match what I see

https://theconversation.com/colors-are-objective-according-to-two-philosophers-even-though-the-blue-you-see-doesnt-match-what-i-see-234467

1•rntn•4m ago•0 comments

Why am I searched every time I go to Australia?

https://caseyhandmer.wordpress.com/2025/04/25/why-am-i-searched-every-time-i-go-to-australia/

2•jasondavies•7m ago•0 comments

Qlock v0.5.0

https://github.com/emmagamma/qlock

1•emmagamma•7m ago•0 comments

Proxyman: HTTP network debugging tool written in Rust

https://github.com/stickmy/proxyman

1•adamnemecek•7m ago•0 comments

You don't need AI summaries, tldr or to be on top of things

https://www.unsungnovelty.org/posts/04/2025/you-dont-need-ai-summaries-tldr-or-to-be-on-top-of-things/

2•speckx•8m ago•0 comments

The impact of the PEPFAR funding freeze on HIV deaths and infections

https://www.thelancet.com/journals/eclinm/article/PIIS2589-5370(25)00165-8/fulltext

1•apical_dendrite•10m ago•0 comments

Rove Miles – universal airline mile program

https://rovemiles.com?signup&referralCode=18PEEXUS

1•RyanShook•12m ago•0 comments

Amazon's Tab Navigation

https://www.lukew.com/ff/entry.asp?178

1•benshumaker•12m ago•0 comments

Update to Shopify's app developer revenue share

https://shopify.dev/changelog/update-to-shopifys-app-developer-revenue-share

2•nozzlegear•12m ago•0 comments

Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ

https://www.youtube.com/live/uul6hZ5NXC8?si=mKxZJy2xAD-rOc3g

2•solarmist•17m ago•0 comments

The Agentic AI Runtime Stack

https://www.wing.vc/content/the-agentic-ai-runtime-stack

1•rdli•19m ago•0 comments

Nintendo Switch 2's gameless Game-Key cards are going to be common

https://arstechnica.com/gaming/2025/04/nintendo-switch-2s-gameless-game-key-cards-are-going-to-be-very-common/

1•rbanffy•21m ago•0 comments

Ubuntu 25.04 upgrades halted due to Kubuntu users getting a broken desktop

https://www.gamingonlinux.com/2025/04/ubuntu-25-04-upgrades-halted-due-to-kubuntu-users-getting-a-broken-desktop/

2•wlkr•22m ago•0 comments

Not all AI-assisted programming is vibe coding (but vibe coding rocks)

https://simonwillison.net/2025/Mar/19/vibe-coding/

1•badmonster•22m ago•1 comments

Redbean – single-file distributable web server

https://redbean.dev/

3•thunderbong•24m ago•0 comments

CATL: 1500km EV Battery, 520km in 5 Min Charge, Sodium-Ion Mass Prod 2025

https://carnewschina.com/2025/04/21/battery-giant-catl-showcases-three-innovations-1500km-range-battery-520km-in-5-minutes-ultra-fast-charging-and-2025-mass-production-sodium-ion-battery/

1•xbmcuser•24m ago•0 comments

Post-Quantum Tunnel (2022)

https://blog.cloudflare.com/post-quantum-tunnel/

1•yu3zhou4•25m ago•0 comments

Upcoming end of support for Nest Learning Thermostats (first and 2nd gen)

https://support.google.com/googlenest/answer/16233096

5•ShadowRegent•25m ago•3 comments

General anesthesia reduces uniqueness of brain's functional 'fingerprint'

https://medicalxpress.com/news/2025-04-general-anesthesia-uniqueness-brain-functional.html

2•PaulHoule•27m ago•1 comments

Air Lab: A playful and portable air quality measuring device

https://www.crowdsupply.com/networked-artifacts/air-lab

2•philips•28m ago•0 comments

Discourse and the Fediverse

https://blog.discourse.org/2025/04/discourse-and-the-fediverse/

2•freddydumont•28m ago•0 comments

70% Size, 100% Accuracy: Lossless LLM Compression via Dynamic-Length Float

https://arxiv.org/abs/2504.11651

41•CharlesW•29m ago•1 comments

Crux – a new structure for human knowledge

https://crux.garden

1•willstepp•30m ago•0 comments

Collections: Gandalf Proved Mightiest: Spiritual Power in Tolkien

https://acoup.blog/2025/04/25/collections-how-gandalf-proved-mightiest-spiritual-power-in-tolkien/

2•Tomte•31m ago•0 comments

Show HN: Bertrand Russell's Principia Mathematica in Lean

Microsoft's Big AI Hire Can't Match OpenAI

Surgeon general nominee faces scrutiny over credentials

Step1X-Edit: When Open-Source Image Editing Gets Interesting

Part 1: LA avatar startups and other mysterious unicorns

Curry: A Integrated Functional Logic Programming Language

Colors are objective − even though what you see doesn't match what I see

Why am I searched every time I go to Australia?

Qlock v0.5.0

Proxyman: HTTP network debugging tool written in Rust

You don't need AI summaries, tldr or to be on top of things

The impact of the PEPFAR funding freeze on HIV deaths and infections

Rove Miles – universal airline mile program

Amazon's Tab Navigation

Update to Shopify's app developer revenue share

Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ

The Agentic AI Runtime Stack

Nintendo Switch 2's gameless Game-Key cards are going to be common

Ubuntu 25.04 upgrades halted due to Kubuntu users getting a broken desktop

Not all AI-assisted programming is vibe coding (but vibe coding rocks)

Redbean – single-file distributable web server

CATL: 1500km EV Battery, 520km in 5 Min Charge, Sodium-Ion Mass Prod 2025

Post-Quantum Tunnel (2022)

Upcoming end of support for Nest Learning Thermostats (first and 2nd gen)

General anesthesia reduces uniqueness of brain's functional 'fingerprint'

Air Lab: A playful and portable air quality measuring device

Discourse and the Fediverse

70% Size, 100% Accuracy: Lossless LLM Compression via Dynamic-Length Float

Crux – a new structure for human knowledge

Collections: Gandalf Proved Mightiest: Spiritual Power in Tolkien

Show HN: React Native eReader with Django AI back end

Show HN: Bertrand Russell's Principia Mathematica in Lean

Microsoft's Big AI Hire Can't Match OpenAI

Surgeon general nominee faces scrutiny over credentials

Step1X-Edit: When Open-Source Image Editing Gets Interesting

Part 1: LA avatar startups and other mysterious unicorns

Curry: A Integrated Functional Logic Programming Language

Colors are objective − even though what you see doesn't match what I see

Why am I searched every time I go to Australia?

Qlock v0.5.0

Proxyman: HTTP network debugging tool written in Rust

You don't need AI summaries, tldr or to be on top of things

The impact of the PEPFAR funding freeze on HIV deaths and infections

Rove Miles – universal airline mile program

Amazon's Tab Navigation

Update to Shopify's app developer revenue share

Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ

The Agentic AI Runtime Stack

Nintendo Switch 2's gameless Game-Key cards are going to be common

Ubuntu 25.04 upgrades halted due to Kubuntu users getting a broken desktop

Not all AI-assisted programming is vibe coding (but vibe coding rocks)

Redbean – single-file distributable web server

CATL: 1500km EV Battery, 520km in 5 Min Charge, Sodium-Ion Mass Prod 2025

Post-Quantum Tunnel (2022)

Upcoming end of support for Nest Learning Thermostats (first and 2nd gen)

General anesthesia reduces uniqueness of brain's functional 'fingerprint'

Air Lab: A playful and portable air quality measuring device

Discourse and the Fediverse

70% Size, 100% Accuracy: Lossless LLM Compression via Dynamic-Length Float

Crux – a new structure for human knowledge

Collections: Gandalf Proved Mightiest: Spiritual Power in Tolkien