Term Rewriting Systems, AST Transformation, Optimization Rules, Pattern Matching

Sperm Whales Have Their Own Language. Does That Mean They Have Legal Rights?
cleantechnica.com·4h
⚖️Inference Rules
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·17h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·9h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
reddit.com·15h·
🎲Property Testing
Flag this post
How to approach this tree view component?
reddit.com·4h·
Discuss: r/webdev
🤐Zipper Structures
Flag this post
Beyond the machine ⊗ History as science
sentiers.media·13h
🎭Program Synthesis
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
functional programming
Flag this post
Hierarchy Elevates Social Reasoning
positron.solutions·8h·
Discuss: Hacker News
🤐Zipper Structures
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
λLambda Calculus
Flag this post
Adaptive Stemming via Graph-Augmented Recurrent Variational Autoencoders
dev.to·19h·
Discuss: DEV
Tokenizer Benchmarks
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·4d·
λLambda Calculus
Flag this post
Automated Verification of Terrestrial Ecosystem Resilience via Hyperdimensional Network Analysis
dev.to·15h·
Discuss: DEV
🌲Deforestation
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·5h·
Discuss: DEV
🛡️Security Type Systems
Flag this post
The Building Up of Steam
visitmy.website·8h
🏠indieweb
Flag this post
UniME-V2: MLLM-as-a-Judge for Universal Multimodal Embedding Learning
paperium.net·1h·
Discuss: DEV
🌱Minimal ML
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
I Wondered Why I Procrastinate Even On Things I Am "Passionate" About
lesswrong.com·9h
🏠indieweb
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
🔗Go Generics
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·2h·
Discuss: DEV
Effect Inference
Flag this post