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
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·20h·
Discuss: Hacker News
🤖AI
Flag this post
Evaluating LLMs' Reasoning Over Ordered Procedural Steps
arxiv.org·11h
🤖AI
Flag this post
Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.com·3h
🔷.NET
Flag this post
Boolean Index Signature in TypeScript
miroslavpetrik.medium.com·5h·
Discuss: Hacker News
🔷.NET
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·15h
🤖AI
Flag this post
Lossless Compression with Asymmetric Numeral Systems (2020)
bjlkeng.io·3h·
Discuss: Hacker News
🤖AI
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·1d
🔷.NET
Flag this post
Show HN: Steadykey – Deterministic Idempotency Keys with Pluggable Stores
npmjs.com·18h·
Discuss: Hacker News
🤖AI
Flag this post
How to create a generic JSON request function, over HTTP, in Go?
cristiancurteanu.com·1d·
Discuss: r/golang
🔷.NET
Flag this post
Carmack on inlined code and functional programming
cbarrete.com·2h·
Discuss: Hacker News
🤖AI
Flag this post
Monads in Haskell
dev.to·23h·
Discuss: DEV
🤖AI
Flag this post
Refactoring Frontend Code Using the Factory Design Pattern — A Scalable Vue 3 Approach
medium.com·3h·
Discuss: r/programming
🔷.NET
Flag this post
Foundations for Hacking on OCaml
kcsrk.info·5h·
Discuss: Hacker News
🔷.NET
Flag this post
Show HN: Charl – ML language with native tensors and autograd
charlbase.org·2h·
Discuss: Hacker News
🤖AI
Flag this post
How Point Cloud to BIM Helps Surveyors Reduce Costs and Save Time
scantobim.online·6h·
Discuss: DEV
🤖AI
Flag this post
Toward security-aware portable sequencing
nature.com·5h
⚡HTMX
Flag this post
I just shipped v2.0 of Frontend Master Prep Series — 1,020+ Q&A + 185 coding problems + 600 flashcards
github.com·10h·
Discuss: DEV
⚡HTMX
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.site·1d·
Discuss: Hacker News
🤖AI
Flag this post