frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Agentic Proof-Oriented Programming

https://risemsr.github.io/blog/2026-02-04-nik-agentic-pop/
1•nextos•1h ago

Show HN: Redtiger Dash Cam

https://redtigerdashcam.net/
1•wangmao•51s ago•0 comments

Explaining how a touchscreen works with a sausage (2025) [video]

https://www.bbc.com/reel/video/p0lv0hqk/explaining-how-a-touchscreen-works-with-a-sausage
1•pajtai•1m ago•0 comments

AI fears pummel software stocks

https://www.cnbc.com/2026/02/06/ai-anthropic-tools-saas-software-stocks-selloff.html
1•1vuio0pswjnm7•3m ago•0 comments

First Proof

https://arxiv.org/abs/2602.05192
1•amichail•3m ago•0 comments

Show HN: Copenhagen building-level metrics derived from airborne Lidar

https://github.com/greyscalar/copenhagen-building-lidar-metrics
1•greyscalar•4m ago•0 comments

The GitButler CLI – Butler's Log

https://blog.gitbutler.com/but-cli
1•samtrack2019•10m ago•0 comments

Deep Dive: How Claude Code's /Insights Command Works

https://www.zolkos.com/2026/02/04/deep-dive-how-claude-codes-insights-command-works.html
1•samename•11m ago•0 comments

Federal Rule Removes Civil Service Protections for High-Ranking Career Employees

https://natlawreview.com/article/new-federal-rule-removes-civil-service-protections-high-ranking-...
1•petethomas•11m ago•0 comments

PaperBanana – Generate publication-ready academic figures with AI

https://www.paperbanana.xyz/
1•RyanMu•13m ago•1 comments

Show HN: Dangerously-skip-permissions IFF it doesn't WRITE outside Sandbox

https://github.com/ContextFort-AI/Runtime-Controls
1•ashwinr2002•15m ago•0 comments

Greg Brockman: "Software development is undergoing a Renaissance"

https://twitter.com/gdb/status/2019566641491963946
1•vinhnx•15m ago•0 comments

Show HN: Hive Agent – Embed Claude Code-like AI agents in your app

2•anetrebskii•16m ago•0 comments

Ask HN: What's the job market like in Bay Area for those looking to relocate?

1•general_reveal•17m ago•1 comments

We analyzed EU IT salaries and hiring trends using real job data

https://old.reddit.com/r/eutech/comments/1qtqly5/we_analyzed_eu_it_salaries_and_hiring_trends/
2•taubek•24m ago•0 comments

Beat AI in Incident Diagnosis Competition – $225 in Prizes, This Saturday

https://incidentfox.slack.com/join/shared_invite/zt-3ojlxvs46-xuEJEplqBHPlymxtzQi8KQ?nojsmode=1
1•chiehminwei•25m ago•1 comments

Show HN: Termoil – Terminal dashboard for managing parallel AI coding agents

https://github.com/fantom845/termoil
1•Kanix•26m ago•0 comments

for multi-broker portfolio analytics

https://gist.github.com/muarif24/
1•vikkymelani•28m ago•0 comments

Show HN: Image Protector- I over-engineered adding noise to images (CLI and GUI)

https://github.com/Codex-Crusader/Image-Protector
1•Codex-Crusader•28m ago•0 comments

Agentic Productivity System with Plain Markdown

https://sattlerjoshua.com/writing/2026-02-06-agentic-productivity-system-with-plain-markdown/
1•jsattler•34m ago•1 comments

I built a Ghibli-style image converter by modeling color and atmosphere

https://ghibli-art.io
1•leonaoa•36m ago•1 comments

Apple I: The Spark That Ignited the Digital Revolution (legendary price $666.66)

https://www.mac-history.net/apple-i-the-spark-that-ignited-the-digital-revolution/
1•stmw•41m ago•0 comments

Contaminated: The Carpet Industry's Toxic Legacy

https://www.pbs.org/wgbh/frontline/documentary/contaminated-the-carpet-industrys-toxic-legacy/
1•johntfella•42m ago•0 comments

Show HN: A React testing boilerplate for vibe coded apps

https://www.testsolid.com/
1•scedast•45m ago•0 comments

Missouri Senate considers bills to halt solar development on farmland

https://missouriindependent.com/2026/02/04/missouri-senate-considers-bills-to-halt-solar-developm...
2•MilnerRoute•45m ago•0 comments

Show HN: Fine tuning a resume builder for SWE's

https://www.sweresume.app/
1•zed_labs_dev•49m ago•0 comments

MoltDJ – Music by Machines, for Machines

https://moltdj.com
4•TheAlexIceman•52m ago•1 comments

Mark Russinovich's BSOD Photomosaic

https://github.com/markrussinovich/bsodmosaic
1•weinzierl•52m ago•0 comments

Portfolio Monitor – Claude Code skill for multi-broker portfolio analytics

https://github.com/2165187809-AXE/portfolio-monitor
1•AXEbot•56m ago•1 comments

Elfconv: AOT binary translator of Linux/ELF –> WebAssembly

https://github.com/yomaytk/elfconv
1•todsacerdoti•57m ago•0 comments

Show HN: Skeletoken, a Python package for editing model tokenizers

https://github.com/stephantul/skeletoken
1•stephantul•1h ago•0 comments