fp.

What makes a theorem "fundamental" in mathematics? (2014)

https://math.stackexchange.com/questions/947442/what-makes-a-theorem-fundamental

1•vismit2000•1m ago•0 comments

Meteor 3.5 is out: Change Streams and Performance improvements

https://forums.meteor.com/t/meteor-3-5-is-out-change-streams-performance-improvements/64461

1•harryadelb•1m ago•0 comments

Bank of England sees growing risks to financial stability from AI

https://www.reuters.com/business/finance/bank-england-sees-growing-risks-financial-stability-ai-2...

1•adithyaharish•4m ago•0 comments

Swift Rockies – A retreat-style iOS developer conference in Calgary, July 2026

https://swiftrockies.com

2•swiftrockies•5m ago•1 comments

GhostWire – Resilient P2P Mesh Communication

https://www.ghostwire.cc

1•PHANTOMOJO•5m ago•0 comments

Security you can't justify is a vicious cycle

https://bogomolov.work/blog/posts/security-you-cant-justify-is-a-vicious-cycle/

1•irr123•6m ago•0 comments

In-place functional programming with Koka

https://dl.acm.org/doi/abs/10.1145/3607840

1•fanf2•6m ago•0 comments

Office Suite for Coding Agents

https://smalldocs.org/

2•andrem•12m ago•0 comments

Volkswagen bans GrapheneOS citing security reasons, continues support Android 10

https://www.autoevolution.com/news/volkswagen-bans-security-focused-grapheneos-cites-security-rea...

1•teleforce•12m ago•0 comments

Lessons Learned Building Shopify Browser and Server Side Tracking

https://blog.adnansiddiqi.me/implementing-browser-and-server-side-tracking-on-shopify-using-gtm-a...

2•pknerd•12m ago•0 comments

Show HN: I built an in-call AI, and the hard part was making it talk less

https://heyalo.ai

2•giu_1•13m ago•1 comments

Show HN: Unlimitedcodex – Flat-Price OpenAI-Compatible GPT/Codex API Access

https://unlimitedcodex.com

1•caqq•16m ago•0 comments

Bast – Go Structured Web Framework for server-side applications

https://github.com/bastion-framework/bast

2•kasimlyee•18m ago•0 comments

Text to CAD for Furniture Designs

https://www.timbr.pro

1•wojciem•19m ago•0 comments

Performance Optimized Statically Typed Python

https://post-py.org/

1•incognito124•19m ago•0 comments

Show HN: Multi-channel color QR code generator

https://github.com/Astra31415926/QR.G.B.-ART

2•MihailKashkarov•20m ago•1 comments

Golfstream – social network for rich people

https://apps.apple.com/pl/app/golfstream-social-network/id6782670766

3•yaszko•22m ago•1 comments

Grammarly critical hacks and vulnerabilities

2•IDIRIS•23m ago•0 comments

What Is a Load Balancer?

https://hackbotone.com/what-is-a-load-balancer-d4a24d8cf00d

1•hackbotone•28m ago•0 comments

Scientists measured the smallest possible contacts for future computer chips

https://phys.org/news/2026-07-scientists-smallest-contacts-future-chips.html

1•pseudolus•29m ago•0 comments

HTTP/1.1 vs. HTTP/2

https://hackbotone.com/http-1-1-vs-http-2-830f0364a8a4

1•hackbotone•30m ago•0 comments

Calling of an Engineer

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

1•thunderbong•30m ago•0 comments

Omni – open-source (Granola, Notion and Wispr Flow all in one)

https://github.com/AlexKapadia/omni

1•alexkapadia1•31m ago•0 comments

AI Giants Are Handing Out Tons of Free Computing Power to Grab Startup Share

https://www.wsj.com/tech/ai/ai-giants-are-handing-out-tons-of-free-computing-power-to-grab-startu...

1•thm•32m ago•0 comments

Basilisk – a Rust Python type checker at 100% on the typing conformance suite

https://github.com/python/typing/blob/main/conformance/results/results.html

1•cfdevelop•36m ago•0 comments

Bird-Away: Raspberry Pi-powered water-based bird deterrent

https://github.com/mattsahn/bird-away

2•sahn44•37m ago•4 comments

Death Becomes Her: China's New Hit Game

https://www.sixthtone.com/news/1018715

1•Alien1Being•40m ago•0 comments

PostgreSQL Benchmark: AWS RDS vs. Self-Hosted on Hetzner (2026)

https://hostim.dev/blog/postgres-benchmark-rds-vs-hostim-vs-self-hosted/

3•pv1337•41m ago•0 comments

Proxying inference requests in 6ms with Pingora, Envoy, and Spanner

https://modal.com/blog/serverless-servers

1•birdculture•41m ago•0 comments

Researchers Create Self-Replicating Seedbox in Quest for Decentralized Democracy

https://torrentfreak.com/researchers-create-self-replicating-seedbox-in-quest-for-decentralized-d...

1•rapnie•44m ago•0 comments

What makes a theorem "fundamental" in mathematics? (2014)

Meteor 3.5 is out: Change Streams and Performance improvements

Bank of England sees growing risks to financial stability from AI

Swift Rockies – A retreat-style iOS developer conference in Calgary, July 2026

GhostWire – Resilient P2P Mesh Communication

Security you can't justify is a vicious cycle

In-place functional programming with Koka

Office Suite for Coding Agents

Volkswagen bans GrapheneOS citing security reasons, continues support Android 10

Lessons Learned Building Shopify Browser and Server Side Tracking

Show HN: I built an in-call AI, and the hard part was making it talk less

Show HN: Unlimitedcodex – Flat-Price OpenAI-Compatible GPT/Codex API Access

Bast – Go Structured Web Framework for server-side applications

Text to CAD for Furniture Designs

Performance Optimized Statically Typed Python

Show HN: Multi-channel color QR code generator

Golfstream – social network for rich people

Grammarly critical hacks and vulnerabilities

What Is a Load Balancer?

Scientists measured the smallest possible contacts for future computer chips

HTTP/1.1 vs. HTTP/2

Calling of an Engineer

Omni – open-source (Granola, Notion and Wispr Flow all in one)

AI Giants Are Handing Out Tons of Free Computing Power to Grab Startup Share

Basilisk – a Rust Python type checker at 100% on the typing conformance suite

Bird-Away: Raspberry Pi-powered water-based bird deterrent

Death Becomes Her: China's New Hit Game

PostgreSQL Benchmark: AWS RDS vs. Self-Hosted on Hetzner (2026)

Proxying inference requests in 6ms with Pingora, Envoy, and Spanner

Researchers Create Self-Replicating Seedbox in Quest for Decentralized Democracy

The hard part was never the model

What makes a theorem "fundamental" in mathematics? (2014)

Meteor 3.5 is out: Change Streams and Performance improvements

Bank of England sees growing risks to financial stability from AI

Swift Rockies – A retreat-style iOS developer conference in Calgary, July 2026

GhostWire – Resilient P2P Mesh Communication

Security you can't justify is a vicious cycle

In-place functional programming with Koka

Office Suite for Coding Agents

Volkswagen bans GrapheneOS citing security reasons, continues support Android 10

Lessons Learned Building Shopify Browser and Server Side Tracking

Show HN: I built an in-call AI, and the hard part was making it talk less

Show HN: Unlimitedcodex – Flat-Price OpenAI-Compatible GPT/Codex API Access

Bast – Go Structured Web Framework for server-side applications

Text to CAD for Furniture Designs

Performance Optimized Statically Typed Python

Show HN: Multi-channel color QR code generator

Golfstream – social network for rich people

Grammarly critical hacks and vulnerabilities

What Is a Load Balancer?

Scientists measured the smallest possible contacts for future computer chips

HTTP/1.1 vs. HTTP/2

Calling of an Engineer

Omni – open-source (Granola, Notion and Wispr Flow all in one)

AI Giants Are Handing Out Tons of Free Computing Power to Grab Startup Share

Basilisk – a Rust Python type checker at 100% on the typing conformance suite

Bird-Away: Raspberry Pi-powered water-based bird deterrent

Death Becomes Her: China's New Hit Game

PostgreSQL Benchmark: AWS RDS vs. Self-Hosted on Hetzner (2026)

Proxying inference requests in 6ms with Pingora, Envoy, and Spanner

Researchers Create Self-Replicating Seedbox in Quest for Decentralized Democracy