hnrss.org

Berkeley Humanoid Lite – open-source robot

Article URL: https://lite.berkeley-humanoid.org/ Comments URL: https://news.ycom...

Mathematicians just solved a 125-year-old problem, unit...

Article URL: https://www.scientificamerican.com/article/lofty-math-problem-calle...

World Emulation via Neural Network

Article URL: https://madebyoll.in/posts/world_emulation_via_dnn/ Comments URL: h...

I designed my LED matrix PCB with code

Article URL: https://docs.tscircuit.com/tutorials/building-led-matrix Comments U...

Simons Foundation Launches Collaboration on Ecological ...

Article URL: https://www.simonsfoundation.org/2025/04/24/simons-foundation-launc...

Finding Things the Government Might Know About You

Article URL: https://www.nytimes.com/2025/04/16/insider/trump-musk-data-access.h...

World Emulation via DNN

Article URL: https://madebyoll.in/posts/world_emulation_via_dnn/ Comments URL: h...

I Designed My LED Matrix PCB with Code Instead of Tradi...

Article URL: https://docs.tscircuit.com/tutorials/building-led-matrix Comments U...

Show HN: Formalizing Principia Mathematica using Lean

This project aims to formalize the first volume of Prof. Bertrand Russell’s Prin...

Tales of the Yucca Man (2018)

Article URL: https://longreads.com/2018/04/25/the-known-unknown-tales-of-the-yuc...

Programming in D: Tutorial and Reference

Article URL: https://ddili.org/ders/d.en/ Comments URL: https://news.ycombinator...

Gym Class (YC W22) Is Hiring Character Animation Engine...

Article URL: https://www.ycombinator.com/companies/gym-class-by-irl-studios/jobs...

70% Size, 100% Accuracy: Lossless LLM Compression via D...

Article URL: https://arxiv.org/abs/2504.11651 Comments URL: https://news.ycombin...

Next-Gen GPU Programming: Hands-On with Mojo and Max Mo...

Article URL: https://www.youtube.com/live/uul6hZ5NXC8?si=mKxZJy2xAD-rOc3g Commen...

Curry: A Functional Logic Programming Language

Article URL: https://curry-lang.org/ Comments URL: https://news.ycombinator.com/...

Show HN: Bertrand Russell's Principia Mathematica in Lean

This project aims to formalize the first volume of Prof. Bertrand Russell’s Prin...

Ce site utilise des cookies. En continuant à naviguer sur le site, vous acceptez notre utilisation des cookies.