So Many New Systems Programming Languages II via @RunxiYu https://lobste.rs/s/yc3olx #plt
https://colinsblog.net/2023-03-22-systems-languages-details/

A Case Against Currying

https://fed.brid.gy/r/https://emi-h.com/articles/a-case-against-currying.html

Fuego de Dragón: Sistema de Seguimiento de Tendencias para Swing Trading#MT4MT5yEA #AnáliseTécnica #DragonFire #estratégiadeseguimentodetendências #Forex #IGentorLSMA #IndicadoresdeTrading #MetaTrader #PLT #StopLoss #SwingTrading Descubre Fuego de Dragón, un sistema de seguimiento de tendencias para swing trading que simplifica tus decisiones de negociación en el mercado forex.
https://djltrading.com/fuego-dragon-sistema-seguimiento-tendencias-swing-trading/?fsp_sid=41049

Maximally minimal view types · baby steps https://lobste.rs/s/rnfqfd #plt #rust
https://smallcultfollowing.com/babysteps/blog/2026/03/21/view-types-max-min/

Solod: Go can be a better C

https://fed.brid.gy/r/https://antonz.org/solod/

Infinite Lists in Lean https://lobste.rs/s/f598ob #plt
https://unnamed.website/posts/infinite-lists-lean/

Typechecking mCRL2 https://lobste.rs/s/p3k4b2 #plt
https://emi-h.com/articles/typechecking-mcrl2

Solod: Go can be a better C https://lobste.rs/s/uqeo3m #go #plt
https://antonz.org/solod/

No Semicolons Needed

https://fed.brid.gy/r/https://terts.dev/blog/no-semicolons-needed/