Cure - Verification-First Programming for the BEAM
cure-lang.org·20h·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Dissecting my MiniBanners program – part 1
subethasoftware.com·12h
🏷️Symbol Mangling
Flag this post
New comment by hitekker in "Futurelock: A subtle risk in async Rust"
rfd.shared.oxide.computer·3d·
Discuss: Hacker News
⚙️Async State Machines
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.to·17h·
Discuss: DEV
🪆Embedded DSLs
Flag this post
C++ needs a proper 'uninitialozed' value state
reddit.com·1d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Discussion: How do you manage your programming notes?
reddit.com·20h·
Discuss: r/ObsidianMD
📚Self-Documenting Code
Flag this post
Do I want Coders to Code?
yeikoff.xyz·8h·
Discuss: Hacker News
🌳Tree Shaking
Flag this post
Rust 1.91.0 released
lwn.net·4d
⚙️TOML Parsers
Flag this post
Understanding Delegates in C#: The Complete Beginner’s Guide
dev.to·22h·
Discuss: DEV
📦Closure Conversion
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·2h
✅Type Checking
Flag this post
Debian’s APT Package Manager to Integrate Rust Code by May 2026
linuxiac.com·2d·
Discuss: r/linux
🪆Embedded DSLs
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·2h
🪜Recursive Descent
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·2h
🎭Program Synthesis
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·3d·
Discuss: Hacker News
🪆Embedded DSLs
Flag this post
Introducing Spira - Making a Shell #0
github.com·11h·
Discuss: DEV
🌱Forth Kernels
Flag this post
I didn't learn a low level language in school, where should I start now?
reddit.com·1d·
Discuss: r/AskProgramming
🌈Gradual Languages
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·2h
⚡Partial Evaluation
Flag this post
learn-data-structures-js
github.com·19h·
Discuss: DEV
🪢Rope Data Structures
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·2h
🏭Functional Compilers
Flag this post
My little string library
github.com·1d·
Discuss: r/Zig
🏷️Symbol Mangling
Flag this post