Skip to content

thunderseethe personal blog

Traits are a local maximum

by THUNDERSEETHE'S DEVLOG thunderseethe.dev published 2024-11-18

An expose on Implicits and Local Coherence

Read on thunderseethe.dev → Discuss on HN (101) Archived copy

Points: 121
HN comments: 101
Submissions: 1
Cited by: 0 commenters

Software Engineering Programming Languages 2024

On Hacker News

Submitted	Title on HN	Points	Comments
Nov 18, 2024	Traits are a local maximum by emschwartz	121	101

More from thunderseethe

All 4 posts →

I'm Betting on Call-by-Push-Value

2024174 points64 comments Software Engineering details

How to choose between Hindley-Milner and bidirectional typing

2026153 points49 comments Software Engineering details

Designing a Language Without a Parser

2023114 points127 comments Software Engineering details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

Anthropic acquires Bun

Bun Blog20252,192 points1,072 commentscited by 7 details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

A 10x Faster TypeScript

Microsoft Developer Blogs20251,827 points907 commentscited by 14 details