A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharp
hornetnode.org·15h
📡Binary Protocols
Detection Engineering: Practicing Detection-as-Code – Deployment – Part 6
blog.nviso.eu·4h
⚙️Configuration Languages
Identity Types
bartoszmilewski.com·23h·
Discuss: Hacker News
🎯Type Theory
Graph Harmony: Harmonizing Global and Local Views for Superior Clustering
dev.to·1d·
Discuss: DEV
📈Earley Parsing
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·8h
🚂Error Propagation
🎲 The Seven Deadly Fediverse UX Sins Part 2: The Road To Redemption
timothychambers.net·16h
🔄Bootstrapping
A Scalable Multi-Robot Framework for Decentralized and Asynchronous Perception-Action-Communication Loops
arxiv.org·8h
🌊Loop Invariant Motion
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·8h
🔪Program Slicing
Expressive Power of Graph Neural Networks for (Mixed-Integer) Quadratic Programs
arxiv.org·8h
🧩Constraint Solvers
Randomized matrix computations: Themes and variations
arxiv.org·8h
🧮Linear Algebra
BeNNS: A Surrogate Model for Hybrid Online-Offline Evolution of SFC Embedding
arxiv.org·8h
📡Protocol Buffers
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·8h
🧮Theorem Provers
Adaptive Parametric Facade Optimization via Generative Design & Multi-Objective Simulation
dev.to·5h·
Discuss: DEV
🎭Program Synthesis
Master Python Lists: A Comprehensive Guide for Beginners & Beyond
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
Prompt Strategies for Terraform Test Generation
masterpoint.io·1d·
Discuss: Hacker News
🎭Program Synthesis
A Knowledge Graph-based Retrieval-Augmented Generation Framework for Algorithm Selection in the Facility Layout Problem
arxiv.org·8h
🎨Graph Coloring
Code distances: a new family of invariants of linear codes
arxiv.org·8h
🐪OCaml GADTs
Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
arxiv.org·8h
⚡Control Synthesis
SignalLLM: A General-Purpose LLM Agent Framework for Automated Signal Processing
arxiv.org·8h
✨Gleam
SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair
arxiv.org·8h
🔥JIT Compilers