fp.

Hegel's Logic in Cubical Agda

https://ddebruce.github.io/hegel-agda/index.html

1•hackandthink•1m ago•0 comments

UAE revises 5GW AI data center plan after Iranian attacks, sources say

https://www.reuters.com/world/middle-east/uae-revises-ai-data-center-plan-after-iranian-attacks-s...

1•giuliomagnifico•3m ago•0 comments

U.S. Imperialism Resurgent

https://monthlyreview.org/articles/us-imperialism-resurgent/

1•neom•7m ago•0 comments

40C3 – Call for Participation

https://content.events.ccc.de/cfp/40c3/index.en.html

1•cgeier•8m ago•0 comments

What 1k% Open Rates Taught Us About Detecting Hijacked Email Accounts

https://www.sh.consulting/blog/what-a-1000-percent-open-rate-reveals-about-hijacked-email-accounts

2•toruviel•8m ago•0 comments

Declared Purpose Is Not Authorization

https://zenodo.org/records/22719527

1•sangamdas•10m ago•0 comments

Show HN: Stend – share whatever your agent came up with

https://stend.sh

1•chalyi•10m ago•0 comments

Why I Don’t Publish Technical Articles Anymore

https://galratner.substack.com/p/why-i-dont-publish-technical-articles

2•cats_and_dogs•22m ago•1 comments

Isaac Asimov's "Profession"

https://en.wikipedia.org/wiki/Profession_(novella)

1•ColinWright•23m ago•1 comments

Show HN: Sharpniq – AI-powered tool to unblur images online

https://unblurimage.me

1•toolina•25m ago•0 comments

Interview: Terence Tao on AI

https://teorth.github.io/tao-web/ai-views-interview.html

1•JuniperMesos•29m ago•0 comments

Improper Limitation of a Pathname to a Restricted Directory in GitLab 10/10

https://www.cve.org/CVERecord?id=CVE-2026-85706

2•ultral•37m ago•0 comments

Native macOS menu-bar system-metrics overlay

https://github.com/alhanashi/Desktop-Overlay

1•alhanashi•37m ago•1 comments

Timeouts and Cancellation for Humans (2018]

https://vorpus.org/blog/timeouts-and-cancellation-for-humans/

1•Bluestein•39m ago•0 comments

Retrospectively Reverse-Engineering Apple's Neural Engine

https://eiln.github.io/posts/ane.html

24•zdw•44m ago•2 comments

What happens when quantum mechanics and relativity meet?

https://arstechnica.com/science/2026/09/what-happens-when-quantum-mechanics-and-relativity-meet/

2•gumby•48m ago•0 comments

Anthropic researcher resigning citing superintelligence ' – is a marketing hoax [video]

https://www.youtube.com/shorts/skV0hDd-chM

2•adaba1234•49m ago•0 comments

Open API for Bosch and Buderus Heat Pumps

https://github.com/bosch-home-comfort/api-docs

3•n03dic0de3•51m ago•0 comments

Photic Sneeze Reflex

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

2•vismit2000•53m ago•0 comments

Can A.I. "Go Rogue"?

https://www.newyorker.com/culture/open-questions/can-ai-go-rogue

2•Anon84•56m ago•0 comments

Ask HN: Does each frontier model have its own unique taste?

2•dave8172•1h ago•0 comments

Show HN: RagLeap v0.4.0 – 46 AI roles, 8 connectors, 9 vector DBs

https://github.com/antonyrag/ragleap-core

1•antonyragleap•1h ago•0 comments

I built an App to give alerts when your dependencies(Postgres) reach End of Life

2•sharadregoti15•1h ago•1 comments

Jot – AI Rewriter

https://chromewebstore.google.com/detail/jot-ai-writing-rewriting/ocbfgpiibmgkkjbpbpnhejalpakdonjh

2•gnsh•1h ago•1 comments

Gave Omarchy a Try

https://twitter.com/z3ratul163071/status/2098673641890234800

2•z3ratul163071•1h ago•1 comments

Show HN: Spiteware.ai – A catalog of apps built out of spite at unfair pricing

https://spiteware.ai/

2•tenthead•1h ago•0 comments

Silence on Tlenet

https://scyy.fi/tlen

1•c1ccccc1•1h ago•0 comments

Ask HN: What is the most overlooked risk in the AI security domain?

1•ToriTech•1h ago•0 comments

How I turned my Linux terminal sessions into daily speedrun challenges

https://www.howtogeek.com/how-i-turned-my-linux-terminal-sessions-into-daily-speedrun-challenges/

1•theanonymousone•1h ago•0 comments

Digital rights groups renew push to simplify cookie banners

https://www.euractiv.com/news/digital-rights-groups-renew-push-to-simplify-cookie-banners/

2•mnewme•1h ago•0 comments