fp.

TLAPS-Bench: Formally Proving Correctness with TLA+ Proof System

https://arxiv.org/abs/2611.02849

1•matt_d•1m ago•0 comments

Linux Kernel Internals

https://kernel-internals.org/

1•mfiguiere•2m ago•0 comments

Harneo – a library for Claude Code skills, installed into any repo

https://github.com/ibrahimkobeissy/harneo

1•koubeissy_i•3m ago•0 comments

Show HN: Sift – only get pinged when something in your homelab matters

https://github.com/louisllw/sift

1•louisllw•3m ago•0 comments

I'm 16 and built a tool for companies. What would make you trust it?

https://dermiozai.com/en

1•amir-dermioz•4m ago•1 comments

Free AI for Everyone

https://cloudy.chat

1•Armsn•6m ago•0 comments

Rowan Atkinson – Mr Bean – Electrical Engineer

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

1•aanet•7m ago•1 comments

AI Replaces Tools,Not Worldviews:Why True Artistic Expression Won't Be Displaced

https://medium.com/@saitoken330/my-personal-views-on-ai-as-an-illustrator-661642e4ddc5

2•7kago_yomi•9m ago•0 comments

Review anything that has a Wikipedia article

https://compend.org/

1•candylights•11m ago•1 comments

FlashProve: Zero-knowledge proofs of AI inference

https://github.com/anthropics/FlashProve

1•Lwrless•16m ago•0 comments

Nvidia is happy to take your money whether you're using open or closed models

https://www.theregister.com/ai-and-ml/2026/11/03/nvidia-is-happy-to-take-your-money-whether-youre...

3•jonbaer•18m ago•0 comments

DeepSeek Flash v4.1 Explained Through Harry Potter

https://statsig.substack.com/p/deepseek-flash-v41-explained-through

1•jonbaer•18m ago•0 comments

How your transcript knows where each word is spoken

https://elevenlabs.io/blog/cue-aligner

1•gmays•19m ago•0 comments

CrowdStrike Introduces the AI Kill Switch for AI Safety

https://www.crowdstrike.com/en-us/press-releases/crowdstrike-introduces-ai-kill-switch-for-ai-saf...

1•jonbaer•20m ago•0 comments

Exposure, Evidence, and Conditional Restraint

https://aegissolisarchive.org/cepsad-final-v1-0/

1•aegissolis•20m ago•0 comments

Show HN: Claudinho – Claude Code's mascot on an ESP32, driven by hooks

https://github.com/argeuthiesen/claudinho

1•thiesen•21m ago•0 comments

AMD Q3 2026 results [pdf]

https://d1io3yog0oux5.cloudfront.net/_1dcf6819c1566fb2bab40c24e6158009/amd/db/841/9247/presentati...

1•marc__1•22m ago•0 comments

Ongoing NPM attack adminide-stack tab-padded eval(atob) with an ETH dead-drop

https://blog.greenflagged.dev/posts/2026-11-03-adminide-stack-eth-dead-drop/

1•Azkar•23m ago•0 comments

New York governor declares state of emergency after spike in measles cases

https://www.theguardian.com/us-news/2026/oct/06/measles-cases-new-york

4•gmays•31m ago•0 comments

Linux deprecated commands that I need to stop using

https://www.redhat.com/en/blog/ss-command

2•sleepytimetea•31m ago•3 comments

DirectX Raytracing (DXR) Clustered Geometry

https://devblogs.microsoft.com/directx/clas-ptlas-preview/

1•bpierre•32m ago•0 comments

Why Japanese architects carve parking into tiny urban homes

https://www.designboom.com/architecture/japanese-carve-parking-tiny-urban-homes-tokyo/

3•bookofjoe•32m ago•2 comments

Nano-GPT – a privacy-minded alternative to OpenRouter with powerful API

https://nano-gpt.com

3•nlognfn•32m ago•0 comments

Show HN: LLVM Vulkan 1.1 – Drop-In LLVM Passes on Vulkan Compute

https://hecer.github.io/llvm-vulkan/

1•hecelectronics•37m ago•0 comments

Canva to lay off 22% of it's staff

https://www.afr.com/technology/canva-announces-first-ever-redundancy-round-22pc-of-staff-impacted...

8•fhub•38m ago•1 comments

Binance security incident initial findings

https://x.com/binance/status/2117626126214504729

1•wr1472•39m ago•0 comments

0-click account takeover in Better Auth

https://www.strix.ai/blog/better-auth-expo-signing-oracle

5•bearsyankees•42m ago•1 comments

OpenAI employees warned about operational security lapses for years, sources say

https://www.reuters.com/business/openai-employees-warned-about-operational-security-lapses-years-...

2•cratermoon•43m ago•0 comments

GitHub plugin to find Claude Code's missing instructions

https://github.com/revefi/agent-analyzer

2•prku99•44m ago•1 comments

14 indicted in $370M nationwide bank account takeover scheme

https://www.justice.gov/usao-ndtx/pr/federal-grand-jury-indicts-fourteen-defendants-370-million-n...

2•wmchen•49m ago•1 comments

TLAPS-Bench: Formally Proving Correctness with TLA+ Proof System

Linux Kernel Internals

Harneo – a library for Claude Code skills, installed into any repo

Show HN: Sift – only get pinged when something in your homelab matters

I'm 16 and built a tool for companies. What would make you trust it?

Free AI for Everyone

Rowan Atkinson – Mr Bean – Electrical Engineer

AI Replaces Tools,Not Worldviews:Why True Artistic Expression Won't Be Displaced

Review anything that has a Wikipedia article

FlashProve: Zero-knowledge proofs of AI inference

Nvidia is happy to take your money whether you're using open or closed models

DeepSeek Flash v4.1 Explained Through Harry Potter

How your transcript knows where each word is spoken

CrowdStrike Introduces the AI Kill Switch for AI Safety

Exposure, Evidence, and Conditional Restraint

Show HN: Claudinho – Claude Code's mascot on an ESP32, driven by hooks

AMD Q3 2026 results [pdf]

Ongoing NPM attack adminide-stack tab-padded eval(atob) with an ETH dead-drop

New York governor declares state of emergency after spike in measles cases

Linux deprecated commands that I need to stop using

DirectX Raytracing (DXR) Clustered Geometry

Why Japanese architects carve parking into tiny urban homes

Nano-GPT – a privacy-minded alternative to OpenRouter with powerful API

Show HN: LLVM Vulkan 1.1 – Drop-In LLVM Passes on Vulkan Compute

Canva to lay off 22% of it's staff

Binance security incident initial findings

0-click account takeover in Better Auth

OpenAI employees warned about operational security lapses for years, sources say

GitHub plugin to find Claude Code's missing instructions

14 indicted in $370M nationwide bank account takeover scheme

Apple opens Siri AI to every app, and lets developers teach it skills

TLAPS-Bench: Formally Proving Correctness with TLA+ Proof System

Linux Kernel Internals

Harneo – a library for Claude Code skills, installed into any repo

Show HN: Sift – only get pinged when something in your homelab matters

I'm 16 and built a tool for companies. What would make you trust it?

Free AI for Everyone

Rowan Atkinson – Mr Bean – Electrical Engineer

AI Replaces Tools,Not Worldviews:Why True Artistic Expression Won't Be Displaced

Review anything that has a Wikipedia article

FlashProve: Zero-knowledge proofs of AI inference

Nvidia is happy to take your money whether you're using open or closed models

DeepSeek Flash v4.1 Explained Through Harry Potter

How your transcript knows where each word is spoken

CrowdStrike Introduces the AI Kill Switch for AI Safety

Exposure, Evidence, and Conditional Restraint

Show HN: Claudinho – Claude Code's mascot on an ESP32, driven by hooks

AMD Q3 2026 results [pdf]

Ongoing NPM attack adminide-stack tab-padded eval(atob) with an ETH dead-drop

New York governor declares state of emergency after spike in measles cases

Linux deprecated commands that I need to stop using

DirectX Raytracing (DXR) Clustered Geometry

Why Japanese architects carve parking into tiny urban homes

Nano-GPT – a privacy-minded alternative to OpenRouter with powerful API

Show HN: LLVM Vulkan 1.1 – Drop-In LLVM Passes on Vulkan Compute

Canva to lay off 22% of it's staff

Binance security incident initial findings

0-click account takeover in Better Auth

OpenAI employees warned about operational security lapses for years, sources say

GitHub plugin to find Claude Code's missing instructions

14 indicted in $370M nationwide bank account takeover scheme