frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

15 years of building a lucid dreaming device: from EEG to machine vision

https://www.inspec.me/history
1•MichaelCoder•28s ago•0 comments

Tell HN: macOS supports instant snapshot rollbacks

1•concinds•31s ago•0 comments

Mining the Deep Ocean

https://knowablemagazine.org/content/article/physical-world/2026/deep-sea-mining-debate-critical-...
1•Brajeshwar•38s ago•0 comments

GT255: ICBM Test Launch Verifies Multiple Reentry Vehicle and System Reliability

https://www.afgsc.af.mil/News/Article-Display/Article/4420558/gt-255-icbm-test-launch-verifies-mu...
1•Bender•1m ago•0 comments

I spend the last 6 month Learning How to automate my boring Tasks with

1•farahkassbi•3m ago•0 comments

The Dude

https://yusufaytas.com/the-dude/
2•yusufaytas•5m ago•0 comments

Show HN: I replaced every function in a codebase with English – it still works

https://tril.cc
2•kulesh•6m ago•0 comments

Why a Child's Birth Month Could Play a Major Role in Their Mental Health

https://studyfinds.com/why-childs-birth-month-could-play-major-role-in-mental-health/
1•akyuu•8m ago•0 comments

Power Causes Brain Damage

https://www.theatlantic.com/magazine/archive/2017/07/power-causes-brain-damage/528711/
2•andsoitis•9m ago•0 comments

Cppsp v1.5.2 OOP system –Derive and Extension

https://github.com/user19870/cppsp
1•user19870•10m ago•0 comments

Looking at Unity made me understand the point of C++ coroutines

https://mropert.github.io/2026/03/20/unity_cpp_coroutines/
1•fanf2•10m ago•0 comments

Horsehair: The Stuff of Early and Modern Luxury Mattresses

https://www.beds.org/blog/horsehair-the-stuff-of-early-and-modern-luxury-mattresses/
1•thunderbong•11m ago•0 comments

Security analysts warn of 'expanded attack surface' as AI agents become default

https://www.cryptopolitan.com/analysts-warn-of-attack-ai-agents/
1•adrianwaj•11m ago•1 comments

Steve-eval – getting AI to write like me

https://stevekrouse.com/eval
1•stevekrouse•12m ago•0 comments

Show HN: I collected 1k cancellation URLs and built an iOS app around them

https://apps.apple.com/us/app/subscriptioncat-sub-tracker/id6760429188
1•hiroshichan•13m ago•0 comments

Show HN: AgentVerse – Open social network for AI agents (Mar 2026)

https://nickakre.github.io/agentverse-social/
2•nickakre•14m ago•0 comments

Achieving Zero Bugs: Rust, Specs, and AI Coding

https://www.borg.org/?p=1472
1•vinhnx•16m ago•0 comments

Creating a DAW in Rust

https://whoisryosuke.com/blog/2026/creating-a-daw-in-rust/
2•vinhnx•18m ago•0 comments

Ask HN:35,0 CS background, built real apps with AI, need suggestion

1•bond_builds•21m ago•1 comments

CERN eggheads burn AI into silicon to stem data deluge

https://www.theregister.com/2026/03/22/cern_eggheads_burn_ai_into/
1•Brajeshwar•21m ago•0 comments

BDV – A privilege-separated Unix daemon for blind document verification

https://github.com/calvinsienatra/bdv
1•csienatra•22m ago•0 comments

Project Nomad – Knowledge That Never Goes Offline

https://www.projectnomad.us
1•jensgk•23m ago•0 comments

Rust Shined over Python for My CLI Tool

https://smiling.dev/blog/rust-shined-over-python-for-my-cli-tool/
1•vinhnx•23m ago•0 comments

Dijkstra's Algorithm

https://en.wikipedia.org/wiki/Dijkstra%27s_algorithm
1•Brysonbw•23m ago•0 comments

The Problem with Red Supergiants

https://www.thequantumcat.space/p/the-strange-problem-with-red-supergiants
2•verzali•24m ago•0 comments

Year-View Calendar

https://yearview.life/
1•sweenzor•28m ago•1 comments

Brute-Forcing My Algorithmic Ignorance with an LLM in 7 Days

http://blog.dominikrudnik.pl/my-google-recruitment-journey-part-1
3•qikcik•29m ago•0 comments

$ teebot.dev – from terminal to tee in 6 seconds

https://teebot.dev
3•foxpress•29m ago•1 comments

Show HN: We mapped 122K carbon removal researchers using OpenAlex/ORCID/OpenClaw

https://captaindrawdown.com/cdr-researcher-census/
2•dpaessler•30m ago•0 comments

Agents over Bubbles

https://stratechery.com/2026/agents-over-bubbles/
3•saikatsg•31m ago•0 comments
Open in hackernews

Non-trivial error in physics paper found via Lean

https://arxiv.org/abs/2603.08139
3•leanexplorer•1h ago

Comments

leanexplorer•1h ago
Code part of the project PhysLib (formerly PhysLean) - physics version of the project Mathlib.

https://github.com/leanprover-community/physlib