Types of Metadata Schemas
🌐Web Standards
Flag this post
Reinventing Assertions
⚖️Inference Rules
Flag this post
A Laser-Cut Tromino Puzzle
divisbyzero.com·6h
🪢Rope Data Structures
Flag this post
Having a bit of a disconnect understanding how to use the Godot Documentation.
📚Self-Documenting Code
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·2d
🔍ML Language
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🔬programming language theory
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
🔤String Algorithms
Flag this post
Revisiting interface segregation in Go
📡Protocol Buffers
Flag this post
How to Build Anomalous (3+1)d Topological Quantum Field Theories
arxiv.org·2d
🔗Category Theory
Flag this post
Stochastic computing
scottlocklin.wordpress.com·1d
🖥️Lisp Machines
Flag this post
Beyond the LLM: The 8 Essential Components for Building Reliable AI Agents and Where Coding Tools Fit In
🎭Program Synthesis
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
🎭Program Synthesis
Flag this post
I built a symbolic reasoning system without language or training data. I’m neurodivergent and not a developer — just hoping someone can tell me if this makes se...
🎯Finite Automata
Flag this post
Loading...Loading more...