A catamorphic lambda-calculus interpreter (michaelpj.com)

2 points by todsacerdoti 1m ago 0 comments

Show HN: Dhansishtha-2.0-preview – First Intermediate Reasoning model (helpingai.co)

2 points by VarunGuptaHAI 5m ago 0 comments

Original Doom Designer's New FPS Is the Latest Casualty of the Xbox Cuts (kotaku.com)

2 points by Michelangelo11 5m ago 0 comments

Linux Photo in Terminal (github.com)

2 points by FerkiHN 7m ago 1 comments

What is going on in Unix with errno's limited nature (utcc.utoronto.ca)

3 points by ingve 10m ago 0 comments

Code of practice to help companies with AI rules may come end 2025, EU says (thehindu.com)

1 points by Bluestein 15m ago 0 comments

Show HN: Cco – a sandbox for Claude Code so you can YOLO made safe(ish)ly (github.com)

1 points by nikvdp 16m ago 0 comments

Home Assistant Core Copilot and Claude Instructions (github.com)

2 points by MzHN 16m ago 0 comments

Show HN: Happy Digging Day from Digging Town (themarelle.itch.io)

1 points by Eagle64 17m ago 0 comments

JShelter – Browser extension to mitigate potential threats from JavaScript (jshelter.org)

1 points by notachatbot123 18m ago 0 comments

Would you pay $19 for a strawberry? (economist.com)

2 points by austinallegro 19m ago 2 comments

Go-cron: A minimal Golang scheduler supporting standard cron expressions (github.com)

1 points by thunderbong 19m ago 0 comments

Libfyaml – Proper, compliant, maintained(ish) YAML parsing library (matrix.yaml.info)

2 points by burnt-resistor 21m ago 0 comments

Design Decisions Behind App.build, a Prompt-to-App Generator (app.build)

1 points by davidgomes 26m ago 0 comments

America Is a Myth (werd.io)

15 points by benwerd 27m ago 0 comments

Quitting programming 'cuz of LLMs is like quitting carpentry 'cuz of table saws (bsky.app)

2 points by petesergeant 29m ago 0 comments

Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io)

2 points by galapago 31m ago 0 comments

Process vs. Prejudice (shkspr.mobi)

3 points by kruemmelspalter 32m ago 0 comments

SegmentAnyMuscle: A muscle segmentation model across different locations in MRI (arxiv.org)

2 points by michaefe 33m ago 0 comments

Pitch me your idea and I will build your MVP for free. Only one idea selected

2 points by petebytes 35m ago 0 comments

Digital Waste: What It Is and How to Cut Down (weare.ie)

1 points by jruohonen 37m ago 0 comments

One Billion Cells – Another Multiplayer Demo with Clojure (cells.andersmurphy.com)

2 points by adityaathalye 41m ago 0 comments

How Much Revenue Do Tech Giants Earn per Employee? (visualcapitalist.com)

1 points by iamflimflam1 41m ago 0 comments

The Great Progression, 2025 to 2050 (youtube.com)

1 points by andsoitis 54m ago 0 comments

Show HN: CheesyMamas v1.1 – Git Diff Pane Finalized and Bash Support Added

1 points by LambriniWorks 55m ago 0 comments

HuggingChat is shutting down (for now) (huggingface.co)

1 points by mseri 59m ago 0 comments

Hierarchical Reasoning Model (arxiv.org)

1 points by mountainview 1h ago 0 comments

Google says "not a security vulnerability", quickly fixes without attribution (groups.google.com)

3 points by Eikon 1h ago 0 comments

WASM Agents: AI agents running in the browser (blog.mozilla.ai)

31 points by selvan 1h ago 1 comments

Evaluating the factuality of verifiable claims in long-form text generation (aclanthology.org)

1 points by gone35 1h ago 0 comments

Google Chat is trying out an Expressive new look (androidauthority.com)

2 points by methuselah_in 1h ago 1 comments

$4,785. That's How Much It Costs to Be a Sports Fan Now (nytimes.com)

2 points by bdev12345 1h ago 0 comments

Things I Learned About Information Retrieval (leoniemonigatti.com)

2 points by fzliu 1h ago 0 comments

Cagot – another of Europe's historically-oppressed people (en.wikipedia.org)

2 points by burnt-resistor 1h ago 0 comments

Ask HN: What will happen with the H1-B program?

7 points by nodra 1h ago 3 comments

Show HN: I built sinkedin – a LinkedIn but for flauting failures and screwups (sinkedin.app)

5 points by preetsojitra 1h ago 0 comments

Cyber is a new language for fast, efficient, and concurrent scripting (cyberscript.dev)

5 points by 90s_dev 1h ago 3 comments

Major reversal in ocean circulation detected in the Southern Ocean (icm.csic.es)

171 points by riffraff 1h ago 81 comments

The Rise of Whatever (eev.ee)

93 points by cratermoon 1h ago 43 comments

Large Scale Inference (sfcompute.com)

2 points by tzury 1h ago 0 comments

White House claims expansive power to nullify TikTok ban and other laws (nytimes.com)

65 points by ytpete 1h ago 34 comments

ML Conferences Should Establish a "Refutations and Critiques" Track (arxiv.org)

2 points by distalx 1h ago 0 comments

Towards Effective Extraction and Evaluation of Factual Claims (microsoft.com)

4 points by gone35 1h ago 0 comments

Ask HN: What's your favorite little script you've written?

6 points by nbbaier 2h ago 6 comments

JSON-server: Get a full fake REST API with zero coding in less than 30 seconds (github.com)

2 points by thunderbong 2h ago 0 comments

A foundation model to predict and capture human cognition (nature.com)

1 points by jbotz 2h ago 0 comments

Huawei's Pangu Pro MoE model is likely derived from Qwen model (github.com)

3 points by delifue 2h ago 0 comments

Hymn to Babylon, missing for a millennium, has been discovered (phys.org)

2 points by wglb 2h ago 1 comments

New coeliac disease blood test set to enable diagnosis on gluten-free diets (abc.net.au)

3 points by Tomte 2h ago 0 comments

Zig breaking change – initial Writergate (github.com)

43 points by Retro_Dev 2h ago 5 comments

Module-sized artificial leaf with a solar-to-hydrogen efficiency over 10%

1 PaulHoule 0 7/3/2025, 5:44:47 PM nature.com ↗

Comments (0)

No comments yet