HN Top Links - Popular Stories from Hacker News

32971.

Show HN: Codeep – Open-source terminal AI coding agent, multi-provider (github.com)

1 points by VladoIvankovic 2 months ago | 0 comments

32972.

On the Unreasonable Effectiveness of PBT for Validating Formal Specifications (proofsandintuitions.net)

1 points by matt_d 2 months ago | 0 comments

32973.

Show HN: FpgacapZero on BRS-100-GW1NR9 dev board (hackster.io)

1 points by brisbanesilicon 2 months ago | 0 comments

32974.

The Wedge Was After the Form Response (indiehackers.com)

1 points by Lovanut 2 months ago | 0 comments

32975.

Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic [pdf] (cl.cam.ac.uk)

1 points by matt_d 2 months ago | 0 comments

32976.

Systems Are Changing: The Architect's Role in the Era of Agentic Co-Design (sigarch.org)

1 points by matt_d 2 months ago | 0 comments

32977.

Werkstattprosa (werkstattprosa.substack.com)

1 points by tjubuu 2 months ago | 0 comments

32978.

Graded Modal Types for Memory and Communication Safety (kar.kent.ac.uk)

1 points by matt_d 2 months ago | 0 comments

32979.

Califraudnation: CA civil rights agency closed my case to cover their mistakes (mattordeshook.substack.com)

1 points by creativejustice 2 months ago | 0 comments

32980.

Net-Zero Infrastructure: Implementing Solar-Scheduled Tunnel Egress (claude.ai)

1 points by insta_tunnel 2 months ago | 0 comments

32981.

WorldParticle: Unified World Simulation of Lagrangian Particles via Transformer (arxiv.org)

1 points by vismit2000 2 months ago | 0 comments

32982.

RigidFormer: Learning Rigid Dynamics Using Transformers (arxiv.org)

1 points by vismit2000 2 months ago | 0 comments

32983.

Extended Cyber Kill Chain for AI-Era Threats (github.com)

1 points by gnz1 2 months ago | 0 comments

32984.

MeshCore vs. Meshtastic: Choosing the Right Tactical Network (specfive.com)

1 points by DanielSusca 2 months ago | 0 comments

32985.

Slax Reader CLI: a read-later library your AI agents can use (slax.com)

1 points by wulujia 2 months ago | 0 comments

32986.

We Got a CISA GitHub Leak Taken Down in Under a Day (blog.gitguardian.com)

1 points by saikatsg 2 months ago | 0 comments

32987.

1 points by tayxwaro 2 months ago | 0 comments

32988.

Bubbles: Blog Post Discovery (bubbles.town)

1 points by bjhess 2 months ago | 0 comments

32989.

Join the Waitlist Mobile App (getstreek.com)

1 points by cnnadozi 2 months ago | 0 comments

32990.

Ambient Signifiers (boxesandarrows.com)

1 points by tosh 2 months ago | 0 comments

32991.

Analysis of CS:GO Win-rates (2020) (cryptm.org)

1 points by tosh 2 months ago | 0 comments

32992.

The Many Kings Problem: Why Humans May Survive an Age of Superior AI [pdf] (zenodo.org)

1 points by AccidentalOrder 2 months ago | 0 comments

32993.

I built a scrubber to prevent AI from reading your secrets

1 points by svn-arv 2 months ago | 0 comments

32994.

Andrej Karpathy Joined Anthropic's Pre-Training Team (firethering.com)

1 points by steveharing1 2 months ago | 0 comments

32995.

Moving from API Operations to Business Capabilities (medium.com)

1 points by bpedro 2 months ago | 0 comments

32996.

1 points by khaledsabae 2 months ago | 0 comments

32997.

Hack: A through-glass shower karaoke system (youtube.com)

1 points by mattkwan 2 months ago | 0 comments

32998.

External Secrets Operator (external-secrets.io)

1 points by ankitg12 2 months ago | 0 comments

32999.

A physical dial that locks your screens until you turn it back (miradial.com)

1 points by Kaljurahn 2 months ago | 0 comments

33000.

React Performance Isn't About UseMemo – It's About Render Boundaries (reactdevelopment.substack.com)

1 points by javatuts 2 months ago | 0 comments