Masked Softmax Layers in PyTorch
mcognetta.github.io·9h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·20h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·3d
🧩Theorem Proving
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·20h
🧫Cellular Automata
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.com·8h
🔗Parser Combinators
Flag this post
Toward a Compressed Core of Human Knowledge: The High-Dimensional Vector Network for AI
reddit.com·1d·
Discuss: r/AfterClass
📊Information Theory
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·14h·
Discuss: Substack
🌍Distributed Systems
Flag this post
Modelling beliefs about sets
emiruz.com·5d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🔐Cryptography
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·2h
🧭SMT Solvers
Flag this post
What Are Auto-regressive Models? A Deep Dive and Typical Use Cases
blog.pangeanic.com·12h
🎲Probabilistic Programming
Flag this post
Does AI Need to Be Conscious to Care?
towardsdatascience.com·3h
🧮Programming Language Theory
Flag this post
Day 23: Python Positive Sum Function – Calculate the Sum of Positive Numbers in a List
dev.to·7h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Writing Your First Compiler - Part 2: What Is a Compiler?
en.wikipedia.org·1d·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Don't let these 3 CPU specs trick you into paying more
xda-developers.com·5h
🏗Computer Architecture
Flag this post
A.I. Is Deciding Who You Are
nytimes.com·1d
Algorithmic Game Theory
Flag this post
The "LLMs for coding" debate is missing the point
reddit.com·4h·
Discuss: r/ClaudeAI
🧩Theorem Proving
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·5h·
Discuss: DEV
🧮Programming Language Theory
Flag this post