frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: QF STEM Ledger – Logging Structured Cognitive Work

https://ledger.quantumformalism.com/
1•bamborde_zaiku•1h ago
I built a tool to log structured cognitive work, including proofs rebuilt from first principles, research notes drafted, and concepts properly mastered, after noticing that serious technical effort is rarely recorded in any structured way.

Curious to hear what HN thinks.

GW of datacenter demand queues up for UK grid access

https://www.theregister.com/2026/02/27/datacenter_uk_grid_demand/
1•Bender•53s ago•0 comments

QED in Context: An Observation Study of Proof Assistant Users [pdf]

https://andrewhead.info/assets/pdf/qed-in-context.pdf
1•azhenley•1m ago•0 comments

Japan's Rapidus lands $1.7B to chase 2nm chip production by 2027

https://www.theregister.com/2026/02/27/rapidus_funding/
1•Bender•1m ago•0 comments

The whole economy pays the Amazon tax

https://pluralistic.net/2026/02/25/most-favored-nation/
1•kevmo314•1m ago•0 comments

Oak Ridge spawns institute to curb AI datacenter power surge

https://www.theregister.com/2026/02/27/oak_ridge_datacenter_power/
1•Bender•2m ago•0 comments

Mash – graphical remote browser shell

https://mashell.sh/
1•mannders•2m ago•0 comments

Zclaw – The 888 KiB Assistant

https://zclaw.dev
1•kristianpaul•2m ago•0 comments

Block, the parent of Square and Cash App, is laying off over 4k people

https://www.engadget.com/apps/block-the-parent-of-square-and-cash-app-is-laying-off-over-4000-peo...
1•WaitWaitWha•3m ago•0 comments

There Are No Psychopaths

https://aeon.co/essays/psychopathy-is-a-zombie-idea-why-does-it-cling-on
2•mellosouls•5m ago•0 comments

Banks can Prevent Bank Runs by operating more like Bond Funds

https://outlookzen.com/2015/05/03/a-financial-system-with-solid-foundations/
1•whack•6m ago•0 comments

Jsontap – Reactive access to incrementally parsed JSON for Python

https://github.com/fhalde/jsontap
1•dadbod•8m ago•1 comments

Show HN: Decision Guardian – Auto-surface architectural context on PRs and CLI

2•iamalizaidi•11m ago•0 comments

FCC approves Charter Communications' $34.5B deal to buy Cox

https://www.reuters.com/world/us-agency-approves-charter-communications-345-billion-deal-buy-cox-...
3•geox•14m ago•1 comments

Shift from passive documentation to active enforcement

4•iamalizaidi•15m ago•0 comments

Show HN: Accept.md now supports SvelteKit – return Markdown from any page

https://www.accept.md/
2•hval•17m ago•0 comments

I stopped using JSON for MQTT and use Zig to develop gRPC-like communication

https://gyokhan.com/stopped-using-json-for-mqtt-and-develop-zig-protobuf-mqtt/
2•gyokhan•24m ago•0 comments

Raided by the Police – Investigating Nintendo, Sega, & Devkit Arrests [video]

https://www.youtube.com/watch?v=NU040CTdJI0
2•wicket•26m ago•0 comments

Sam Altman Says OpenAI Is Working on Pentagon Deal

https://www.wsj.com/tech/ai/openais-sam-altman-calls-for-de-escalation-in-anthropic-showdown-with...
3•DGAP•27m ago•1 comments

Autokey Wayland – fork of AutoKey a desktop automation app with Wayland support

https://github.com/dlk3/autokey-wayland
1•Curiositry•28m ago•0 comments

Software development now costs less than than the wage of a minimum wage worker

https://ghuntley.com/real/
2•cebert•31m ago•1 comments

Pentagon approves OpenAI safety red lines after dumping Anthropic

https://www.axios.com/2026/02/27/pentagon-openai-safety-red-lines-anthropic
3•galleywest200•31m ago•0 comments

Show HN: I made a website to write online math as fast as paper

https://www.scratchpad-math.com/
3•maxtobiasen•34m ago•2 comments

Is AGI a Billion-Dollar Mirage? The AI Circular Trap

https://medium.com/@opsworld.g/ais-downhill-without-brakes-is-agi-a-billion-dollar-mirage-e5b9cb6...
4•om202•35m ago•0 comments

Money Is the First AI – and We Never Noticed

https://github.com/AionSystem/AION-BRAIN/blob/main/articles/MEDIUM/THE-THRESHOLD/Money-Is-The-Fir...
2•sheldonksalmon•37m ago•1 comments

LFortran Compiles Fpm

https://lfortran.org/blog/2026/02/lfortran-compiles-fpm/
1•wtlin•38m ago•0 comments

Show HN: I seriously think this is the most effective email leadgen tool

https://easyemailfinder.com/
1•faalbane•39m ago•0 comments

Devs who code like you (from public GitHub signals)

https://mates.symploke.dev?hn
1•thomasfromcdnjs•39m ago•0 comments

The Ballad of Dario and Pete

https://twitter.com/last_one_in_/status/2027536134214189435
2•cmogni1•41m ago•0 comments

A way to be a person

https://www.lrb.co.uk/the-paper/v48/n04/paul-taylor/a-way-to-be-a-person
1•hhs•41m ago•0 comments

Modernity: We launched two weeks ago, got 400 testers, zero customers. Fixes

https://modernity.live/
1•Fabric14•42m ago•1 comments