frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"

https://blog.zksecurity.xyz/posts/simple-rbr-fri/
1•baby•1h ago

Show HN: Semantic-diff – understanding intent, risk and impact behind Git diffs

https://github.com/tkenaz/semantic_diff
1•mvyshnyvetska•54s ago•0 comments

DRACO: Double-stranded RNA activated caspase oligomerizer

https://en.wikipedia.org/wiki/DRACO
1•Ariarule•1m ago•0 comments

Show HN: Totalizer – P2P yes/no polling for meetings, no signup required

http://totalizer.ponyo877.com/en/
1•ponyo877•2m ago•0 comments

What's the Point of Clawdbot?

1•benjaminwootton•2m ago•0 comments

Grok is experiencing an outage

https://status.x.ai
1•ofou•2m ago•0 comments

Hacker News Terminal (Open source viewer)

https://hn-terminal.pages.dev/
1•matiaslopezd•2m ago•1 comments

I built a "task hider" because Jira was paralyzing my executive function

https://app.getdivergentflow.com/
1•jgsteeler•2m ago•0 comments

Meta's exclusive features for social media platforms now include AI Manus

https://altcoindesk.com/news/metas-exclusive-features-for-social-media-platforms-now-include-ai-m...
1•Bahira•3m ago•0 comments

Show HN: WatchRoom – Watch YouTube with strangers, discover new content together

https://watchroom.ponyo877.com/en/
1•ponyo877•3m ago•0 comments

Show HN: Foundation for AI Development in Laravel

https://atlasphp.org
1•tmarois•4m ago•0 comments

Show HN: How we solved the InfoSec adoption blocker for cloud tools

1•sureshcsdp•4m ago•0 comments

Show HN: Printable Thinking Templates – Mental Models You Fill Out by Hand

1•_1tan•7m ago•0 comments

What is driving gold's relentless rally

https://www.economist.com/finance-and-economics/2026/01/27/what-is-driving-golds-relentless-rally
1•andsoitis•7m ago•2 comments

Show HN: Vibe Caffeine – Prevents Mac sleep while AI coding tools work

https://github.com/jjyr/vibe-caffeine
1•fwee•7m ago•0 comments

Spidra

1•spidra•7m ago•0 comments

Bigfoot Sightings Map

https://dr.eamer.dev/datavis/poems/bigfoot/big-feet.html
1•speckx•8m ago•0 comments

Show HN: Yank – A concurrent CLI downloader for bulk files

https://github.com/HosseinAbedi/Yank
1•Kain667•8m ago•0 comments

At Davos, tech CEOs laid out their vision for AI's world domination

https://www.theguardian.com/technology/2026/jan/27/tech-ceos-ai-world-domination-davos
1•andsoitis•14m ago•0 comments

Stop screwing around with agent orchestration, your bottleneck is validation

https://sibylline.dev/articles/2026-01-27-stop-orchestrating-and-start-validating/
2•CuriouslyC•15m ago•0 comments

Show HN: Nichestarter – Stop guessing what to build. Find validated pain points

https://www.nichestarter.ai/
2•shujip•16m ago•0 comments

CPython Internals Explained

https://github.com/zpoint/CPython-Internals
3•yufiz•18m ago•0 comments

The Law of Imposter Systems

https://zenodo.org/records/18383284
1•takko_the_boss•19m ago•0 comments

NDL: Simplifying Local Development for Distributed Systems

https://nuewframe.dev/blog/introducing-ndl-simplifying-distributed-systems-local-development/
2•wrabadi•19m ago•0 comments

The age of Pump and Dump software

https://tautvilas.medium.com/software-pump-and-dump-c8a9a73d313b
9•brisky•20m ago•0 comments

Chatuino: A Feature-Rich TUI Twitch IRC Client

https://github.com/julez-dev/chatuino
3•julezdev•21m ago•0 comments

Ask HN: Where's the actual pain in early-stage medical AI startups?

1•ml_visoft•22m ago•0 comments

I stopped using dependencies and started generating code

https://www.amazingcto.com/audience-of-one-apps/
2•KingOfCoders•22m ago•0 comments

Show HN: CUGA – Configurable Generalist Agent (HuggingFace Live Demo)

https://huggingface.co/spaces/ibm-research/cuga-agent
1•asaf_adi•24m ago•2 comments

Hit21 v1.9

https://apps.apple.com/us/app/hit21-blackjack-game/id6740510784
1•pompeii•25m ago•1 comments

Show HN: We Built the 1. EU-Sovereignty Audit for Websites

https://lightwaves.io/en/eu-audit/
20•cmkr•26m ago•6 comments