Introducing Check Point Quantum Spark 2500: Smarter Security, Faster Connectivity, and Simpler MSP Management
blog.checkpoint.com·2d
📊Homelab Monitoring
IDA 9.2 Beta is Live!
hex-rays.com·21h
🔌Interface Evolution
[$] How to write Rust in the kernel: part 3
lwn.net·1d
🔩Systems Programming
Nova Lake-AX: Intel is apparently working on a competitor to AMD's Strix Halo
heise.de·23h
⚡Nordic Processors
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·1d
⚡Proof Automation
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·1h·
Discuss: DEV
⚡Incremental Computation
Why We Develop EloqDB Mainly in C++
eloqdata.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·1d
📊Quantization
Functional Abstract Interpretation
simon.peytonjones.org·4d·
Discuss: Hacker News
🔗Functional Compilers
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·1d·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles
usenix.org·1h·
Discuss: Hacker News
📼Cassette Networking
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·1d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
AtCoder Finals Problem Statement
atcoder.jp·2d·
Discuss: Hacker News
🇯🇵Japanese Computing
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·3d·
Discuss: Hacker News
🎯Interactive Provers
Wave or Particle? Physicists Crack a 50-Year-Old Quantum Puzzle
scitechdaily.com·1d
⚛️Quantum Information
Synthetic Conscious Pixels
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
Asynchrony is not Concurrency
kristoff.it·1d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Asymmetric metasurface allows precise control of photon entanglement
phys.org·1d
🌈Holographic Storage
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·5d·
Discuss: Hacker News
🔗Functional Compilers
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org·1d
🌐Computational Topology