Implementation of Dependent Types (cse.chalmers.se)

1 points by fanf2 31s ago 0 comments

Nitpicking Gladiator's Iconic Opening Battle (acoup.blog)

1 points by Tomte 47s ago 0 comments

Why Does My Ripped CD Have Messed Up Track Names? and Why Is One Track Missing? (akpain.net)

1 points by surprisetalk 55s ago 0 comments

Recursion [video] (youtube.com)

1 points by Group_B 7m ago 0 comments

Binary Lambda Calculus (gist.github.com)

1 points by todsacerdoti 9m ago 0 comments

Ask HN: What can we as humans do to defeat the AI?

1 points by roschdal 9m ago 2 comments

What the failure of a superstar student reveals about economics (economist.com)

1 points by georgecmu 11m ago 0 comments

AI can now stalk you with just a single vacation photo (vox.com)

2 points by rolph 12m ago 0 comments

One-Shot AI Voice Clones vs. LoRA Finetunes (gabber.dev)

2 points by jackndwyer 12m ago 0 comments

'Tastes like water': how a US facility is recycling sewage to drink (theguardian.com)

2 points by mitchbob 14m ago 1 comments

Cursor's Anysphere nabs $9.9B valuation, soars past $500M ARR (techcrunch.com)

1 points by skeptrune 14m ago 0 comments

Get ready for less-efficient and more-polluting vehicles in the US (arstechnica.com)

4 points by rntn 15m ago 1 comments

The 'China Shock' (wsj.com)

1 points by surprisetalk 16m ago 0 comments

WxWidgets 3.3.0 Released (wxwidgets.org)

2 points by P_qRs 16m ago 0 comments

Overlooked Films (scottsumner.substack.com)

1 points by surprisetalk 16m ago 0 comments

Indianapolis 500 could be dramatically reshaped by jolts of electric juice (techxplore.com)

1 points by PaulHoule 16m ago 0 comments

Virginia Tech researchers develop recyclable, healable electronics (news.vt.edu)

1 points by giuliomagnifico 16m ago 0 comments

Show HN: Solomon's Agent - a CLI to simplify the web (github.com)

2 points by jadbox 18m ago 1 comments

Roundcube ≤ 1.6.10 Post-Auth RCE via PHP Object Deserialization [CVE-2025-49113] (fearsoff.org)

2 points by speckx 19m ago 0 comments

Show HN: Hood Ball – Multiplayer car-based soccer battle (v2) (miguelripoll23.github.io)

1 points by PhilDunphy23 19m ago 0 comments

Connecting you to local markets for cheaper VPS (vpscellar.com)

1 points by hellishcopper 19m ago 1 comments

GameStop store accidentally staples receipts into pre-ordered Switch 2 screens (eurogamer.net)

2 points by bstsb 19m ago 0 comments

Nemotron-H-47B-Reasoning-128k (developer.nvidia.com)

1 points by bcatanzaro 20m ago 0 comments

Experimenting with New Comment UI Features on Stack Overflow (meta.stackoverflow.com)

1 points by susam 20m ago 0 comments

Is OpenAI's 4o Snake Oil? (gametorch.app)

1 points by gametorch 22m ago 2 comments

It's Time Hospitals Communicated as Clearly as Domino's (reviews.ofb.biz)

2 points by trbutler 23m ago 0 comments

Debugging Azure Networking for Elastic Cloud Serverless (elastic.co)

1 points by bumblehean 23m ago 0 comments

Series C and Scale (Cursor) (cursor.com)

3 points by fidotron 24m ago 0 comments

Agent Runtimes > Agent Libraries: Modus v1 (hypermode.com)

3 points by iamtherhino 25m ago 0 comments

AI and User Privacy: Here's What You Need to Know (mozillafoundation.org)

2 points by miles 26m ago 0 comments

Trump preparing large-scale cancellation of grants and funding for California (cnn.com)

7 points by ar813 27m ago 1 comments

Smithy API models for all AWS services (aws.amazon.com)

1 points by stich0602 32m ago 0 comments

Show HN: I built a tool called BitCache that backs up Entra BL keys locally (github.com)

1 points by pawellakomski 32m ago 1 comments

Show HN: Lightweight Durable Workflows Built on Postgres (github.com)

1 points by qianli_cs 33m ago 0 comments

Medroid: AI Doctor, Always on Call (app.medroid.ai)

1 points by raja159 35m ago 1 comments

Country Meal (kivuhub.net)

1 points by aganzeeliud 35m ago 0 comments

How do you wash your clothes in space? (bbc.co.uk)

1 points by thunderbong 36m ago 0 comments

Blood clotting discovery opens "whole new chapter in vascular biology" (newatlas.com)

3 points by Brajeshwar 44m ago 0 comments

America tried to ban fake photos in 1912 (freethink.com)

3 points by Brajeshwar 45m ago 0 comments

Some thoughts on human-AI relationships (reservoirsamples.substack.com)

1 points by tosh 45m ago 0 comments

The Chicxulub Asteroid Impact and Mass Extinction (science.org)

3 points by simonebrunozzi 50m ago 1 comments

Wise goes to the US. Will its founder's supercharged voting rights follow? (theguardian.com)

2 points by colinprince 53m ago 0 comments

First Map Made of a Solid's Quantum Geometry (quantamagazine.org)

1 points by rbanffy 53m ago 0 comments

Show HN: Poseidon, an Oncall AI agent (open source alt to resolve.ai) (github.com)

1 points by harshadmanglani 54m ago 0 comments

Big Mouth Billy Bass now talks back with AI (boingboing.net)

2 points by cmsefton 56m ago 0 comments

Ask HN: Will something replace transformers and GPUs in the next 10 years?

2 points by melenaboija 57m ago 1 comments

Breakthrough in search for HIV cure leaves researchers 'overwhelmed' (theguardian.com)

31 points by colinprince 58m ago 1 comments

Indirect strengthening through reactivation of contextually bound memories (nature.com)

1 points by PaulHoule 58m ago 0 comments

Defence Tech: Collective Property, Private Control (lrb.co.uk)

1 points by mitchbob 59m ago 1 comments

Odd Couple: Gas Giants and Red Dwarfs (centauri-dreams.org)

3 points by JPLeRouzic 1h ago 1 comments

Yorick programming language for scientific computations

3 smartmic 2 6/5/2025, 10:20:22 AM yorick.sourceforge.net ↗

Comments (2)

smidgeon · 1d ago

Why you shouldn't use it (by the author) https://github.com/LLNL/yorick/issues/39#issuecomment-274632...

fjfaase · 1d ago

Discussed before on https://news.ycombinator.com/item?id=38134935