fp.

DeepSeek V4 Pro 0813: Intelligence, Performance and Price Analysis

https://artificialanalysis.ai/models/deepseek-v4-pro

1•theanonymousone•1m ago•0 comments

Install Manticore Search with one command

https://medium.com/@s_nikolaev/install-manticore-search-with-one-command-8ab5ba07a06b

1•snikolaev•6m ago•0 comments

Specula: Scaling formal specs for autonomous model checking of system code

http://muratbuffalo.blogspot.com/2026/08/specula-scaling-formal-specifications.html

1•matt_d•9m ago•0 comments

16GB EGPU for AI Inference, $699

https://www.amazon.com/GIGABYTE-Graphics-128-bit-Server-Grade-Thunderbolt/dp/B0GKFHSPN8

1•shrubble•9m ago•1 comments

Show HN: I asked Claude to write DDIA as a live comic

https://systemscomic.com/ddia/read

1•samuelxing•10m ago•0 comments

How the smiley face was born

https://www.history.com/articles/smiley-face-history

1•inatreecrown2•15m ago•0 comments

Edge is dropping older extensions(Manifest V2), affecting popular privacy tools

https://www.malwarebytes.com/blog/news/2026/08/edge-is-dropping-older-extensions-affecting-popula...

2•BearBest•20m ago•0 comments

You're Absolutely Right

https://www.lesswrong.com/posts/u8TdDutDyaSxG76hn/you-re-absolutely-right

1•LinchZhang•32m ago•1 comments

Show HN: Rule-lite – Tiny dependency-free TS engine for JSON conditional rules

https://github.com/tejas821/rule-lite

1•tejas821•33m ago•0 comments

From assistance to execution: How enterprises put AI to work

https://openai.com/index/how-enterprises-put-ai-to-work/

2•vcfgdev•34m ago•0 comments

A unified CLI for native OS keychains – x keyring

https://www.x-cmd.com/blog/260811/

1•Zhengqbbb•37m ago•0 comments

OpenLiving - A data center you can live in [video]

https://www.youtube.com/watch?v=BwkBXNOPa_w

1•inatreecrown2•40m ago•0 comments

Pixel Watch 5 adds a feature Apple Watch desperately needs

https://www.cultofmac.com/news/pixel-watch-5-insulin-resistance-trends

2•ValentineC•49m ago•0 comments

Examples for use of AI and especially LLMs in major mathematical developments

https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-major...

1•vismit2000•49m ago•0 comments

Show HN: Agent Memory Leaderboard – first public results for AI memory systems

https://agentmemoryleaderboard.ai/leaderboard/academic/textual

2•IreneAI•54m ago•0 comments

SLAC: CPU-to-GPU Side-Channel Attacks via System-Level Cache on Apple Silicon

https://arxiv.org/abs/2608.09075

3•sbulaev•56m ago•0 comments

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga

3•emptybits•58m ago•0 comments

Dart 3.13

https://dart.dev/blog/announcing-dart-3-13

2•wstrange•1h ago•0 comments

Show HN: I'm tired replying my social media visitors, I let AI agent handle it

https://www.agle.app/

1•tapriliando•1h ago•0 comments

Notation as a Tool of Thought (1980)

https://www.jsoftware.com/papers/tot.htm

2•colinprince•1h ago•0 comments

Tech adds phone tracking to license plate readers, associating devices with cars

https://theconversation.com/new-tech-adds-phone-tracking-to-license-plate-readers-associating-dev...

7•asdefghyk•1h ago•1 comments

Two weeks later and Adsense is still serving up Scareware

https://bsky.app/profile/redbluething.bsky.social/post/3mswnjfufs22v

2•redbluething•1h ago•0 comments

'Near-autonomous' AI agents attack Taiwan's nuclear safety agency

https://www.theregister.com/security/2026/08/12/near-autonomous-ai-agents-attack-taiwans-nuclear-...

5•Bender•1h ago•0 comments

Tailscale says deeply buried 16-year-old SQLite bug caused last year's outages

https://www.theregister.com/databases/2026/08/12/tailscale-says-deeply-buried-16-year-old-sqlite-...

4•Bender•1h ago•0 comments

Terabytes of credentials leaked in supply-chain attack

https://arstechnica.com/security/2026/08/terabytes-of-credentials-leaked-in-massive-supply-chain-...

3•Bender•1h ago•0 comments

When Will AI Take My Job?

https://www.whenwillaitakemyjob.ai/

10•yetanothermonk•1h ago•5 comments

Why your Amazon order confirmation emails have become so unhelpfu

https://www.theverge.com/ai-artificial-intelligence/977733/amazon-order-emails-google-gmail-ai-ag...

DeepSeek V4 Pro 0813: Intelligence, Performance and Price Analysis

Install Manticore Search with one command

Specula: Scaling formal specs for autonomous model checking of system code

16GB EGPU for AI Inference, $699

Show HN: I asked Claude to write DDIA as a live comic

How the smiley face was born

Edge is dropping older extensions(Manifest V2), affecting popular privacy tools

You're Absolutely Right

Show HN: Rule-lite – Tiny dependency-free TS engine for JSON conditional rules

From assistance to execution: How enterprises put AI to work

A unified CLI for native OS keychains – x keyring

OpenLiving - A data center you can live in [video]

Pixel Watch 5 adds a feature Apple Watch desperately needs

Examples for use of AI and especially LLMs in major mathematical developments

Show HN: Agent Memory Leaderboard – first public results for AI memory systems

SLAC: CPU-to-GPU Side-Channel Attacks via System-Level Cache on Apple Silicon

Clamiga: Common Lisp for the Amiga

Dart 3.13

Show HN: I'm tired replying my social media visitors, I let AI agent handle it

Notation as a Tool of Thought (1980)

Tech adds phone tracking to license plate readers, associating devices with cars

Two weeks later and Adsense is still serving up Scareware

'Near-autonomous' AI agents attack Taiwan's nuclear safety agency

Tailscale says deeply buried 16-year-old SQLite bug caused last year's outages

Terabytes of credentials leaked in supply-chain attack

When Will AI Take My Job?

Why your Amazon order confirmation emails have become so unhelpfu

Show HN: ZKE – A macOS-style multi-cluster Kubernetes console over QUIC

The next AI interface may not be a chatbot

Doable: Self-hosted AI app builder for teams

Pixel Watch 5 adds a feature Apple Watch desperately needs

DeepSeek V4 Pro 0813: Intelligence, Performance and Price Analysis

Install Manticore Search with one command

Specula: Scaling formal specs for autonomous model checking of system code

16GB EGPU for AI Inference, $699

Show HN: I asked Claude to write DDIA as a live comic

How the smiley face was born

Edge is dropping older extensions(Manifest V2), affecting popular privacy tools

You're Absolutely Right

Show HN: Rule-lite – Tiny dependency-free TS engine for JSON conditional rules

From assistance to execution: How enterprises put AI to work

A unified CLI for native OS keychains – x keyring

OpenLiving - A data center you can live in [video]

Pixel Watch 5 adds a feature Apple Watch desperately needs

Examples for use of AI and especially LLMs in major mathematical developments

Show HN: Agent Memory Leaderboard – first public results for AI memory systems

SLAC: CPU-to-GPU Side-Channel Attacks via System-Level Cache on Apple Silicon

Clamiga: Common Lisp for the Amiga

Dart 3.13

Show HN: I'm tired replying my social media visitors, I let AI agent handle it

Notation as a Tool of Thought (1980)

Tech adds phone tracking to license plate readers, associating devices with cars

Two weeks later and Adsense is still serving up Scareware

'Near-autonomous' AI agents attack Taiwan's nuclear safety agency

Tailscale says deeply buried 16-year-old SQLite bug caused last year's outages

Terabytes of credentials leaked in supply-chain attack

When Will AI Take My Job?

Why your Amazon order confirmation emails have become so unhelpfu

Show HN: ZKE – A macOS-style multi-cluster Kubernetes console over QUIC

The next AI interface may not be a chatbot

Doable: Self-hosted AI app builder for teams