Proof-theoretic Semantics for First-order Logic
arxiv.org·1d
🐫OCaml
Understanding Derivatives: The Slope of Change
dev.to·12h·
Discuss: DEV
📈Optimization
Go seems to accomplish the Zen of Python way better than Python
reddit.com·1d·
Discuss: r/golang
🪶suckless
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·3d·
Discuss: Hacker News
🕸️WASM
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·1d
🔍Parsers
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·1d
🐫OCaml
Python Fundamentals: case
dev.to·2d·
Discuss: DEV
🔍Parsers
C++ Trailing Return Types (2022)
danielsieger.com·2d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🐫OCaml
How to write Rust in the Linux kernel: part 3
lwn.net·16h·
Discuss: Hacker News, r/programming
🦀Rust
Parsing Protobuf Like Never Before
mcyoung.xyz·3d·
Discuss: Lobsters, Hacker News, r/programming
🕸️WASM
I built a self-hosted Telegram AI assistant to keep my Gemini API key private. It's now open-source for everyone.
dev.to·58m·
Discuss: DEV
🐫OCaml
Vibe coding complex changes in Rust
youtube.com·21h
🦀Rust
Day 28/100: List Comprehensions in Python
dev.to·1d·
Discuss: DEV
🔍Parsers
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·2d
🐫OCaml
Gain a Better Understanding of Computer Vision: Dynamic SOLO (SOLOv2) with TensorFlow
towardsdatascience.com·21h
🔍Parsers
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·2d
🪶suckless
A Rust Shaped Hole
mnvr.in·4d·
Discuss: Lobsters, Hacker News
🐫OCaml
Do You Really Know How `or` And `and` Work in Python?
thepythoncodingstack.com·1d
🐫OCaml
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·2h·
Discuss: DEV
🔍Parsers
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·1d
🐫OCaml