Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·17h
🔗Unification Algorithms
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·11h
🧮Combinator Calculus
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
🎭Program Synthesis
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🌲Deforestation
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1h·
Discuss: DEV
🧠Memory Ordering
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·1d
🕸️Tarjan Algorithms
Multi-Core By Default
rfleury.com·20h·
Discuss: Lobsters, Hacker News
🔀SIMD Programming
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
PCBs and parts are on hand - beginning construction of new 1130MRAM board
rescue1130.blogspot.com·23h·
Discuss: rescue1130.blogspot.com
📦Compact Data
Dimension reduction for efficient Bayesian inference of high-dimensional quantity of interest problems with parametric and nonparametric uncertainties
sciencedirect.com·3h
🗺️Region Inference
Best Hyprland distro/setup for my mother?
reddit.com·3h·
Discuss: r/linux
🏗️Build Systems
From CAP to GAP?
fsharpforfunandprofit.com·14h·
Discuss: DEV
🧪Testing Compilers
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
📋Datalog
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·12h·
Discuss: Substack
🪢Rope Data Structures
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
📝Text Algorithms
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
📋Backus-Naur Form
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·5h·
Discuss: r/cpp
🧮Combinator Calculus
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·1h·
Discuss: Hacker News, r/hardware
🤖Embedded Go
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·7h·
Discuss: Hacker News
📡Erlang BEAM