fp.
news
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
Load More
gbacon•1h ago