Mastodawn

Lobsters 6h ago

Simple Bidirectional Type Inference https://lobste.rs/s/rmolyl #plt #rust
https://ettolrach.com/blog/bidirectional_inference.html

Simple Bidirectional Type Inference

0 comments

Lobsters

｢ What it really boils down to is productivity–we wanted to design a tool that would make developers more productive, all the way from prototype to production code. Other products lure you with visual tools, but once you get halfway through your project, they let you down because of sluggish performance, lack of extensibility, or general stability problems ｣

https://deprogrammaticaipsum.com/federico-biancuzzi-shane-warden-anders-hejlsberg/

Federico Biancuzzi, Shane Warden, & Anders Hejlsberg

Among all the books featured in the Library section of this magazine, there is one that has been mentioned particularly often, again and again. We are talking about the excellent "Masterminds of Programming: Conversations with the Creators of Major Programming Languages" by Federico Biancuzzi and Shane Warden, published by O'Reilly in 2009. It is high time that we dedicated a full entry to this gem, focusing on one of the interviews in particular: that of Anders Hejlsberg.

De Programmatica Ipsum

Lobsters 18h ago

Formally speaking, "Transpiler" is a useless word

https://fed.brid.gy/r/https://people.csail.mit.edu/rachit/post/transpiler-formal/

forsp... forth + lisp

https://xorvoid.com/forsp.html

#plt #lisp #forth #rpn #lambdacalc

xorvoid

Lobsters 15h ago

Memory Safety Is https://lobste.rs/s/ntslcm #plt
https://matklad.github.io/2025/12/30/memory-safety-is.html

Memory Safety Is

1 comment

Lobsters

※🚨2日後に衝撃が走る🚨※【毎年恒例のイーロンが1月1日に10倍〜100倍の億ツイートをする】#xrp #doge #ripple #仮想通貨 #btc #x https://www.yayafa.com/2678494/ #BTC #coincheck #DeFi #FX #GMOコイン #IDO #IOST #Money #NFT #PLT #XRP #お金の教育 #コインチェック #ニュース #バイナリー #パレットトークン #ビットコイン #リップル #世界 #仮想通貨 #仮想通貨市場 #億り人 #大金持ち #投資 #暴落 #最新情報 #歴史 #生活 #経済 #草コイン #裕福 #資産増加 #資産形成 #資産運用

https://www.tkhunt.com/2194201/ ※🚨2日後に衝撃が走る🚨※【毎年恒例のイーロンが1月1日に10倍〜100倍の億ツイートをする】#xrp #doge #ripple #仮想通貨 #btc #x ##IDO #BTC #Coincheck #DeFi #f(x) #GMOコイン #investment #IOST #NFT #PLT #xrp #お金の教育 #コインチェック #ニュース #バイナリー #パレットトークン #ビットコイン #リップル #世界 #仮想通貨 #仮想通貨市場 #億り人 #大金持ち #投資 #暴落 #最新情報 #歴史 #生活 #経済 #草コイン #裕福 #資産増加 #資産形成 #資産運用

Lobsters 18h ago

Formally speaking, "Transpiler" is a useless word https://lobste.rs/s/0g0ebi #plt
https://people.csail.mit.edu/rachit/post/transpiler-formal/

Formally speaking, "Transpiler" is a useless word

0 comments

Lobsters

👉 From Zero to QED: An informal introduction to formality in Lean 4

https://sdiehl.github.io/zero-to-qed/

#lean4 #plt #formal

From Zero to QED: An informal introduction to formality in Lean 4

An informal introduction to formality in Lean 4

From Zero to QED

Lobsters 1d ago

1ML for non-specialists: introduction https://lobste.rs/s/3eehzp #plt
https://pithlessly.github.io/1ml-intro

1ML for non-specialists: introduction

0 comments

Lobsters