Type Checking

✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Feeds to Scour
SubscribedAll
Scoured 25 posts in 10.2 ms

YETI programming language

 🌱Minimal ML
mth.github.io··Hacker News

Static types and shovels (2026)

 ⚖️Inference Rules
carefully.understood.systems··Lobsters, Hacker News

musab05/osirisdb: Production-oriented SQL database engine written from scratch in Rust.

 📚PL/0 Compilers  Content type: Code
github.com··DEV

Designing CherryScript: Optimizing Data-Driven Workflows via Custom Python-Based Interpreters​​​​‌‍​‍​‍‌‍‌​‍‌‍‍‌‌‍‌‌‍‍‌‌‍‍​‍​‍​‍‍​‍​‍‌​‌‍​‌‌‍‍‌‍‍‌‌‌​‌‍‌​‍‍‌‍‍‌‌‍​‍​‍​‍​​‍​‍‌‍‍​‌...

 📚PL/0 Compilers  Content type: Blog
stackoverflow.blog·

Create Your Own Programming Language with Rust

 🛠programming language development
createlang.rs··Hacker News

Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?

 🔍Type Inference  Content type: Discussion
news.ycombinator.com··Hacker News

The Ruby JRuby Was Built to Run

 🛠programming language development  Content type: Blog
intertwingly.net··Lobsters, Hacker News

A programming language for humans.

 ⚖️Inference Rules
crowdhailer.me··Lobsters

What’s Coming in Swift 6.4

 🔬programming language theory
wadetregaskis.com·

Register remaining `MathStdFunctions` as static builtins · facebook/hermes@a61eb0d

 🪞Metaprogramming  Content type: Code
github.com·

Secure Code Review Using AI without burning tokens

 🌳Tree Algorithms  Content type: Blog
medium.com·

Introducing Lightstep UQL to PromQL Translator

 🔤Language Tokenizers  Content type: Blog
engineering.zalando.com·

Trust No Skill: Integrity Verification for AI Agent Supply Chains

 🔤Language Tokenizers  Content type: Blog
unit42.paloaltonetworks.com·

Fewer False Positives in RustRover 2026.2|The RustRover Blog

 🔬programming language theory  Content type: Blog
blog.jetbrains.com··Cited by 1 article

I bet everything on eight weeks: solo #1 on MTEB English v2

 🚶Tree-walking  Content type: Blog
sentimark.ai··Hacker News

An Agent Holds the Fort: Three Days of Autonomous Compiler Work | Blog

 🔄Bootstrapping  Content type: Blog
rue-lang.dev··Hacker News

There are too many JavaScript schema libraries, so support only one

 ⚙️Configuration Parsing  Content type: Blog
inngest.com··Hacker News
Less-relevant results

Building with AI Agents: Mapbox DevKit MCP Server Demo at BUILD 2025

 🔍Type Inference  Content type: Blog
mapbox.com·

Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly

 🛠programming language development  Content type: Code
github.com·

DABO — What If Agents Didn't Need the Cloud Most of the Time...

 🔤Language Tokenizers  Content type: Code
github.com··r/SideProject

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