Join the UK Bebras Challenge 2025
raspberrypi.org·5h
🧩Constraint Solvers
‘Round the Square: ‘Mirror, mirror, on the wall,’ right? - The Bradford Era
bradfordera.com·13h
🔗Concatenative Theory
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org·16h
♾️Codata Types
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1d·
Discuss: Hacker News
🌱Minimal Lisps
PSA: `views::single` doesn’t really view
quuxplusone.github.io·20h
🔗Lexical Scoping
Quantum-Assisted Recursive Algorithm for Solving the Exact Cover Problem
arxiv.org·16h
Partial Evaluation
Portable computer with hologram- By JayJoeberg
hackster.io·6h
🤖Embedded Go
I tested AI tools on data analysis — here’s how they did (and what to look out for)
onlinejournalismblog.com·7h
🌱Minimal ML
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
💫Effect Systems
Application of Machine Learning for Correcting Defect-induced Neuromorphic Circuit Inference Errors
arxiv.org·16h
🗺️Region Inference
Basic Guide to Einsum
ajcr.net·2d·
Discuss: Hacker News
🔄Loop Optimization
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·3d
🧮Combinator Calculus
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·1d
💬Smalltalk VMs
Optimizing the Ever-Growing Balance in the War Robots Project
dev.to·10h·
Discuss: DEV
⏱️Real-Time GC
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·1d·
Discuss: DEV
🗺️Region Inference
Undervolting Attack That Exploits The Vulnerability Of Chips During Brownout Conditions (Worcester Polytechnic, RUB)
semiengineering.com·1d
🔢Bit Manipulation
Decoupling Search and Learning in Neural Net Training
arxiv.org·16h
🪜Recursive Descent
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·17h·
Discuss: DEV
🪢Rope Data Structures
Understanding Floating-Point Numbers
dennisforbes.ca·4d·
Discuss: Hacker News
🎯Bit Vectors