Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)

1 points by Bogdanp 1m ago 0 comments

Glass-like state leads to advancements in cryopreservation (techxplore.com)

1 points by Teever 3m ago 0 comments

What IAM / Authentication for B2C to pick if hosted solutions is not an option?

1 points by marknefedov 3m ago 0 comments

The Work of Wonder (2018) [pdf] (patrickcurry.co.uk)

1 points by holdit 8m ago 0 comments

Hadley Cell (en.wikipedia.org)

1 points by shawkinaw 8m ago 0 comments

Five Republican factions jostle for the President's favor (economist.com)

1 points by loughnane 8m ago 0 comments

Open ASR Leaderboard: AI Transcription Models (huggingface.co)

1 points by cjbarber 9m ago 0 comments

You've got to check out this AI tool that finds top YouTube creators for you (old.reddit.com)

1 points by wpthzmis 14m ago 0 comments

The Software Engineers Paid to Fix Vibe Coded Messes (404media.co)

1 points by zdw 15m ago 0 comments

New hollow-core fibres break a 40-year limit on light transmission (physicsworld.com)

1 points by mgl 16m ago 0 comments

B122M Faeb (twitter.com)

1 points by KeatonDunsford 21m ago 0 comments

Orcas sink boat off Cascais. Second vessel adrift in Fonte da Telha (cmjornal.pt)

1 points by belter 21m ago 0 comments

TS library template with Vitest, tsdown, release-please (github.com)

1 points by nebrelbug 21m ago 0 comments

Scaling and mechanical optimality of bristled wings in microinsects (pnas.org)

1 points by PaulHoule 22m ago 0 comments

America is Still Working (2024) (fusionaier.org)

1 points by toomuchtodo 22m ago 0 comments

In a first, Bengaluru's Metro used to transport live human heart (deccanherald.com)

1 points by amrrs 24m ago 0 comments

Ask HN: How can I map my windows keyboard to Mac?

1 points by Heidaradar 34m ago 1 comments

10Gb Starlink for Royal Carribean Ships (twitter.com)

3 points by paulsutter 36m ago 0 comments

AMD's RDNA4 GPU Architecture at Hot Chips 2025 (chipsandcheese.com)

1 points by rbanffy 38m ago 0 comments

Vibekit – The safety layer for your coding agent (vibekit.sh)

1 points by TheTaytay 39m ago 0 comments

Biology's Wonder Drug (williamjbarry.substack.com)

1 points by wjb3 39m ago 0 comments

Mindfulness in Plain English by Bhante Gunaratana (vipassana.com)

1 points by accrual 42m ago 0 comments

graduated but no jobs

2 points by teminal 43m ago 2 comments

Praxos: Personal AI Assistant That Integrates with WhatsApp and Telegram (mypraxos.com)

4 points by mogusian 47m ago 9 comments

USGS Unveils New National Geologic Map (usgs.gov)

2 points by bookofjoe 49m ago 1 comments

Tell HN: Do not register .sh domains

3 points by tryauuum 49m ago 4 comments

Disabling auto-dubbing and translated titles on YouTube (with extensions)

1 points by Tremeschin 50m ago 0 comments

Text Files > Complex Tools: A Minimalist Snippet Manager (quarters.captaintouch.com)

3 points by capitain 51m ago 0 comments

Prof or Hobo Quiz (proforhobo.com)

1 points by eamag 52m ago 0 comments

Show HN: I'm building HMPL – server-oriented templating for lightweight web-apps (github.com)

2 points by aanthonymax 54m ago 0 comments

Wait4X allows you to wait for a port or a service to enter the requested state (github.com)

1 points by atkrad 56m ago 0 comments

How to avoid seeing disturbing content on social media (theconversation.com)

4 points by billybuckwheat 1h ago 1 comments

Vercel's x402-MCP Open protocol payments for MCP tools (vercel.com)

1 points by vincirufus 1h ago 1 comments

System Eval with Obsidian and Claude Code (interjectedfuture.com)

1 points by iamwil 1h ago 0 comments

Congressman McFadden on the Federal Reserve Corporation Remarks in Congress 1934 (home.hiwaay.net)

1 points by huijzer 1h ago 0 comments

Show HN: Proxmox-GitOps: IaC Container Automation for Proxmox (Recursive Docker) (github.com)

1 points by stevius 1h ago 0 comments

Show HN: council - ai groupchat of ctos (no more asking ai to roleplay) (trycouncil.com)

5 points by YAndreaRusso 1h ago 6 comments

Instruction-Following Pruning for Large Language Models (arxiv.org)

3 points by gok 1h ago 0 comments

How to Stop Your Event-Driven Architecture from Turning into Chaos (boyney123.substack.com)

2 points by rmason 1h ago 1 comments

Show HN: AgentBus – Connect and coordinate AI agents like microservices (github.com)

1 points by lexokoh 1h ago 0 comments

The Bear Case on Browser Use (lomondlabs.com)

1 points by isomierism 1h ago 0 comments

Touting better HIV treatment, Toronto service org closing after 42 years (cbc.ca)

2 points by toomuchtodo 1h ago 0 comments

Show HN: Platform for testing investment allocations using quant methods

1 points by NebulaLab 1h ago 0 comments

Show HN: VeritasGraph – On-prem Graph RAG (3.3k+ visitors, 130 stars in 5 days) (github.com)

1 points by Bibinprathap 1h ago 1 comments

Everything You Always Wanted to Know About Mathematics [pdf] (math.cmu.edu)

1 points by Anon84 1h ago 0 comments

Russia's Arctic LNG 2 Hits Record Output as Ice Conditions Ease (oilprice.com)

2 points by PaulHoule 1h ago 0 comments

Show HN: TimescaleDB to ClickHouse Change Data Capture (clickhouse.com)

1 points by saisrirampur 1h ago 0 comments

UC Berkeley Gives Names of Students and Faculty to Government for Antisem Probe (nytimes.com)

10 points by breadwinner 1h ago 6 comments

Diffusion based LLM basic chat app (dllmchat.vercel.app)

2 points by ig1201 1h ago 1 comments

Drupal Ajax is now powered by Htmx (drupal.org)

2 points by alexpetros 1h ago 0 comments

Humanoid robots showcase skills at Ancient Olympia

1 PaulHoule 0 9/13/2025, 7:31:26 PM techxplore.com ↗

Comments (0)

No comments yet