Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท5h
๐Ÿ“Log Parsing
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท11hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท15h
๐Ÿ”—Combinatory Logic
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท15h
๐Ÿ”งRISC-V Assembler
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท20h
ฮปLambda Formalization
Flag this post
Unlock Peak Performance: Refining MCTS with Action-Aware State Grouping
dev.toยท6hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
IPAB Workshop - 6/11/25
informatics.ed.ac.ukยท17h
๐Ÿค–Tape Automation
Flag this post
A functional programming course in 6 books
ericnormand.substack.comยท1dยท
Discuss: Substack
๐ŸงฌFunctional Programming
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Turing Machine Visualization (2016)
turingmachine.ioยท3dยท
Discuss: Hacker News
๐ŸŽž๏ธTape Combinatorics
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท8hยท
๐Ÿ’งLiquid Types
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท52mยท
๐Ÿ”„Sync Engine
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท2hยท
Discuss: Hacker News
ฮปLambda Formalization
Flag this post
Ajla Tutorial
ajla-lang.czยท9hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Issue 496
haskellweekly.newsยท21h
๐Ÿ”—Functional Compilers
Flag this post
Automated Defect Cascade Prediction and Mitigation in Automotive Embedded Systems
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งHardware Verification
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท4hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
Three Stages of Enlightenment
essenceofsoftware.comยท12hยท
Discuss: Hacker News
โ„๏ธNordic Design Philosophy
Flag this post