Parsing with zippers improves parsing with derivatives
dl.acm.org·28m·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
dev.to·3h·
Discuss: DEV
📐Linear Algebra
Flag this post
Evidence on language model consciousness
lesswrong.com·1d
🔲Cellular Automata
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·2d
🔍CBMC
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧮Z3 Solver
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·11h·
Discuss: Substack
🧩Parser Combinators
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
🧠Automated Reasoning
Flag this post
Adaptive Stemming via Graph-Augmented Recurrent Variational Autoencoders
dev.to·4h·
Discuss: DEV
🧩Parser Combinators
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·3h·
Discuss: Hacker News
📦OPAM
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·3h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Shape-Shifting AI: Making Models That Adapt to Data
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Flag this post
From Data to Rewards: a Bilevel Optimization Perspective on Maximum LikelihoodEstimation
dev.to·22h·
Discuss: DEV
🎮Verification Games
Flag this post
Is 'human' a risky AGI target
nullsy.com·10h·
Discuss: Hacker News
⏱️Computational Complexity
Flag this post
Weak-To-Strong Generalization
lesswrong.com·7h
🔤Kleene Algebra
Flag this post
Emergent introspective awareness in large language models
transformer-circuits.pub·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1d·
Discuss: Hacker News
⚙️Abstract Machines
Flag this post