On systematic construction of correct logic programs
arxiv.org·3h
🔍Query Compilers
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
☁️Serverless Rust
Song recommendations with F# free monads
blog.ploeh.dk·23h
☁️Serverless Rust
Hardware Technologies And Algorithms for Vector Symbolic Architectures (Purdue Univ., Georgia Tech)
semiengineering.com·9h
🧠Neuromorphic Chips
Stable, Mutable References for Ante
antelang.org·17h·
Discuss: Hacker News, r/programming
🔌Embedded Rust
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
🛡️Byzantine Consensus
Structural vs. Mathematical “Under” (2023)
dyalog.com·6h·
Discuss: Lobsters, Hacker News
📐Data Modeling
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
☁️Serverless Rust
Anonymous structavaganza in zig
lirk.top·13h·
Discuss: Hacker News, r/Zig, r/programming
🔍Static Analysis
The Lobster Programming Language
strlen.com·11h·
Discuss: Hacker News
☁️Serverless Rust
Nullable vs. Nullable in C#
einarwh.no·12h·
Discuss: Lobsters, Hacker News, r/programming
🔌SQLite Extensions
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·3h
🎯Vector Databases
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·14h·
Discuss: DEV
🦕Deno
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·16h·
Discuss: Hacker News
🔍Chip Verification
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Hacker News
🔍Static Analysis
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·3h·
Discuss: Hacker News
👨‍💻Self-Hosting
Notes on Autograd
aschrein.github.io·12h·
Discuss: Hacker News
🏗️AI Infrastructure
[P] aligning non-linear features with your data distribution
reddit.com·20h·
Discuss: r/MachineLearning
🎯Vector Databases
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
☁️Serverless Rust
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·17h·
Discuss: Hacker News
🔌Embedded Rust