Language Design

Feeds to Scour
SubscribedAll
Scoured 44 posts in 8.5 ms

When Types Intersect and Effects Get Handled

 🔤Type Theory  Content type: Academic
arxiv.org·

Show HN: Chirp, My constraint-driven metaprogramming language

 ⚙️Systems Programming  Content type: Code
github.com··Hacker News

Deconstructing Datalog

 🗂️Data Structures
rntz.net··Hacker News

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 🔤Type Theory
lix.polytechnique.fr·

Daniel Temkin – FORTY-­FOUR ESOLANGS, The Art of Esoteric Code

 🔤Type Theory
neural.it·

The Ruby JRuby Was Built to Run

 🔍Type Inference  Content type: Blog
intertwingly.net··Lobsters

Proof System Timelines

 🔤Type Theory  Content type: Blog
klatz.co·

Issue 528

 📐Category Theory
haskellweekly.news·

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 🔤Type Theory  Content type: News
developing.dev·

The fastest JVM is the C++26 compiler

 🔨Compilers
wrocpp.github.io··r/cpp

Event-Driven TypeScript: An Interview on Nimbus - EventSourcingDB

 📡Event-Driven Architecture  Content type: Blog  Content type: Reference
docs.eventsourcingdb.io··Hacker News

Book note: The Open Logic FOL texts

 ✓Formal Verification  Content type: Blog
logicmatters.net·

Symbolica: Computer Algebra Library

 🦀Rust Macros
symbolica.io··Hacker News

Trust No Skill: Integrity Verification for AI Agent Supply Chains

 💻Operating Systems  Content type: Blog
unit42.paloaltonetworks.com·

Slangify: The Case for DSLs in LLM Workflows

 🦙Ollama
slangify.org··Hacker News·Cited by 1 article
Less-relevant results

Making FlashAttention-4 faster for inference

 ⚙️JIT Compilation  Content type: Blog
modal.com··Hacker News

Top AI Trends in Banking in 2026 - Fintech Schweiz Digital Finance News

 🦙Ollama  Content type: News
fintechnews.ch·

mcy/best: The Best Library: a C++ STL replacement

 ©C  Content type: Code
github.com··Hacker News

Secure Code Review Using AI without burning tokens

 🌳Tree-sitter  Content type: Blog
medium.com·

Frontier Coding Agents Use Metaprogramming to Adapt to Unfamiliar Programming Languages

 🏭Code Generation  Content type: Academic
arxiv.org·

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
Save / unsave
s

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