smasher164

6 ms·

31.
by smasher164 3y ago
Yeah in many ways, Nix is a research project that escaped the lab. It’s the first tool of its kind that also happened to become successful. You have to write in this dynamically typed Haskell with poor affordances for being a build system a
32.
by smasher164 3y ago
I have an iphone, so I hope the serial number won’t be an issue.
33.
by smasher164 3y ago
Yeah, I also tend to bring up iCloud Notes in a browser tab. It’s still far from perfect, since Notes is usually an offline-first app, which you miss out on here. I’ve been looking for a replacement, but nothing really gives you - Offline-f
34.
by smasher164 3y ago
I know this only works for cli tools right now, but I’d love to be able to run iMessage and Notes on linux.
35.
by smasher164 3y ago
Frink is great. If you’re looking for a more general purpose language with a units system, consider F#: https://learn.microsoft.com/en-us/dotnet/fsharp/language-ref...
36.
by smasher164 3y ago
A great idea hindered by the lack of adoption in tools.
37.
by smasher164 3y ago
This is so cool! I want this for every language now.
38.
by smasher164 3y ago
you stick this in your struct type noCopy struct{} func (*noCopy) Lock() {} func (*noCopy) Unlock() {}
39.
by smasher164 3y ago
> we're still inventing languages where local variables can be mutated Local mutability is probably one of the most common uses of mutability. A lot of it is using local state to build up a more complicated structure, and then getti
40.
WASM typed function references and GC are in standardization(github.com)
3 points by smasher164 3y ago|0 comments
41.
by smasher164 3y ago
Even if network conditions are great, lazy loading breaks browser operations like "Find" with Ctrl-F. It's only gonna search what's in the viewport. I think lazy loading should only be used when there's an actually
42.
by smasher164 3y ago
Single-shot continuations in the form of lexical effect handlers would be a good fit for a systems language nowadays. I feel it's a bit too late to staple that onto Rust though.
43.
The AST Typing Problem(blog.ezyang.com)
74 points by smasher164 3y ago|32 comments
44.
by smasher164 3y ago
I love the Naruto reference.
45.
by smasher164 3y ago
It’s hard enough to learn osdev. If you have a concrete design to fall back on, you can focus on implementation. Coming up with an original design for OSes is like a 3rd project thing.
46.
by smasher164 3y ago
Yeah, I admit that home-manager is already decked out with all of these options. There's some more manual effort that goes into using configuration.nix here. That being said, I've been seeing more software being packaged up as nix
47.
by smasher164 3y ago
I don't really have a need for home-manager on a single-user NixOS system. Whatever configuration home-manager would typically manage is now contained in my global configuration.nix.
48.
by smasher164 3y ago
> I don't think removing the parser will take you across the finish line if you otherwise were running out of steam. Everyone's different. The problem with parsing isn't the difficulty, but rather the potential for endless
49.
by smasher164 3y ago
My one gripe with this article is that it doesn't really explain why a wrapper over native toolkits is untenable. There haven't been many attempts of this idea, of which wxWidgets and libui are a couple. Yes, it exposes its own co
50.
by smasher164 3y ago
I admire Graydon's humility on the subject--and sure enough, I disagree with some of his ideas in this post, and agree with other ones. - Explicit lifetimes are what make rust what it is. It would have surely failed had they not been i
51.
by smasher164 3y ago
My thinking for ways to avoid this scenario are: - If there is no concrete type that you can infer for the given literal, throw a type error. - If there is no concrete type that you can infer for the given literal, fall back to a default, e
52.
by smasher164 3y ago
RRB trees in particular allow you to benefit from some of the cache efficiency of regular vectors, while supporting operations like immutable update. They are used in languages like Clojure and Scala.
53.
by smasher164 3y ago
Regardless, I would prioritize learning OCaml. The only thing SML has going for it is nicer syntax, and less stapled-on OOP stuff. OCaml's better in almost every way for day-to-day programming.
54.
by smasher164 3y ago
I love Nix as a package manager, and flakes are awesome for setting up environments. I wish it had more affordances for being a proper build system. If only there were a Buck2 and Nix hybrid.
55.
Libui-ng: a portable GUI library for C (fork of libui)(github.com)
2 points by smasher164 3y ago|0 comments
56.
by smasher164 3y ago
Right, but the type system is the constraint. Nobody's gonna take the untyped lambda calculus and run it on an accelerator. Even something like turing-completeness can be a type annotation, for example, the totality effect provided b
57.
by smasher164 3y ago
Turing-completeness != un-optimizable! Literally the areas of type systems and compilers exist to serve this endeavor. It's gotta be a meme at this point every time someone brings up the halting problem or rice's theorem.
58.
by smasher164 3y ago
Yeah, I think a good step would be to integrate a rich CRDT into sqlite, whether that's through CTEs, a custom extension, or library code that manages the tables. Layering a CRDT on top of an existing schema might not be very efficient
59.
by smasher164 3y ago
Sorry about this. I assumed that checkmark/cross would compensate for this color combination, but I agree that better colors would make this more accessible for everyone. From what I'm reading online, Blue / Red is a better c
60.
by smasher164 3y ago
Yeah, sorry about that. I threw this together with the first terminal-like Hugo theme I could find, since I wanted to focus on getting the info out there. I'd probably either have to create a custom theme, or just rewrite the site from

More ›