frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

L∃AN together – live stream schedule

https://leanprover-community.github.io/lt2026/schedule.html
11•tzury•2h ago

Comments

gbacon•1h ago
Fascinating material. L∃∀ℝ together, amirite?
boisgerault•1h ago
Two days left; the talks so far were very interesting imho. Congrats and thanks to the organizers!

Show HN: ChartGPU – WebGPU-powered charting library (1M points at 60fps)

https://github.com/ChartGPU/ChartGPU
452•huntergemmer•8h ago•139 comments

Show HN: TerabyteDeals – Compare storage prices by $/TB

https://terabytedeals.com
36•vektor888•2h ago•27 comments

Claude's new constitution

https://www.anthropic.com/news/claude-new-constitution
240•meetpateltech•7h ago•203 comments

Golfing APL/K in 90 Lines of Python

https://aljamal.substack.com/p/golfing-aplk-in-90-lines-of-python
28•aburjg•5d ago•1 comments

Brain on ChatGPT: Accumulation of Cognitive Debt When Using an AI Assistant

https://www.media.mit.edu/publications/your-brain-on-chatgpt/
16•misswaterfairy•46m ago•7 comments

Skip is now free and open source

https://skip.dev/blog/skip-is-free/
234•dayanruben•8h ago•82 comments

Challenges in join optimization

https://www.starrocks.io/blog/inside-starrocks-why-joins-are-faster-than-youd-expect
30•HermitX•6h ago•4 comments

The WebRacket language is a subset of Racket that compiles to WebAssembly

https://github.com/soegaard/webracket
74•mfru•4d ago•16 comments

Show HN: Rails UI

https://railsui.com/
86•justalever•4h ago•58 comments

Jerry (YC S17) Is Hiring

https://www.ycombinator.com/companies/jerry-inc/jobs/QaoK3rw-software-engineer-core-automation-ma...
1•linaz•2h ago

Letting Claude play text adventures

https://borretti.me/article/letting-claude-play-text-adventures
55•varjag•5d ago•20 comments

Show HN: RatatuiRuby wraps Rust Ratatui as a RubyGem – TUIs with the joy of Ruby

https://www.ratatui-ruby.dev/
25•Kerrick•4d ago•3 comments

Three types of LLM workloads and how to serve them

https://modal.com/llm-almanac/workloads
22•charles_irl•7h ago•1 comments

Setting Up a Cluster of Tiny PCs for Parallel Computing

https://www.kenkoonwong.com/blog/parallel-computing/
20•speckx•4h ago•5 comments

Mystery of the Head Activator

https://www.asimov.press/p/head-activator
6•mailyk•3d ago•0 comments

TrustTunnel: AdGuard VPN protocol goes open-source

https://adguard-vpn.com/en/blog/adguard-vpn-protocol-goes-open-source-meet-trusttunnel.html
38•kumrayu•6h ago•9 comments

Waiting for dawn in search: Search index, Google rulings and impact on Kagi

https://blog.kagi.com/waiting-dawn-search
189•josephwegner•5h ago•127 comments

Stevey's Birthday Blog

https://steve-yegge.medium.com/steveys-birthday-blog-34f437139cb5
4•throwawayHMM19•1d ago•1 comments

Tell HN: 2 years building a kids audio app as a solo dev – lessons learned

19•oliverjanssen•9h ago•15 comments

SIMD programming in pure Rust

https://kerkour.com/introduction-rust-simd
31•randomint64•2d ago•10 comments

Slouching Towards Bethlehem – Joan Didion (1967)

https://www.saturdayeveningpost.com/2017/06/didion/
48•jxmorris12•5h ago•2 comments

Open source server code for the BitCraft MMORPG

https://github.com/clockworklabs/BitCraftPublic
25•sfkgtbor•6h ago•7 comments

Scientists find a way to regrow cartilage in mice and human tissue samples

https://www.sciencedaily.com/releases/2026/01/260120000333.htm
229•saikatsg•5h ago•62 comments

Show HN: Grov – Multiplayer for AI coding agents

https://github.com/TonyStef/Grov
18•tonyystef•1h ago•8 comments

Can you slim macOS down?

https://eclecticlight.co/2026/01/21/can-you-slim-macos-down/
151•ingve•15h ago•198 comments

Nested code fences in Markdown

https://susam.net/nested-code-fences.html
172•todsacerdoti•10h ago•59 comments

I finally got my sway layout to autostart the way I like it

https://hugues.betakappaphi.com/2026/01/19/sway-layout/
13•__hugues•14h ago•4 comments

TeraWave Satellite Communications Network

https://www.blueorigin.com/news/blue-origin-introduces-terawave-space-based-network-for-global-co...
107•T-A•4h ago•76 comments

JPEG XL Test Page

https://tildeweb.nl/~michiel/jxl/
153•roywashere•6h ago•107 comments

Show HN: Semantic search engine for Studio Ghibli movie

https://ghibli-search.anini.workers.dev/
11•aninibread•9h ago•6 comments