Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)
3 points by Bogdanp 9 hours ago | 0 comments
151Glass-like state leads to advancements in cryopreservation (techxplore.com)
3 points by Teever 9 hours ago | 0 comments
152What IAM / Authentication for B2C to pick if hosted solutions is not an option?
2 points by marknefedov 9 hours ago | 0 comments
153The Work of Wonder (2018) [pdf] (patrickcurry.co.uk)
2 points by holdit 9 hours ago | 0 comments
154Hadley Cell (en.wikipedia.org)
3 points by shawkinaw 9 hours ago | 0 comments
155Five Republican factions jostle for the President's favor (economist.com)
6 points by loughnane 9 hours ago | 1 comment
156Open ASR Leaderboard: AI Transcription Models (huggingface.co)
2 points by cjbarber 9 hours ago | 0 comments
157The Software Engineers Paid to Fix Vibe Coded Messes (404media.co)
27 points by zdw 9 hours ago | 3 comments
158New hollow-core fibres break a 40-year limit on light transmission (physicsworld.com)
14 points by mgl 9 hours ago | 2 comments
159B122M Faeb (twitter.com)
2 points by KeatonDunsford 9 hours ago | 0 comments
160Orcas sink boat off Cascais. Second vessel adrift in Fonte da Telha (cmjornal.pt)
3 points by belter 9 hours ago | 0 comments
161TS library template with Vitest, tsdown, release-please (github.com)
3 points by nebrelbug 9 hours ago | 0 comments
162Scaling and mechanical optimality of bristled wings in microinsects (pnas.org)
3 points by PaulHoule 9 hours ago | 0 comments
163America is Still Working (2024) (fusionaier.org)
3 points by toomuchtodo 9 hours ago | 2 comments
164In a first, Bengaluru's Metro used to transport live human heart (deccanherald.com)
3 points by amrrs 9 hours ago | 0 comments
165Ask HN: How can I map my windows keyboard to Mac?
3 points by Heidaradar 10 hours ago | 3 comments
16610Gb Starlink for Royal Carribean Ships (twitter.com)
16 points by paulsutter 10 hours ago | 6 comments
167AMD’s RDNA4 GPU architecture (chipsandcheese.com)
91 points by rbanffy 10 hours ago | 5 comments
168Vibekit – The safety layer for your coding agent (vibekit.sh)
2 points by TheTaytay 10 hours ago | 0 comments
169Biology's Wonder Drug (williamjbarry.substack.com)
3 points by wjb3 10 hours ago | 0 comments
170Mindfulness in Plain English by Bhante Gunaratana (vipassana.com)
3 points by accrual 10 hours ago | 0 comments
171graduated but no jobs
8 points by teminal 10 hours ago | 10 comments
172Praxos: Personal AI Assistant That Integrates with WhatsApp and Telegram (mypraxos.com)
4 points by mogusian 10 hours ago | 10 comments
173USGS Unveils New National Geologic Map (usgs.gov)
4 points by bookofjoe 10 hours ago | 1 comment
174Tell HN: Do not register .sh domains
5 points by tryauuum 10 hours ago | 4 comments
175Disabling auto-dubbing and translated titles on YouTube (with extensions)
2 points by Tremeschin 10 hours ago | 0 comments
176Text Files > Complex Tools: A Minimalist Snippet Manager (quarters.captaintouch.com)
5 points by capitain 10 hours ago | 0 comments
177Prof or Hobo Quiz (proforhobo.com)
3 points by eamag 10 hours ago | 0 comments
178Show HN: I'm building HMPL – server-oriented templating for lightweight web-apps (github.com)
3 points by aanthonymax 10 hours ago | 0 comments
179Wait4X allows you to wait for a port or a service to enter the requested state (github.com)
2 points by atkrad 10 hours ago | 0 comments
180