The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·21h·
Discuss: Hacker News
📝Text Editors
Flag this post
Think for Yourself
kevlinhenney.medium.com·11h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Maps of Meaningness
meaningness.substack.com·17h·
Discuss: Substack
🔄Category Theory
Flag this post
There is no truthy or falsy in Rust
joschuba.com·10h
🦀Rust
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·2d
🔍Static Analysis
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·35m·
Discuss: r/programming
🧩Theorem Proving
Flag this post
News for October 2025
ptreview.sublinear.info·1d
📈Complexity Theory
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
dev.to·18h·
Discuss: DEV
🦀Rust
Flag this post
Code Smell 313 - Workslop Code
dev.to·20h·
Discuss: DEV
🧫Cellular Automata
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·2h
Functional Programming
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·2d·
Discuss: DEV
Functional Programming
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔍Static Analysis
Flag this post
I am torn about using Lo
reddit.com·16h·
Discuss: r/golang
📝Lisp
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🧩Theorem Proving
Flag this post