Cure - Verification-First Programming for the BEAM
cure-lang.orgยท1dยท
Discuss: Lobsters
๐Ÿ“กErlang BEAM
Flag this post
IntelliJ Platform 2025.3: What Plugin Developers Should Know
blog.jetbrains.comยท1d
๐Ÿ“ฆPackage Managers
Flag this post
Building Software That Survives โ€ข Michael Nygard & Charles Humble โ€ข GOTO 2025
youtube.comยท1d
๐ŸŽฎLanguage Ergonomics
Flag this post
are-dependent-types-actually-erased
chadnauseam.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Dependent Types
Flag this post
Improving Emacs' iCalendar Support
recursewithless.netยท1dยท
Discuss: Hacker News
โšกIncremental Parsing
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.comยท1d
๐ŸชคTrap Handlers
Flag this post
Growing Threat of npm Supply Chain Attacks and the Runtime Fix That Stops It
riptides.ioยท20hยท
Discuss: r/node
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
source control
blog.birbpara.deยท1d
๐ŸŒฑForth Kernels
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท5dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.toยท2dยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Flag this post
How We Integrate Legacy Systems With Modern Stacks
dev.toยท21hยท
Discuss: DEV
โœ…Configuration Validation
Flag this post
From user to implementer: My journey understanding coding agents
reddit.comยท8hยท
Discuss: r/programming
๐Ÿ“šSelf-Documenting Code
Flag this post
Why Multimodal AI Broke the Data Pipeline โ€” And How Daft Is Beating Ray and Spark to Fix It
hackernoon.comยท1d
๐Ÿ—บ๏ธRegion Inference
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.toยท7hยท
Discuss: DEV
๐Ÿ›ก๏ธError Ergonomics
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.orgยท8h
โœจGleam
Flag this post
How Verdent Deck Supercharged My Workflow - Building Apps with Multiple AI Agents in Parallel
dev.toยท1hยท
Discuss: DEV
โœจGleam
Flag this post
Show HN: Extrai โ€“ An open-source tool to fight LLM randomness in data extraction
github.comยท17hยท
Discuss: Hacker News
๐Ÿ“‹Tablegen
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.orgยท8h
๐Ÿ›ก๏ธParser Security
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.comยท18hยท
Discuss: Hacker News
๐Ÿ“‹Souffle Datalog
Flag this post
Observability Made Easy: How AI & OpenTelemetry Tame Tool Sprawl
dev.toยท8hยท
Discuss: DEV
๐Ÿš‚Cranelift IR
Flag this post