frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/
1•sohkamyung•1h ago

Antithesis Skills for Agents

https://antithesis.com/blog/2026/agent_skills/
1•tanelpoder•30s ago•0 comments

Boardsesh an open-source board app alternative for climbers

https://old.reddit.com/r/climbharder/comments/1s4yqoe/introducing_boardsesh_an_opensource_alterna...
1•arkaic•2m ago•0 comments

Show HN: LLM-Gateway – Zero-Trust LLM Gateway

https://github.com/openziti/llm-gateway
1•michaelquigley•3m ago•0 comments

Codex Plugins

https://developers.openai.com/codex/plugins
1•epaga•3m ago•0 comments

Show HN: I'm building a space for sass companies to connect. Do try out our demo

https://industrysocial.net/
1•ugabuga•3m ago•0 comments

Machine Learning for Humans and Now for LLMs

https://mljar.com/blog/structured-automl-reports-python-llm/
1•pplonski86•3m ago•0 comments

Show HN: Git Web Manager

https://github.com/WallabyDesigns/gitmanager
1•wallabydesigns•4m ago•0 comments

Technology Weakens Our Minds. We Can Fix This.

https://www.nytimes.com/2026/03/27/opinion/technology-mental-fitness-cognitive.html
2•mitchbob•5m ago•1 comments

Killing SaaS part 2. What's the playbook for distributing your product

https://gpt3experiments.substack.com/p/killing-saas-part-2
1•nutanc•6m ago•0 comments

Lawmakers push a bill to impose an AI data center moratorium

https://www.latimes.com/business/story/2026-03-26/lawmakers-push-bill-to-impose-ai-data-center-mo...
2•1vuio0pswjnm7•8m ago•0 comments

Author of Red Mars calls 'bullshit' on emigrating to the planet

https://www.newscientist.com/article/2520312-author-of-red-mars-calls-bullshit-on-emigrating-to-t...
2•Brajeshwar•10m ago•0 comments

Google-Agent user agent identifies AI agent traffic in server logs

https://searchengineland.com/google-agent-user-agent-472674
1•speckx•10m ago•0 comments

AI progress and the Singularity: the case for 2027-2029

https://blog.alcazarsec.com/posts/ai-progress-and-the-singularity
1•alcazar•10m ago•0 comments

The Architectural Hostility of Doorknobs

https://sightlessscribbles.com/posts/doorknob-hostility/
3•calcifer•11m ago•1 comments

CA bill to require influencers to delete social media content from minors

https://www.latimes.com/california/story/2026-03-26/california-could-require-parent-bloggers-to-d...
2•1vuio0pswjnm7•12m ago•0 comments

The Selfish Case for Doing Everything

https://roryflint.substack.com/p/the-selfish-case-for-doing-everything
2•mrroryflint•13m ago•0 comments

The invisible software supply chain

https://getlago.substack.com/p/embedded-software-is-the-biggest
1•FinnLobsien•13m ago•0 comments

Decisional vs. Performative Self: Why Decisions Don't Translate into Actions

https://www.leadingsapiens.com/performative-self-bandura/
2•sherilm•13m ago•0 comments

Silicon Valley's two biggest dramas have intersected: LiteLLM and Delve

https://techcrunch.com/2026/03/26/delve-did-the-security-compliance-on-litellm-an-ai-project-hit-...
2•kordlessagain•13m ago•0 comments

Show HN: ClawRun – Deploy AI agents to secure sandboxes with one command

https://clawrun.sh/?hn
1•afshinmeh•13m ago•0 comments

I built a social media platform that reads the mood of the internet

https://my-forum-9876f.web.app/
1•samreedcole•14m ago•1 comments

SQLite on Git: Why do we need random access in Git

https://blog.lysk.tech/sqlite-on-git-prologue
2•mlysk•15m ago•2 comments

The Energy Situation, Explained for Tech People

https://www.a16z.news/p/the-energy-situation-explained-for
3•7777777phil•17m ago•0 comments

Get Good at Math with Me

https://upinnovation.substack.com/p/math-for-physics-the-books-q1-2026
1•blakeb211•17m ago•1 comments

Musk has a plan to make human labor obsolete. Billionaires are joining in

https://www.washingtonpost.com/technology/2026/03/27/musk-optimus-robot-physical-ai/
5•ironyman•17m ago•1 comments

Mathematical Education – William P.Thruston(1990)

https://arxiv.org/pdf/math/0503081
1•nill0•21m ago•0 comments

Show HN: One BI platform for building reports, dashboards, and data exploration

https://github.com/flowkraft/reportburster
1•distributev•21m ago•0 comments

Flexible electrodynamic dust shields for lunar missions

https://www.sciencedirect.com/science/article/pii/S0094576526001153
1•PaulHoule•24m ago•0 comments

The danger of using "Hide My Email" with third-party Stripe handoffs

3•appstorelottery•24m ago•0 comments

Show HN: Aegis – Security framework for AI agents

https://acacian.github.io/aegis/playground/
1•Acacian•25m ago•0 comments