fp.

Dependent Types and How to Get Rid of Them

https://chadnauseam.com/coding/pltd/are-dependent-types-actually-erased

1•pie_flavor•30s ago•0 comments

Fast Forward: macOS window switcher built with Rust and GPUI

https://github.com/gaauwe/fast-forward

1•adamnemecek•1m ago•0 comments

New California law requires AI to tell you it's AI

https://www.theverge.com/news/798875/california-just-passed-a-new-law-requiring-ai-to-tell-you-it...

1•Gigamouse•1m ago•0 comments

dcaf: An implementation of the ACE-OAuth framework

https://docs.rs/dcaf/latest/dcaf/

1•mooreds•2m ago•0 comments

Movement to Prohibit AGI

https://time.com/7329424/movement-prohibit-superintelligent-ai/

2•voxleone•2m ago•0 comments

Show HN: Distil expenses – personal finance agent

https://github.com/distil-labs/Distil-expenses

1•gabika•3m ago•0 comments

Chaldean lessons from this cool channel [video]

https://www.youtube.com/watch?v=WwAusqnljWM&list=PLl5w2tSjArrDx1f7CSXeNstsOhENSJu_Q&index=1

1•marysminefnuf•6m ago•0 comments

Go simulation testing for distributed systems

https://github.com/jellevandenhooff/gosim

1•dschofie•6m ago•0 comments

Show HN: Neutral News AI – Multi-source, MNLI-checked news summaries

https://neutralnewsai.com

1•MarcellLunczer•6m ago•1 comments

Study: The link between narcissism and social media trolling

https://www.tandfonline.com/doi/full/10.1080/0144929X.2025.2547922

2•giuliomagnifico•8m ago•0 comments

Catalog of reliability properties for blockchains (Antithesis)

https://antithesis.com/resources/blockchain_property_catalog/

1•akshayshah•8m ago•0 comments

Capitol Hill is abuzz with talk of the "Athena" plan for NASA

https://arstechnica.com/space/2025/11/capitol-hill-is-abuzz-with-talk-of-the-athena-plan-for-nasa/

1•themgt•8m ago•0 comments

The Hidden Tax Penalty Killing Bootstrapped Startups

https://manidoraisamy.com/bootstrap-penalty.html

2•QueensGambit•8m ago•1 comments

BBC 'doctored' Trump speech, internal report reveals

https://www.telegraph.co.uk/news/2025/11/03/bbc-report-reveals-bias-donald-trump/

3•wslh•9m ago•0 comments

Not wanting to upgrade, but still needing to

https://darice.org/2025/11/02/not-wanting-to-upgrade-but-still-needing-to/

1•speckx•10m ago•0 comments

Show HN: The platform making SEO cheaper, simpler, and more effective

https://idiotproofseo.com/

1•mjh_codes•10m ago•0 comments

Powerful data visuzlization for Substack posts

https://automato.substack.com/p/how-to-add-powerful-tables-and-graphs

1•josmor•10m ago•0 comments

Madagascar's power grab shows coup problem isn't restricted to the Sahel

https://theconversation.com/madagascars-military-power-grab-shows-africas-coup-problem-isnt-restr...

1•PaulHoule•11m ago•0 comments

The Constrained Application Protocol (CoAP)

https://datatracker.ietf.org/doc/html/rfc7252

1•mooreds•11m ago•0 comments

Restack – AI agent platform separating product iteration from infrastructure

https://www.restack.io

1•andreas_mauer•12m ago•1 comments

OpenAI signs AI compute deal with Amazon

https://arstechnica.com/ai/2025/11/openai-signs-massive-ai-compute-deal-with-amazon/

1•ndsipa_pomu•12m ago•1 comments

In Mexico, Killer Whales Take Down Great White Sharks

https://www.nytimes.com/2025/11/03/science/white-sharks-orcas.html

1•quapster•13m ago•0 comments

Sanely-automatic derivation – fixing type classes derivation UX in Scala

https://kubuszok.com/2025/sanely-automatic-derivation/

2•maddening•13m ago•0 comments

What are the cosmic voids made of? – Universe Today

https://www.universetoday.com/articles/what-are-the-cosmic-voids-made-of

1•rbanffy•13m ago•0 comments

Launchie 1.1.6 released (Launchpad for macOS)

https://old.reddit.com/r/macapps/comments/1oni407/launchpad_replacement_launchie_116_released/

1•nickfthedev•13m ago•0 comments

What does the ideal information environment look like?

https://defenderofthebasic.substack.com/p/what-does-the-ideal-information-environment

1•OmarShehata•15m ago•0 comments

Building the Foundation – SCP Level Design in Leadwerks

https://www.leadwerks.com/community/blogs/entry/2887-building-the-foundation/

1•ayaros•16m ago•0 comments

Witsy: Desktop AI Interface (Local/Cloud, MPC, In-App Prompting, API)

https://github.com/nbonamy/witsy

1•leobg•16m ago•0 comments

Children Books Hub

https://childrenbooks.vercel.app/

1•wiwoworld•17m ago•1 comments

What Is a Manifold?

https://www.quantamagazine.org/what-is-a-manifold-20251103/

1•genoveffo•18m ago•0 comments

Dependent Types and How to Get Rid of Them

Fast Forward: macOS window switcher built with Rust and GPUI

New California law requires AI to tell you it's AI

dcaf: An implementation of the ACE-OAuth framework

Movement to Prohibit AGI

Show HN: Distil expenses – personal finance agent

Chaldean lessons from this cool channel [video]

Go simulation testing for distributed systems

Show HN: Neutral News AI – Multi-source, MNLI-checked news summaries

Study: The link between narcissism and social media trolling

Catalog of reliability properties for blockchains (Antithesis)

Capitol Hill is abuzz with talk of the "Athena" plan for NASA

The Hidden Tax Penalty Killing Bootstrapped Startups

BBC 'doctored' Trump speech, internal report reveals

Not wanting to upgrade, but still needing to

Show HN: The platform making SEO cheaper, simpler, and more effective

Powerful data visuzlization for Substack posts

Madagascar's power grab shows coup problem isn't restricted to the Sahel

The Constrained Application Protocol (CoAP)

Restack – AI agent platform separating product iteration from infrastructure

OpenAI signs AI compute deal with Amazon

In Mexico, Killer Whales Take Down Great White Sharks

Sanely-automatic derivation – fixing type classes derivation UX in Scala

What are the cosmic voids made of? – Universe Today

Launchie 1.1.6 released (Launchpad for macOS)

What does the ideal information environment look like?

Building the Foundation – SCP Level Design in Leadwerks

Witsy: Desktop AI Interface (Local/Cloud, MPC, In-App Prompting, API)

Children Books Hub

What Is a Manifold?

Royal Navy installs quantum clock in robotic submarine

Dependent Types and How to Get Rid of Them

Fast Forward: macOS window switcher built with Rust and GPUI

New California law requires AI to tell you it's AI

dcaf: An implementation of the ACE-OAuth framework

Movement to Prohibit AGI

Show HN: Distil expenses – personal finance agent

Chaldean lessons from this cool channel [video]

Go simulation testing for distributed systems

Show HN: Neutral News AI – Multi-source, MNLI-checked news summaries

Study: The link between narcissism and social media trolling

Catalog of reliability properties for blockchains (Antithesis)

Capitol Hill is abuzz with talk of the "Athena" plan for NASA

The Hidden Tax Penalty Killing Bootstrapped Startups

BBC 'doctored' Trump speech, internal report reveals

Not wanting to upgrade, but still needing to

Show HN: The platform making SEO cheaper, simpler, and more effective

Powerful data visuzlization for Substack posts

Madagascar's power grab shows coup problem isn't restricted to the Sahel

The Constrained Application Protocol (CoAP)

Restack – AI agent platform separating product iteration from infrastructure

OpenAI signs AI compute deal with Amazon

In Mexico, Killer Whales Take Down Great White Sharks

Sanely-automatic derivation – fixing type classes derivation UX in Scala

What are the cosmic voids made of? – Universe Today

Launchie 1.1.6 released (Launchpad for macOS)

What does the ideal information environment look like?

Building the Foundation – SCP Level Design in Leadwerks

Witsy: Desktop AI Interface (Local/Cloud, MPC, In-App Prompting, API)

Children Books Hub

What Is a Manifold?