Geometric Type Theory, Done Two Ways
topos.institute- 1 points
- 0 comments
- just now
- by measurablefunc
Doors Open 2026: Go Behind–The-Scenes at the Physical Archive
eventbrite.com- 1 points
- 0 comments
- 1 minute ago
- by tzury
Behind NAZA: How AI is used to assess, reduce collateral damage in IDF interview
jpost.com- 1 points
- 0 comments
- 1 minute ago
- by harry_nutsachs
Wind Turbine DIY Courses
pureselfmade.com- 1 points
- 0 comments
- 1 minute ago
- by jensgk
A New Equal-Area Map for Interactive Computer Use (Natively Zooms to Mercator)
benjoffe.com- 1 points
- 0 comments
- 2 minutes ago
- by birdculture
Autonomous Lost-in-Space Catalog-Based Optical Navigation (Falcon) [pdf]
slab.stanford.edu- 3 points
- 1 comments
- 6 minutes ago
- by rbanffy
Decades-old file security flaws found in Android, Linux, macOS, and Windows
theregister.com- 3 points
- 0 comments
- 6 minutes ago
- by DemiGuru
Plux trip planner: free, no ad or register obligation, and open source trip
plux.nibecarcofeben.com- 2 points
- 1 comments
- 7 minutes ago
- by nibecarcofeben
Cracking Fortinet's Decryption with Ablation
github.com- 1 points
- 1 comments
- 7 minutes ago
- by zellkernel
Show HN: See your portfolio in your Mac Menubar
menubar.snaptra.de- 1 points
- 0 comments
- 8 minutes ago
- by tma
Show HN: Agency – Manage Agents for Your Robinhood Agentic Account
agency.trading- 2 points
- 2 comments
- 8 minutes ago
- by rallies
African elephants putatively self-medicate with medicinal plants
nature.com- 3 points
- 0 comments
- 9 minutes ago
- by geox
MTV On-Screen Graphics Recreation
github.com- 1 points
- 1 comments
- 11 minutes ago
- by m1k1o
Untamed – A systems-engineering blueprint for technical autonomy
thefinancialtimingkey.com- 1 points
- 1 comments
- 12 minutes ago
- by Sledgehammer_Op
Government contractor exposed path to immigration records
theregister.com- 1 points
- 0 comments
- 12 minutes ago
- by DemiGuru
Apple Opens Apple Music Hall
apple.com- 2 points
- 0 comments
- 13 minutes ago
- by fredley
GPT-6 Sol is like GPT-5.6 Terra, GPT-6 Luna is like GPT-5.6 Asteroid
twitter.com- 2 points
- 0 comments
- 14 minutes ago
- by Michelangelo11
India sees coal remaining power mainstay through 2035-36
reuters.com- 1 points
- 0 comments
- 15 minutes ago
- by alephnerd
A Little Spark in the Sky
thinkingground.net- 1 points
- 0 comments
- 15 minutes ago
- by zc4242
"It Was Tragic": Exploring the Impact of a Robot's Shutdown
arxiv.org- 1 points
- 0 comments
- 15 minutes ago
- by StatsAreFun
Show HN: Build Python project with poetry and DSCI
dsci.sparrowhub.io:8080- 1 points
- 0 comments
- 16 minutes ago
- by melezhik
Show HN: I built a seriously detailed free financial planner
app.finzot.com- 1 points
- 1 comments
- 17 minutes ago
- by ryan3789437
US data centres 'are short six NYCs of electricity'
ft.com- 2 points
- 0 comments
- 18 minutes ago
- by JumpCrisscross
Building a GPU in 24 Hours
outercloud.dev- 1 points
- 0 comments
- 20 minutes ago
- by arghunter
OverfitCheck: Check if your trading backtest is overfit
overfitcheck.com- 1 points
- 1 comments
- 22 minutes ago
- by aidengandhi
Easy PDF Export with Links
figma.com- 1 points
- 1 comments
- 22 minutes ago
- by edib
2.5D parallax interactive battle scene by Opus 5.5
echohive.ai- 2 points
- 0 comments
- 23 minutes ago
- by echohive42
Massive Parallel Imports in Neo4j Without Deadlock and Lock Contention
medium.com- 2 points
- 0 comments
- 24 minutes ago
- by eatonphil
Postgres SELECT DISTINCT Does Not Scale
dbos.dev- 1 points
- 0 comments
- 24 minutes ago
- by KraftyOne
Watermarking in vLLM
vllm.ai- 2 points
- 0 comments
- 24 minutes ago
- by eatonphil
KeePassXC 2.8.0 (Beta 1) released
keepassxc.org- 5 points
- 0 comments
- 25 minutes ago
- by varjolintu
Show HN: IttyBittyAI – Qwen2.5:0.5B running on a 2017 Asus smartphone
- 1 points
- 0 comments
- 25 minutes ago
- by spottedmarley
Anthropic resumes charging for requests blocked by safeguards
twitter.com- 4 points
- 2 comments
- 25 minutes ago
- by jeudesprits
Starbucks to close 250 stores this week
finance.yahoo.com- 1 points
- 1 comments
- 27 minutes ago
- by randycupertino
OpenAI, Anthropic CEOs urge UN countries to cooperate on AI safety standards
slashdot.org- 1 points
- 0 comments
- 27 minutes ago
- by MilnerRoute
15 years later, a day without Tmux
brandur.org- 3 points
- 1 comments
- 28 minutes ago
- by aray07
New Jersey fines data center $1.1M after drone pics expose 62 gas generators
arstechnica.com- 7 points
- 1 comments
- 29 minutes ago
- by voxadam
Show HN: Put a Run Button on the SQL in Your Blog Posts
seaquel.app- 2 points
- 0 comments
- 30 minutes ago
- by mikenikles
Unity day-one support for the new Meta VR Glasses
unity.com- 1 points
- 0 comments
- 30 minutes ago
- by binarynate
Show HN: Hormuz Signal – Iran war escalation risk from real data
HormuzSignal.com- 2 points
- 0 comments
- 31 minutes ago
- by mrPaul658
Existing laws already cover every type of AI security incident
paulfwalsh.substack.com- 4 points
- 1 comments
- 32 minutes ago
- by PKop
Show HN: Radix – Visual UI for agentic programming
radix-os.com- 1 points
- 1 comments
- 32 minutes ago
- by 0x1062
Why Do Some People Stutter Less When They Sing?
youtube.com- 1 points
- 0 comments
- 35 minutes ago
- by selimonder
We turned off AI access for new hires
valon.ai- 1 points
- 1 comments
- 36 minutes ago
- by tosh
Scaling Auto-Research Loops for Efficient Agent Harnesses
nvlabs.github.io- 2 points
- 1 comments
- 39 minutes ago
- by adr1an
Practical Hurdles in Crab Latching Concurrency
jacobsherin.com- 1 points
- 0 comments
- 41 minutes ago
- by ibobev
From OpenGL to Vulkan
alexandrelamure.github.io- 1 points
- 0 comments
- 42 minutes ago
- by ibobev
Show HN: Shelf – Gmail sections and notes, no access to your account
- 1 points
- 0 comments
- 43 minutes ago
- by gpon505
Creatine uptake enhances antitumor immunity
cell.com- 53 points
- 10 comments
- 43 minutes ago
- by lormayna
Privacy issue on Signal: Group and contact data isn't deleted
community.signalusers.org- 2 points
- 0 comments
- 43 minutes ago
- by kmille