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