🔧 Nickel

Configuration Language, Type System, Gradual Typing, Contract Programming

Feeds to Scour
SubscribedAll
Scoured 83191 posts in 467.6 ms
Build a Compiler in Five Projects
kmicinski.com·10h
🎭Racket Modules
Zinc Language Design
ziggit.dev·11h
⚡Zig
Why I use Typetify: A Type-Safe Alternative to Lodash
dev.to·8h·
Discuss: DEV
🌈Gradual Languages
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🚂Error Monads
GKcodebase/API_Architecture: API designs in jaca
github.com·1d·
Discuss: DEV
🔧API Design
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
πPi Calculus
Naughty is Nice!
yamlscript.org·15h
🧼Lisp Hygiene
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🎯Symbolic Execution
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·4h
🔬Nanopasses
TypeScript: JavaScript With Syntax For Types.
typescriptlang.org·1d
🌈Gradual Languages
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·2h
📊Pratt Parsers
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·19h·
Discuss: Hacker News
🔗Hash Functions
From Turbo Pascal to TypeScript: Anders Hejlsberg on Language Design, Scale, and AI
dev.to·14h·
Discuss: DEV
🌈Gradual Languages
I Write Games in C (yes, C)
jonathanwhiting.com·2h·
Discuss: Hacker News
🧸Toy Compilers
How StrongDM’s AI team build serious software without even looking at the code
simonw.substack.com·3h·
Discuss: Substack
🌳Tree Shaking
The Missing Programming Language - Why There's No S-Tier Language (Yet)
hamy.xyz·3d
🎮Language Ergonomics
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·1d·
Discuss: Hacker News
🪞Homoiconicity
Waterloo Style
theprogrammersparadox.blogspot.com·1d·
Discuss: Hacker News
🔬Nanopasses
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·4h·
Discuss: Hacker News
🔬Nanopasses
stdlib v7.2
erlang.org·1d·
Discuss: Hacker News
🎭Polymorphic Variants

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help