Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·16h
📡Binary Protocols
TINY TITAN - Jamaica Observer
jamaicaobserver.com·1d
🐍lisp
ISO C++ committee has a new chief sheep herder
shape-of-code.com·2d
🔬Nanopasses
Supply chain attacks are the new big thing (2022)
cryptologie.net·10h·
Discuss: Hacker News
📦Dependency Analysis
Linkage
11011110.github.io·1d
🧮Combinator Calculus
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧮Theorem Provers
InPhyRe Discovers: Large Multimodal Models Struggle in Inductive Physical Reasoning
arxiv.org·2h
🌱Minimal ML
I’m 13, should I learn C++ or C#?
reddit.com·1d·
Discuss: r/AskProgramming
📚Stack Languages
If you learn the concept of one low-level language, have you learn techniques of m andanother low-level language?
dev.to·2d·
Discuss: DEV
🛠programming language development
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.org·2h
📋S-Expression
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams
arxiv.org·2h
🎓Educational Databases
From Zero to Rustacean: I’m About to Ruin My Life (in a Good Way) 😅
reddit.com·3d·
Discuss: r/rust
⚙️TOML Parsers
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·2d
🎮Language Ergonomics
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·1d
🪜Recursive Descent
Show HN: Semlib – Semantic Data Processing
github.com·1d·
Discuss: Hacker News
🔍ML Language
What happens when you run a program?
dev.to·1d·
Discuss: DEV
📜Bytecode Interpreters
15 System Design Concepts You Should Know (Without Losing Your Sanity)
dev.to·25m·
Discuss: DEV
📊Profiling
FragmentGPT: A Unified GPT Model for Fragment Growing, Linking, and Merging in Molecular Design
arxiv.org·1d
🔗Graph Rewriting
Which AI coding assistant is best for building complex software projects from scratch, especially for non-full-time coders?
reddit.com·13h·
Discuss: r/devops
🔍Comby