Unusual basis types in programming languages
TLA+ Workshop TLA+ workshop on Feb 12! Learn how to find complex bugs in software systems before you start building them. I've been saying the code NEWSLETTERDISCOUNT gives $50 off, but that's wrong because I actually set it up for $100 off. Enjoy! Unusual basis types in programming languages Here are the five essential "basis" types in all modern programming languages: Booleans Numbers Strings Li
Raku is surprisingly good for CLIs
A while back I wrote Raku: a Language for Gremlins about my first experiences with the language. After three more months of using it I've found that it's quite nice for writing CLIs! This is because of a couple features: MAIN params become options Like many other programming languages, Raku has a special-cased MAIN function that acts as the entry point into your script. But unlike f.ex C, MAIN can
The Case of a Curious SQL Query
Languages that suffer success often have to do so by selling out and adding features that go against some of the original purposes of their design. SQL is a great example of a language built on very solid foundations: it comes from the idea that we should define an algebra for data retrieval, and then we can formally define how that algebra should behave, and then we can have a common tongue betwe
Picat is my favorite new toolbox language
I'm teaching a TLA+ workshop in two weeks! Register here, use the code C0MPUT3RTHINGS for 15% off. I always like to find new "toolbox languages". These are languages that can quickly be used to quickly solve a set of problems with just the base language and without a whole lot of typing. That's what drove me to learn Raku, so I could quickly do things like "generate 5 random 10-character strings":
Was Javascript really made in 10 days?
I once heard that Javascript has so many warts because the first version was made in just ten days. I was curious 1) if this is true, and 2) if it explains the language's warts. After some research, I can unconfidently say: it's complicated. The "first version" of JavaScript did in fact take ten days. The exact dates aren't confirmed, but Brendan Eich recalls it being May 6-15, 1995. But this was
Raku: A Language for Gremlins
August 7, 2023 Raku: A Language for Gremlins By Gremlins, For Gremlins™ I just added a big new section to learntla: Optimizing TLA+ Model Checking. I take a spec and then show 15 different optimizations, many of them getting a 10x runtime improvement. Patreon notes here. Besides that I've done very little writing the last couple weeks. I'm just in a slump: I sit down to write and the words all com
Problems harder than NP-Complete
May 11, 2023 Problems harder than NP-Complete People always talk about "P vs NP" like P problems are easy and NP problems are hard. This is a useful day-to-day model but also an oversimplification. Problems can get way, way harder than NP. (If you want a brief refresher on P and NP, check out my post NP-Complete isn't (always) Hard.) PSPACE-complete P is the set of all problems that can be solved
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
NULL BITMAP Builds a Database #1: The Log is Literally the Database
A Sniff Test for Some Query Optimizers
CAP is Good, Actually
Strings do too many things
I formally modeled Dreidel for no good reason
Databases are not Compilers
Formal Methods can't fix everything and that's okay
My painful, futile quest for programmable slideshow animations
NP-hard does not mean easy
Educational Codebases
What's between a set and a sequence?
I really like powershell
Formalizing Stability and Resilience Properties