Stochastic computing
scottlocklin.wordpress.com·9h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·8h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·22h
💻Programming languages
Flag this post
What are you doing this weekend?
lobste.rs·8h·
Discuss: Lobsters
📊Static Analysis
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🧬Functional Programming
Flag this post
Magisterium
isaacbowen.com·8h·
Discuss: Hacker News
✨Algebraic Effects
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·12h·
Discuss: Hacker News
🔗Monadic Parsing
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·20h
✅Format Verification
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Resource-Efficient and Robust Inference of Deep and Bayesian Neural Networks on Embedded and Analog Computing Platforms
arxiv.org·1d
📊Quantization
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·22h
💻Programming languages
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·19h·
Discuss: Hacker News
λLambda Formalization
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
My ML Learning Journey: From Confusion to Building a Working Model
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Flag this post