'A New Era' of Cancer Therapies

https://undark.org/2025/05/12/cancer-therapies-new-era/

1•pseudolus•43s ago•0 comments

Juvoly Releases Open Source, Best-in-Class Medical Reasoning Model J1

https://huggingface.co/Juvoly/J1-Llama-8B-exp

1•charliewulff•1m ago•1 comments

Show HN: I made an an AI app to drive free website traffic from TikTok

https://www.userylee.com/

1•saascouple•1m ago•0 comments

The importance of virtue in software engineering

https://www.seangoedecke.com/character-in-software-engineering/

1•rbanffy•3m ago•0 comments

Lightweight open source reCaptcha alternative

https://github.com/altcha-org/altcha

1•michalpleban•3m ago•0 comments

Ask HN: Easy Remote Debugging?

1•v-yanakiev•7m ago•0 comments

Large AI models seem to have language-specific "units"

https://actu.epfl.ch/news/a-step-towards-understanding-machine-intelligence-/

1•lentoutcry•8m ago•0 comments

Linus Torvalds goes back to a mechanical keyboard after making too many typos

https://www.theregister.com/2025/05/13/linux_6_15_rc6_keyboards/

1•pseudolus•8m ago•0 comments

New study sheds light on health differences between sexes

https://medicalxpress.com/news/2025-05-health-differences-sexes.html

1•pseudolus•9m ago•0 comments

Show HN: Guess average country colors from 20 years of satellite data

https://guess.landshade.com

1•jcattle•11m ago•0 comments

Global Radio Frequency Interference

https://salinity.oceansciences.org/smap-radiometer.htm

1•thenthenthen•13m ago•0 comments

Microsoft removes a lot of features from the Edge browser

https://www.neowin.net/news/microsoft-removes-a-lot-of-features-from-the-edge-browser/

2•bundie•14m ago•0 comments

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

https://www.youtube.com/watch?v=zZr54G7ec7A

2•gsf_emergency•19m ago•0 comments

Nextcloud cries foul over Google Play Store app rejection

https://www.theregister.com/2025/05/13/nextcloud_play_store_complaint/

2•brodo•20m ago•1 comments

LPython: Novel, Fast, Retargetable Python Compiler (2023)

https://lpython.org/blog/2023/07/lpython-novel-fast-retargetable-python-compiler/

1•luismedel•20m ago•0 comments

Nano LinkedIn MCP Server for LLM Agents and Cursor

https://github.com/kudymovmaxim/linkedin-mcp

2•maxim_charges•28m ago•2 comments

Why agency and cognition are fundamentally not computational

https://www.frontiersin.org/journals/psychology/articles/10.3389/fpsyg.2024.1362658/full

2•Fibra•30m ago•0 comments

LithOS: An Operating System for Efficient Machine Learning on GPUs

https://arxiv.org/abs/2504.15465

2•PaulHoule•31m ago•0 comments

Tool for Effective Database Subsetting

https://fxis.ai/edu/how-to-use-the-jailer-database-tool-for-effective-database-subsetting/

1•faidata•33m ago•0 comments

GNU Screen v5.0.1 is released

https://savannah.gnu.org/news/?id=10771

1•zvr•33m ago•1 comments

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

https://github.com/auxten/clickagent

1•auxten•34m ago•0 comments

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years

https://www.livescience.com/space/space-exploration/soviet-spacecraft-kosmos-482-crashes-back-to-earth-disappearing-into-indian-ocean-after-53-years-in-orbit

5•susam•34m ago•1 comments

Airlines Prepare for Nuclear War

https://www.telegraph.co.uk/business/2025/05/12/airlines-prepare-nuclear-war-india-pakistan/

3•andrewfromx•38m ago•0 comments

Compiler construction textbook by Niklaus Wirth

https://people.inf.ethz.ch/wirth/CompilerConstruction/

2•fanf2•40m ago•1 comments

Ask HN: How are you acquiring your first hundred users?

8•amanchanda•41m ago•5 comments

What Comes After 100?

https://www.japantimes.co.jp/life/2025/05/12/lifestyle/japan-centenarian-lifestyles-100/

1•geox•41m ago•0 comments

E2E LLM evals, with less focus on metrics and more focus on binary assertions

https://github.com/openchatai/zevals

1•gharbat•42m ago•0 comments

A programming language made for me

https://zylinski.se/posts/a-programming-language-for-me/

8•gingerBill•47m ago•0 comments

I'm moving my projects off GitHub (2022)

https://ntietz.com/blog/moving-off-github/

3•dijit•49m ago•1 comments

Show HN: An API for LLM capabilities and pricing, scraped from docs

https://paolino.me/standard-api-llm-capabilities-pricing-live/

2•earcar•51m ago•0 comments

'A New Era' of Cancer Therapies

Juvoly Releases Open Source, Best-in-Class Medical Reasoning Model J1

Show HN: I made an an AI app to drive free website traffic from TikTok

The importance of virtue in software engineering

Lightweight open source reCaptcha alternative

Ask HN: Easy Remote Debugging?

Large AI models seem to have language-specific "units"

Linus Torvalds goes back to a mechanical keyboard after making too many typos

New study sheds light on health differences between sexes

Show HN: Guess average country colors from 20 years of satellite data

Global Radio Frequency Interference

Microsoft removes a lot of features from the Edge browser

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

Nextcloud cries foul over Google Play Store app rejection

LPython: Novel, Fast, Retargetable Python Compiler (2023)

Nano LinkedIn MCP Server for LLM Agents and Cursor

Why agency and cognition are fundamentally not computational

LithOS: An Operating System for Efficient Machine Learning on GPUs

Tool for Effective Database Subsetting

GNU Screen v5.0.1 is released

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years

Airlines Prepare for Nuclear War

Compiler construction textbook by Niklaus Wirth

Ask HN: How are you acquiring your first hundred users?

What Comes After 100?

E2E LLM evals, with less focus on metrics and more focus on binary assertions

A programming language made for me

I'm moving my projects off GitHub (2022)

Show HN: An API for LLM capabilities and pricing, scraped from docs

TTY Trainable Game Engine

'A New Era' of Cancer Therapies

Juvoly Releases Open Source, Best-in-Class Medical Reasoning Model J1

Show HN: I made an an AI app to drive free website traffic from TikTok

The importance of virtue in software engineering

Lightweight open source reCaptcha alternative

Ask HN: Easy Remote Debugging?

Large AI models seem to have language-specific "units"

Linus Torvalds goes back to a mechanical keyboard after making too many typos

New study sheds light on health differences between sexes

Show HN: Guess average country colors from 20 years of satellite data

Global Radio Frequency Interference

Microsoft removes a lot of features from the Edge browser

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

Nextcloud cries foul over Google Play Store app rejection

LPython: Novel, Fast, Retargetable Python Compiler (2023)

Nano LinkedIn MCP Server for LLM Agents and Cursor

Why agency and cognition are fundamentally not computational

LithOS: An Operating System for Efficient Machine Learning on GPUs

Tool for Effective Database Subsetting

GNU Screen v5.0.1 is released

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years

Airlines Prepare for Nuclear War

Compiler construction textbook by Niklaus Wirth

Ask HN: How are you acquiring your first hundred users?

What Comes After 100?

E2E LLM evals, with less focus on metrics and more focus on binary assertions

A programming language made for me

I'm moving my projects off GitHub (2022)

Show HN: An API for LLM capabilities and pricing, scraped from docs