🔧 Nickel

Configuration Language, Type System, Gradual Typing, Contract Programming

Programming for Computations: Matlab/Octave
link.springer.com·3h·
Discuss: Hacker News
🧮Linear Algebra
Flag this post
What's new in Swift: October 2025 Edition
swift.org·2d·
Discuss: Hacker News
🦉Swift Interpreters
Flag this post
Rebuilding the Cathedral — From Confusion to Clarity with Rust, Godot, and Open Tools
bekalah.github.io·12h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Bold Devlog - October Summary
bold-edit.com·1d·
Discuss: r/programming
📚Forth Compilers
Flag this post
A toy model of corrigibility
lesswrong.com·14h
🚂Error Propagation
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·16h·
Discuss: Hacker News
🧸Toy Compilers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·3d
📚Stack Allocation
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·2h·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
How I Built “Batch Toolkit” — A One-Stop Web Utility Site for Developers & Creators
dev.to·10h·
Discuss: DEV
⚡Live Coding
Flag this post
I built Solveig, it turns any LLM into an assistant in your terminal. Think Claude Code with trust issues
reddit.com·1d·
Discuss: r/opensource
📚Self-Documenting Code
Flag this post
Chain of Pattern: Rethink
dev.to·12h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Looking for feedback on my small terminal-based text editor built with Node.js and TypeScript
reddit.com·16h·
Discuss: r/node
📚Self-Documenting Code
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
🦀MIR Optimization
Flag this post
What Are Tables in Lua in 2025?
dev.to·10h·
Discuss: DEV
🌙Lua
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·3h·
Discuss: DEV
🚂Error Propagation
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·1d·
Discuss: DEV
🤖Embedded Go
Flag this post
r/golang
reddit.com·13h·
Discuss: r/golang
🐹Go Runtime
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
🌉Cross-Platform FFI
Flag this post
I Built 8 Projects While Teaching Myself to Code From a BSF Campus in Rural India
dev.to·56m·
Discuss: DEV
📚Self-Documenting Code
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·2d·
Discuss: r/golang
🔧API Design
Flag this post