Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video] (youtube.com)

2 points by gsf_emergency 2m ago 0 comments

Nextcloud cries foul over Google Play Store app rejection (theregister.com)

1 points by brodo 3m ago 0 comments

LPython: Novel, Fast, Retargetable Python Compiler (2023) (lpython.org)

1 points by luismedel 4m ago 0 comments

Nano LinkedIn MCP Server for LLM Agents and Cursor (github.com)

1 points by maxim_charges 11m ago 2 comments

Why agency and cognition are fundamentally not computational (frontiersin.org)

2 points by Fibra 13m ago 0 comments

LithOS: An Operating System for Efficient Machine Learning on GPUs (arxiv.org)

2 points by PaulHoule 15m ago 0 comments

Tool for Effective Database Subsetting (fxis.ai)

1 points by faidata 16m ago 0 comments

GNU Screen v5.0.1 is released (savannah.gnu.org)

1 points by zvr 17m ago 1 comments

Show HN: ClickAgent: Multilingual RAG System with Batteries Included (github.com)

1 points by auxten 17m ago 0 comments

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years (livescience.com)

5 points by susam 18m ago 0 comments

Airlines Prepare for Nuclear War (telegraph.co.uk)

2 points by andrewfromx 21m ago 0 comments

Compiler construction textbook by Niklaus Wirth (people.inf.ethz.ch)

2 points by fanf2 23m ago 1 comments

Ask HN: How are you acquiring first 100 users?

2 points by amanchanda 24m ago 2 comments

What Comes After 100? (japantimes.co.jp)

1 points by geox 24m ago 0 comments

E2E LLM evals, with less focus on metrics and more focus on binary assertions (github.com)

1 points by gharbat 25m ago 0 comments

A programming language made for me (zylinski.se)

3 points by gingerBill 30m ago 0 comments

I'm moving my projects off GitHub (2022) (ntietz.com)

3 points by dijit 32m ago 0 comments

Show HN: An API for LLM capabilities and pricing, scraped from docs (paolino.me)

1 points by earcar 34m ago 0 comments

Getting Started with Capybara and Selenium for Web Testing (rubystacknews.com)

1 points by amalinovic 34m ago 0 comments

RubyLLM 1.3.0rc1: Configuration Contexts, Ollama/OpenRouter, and ActiveStorage (paolino.me)

2 points by earcar 35m ago 0 comments

The Fastest Way yet to Color Graphs (quantamagazine.org)

2 points by GavCo 36m ago 0 comments

Show HN: ShingleLink – A wire-free, snap-together smart solar roofing system (github.com)

1 points by thegardenminer 40m ago 1 comments

Los Angeles Post-Wildfire Permitting Process Dashboard (recovery.lacounty.gov)

2 points by eadmund 41m ago 0 comments

Proper implementation of image to image search

3 points by bigintmike 42m ago 0 comments

Iceland approved 4-day workweek in 2019; six years later, predictions came true (farmingdale-observer.com)

39 points by robtherobber 44m ago 21 comments

Dia – An Early Review (fldr.zip)

1 points by wyxuan 45m ago 0 comments

Poland to close Russian consulate in Kraków over Warsaw fire (theguardian.com)

2 points by yakshaving_jgt 45m ago 1 comments

M&S says some personal data was taken in cyber-attack (theguardian.com)

1 points by chrisjj 47m ago 1 comments

Show HN: Dotato – A Lightweight Dotfile Manager (github.com)

1 points by morningdev 55m ago 0 comments

Complex Numbers – Inevitability (2009) [video] (youtube.com)

1 points by alexey-salmin 55m ago 1 comments

Anti-Personnel Computing (erratique.ch)

7 points by transpute 58m ago 2 comments

VPN firm axes lifetime subscriptions, says it had no idea they existed (neowin.net)

1 points by bundie 1h ago 0 comments

Particle Life 2D (lisyarus.github.io)

2 points by qwertox 1h ago 1 comments

I asked Gemini for a script to move files to Cloudflare R2. It deleted them (twitter.com)

4 points by bundie 1h ago 6 comments

Coding Should Be a Vibe (world.hey.com)

1 points by doppp 1h ago 0 comments

New Bill Would Make All Pornography a Federal Crime in the U.S. (404media.co)

4 points by doener 1h ago 0 comments

How to Provide Feedback on Documents (lethain.com)

1 points by alexmolas 1h ago 0 comments

Users are Suffering Rare Delusions After Intensive Use of ChatGPT (techoreon.com)

1 points by Shaksi09 1h ago 0 comments

Transgene-free genome editing in poplar trees: step toward sustainable forestry (phys.org)

1 points by PaulHoule 1h ago 0 comments

Origins of biological teleology: how constraints represent ends (link.springer.com)

1 points by Fibra 1h ago 0 comments

Biological Organisation as Closure of Constraints (sciencedirect.com)

1 points by Fibra 1h ago 0 comments

Meriva (Curcumin Phytosome) (domofutu.substack.com)

1 points by domofutu 1h ago 0 comments

On Pope Leo's Desk: Fixing Vatican Finances (pillarcatholic.com)

4 points by nxobject 1h ago 0 comments

Terence Tao started a YouTube channel (youtube.com)

6 points by yu3zhou4 1h ago 3 comments

"Europe Is Jailing People for Online Speech," by Prof. Yascha Mounk (reason.com)

4 points by mdp2021 1h ago 1 comments

Base Models Beat Aligned Models at Randomness and Creativity (arxiv.org)

1 points by todsacerdoti 1h ago 0 comments

Recursive Symbolic Containment and the Global Regularity of Navier–Stokes Fields (zenodo.org)

1 points by architect137 1h ago 0 comments

Trader daily AI generated Tricks channel (t.me)

1 points by adellantado 1h ago 0 comments

Privoxy is a web proxy with filtering capabilities for enhancing privacy (privoxy.org)

3 points by nicoloren 1h ago 1 comments

Mississippi Schools Are Better Than Yours (thefp.com)

2 points by Ozarkian 1h ago 0 comments

From Rust to AVR assembly: Dissecting a minimal blinky program

1 elqatib 0 5/13/2025, 1:09:24 AM n-eq.github.io ↗

Comments (0)

No comments yet