A mineral found in Kachchh could help date events on Mars (researchmatters.in)

1 points by bosky101 3m ago 0 comments

Guide to the Systems Engineering Body of Knowledge (SEBoK) (2024) (sebokwiki.org)

1 points by Tomte 9m ago 0 comments

Why Academic Freedom Matters (ravenmagazine.org)

1 points by Tomte 10m ago 0 comments

Should I Apply to YC'25 If IM from India?

1 points by Akshaiy 12m ago 0 comments

Lidl accidentally took on the big guns of cloud computing (ft.com)

1 points by nickcotter 13m ago 0 comments

TypeScript Native Previews (devblogs.microsoft.com)

1 points by maximilianburke 14m ago 0 comments

Scientists Find New Space-Adapted Bacteria Aboard Tiangong Space Station (extremetech.com)

1 points by mlkmt 16m ago 0 comments

Nigh-Omniscience (Superpower) (powerlisting.fandom.com)

1 points by downboots 17m ago 0 comments

1 min 100 Hz sound effectively reduces motion sickness (medicalxpress.com)

2 points by nanmu42 19m ago 0 comments

The End of Sierra as We Knew It, Part 4: Chainsaw Monday 23 May (filfre.net)

1 points by ibobev 20m ago 0 comments

Models and Science (lemire.me)

1 points by ibobev 20m ago 0 comments

The Heat of the Moment (leancrew.com)

1 points by zdw 24m ago 0 comments

Ask HN: What is the best way to master GTM?

1 points by bubblethrow 25m ago 0 comments

My Incorrect Bias About Corporate Engineers (inessential.com)

1 points by zdw 25m ago 0 comments

Valve takes another step toward making SteamOS a true Windows competitor (arstechnica.com)

2 points by austinallegro 29m ago 0 comments

ASML Makes Chips Faster With Its New $400 Million High NA Machine (youtube.com)

1 points by mgh2 33m ago 0 comments

Kotlin and Azul: Collaboration for enhanced runtime performance (blog.jetbrains.com)

1 points by cempaka 50m ago 0 comments

Are children better off when one parent has a job or when both do? (pewresearch.org)

2 points by libpcap 59m ago 2 comments

Scientists Turn Lead into Gold (nature.com)

1 points by bluebirdfirewin 1h ago 1 comments

One Company Poisoned the Planet [video] (youtube.com)

1 points by Jimmc414 1h ago 0 comments

How to Make a Living as a Writer (thewalrus.ca)

17 points by pepys 1h ago 5 comments

OpenAI the Hunt for Lost City of Z (openai.com)

2 points by utiiiD 1h ago 0 comments

A full look at agent mode in GitHub Copilot (github.blog)

2 points by andrewstetsenko 1h ago 0 comments

Intelligent Idiots [video] (youtube.com)

1 points by downboots 1h ago 0 comments

What Are People Still Doing on X? (theatlantic.com)

3 points by DanAtC 1h ago 2 comments

How 1990s Magic Eye 3D images were made (youtube.com)

2 points by geerlingguy 1h ago 1 comments

IonQ CEO on the potential of quantum computing, the quantum trade and growth (cnbc.com)

1 points by donutloop 1h ago 0 comments

U.S. reports cases of new Covid variant NB.1.8.1 behind surge in China (cbsnews.com)

6 points by tomrod 1h ago 0 comments

Put your bodies upon the gears (hollisrobbinsanecdotal.substack.com)

2 points by HR01 1h ago 0 comments

IonQ Signs MoU with Kisti to Accelerate South Korea's Role in the Quantum Race (ionq.com)

1 points by donutloop 1h ago 0 comments

D-Wave revives 'quantum supremacy' claims for new Advantage2 computer (zdnet.com)

1 points by donutloop 1h ago 1 comments

Our vision for building a universal AI assistant (blog.google)

1 points by davidbarker 1h ago 0 comments

Open Source Can't Coordinate (matklad.github.io)

3 points by ishitatsuyuki 1h ago 2 comments

Ask HN: Should HN show a summary of posts at the top of threads?

1 points by behnamoh 2h ago 0 comments

The Pedestrians Who Abetted a Hawk's Deadly Attack (theatlantic.com)

5 points by a_w 2h ago 0 comments

De-Abstraction and Conditional Escape Analysis (github.com)

1 points by todsacerdoti 2h ago 0 comments

Violet Light Hypothesis for the Control of Myopia Progression (aao.org)

1 points by plun9 2h ago 0 comments

Rustc_codegen_GCC: Libgccjit AOT Codegen for Rustc (github.com)

2 points by thunderbong 2h ago 0 comments

1956 Suez Crisis (en.wikipedia.org)

3 points by simonebrunozzi 2h ago 0 comments

Changing scope of software jobs – Microsoft CPO (businessinsider.com)

2 points by light_222 2h ago 0 comments

Composing Server and Client Components: The Modern React's Superpower (epicreact.dev)

1 points by CharlesW 2h ago 0 comments

uBlock Origin – filter lists and advanced features (old.reddit.com)

4 points by ReadCarlBarks 2h ago 0 comments

Fugit: Time tools (cron, parsing, durations) for Ruby, rufus-scheduler, and flor (github.com)

2 points by thunderbong 2h ago 0 comments

Rick Rubin on Art, Life, and Vibe Coding [video] (youtube.com)

2 points by fjd 2h ago 0 comments

Colahall: An Independent Audio Technology Company (colahall.io)

2 points by ashafq 2h ago 1 comments

I assume I'm below average (2010) (sive.rs)

4 points by vinhnx 2h ago 3 comments

AutoWorld (Theme Park) (en.wikipedia.org)

4 points by cebert 2h ago 0 comments

Tariffs or not, China's infiltration of US systems needs new attention (defensenews.com)

3 points by felineflock 2h ago 0 comments

CVE-2025-48708: ghostscript can embed plaintext password in encrypted PDFs (openwall.com)

1 points by transpute 2h ago 0 comments

Why Algebraic Effects? (antelang.org)

67 points by jiggawatts 2h ago 19 comments

100 theorems in Lean

8 ggzor 0 5/23/2025, 6:08:19 PM leanprover-community.github.io ↗

Comments (0)

No comments yet