slavapestov

8 ms·

61.
by slavapestov 3y ago
ML is notable for its higher-order module system, which solves the same problems but is different than the type classes/protocols/traits of Haskell/Swift/Rust.
62.
by slavapestov 3y ago
I believe certain macro packages can be slow, like TikZ (which is otherwise great).
63.
by slavapestov 3y ago
> Apparently "value semantics" can also refer to mutable values with exclusive ownership, is that the idea here or something else? Yes, that's what I meant here.
64.
by slavapestov 3y ago
There’s a missing “minimal language” with a combination of features that doesn’t yet exist, but should: - value semantics with both implicitly-copyable and move-only values - unboxed generics with type classes/traits/protocols and
65.
by slavapestov 3y ago
Balanced parentheses can also be encoded in Swift or Rust. Another way to think about the problem is that we can define a finitely-presented monoid, called the bicyclic monoid, with identity element e , two generators a and b , and the
66.
by slavapestov 3y ago
The Rust compiler uses a Prolog-like query language internally for type checking generic requirements and traits: https://github.com/rust-lang/chalk
67.
by slavapestov 4y ago
> I usually recommend people read "Algorithms" by Sedgewick instead. I mean, they’re not really comparable. One will teach you computer science and algorithms. The other will tell you about Bernoulli numbers and the Gamma funct
68.
by slavapestov 4y ago
They’re great books, beautifully typeset, but they’re not for everyone. Meant for people who appreciate math, they go pretty hard. Personally I’ve owned the first three volumes for 20 years now and I still learn something new every time I o
69.
by slavapestov 4y ago
emacs definitely came first, and readline adopted emacs bindings (it also supports vi)
70.
by slavapestov 4y ago
> and could really use a modern re-imagining. Just not with Electron, please.
71.
by slavapestov 4y ago
Unfortunately, file system development is a pretty niche skill set these days, and the majority of the experts in the field are employed maintaining existing file systems (ext4, xfs, apfs, etc). One thing I’ve been bugging Kent to do is to
72.
by slavapestov 4y ago
Bcachefs is one of the most interesting projects going on in Linux kernel land these days, all the more remarkable because it is mostly the work of one person over the last 12 years. I hope it goes upstream soon; with a bit of polish it sho
73.
by slavapestov 4y ago
The weirdness is totally expected for something originally designed in 1983. What is unexpected is that there is still no good replacement for writing math…
74.
by slavapestov 4y ago
I can't comment on Apple frameworks but there's a @_specialize attribute which allows you to export a fixed set of pre-specialized entry points from your own frameworks, without exposing the entire function body as serialized SIL
75.
by slavapestov 4y ago
Forum post with some context: https://forums.swift.org/t/compiling-swift-generics-part-i/6...
76.
by slavapestov 4y ago
The whole thing is about polymorphism, but Swift calls that generics. Similarly “function specialization” is Swift lingo for monomorphization. The part about module boundaries is what allows separately-compiled and updated shared libraries
77.
by slavapestov 4y ago
How is it different from a one-field struct in Swift, other than that Swift makes you name the field while Rust allows it to have the name “.0”?
78.
by slavapestov 4y ago
You can define a struct with a single field in Swift, which is guaranteed to have the same representation as the field's type (but yeah, you have to "forward" the desired subset of protocol conformances manually to the underl
79.
by slavapestov 4y ago
Part 1 has some cool material. The mathematical preliminaries, polynomial arithmetic to motivate linked lists, and symbolic differentiation to motivate trees. The MIX simulator written in MIX too!
80.
by slavapestov 4y ago
I feel like higher education and housing for students should be a higher priority than turning the city into a museum frozen in time for aging "locals".
81.
by slavapestov 4y ago
Since Rust doesn’t have a stable ABI or separately compiled generics, wouldn’t dylibs necessarily be limited to exporting a C ABI?
82.
by slavapestov 4y ago
I remember reading this paper, implementing the algorithm in Factor and finding the typo some 13 years ago… http://hal.archives-ouvertes.fr/docs/00/34/99/25/PDF/OutSSA-...
83.
by slavapestov 4y ago
I'm curious how you implement associated types and equivalences between them. In the most general case, this allows encoding an arbitrary finitely-presented monoid in the type system, and the word problem on finitely-presented monoids
84.
by slavapestov 5y ago
> Yes, you can be unproductive in the office - but the temptation and opportunities to do next to nothing on a daily basis are too big a temptation for many people, and becomes a nightmare for the people that are supposed to manage the s
85.
by slavapestov 5y ago
> Also, if you have anyone WFH with school age children then velocity drops come summer time like clockwork. Why?
86.
by slavapestov 5y ago
TeX
87.
by slavapestov 5y ago
Isn't it pretty standard to have video conferencing equipment in conference rooms or are there actually companies where people literally sit in a meeting room and dial in with Zoom from their laptops? Sounds pretty silly, and easy to f
88.
by slavapestov 5y ago
> I long to run my own emulated VAX/VMS system, but the hobby licensing system is no more. You can set the clock back to the time when the license was valid and it all works. There is also a key generator floating around.
89.
by slavapestov 5y ago
In case you’re wondering where the funny name “HyperSearch” came from, it’s the built-in editor in the TkDesk file manager/launcher (which was pretty neat back in the day): http://tkdesk.sourceforge.net/guide/guide
90.
by slavapestov 5y ago
> Just out of curiosity: what editor do you use nowadays? I’m pretty fond of Sublime Text these days.

More ›