frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Some silly Z3 scripts I wrote

https://www.hillelwayne.com/post/z3-examples/
20•azhenley•2d ago

Comments

iberator•1h ago
I was expecting a Z3 computer from Germany.
potato-peeler•1h ago
For the curious, solvers like z3 are used in programming languages to verify logic and constraints. Basically it can help find logic issues and bugs during compile time itself, instead of waiting for it to show up in runtime.

https://en.wikipedia.org/wiki/Satisfiability_modulo_theories...

bjornsing•37m ago
The concept is called static analysis.
ukuina•4m ago
Seems adjacent, with some overlap.

Nano Banana 2: Google's latest AI image generation model

https://blog.google/innovation-and-ai/technology/ai/nano-banana-2/
102•davidbarker•50m ago•81 comments

New AirSnitch attack breaks Wi-Fi encryption in homes, offices, and enterprises

https://arstechnica.com/security/2026/02/new-airsnitch-attack-breaks-wi-fi-encryption-in-homes-of...
68•DamnInteresting•56m ago•36 comments

Show HN: Terminal Phone – E2EE Walkie Talkie from the Command Line

https://gitlab.com/here_forawhile/terminalphone
204•smalltorch•6h ago•53 comments

Anthropic ditches its core safety promise

https://www.cnn.com/2026/02/25/tech/anthropic-safety-policy-change
405•motbus3•3h ago•224 comments

Google API keys weren't secrets, but then Gemini changed the rules

https://trufflesecurity.com/blog/google-api-keys-werent-secrets-but-then-gemini-changed-the-rules
1011•hiisthisthingon•20h ago•246 comments

BuildKit: Docker's Hidden Gem That Can Build Almost Anything

https://tuananh.net/2026/02/25/buildkit-docker-hidden-gem/
31•jasonpeacock•2h ago•13 comments

just-bash: Bash for Agents

https://github.com/vercel-labs/just-bash
38•tosh•3h ago•28 comments

Tell HN: YC companies scrape GitHub activity, send spam emails to users

380•miki123211•7h ago•124 comments

Open Source Endowment – new funding source for open source maintainers

https://endowment.dev/
15•kvinogradov•39m ago•7 comments

Jimi Hendrix was a systems engineer

https://spectrum.ieee.org/jimi-hendrix-systems-engineer
592•tintinnabula•20h ago•192 comments

Banned in California

https://www.bannedincalifornia.org/
360•pie_flavor•17h ago•416 comments

Time Is Different

https://shkspr.mobi/blog/2026/02/this-time-is-different/
13•speckx•3h ago•6 comments

Those who can, teach history

https://www.historytoday.com/archive/making-history/those-who-can-teach-history
22•hhs•4d ago•21 comments

How will OpenAI compete?

https://www.ben-evans.com/benedictevans/2026/2/19/how-will-openai-compete-nkg2x
385•iamskeole•18h ago•533 comments

Hightouch (YC S19) Is Hiring

https://hightouch.com/careers#open-positions
1•joshwget•4h ago

Ferret-UI Lite: Lessons from Building Small On-Device GUI Agents

https://machinelearning.apple.com/research/ferret-ui
13•CharlesW•4d ago•2 comments

Why Developers Keep Choosing Claude over Every Other AI

https://www.bhusalmanish.com.np/blog/posts/why-claude-wins-coding.html
30•gmays•59m ago•40 comments

In 2025, Meta paid an effective federal tax rate of 3.5%

https://bsky.app/profile/rbreich.bsky.social/post/3mfptlfeucn2i
138•doener•1h ago•79 comments

First Website (1992)

https://info.cern.ch
282•shrikaranhanda•17h ago•80 comments

A 26-Gram Butterfly-Inspired Robot Achieving Autonomous Tailless Flight

https://arxiv.org/abs/2602.06811
44•Terretta•4d ago•11 comments

Windows 11 Notepad to support Markdown

https://blogs.windows.com/windows-insider/2026/01/21/notepad-and-paint-updates-begin-rolling-out-...
331•andreynering•23h ago•498 comments

Story of XZ Backdoor [video]

https://www.youtube.com/watch?v=aoag03mSuXQ
51•Ulf950•2h ago•18 comments

Making MCP cheaper via CLI

https://kanyilmaz.me/2026/02/23/cli-vs-mcp.html
287•thellimist•20h ago•110 comments

Artist who “paints” portraits on glass by hitting it with a hammer

https://simonbergerart.com
227•cs702•4d ago•97 comments

Fentanyl makeover: Core structural redesign could lead to safer pain medications

https://www.scripps.edu/news-and-events/press-room/2026/20260211-janda-molecule.html
48•littlexsparkee•4h ago•53 comments

How AI skills are quietly automating my workday

https://medium.com/@ricardskrizanovskis/how-ai-skills-are-quietly-automating-my-workday-220a1b7b4707
4•rkrizanovskis•17m ago•2 comments

Some silly Z3 scripts I wrote

https://www.hillelwayne.com/post/z3-examples/
20•azhenley•2d ago•4 comments

Bus stop balancing is fast, cheap, and effective

https://worksinprogress.co/issue/the-united-states-needs-fewer-bus-stops/
400•surprisetalk•1d ago•583 comments

Writers and Their Day Jobs

https://lithub.com/the-work-behind-the-writing-on-writers-and-their-day-jobs/
71•simplegeek•4d ago•22 comments

Large-Scale Online Deanonymization with LLMs

https://simonlermen.substack.com/p/large-scale-online-deanonymization
323•DalasNoin•1d ago•228 comments