frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

https://github.com/stanford-mast/a1/tree/main/examples/z3_reasoning
1•calebhwin•1m ago•0 comments

Coding assistant Cursor raises $2.3B 5 months after its previous round

https://techcrunch.com/2025/11/13/coding-assistant-cursor-raises-2-3b-5-months-after-its-previous...
1•dphuang2•3m ago•1 comments

Google Analytics Copilot (GA4)

https://askgaai.com
1•PEGHIN•4m ago•1 comments

Observation of quantum Darwinism and classicality with superconducting circuits

https://www.science.org/doi/10.1126/sciadv.adx6857
1•QueensGambit•5m ago•0 comments

Let Your Intrusive Thoughts Win: How to Talk to Anyone

https://www.brandonhresko.com/blog/let-your-intrusive-thoughts-win
1•bhresko1•6m ago•0 comments

Disney warns of potentially long dispute with YouTube TV, shares fall

https://www.reuters.com/business/media-telecom/disney-boosts-dividend-buyback-parks-streaming-dri...
1•haunter•8m ago•0 comments

Project Kuiper is now Amazon Leo

https://www.aboutamazon.com/news/amazon-leo/project-kuiper-becomes-amazon-leo
1•jaredwiener•8m ago•0 comments

Escura InstantSnap [video]

https://www.youtube.com/watch?v=1DgE3ZOnOzY
1•gregsadetsky•8m ago•0 comments

Show HN: inbox.dog – AI agents for Gmail support that sort, reply, and escalate

https://inbox.dog/
1•acoyfellow•9m ago•0 comments

Blogrolls Are the Best(rolls)

https://sethmlarson.dev/blogrolls-are-the-best-rolls
1•8organicbits•9m ago•0 comments

Apple cuts App Store fee in half for 'mini apps'

https://www.cnbc.com/2025/11/13/apple-announces-new-program-that-cut-mini-app-fees-in-half.html
1•jbonniwell•10m ago•1 comments

Agentu: The sleekest way to build AI agents

https://pypi.org/project/agentu/
1•init0•10m ago•1 comments

GPT-5.1 for Developers

https://openai.com/index/gpt-5-1-for-developers/
1•tedsanders•10m ago•0 comments

Blockchain company files patent application for domain parking system

https://domainnamewire.com/2025/11/13/blockchain-company-files-patent-application-for-domain-park...
1•speckx•11m ago•0 comments

Performance Improvements in .NET 10 [video]

https://www.youtube.com/watch?v=snnULnTWcNM
1•PKop•11m ago•0 comments

Agentic AI Is Moving from Hype to Structure

https://permit.substack.com/p/agentic-ai-is-moving-from-hype-to
1•mooreds•12m ago•0 comments

Xen and XCP-ng on Ampere Altra: ARM Demo at KubeCon

https://xcp-ng.org/blog/2025/11/13/xcp-ng-on-arm-with-ampere/
2•transpute•12m ago•0 comments

Amazon Leo, Amazon's satellite broadband network

https://www.aboutamazon.com/news/innovation-at-amazon/what-is-amazon-project-kuiper
1•ChrisArchitect•13m ago•0 comments

Why are sizes signed in the Futhark programming language?

https://futhark-lang.org/blog/2023-03-20-why-are-sizes-signed.html
2•fanf2•14m ago•0 comments

IBM Patented Euler's 200 Year Old Math Technique for 'AI Interpretability'

https://leetarxiv.substack.com/p/ibm-patented-eulers-fractions
5•busymom0•15m ago•0 comments

There's No Rust on This Ironclad Kernel: An OS Written in Ada

https://hackaday.com/2025/11/12/theres-no-rust-on-this-ironclad-kernel/
4•SeenNotHeard•16m ago•0 comments

Vibe coded a file sharing web app

https://fileflow1.replit.app/
1•ray_•17m ago•0 comments

Nine Claude Code Subagents Wrote This Blog Post – Can You Tell?

https://benjaminste.in/blog/2025/11/12/everyone-says-they-can-spot-ai-writing/
1•benstein•17m ago•0 comments

How We Streamed OpenAlt on Vhsky.cz

https://enblog.eischmann.cz/2025/11/13/how-we-streamed-openalt-on-vhsky-cz/
1•JNRowe•19m ago•0 comments

Billionaire Marc 'It's Time to Build' Andreesen Is a NIMBY

https://www.vice.com/en/article/billionaire-marc-its-time-to-build-andreesen-is-a-nimby/
7•cbHXBY1D•21m ago•1 comments

Disrupting the first reported AI-orchestrated cyber espionage campaign

https://www.anthropic.com/news/disrupting-AI-espionage
5•koakuma-chan•22m ago•0 comments

Box of bugs (exploded): Perils of cross-platform development

https://pvs-studio.com/en/blog/posts/cpp/1304/
3•thunderbong•23m ago•0 comments

Rust in Android: move fast and fix things

https://security.googleblog.com/2025/11/rust-in-android-move-fast-fix-things.html
3•abraham•24m ago•0 comments

An API to monitor the web for state changes

https://parallel.ai/blog/monitor-api
10•lukaslevert•25m ago•0 comments

Carl Zeiss' Tradition of Knowledge in Optics

https://brief.bismarckanalysis.com/p/carl-zeiss-tradition-of-knowledge
2•baxtr•25m ago•0 comments
Open in hackernews

Google Has Chosen a Side in Trump's Mass Deportation Effort

https://www.404media.co/google-has-chosen-a-side-in-trumps-mass-deportation-effort/
12•KittenInABox•1h ago

Comments

taylodl•38m ago
History shows us that large corporations tend to prioritize their bottom line over ideology. Nazi Germany is a stark reminder that most companies - and individuals - often choose to go with the flow rather than take a principled stand. Idealists may find this disappointing, but it reflects a consistent pattern: self-interest and risk avoidance usually outweigh moral positioning.