smasher164

9 ms·

61.
by smasher164 3y ago
I was debating whether or not I should mention iTerm's image protocol, since iTerm already supports SIXEL.
62.
by smasher164 4y ago
> How then would one leverage 9p filesystems to solve the containerization problem? In Plan 9, processes are sandboxed by default, so they only see what is exposed to them. You utilize mounts to attach filesystems to processes, and since
63.
by smasher164 4y ago
I think xv6 is a much more palatable intro to operating systems than minux. It's a tiny codebase, with an annotated guide, and a book explaining its core ideas and implementation in a very direct way.
64.
by smasher164 4y ago
Tbf, I've only seen decent implementations of it over the past couple of years, with Koka and OCaml. There's still work to do to get it to interact nicely with a low-level language, but I'd argue that they're the way for
65.
by smasher164 4y ago
Exceptions will come back, but in the form of algebraic effects. All of the work that goes into error handling, asynchrony, mutable state, and IO will be generalized by effects.
66.
by smasher164 4y ago
Remember that this is only comparing the languages. If you actually try to write code in Standard ML, you come to a rude awakening as to how poor the tooling is. Libraries are underdocumented and unavailable. The build system and package ma
67.
by smasher164 4y ago
Combinatorial circuits aren't turing complete. The novelty of mov being turing complete is that they were able to do conditional branching with just loads and stores. In the FHE case, they can't read and write to parts of memory,
68.
by smasher164 4y ago
I use generics all the time in my Go code, in particular with the exp/slices library and lo. I do not find it less readable. I think readability is subjective based on people's programming experience and familiarity with type syst
69.
by smasher164 4y ago
I see. Yeah that's a shame.
70.
by smasher164 4y ago
I use configuration on macos as well, so I'm not sure what you mean?
71.
by smasher164 4y ago
Usually you’re on a single-user system anyway though. You should be able to manage all that with your global configuration.nix. You’ll also get the benefit of rollbacks.
72.
by smasher164 4y ago
I'm glad this guide is focused on flakes. If you're starting out with Nix, forget about home-manager, nix-env, and the pre-flake configuration model.
73.
by smasher164 4y ago
Thanks! Added it: https://github.com/smasher164/arewesixelyet/commit/4e8f68e98... .
74.
by smasher164 4y ago
Yeah, in an effort to spur adoption, I built (shameless plug) https://www.arewesixelyet.com/ . What’s interesting is that if VTE gets support, a lot of other terminals will, since they depend on it.
75.
by smasher164 4y ago
makes you wonder if it's really that valuable to have all our infrastructure built on parsing text
76.
by smasher164 4y ago
It looks like the author of wxRust is attempting another go at bindings with https://github.com/kenz-gelsoft/wxRust2 .
77.
by smasher164 4y ago
I agree that GUIs have gotten more complicated nowadays, but I don't think the existence of platform-specific APIs is mutually exclusive with cross-platform abstractions. If anything, you should be able to specialize behavior for a cer
78.
by smasher164 4y ago
My favorite language in this category is MLscript. The best part is that type-checking it is decidable! https://github.com/hkust-taco/mlscript
79.
by smasher164 4y ago
One thing I'd like to see are Rust bindings for wxWidgets. Contrary to the prevailing opinion, I think wrappers over native toolkits are a fine approach for cross-platform development.
80.
by smasher164 4y ago
Is there an open-source implementation of Q? Syntactically, it seems more approachable than other array languages, especially due to the use of identifiers instead bespoke symbols for non-standard operators.
81.
by smasher164 4y ago
I like Ivy's[0] approach by using keywords instead of symbols. I feel like something like APL should either be embedded in some host language, be given lots of functionality for I/O, or some static type system with rank polymorphi
82.
by smasher164 4y ago
That would be cool. One I issue I could see coming up is that automerge and yjs keep everything in memory (the reason why a DB CRDT is preferable in the first place), so I'm wondering how you'd make use of their APIs without doing
83.
CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf](cl.cam.ac.uk)
2 points by smasher164 4y ago|0 comments
84.
by smasher164 4y ago
It looks like it doesn't have sequence support? Dang -- I'll wait a while then.
85.
by smasher164 4y ago
This is phenomenal! I'm going to try experimenting with this. Hats off to the author. I was trying to re-implement a JSON CRDT on top of SQLite for my notes app, but this just made the whole database a CRDT!
86.
by smasher164 4y ago
I agree that a stack trace is useful, but I disagree that automatic bubbling is universally good. If you look at well-written Go, context is added to every site where you bubble up an error.
87.
by smasher164 4y ago
I don’t think the original commenter said anything about “automatic”. That’s more of a subjective decision—whether or not you manually bubble up an error, or it just floats up because of the exception handler. Empirically, java code has had
88.
by smasher164 4y ago
> A pragmatic “handle it here or bubble it up” is a much better approach This is exactly the approach used in Go code, so I'm not sure what you're referring to. If you're talking about the fact that you can technically ign
89.
by smasher164 4y ago
Another option is to use `go:linkname` and call the runtime function yourself. //go:linkname cmpstring runtime.cmpstring func cmpstring(a, b string)
90.
by smasher164 4y ago
> Green threads were always better There’s a lot of people who advocate otherwise, but I don’t think we have the mechanisms for effect polymorphism in current languages good enough to make effects ergonomic. > Most of the point of gre

More ›