"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·14h·
Discuss: Hacker News
🟪Programming
WeirdML Benchmark v2
htihle.github.io·5h·
Discuss: Hacker News
🟪Programming
OCaml Blockly
cambridge.org·7h·
Discuss: Hacker News
🟪Programming
Show HN: GemGuard: Ruby gem to scan and auto-fix vulnerable dependencies
github.com·9h·
Discuss: Hacker News
🛡️Security
Parallelizing Linux Writeback
blog.linuxnews.dev·20h·
Discuss: Hacker News
🟪Programming
ISPC: Implicit SPMD Program Compiler
github.com·7h·
Discuss: Hacker News
🟪Programming
My blog on zero-knowledge cryptography
kaw101010.github.io·4d·
Discuss: Hacker News
🛡️Security
Guide to Implementing a GraphRAG Workflow with FalkorDB, LangChain and LangGraph
falkordb.com·16h·
Discuss: Hacker News
🟪Programming
Rendering 120k+ Entities
mobcitygame.com·12h·
Discuss: Hacker News
🟪Programming
Self-attention mechanism explained
jtlicardo.com·18h·
Discuss: Hacker News
🟪Programming
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com·19h·
Discuss: Hacker News
🛡️Security
Why Is Stream Processing Hard?
blog.epsiolabs.com·21h·
Discuss: Hacker News, Hacker News
🟪Programming
A Progressive Complexity Manifesto (Astro and Htmx)
lorenstew.art·18h·
Discuss: Hacker News
🟪Programming
Benchmarks Show Speculative Decoding Needs the Right Draft Model for 3× Gains
bentoml.com·2d·
Discuss: Hacker News
🟪Programming
BUILD: Solving the Software Complexity Puzzle
computing.llnl.gov·22h·
Discuss: Hacker News
🟪Programming
Tell HN: C and C++ are absolute beasts when it comes to performance efficient
news.ycombinator.com·3d·
Discuss: Hacker News
🟪Programming
Lessons from Using FHE to Build a Secure Consumer App
vishakh.blog·3d·
Discuss: Hacker News
🛡️Security
Running a Reliable Service on LLMs
fin.ai·1d·
Discuss: Hacker News
🛡️Security
Exploring AI Memory Architectures (Part 2): MemOS Framework
blog.lqhl.me·1d·
Discuss: Hacker News
🟪Programming
A Deeper Dive into Apache Iceberg V3
opensource.googleblog.com·2d·
Discuss: Hacker News
🛡️Security