Viruses of the Mind
💫Effect Systems
Flag this post
No Need for Explanation
⚖️Inference Rules
Flag this post
Issue 496
haskellweekly.news·3d
👑Dependent Haskell
Flag this post
Finally organising my library: Obsidian Bases + NAS, first a book gallery with calibre/readera, later add research papers and zotero
🏠indieweb
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·2d
🎭Erlang OTP
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·1d
📏Linear Memory
Flag this post
Thoroughly impressed by Claude, wondering how I can improve my workflow
🎭Program Synthesis
Flag this post
Chain of Pattern: Rethink
📚Self-Documenting Code
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
🪜Recursive Descent
Flag this post
Unlock Autonomy: Next-Gen LLMs Learn to Decode Themselves by Arvind Sundararajan
🪜Recursive Descent
Flag this post
Advances In Formal Verification Technology
semiengineering.com·3d
🧩SAT Solvers
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
💬Interactive REPLs
Flag this post
The Design Innovations of NopGraphQL: From API Protocol to a General-Purpose Information Operation Engine
📡Protocol Buffers
Flag this post
So I made a Full-stack coding framework at 16 years old called ScrollForge: Causal Graph Programming which unifies state, logic, and style in one causal graph.
🌊Reactive Languages
Flag this post
Loading...Loading more...