A Monad Guide for Beginners
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·20h·
Discuss: Hacker News
🤖AI
Flag this post
Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.com·3h
💻Software development
Flag this post
Show HN: Charl – ML language with native tensors and autograd
charlbase.org·2h·
Discuss: Hacker News
🤖AI
Flag this post
Boolean Index Signature in TypeScript
miroslavpetrik.medium.com·5h·
Discuss: Hacker News
💎Ruby
Flag this post
Simplex-FEM Networks (SiFEN): Learning A Triangulated Function Approximator
arxiv.org·11h
🤖AI
Flag this post
Rust-SFSM 1.0.0
reddit.com·1d·
Discuss: r/rust
🤖AI
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·15h
🤖AI
Flag this post
Show HN: Steadykey – Deterministic Idempotency Keys with Pluggable Stores
npmjs.com·18h·
Discuss: Hacker News
💻Software development
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·20h·
Discuss: Hacker News
🤖AI
Flag this post
Mastering Python Strings: A Deep Dive for Senior Developers
dev.to·2h·
Discuss: DEV
💎Ruby
Flag this post
How to create a generic JSON request function, over HTTP, in Go?
cristiancurteanu.com·1d·
Discuss: r/golang
💻Software development
Flag this post
Lossless Compression with Asymmetric Numeral Systems (2020)
bjlkeng.io·3h·
Discuss: Hacker News
💎Ruby
Flag this post
Show HN: Computational Metaphysics: Zeroth Implementation of Grover's and Shor's
polymetron.substack.com·2d·
Discuss: Substack
🤖AI
Flag this post
Carmack on inlined code and functional programming
cbarrete.com·2h·
Discuss: Hacker News
💻Software development
Flag this post
Deep Learning for Molecules and Materials
dmol.pub·6h·
Discuss: Hacker News
🤖AI
Flag this post
A Turing complete language in TypeScript types
github.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Rust vs. Python: Finding the right balance between speed and simplicity
blog.jetbrains.com·4h
💻Software development
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·20h·
Discuss: Substack
💻Software development
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·23h
💎Ruby
Flag this post