The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·2d·
Discuss: Hacker News
🔧Embedded Rust
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
🗣️Language Servers
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·23h·
Discuss: Lobsters, Hacker News
🗣️Language Servers
2000 words about arrays and tables
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Linear Algebra
You Are the Bios Now: Building a Hypervisor in Rust with KVM
yeet.cx·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔒Hardware Security
A Graphical Method for Designing Time-Optimal Non-Cartesian Gradient Waveforms
arxiv.org·3d
🎨Computer Graphics
6 Weeks of Claude Code
blog.puzzmo.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
🗣️Language Servers
Research Areas in Benchmark Design and Evaluation (The Alignment Project by UK AISI)
lesswrong.com·1d
⏱️Real-time Systems
SketchMind: A Multi-Agent Cognitive Framework for Assessing Student-Drawn Scientific Sketches
arxiv.org·1d
🤖AI
trAIce3D: A Prompt-Driven Transformer Based U-Net for Semantic Segmentation of Microglial Cells from Large-Scale 3D Microscopy Images
arxiv.org·2d
🌐WebGPU
RRTO: A High-Performance Transparent Offloading System for Model Inference in Mobile Edge Computing
arxiv.org·3d
🌐WebGPU
Automated HEMT Model Construction from Datasheets via Multi-Modal Intelligence and Prior-Knowledge-Free Optimization
arxiv.org·3d
🔢SIMD Programming
BANG: Dividing 3D Assets via Generative Exploded Dynamics
arxiv.org·3d
🎨Computer Graphics
Toward the Autonomous AI Doctor: Quantitative Benchmarking of an Autonomous Agentic AI Versus Board-Certified Clinicians in a Real World Setting
arxiv.org·1d
🤖AI
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
📦Binary Formats
Tropical solution of discrete best approximation problems
arxiv.org·2d
🧮Linear Algebra
Distance and Collision Probability Estimation from Gaussian Surface Models
arxiv.org·2d
🎮Game Engines
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2d
🧠Memory Allocators
LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
arxiv.org·3d
🏗️LLVM
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·1d
⏱️Real-time Systems