🔧 Nickel

Configuration Language, Type System, Gradual Typing, Contract Programming

Feeds to Scour
SubscribedAll
Scoured 77931 posts in 1.88 s
Using Haskell in Production
agentultra.com·1d
🔧haskell
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·14h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Universal Commerce Protocol (UCP) in Java: A Practical Travel Booking Implementation with Agent Integration
dev.to·6h·
Discuss: DEV
⚡Interpreter Optimization
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·12h·
Discuss: Hacker News
⚙️TOML Parsers
Preview
Report Post
Template Method Design Pattern
denvaar.dev·1d
🔧API Design
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·18h
🛡️Taint Analysis
Preview
Report Post
CPU-less parallel execution of lambda calculus in digital logic
arxiv.org·1d
📏Linear Scanning
Preview
Report Post
OpenCode vs Claude Code
builder.io·11h
⚡Live Coding
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·1d
🪞Homoiconicity
Preview
Report Post
PlummersSoftwareLLC/Primes: Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness
github.com·1d·
Discuss: Hacker News
🏁Language Benchmarks
Preview
Report Post
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·17h
🔧Scheme Macros
Preview
Report Post
Making a Language
thunderseethe.dev·8h
🔬programming language theory
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
The Secret Life of JavaScript: Modules
dev.to·52m·
Discuss: DEV
📚Self-Documenting Code
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·21h·
Discuss: r/golang
📊Call Graphs
Preview
Report Post
Models of generics and metaprogramming: Golang, Rust, Swift, D, and more
thume.ca·2d·
Discuss: Hacker News
🗂️Type Indexing
Preview
Report Post
ES6 Generators Deliver Go Style Concurrency
swannodette.github.io·1d
⚙️Async State Machines
Preview
Report Post
Elysia.js: Type-Safe APIs Without the Mess
spin.atomicobject.com·1d
🔧API Design
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·14h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·13h·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post

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