miniblog.

Jan 29, 2016 at 08:55

"It is impossible to safely implement any cryptosystem providing forward secrecy in C."

Jul 27, 2024 at 04:13

Bril is a cute intermediate language for teaching (think simplified LLVM IR): https://www.cs.cornell.edu/~asampson/blog/bril.html The idea of providing a standard JSON format to help students write basic passes is really elegant.

Bril: An Intermediate Language for Teaching Compilers

I created a new intermediate language, called Bril, for teaching my funky open-source, hands-on compilers course. Because it’s for education, Bril prioritizes simplicity and regularity over more typical compiler priorities like performance and concision. This is an overview of Bril’s design, its quirks, and the ecosystem that has grown up around it since 2019.

Feb 19, 2021 at 17:15

LSP is great for providing basic IDE services across editors and language. I do wonder if it limits the best you can do. For example, I'm not aware of any way you can add up/down arrows to the margin for exploring inheritance. Hover text or lenses seem to be your only options.

X / ?

Jun 26, 2019 at 09:12

An introduction to the world's largest CRM, the importance of allowing users to build custom logic, and a discussion of providing a programmable AWS Lambda style platform: https://tryretool.com/blog/salesforce-for-engineers/

Related Posts