tkz1312

7 ms·

31.
by tkz1312 1y ago
they acknowledged the issue and the fix was merged in 2022, what exactly is the criticism here?
32.
by tkz1312 1y ago
I’ve found claude to be very helpful when both writing and debugging code written in a language i’m currently building. I just make sure to load the spec into its context first and that seems to be enough for it to get a general understandi
33.
Trying Guix: A Nixer's Impressions(tazj.in)
21 points by tkz1312 1y ago|0 comments
34.
by tkz1312 2y ago
nixos updates are completely atomic.
35.
by tkz1312 2y ago
First class effects and type system enforced purity have made my life as a programmer so much better. They dramatically reduce the size of the state space that must be reasoned about, and having all context being declared in a function defi
36.
by tkz1312 2y ago
Both Haskell and OCaml are fantastic. It is really astonishing the degree to which advancement in mainstream programming languages these days is just copy pasting ideas from either.
37.
by tkz1312 2y ago
what if the power structure you are under hates you and wants you to die?
38.
by tkz1312 2y ago
FBI already had full access to the unencrypted icloud backup from a few days prior.
39.
by tkz1312 2y ago
The economy is broken. Facism rises. History repeats itself.
40.
by tkz1312 2y ago
It’s a forked and tweaked version of the nix daemon. There have been some efforts to build a pure guile replacement, but afaik it’s not yet the default.
41.
by tkz1312 2y ago
I find the nix language to be quite pleasant. There are some syntax quirks and types would be nice, but in general the “json with functions” vibe is imo great and a very nice fit for the domain. Lots of other modern config languages (e.g. d
42.
by tkz1312 2y ago
guix is built on top of the nix daemon
43.
by tkz1312 2y ago
yes to all. https://github.com/nix-community/nixos-generators
44.
by tkz1312 2y ago
NixOS has stable releases built every 6 months.
45.
by tkz1312 2y ago
Even very intense psychedelic experiences have not come close to the pleasure and contentment that I sometimes feel on a run. I don't race though, or try and push myself particularly, just do my best to get out a few times and week and
46.
by tkz1312 2y ago
I’ve not had any issues chatting fine with matrix.org users from my self hosted instance over the last few months
47.
by tkz1312 2y ago
situation is exactly reversed where I live. Car is a recreational luxury (get out of the city for a day, road trips). A bike is my essential day to day transportation. The luxury status of cars is cemented by the wide availability of car re
48.
by tkz1312 2y ago
> This enforcement wouldn't even be possible in C or any other language I know of personally that'd be efficient to write an OS in. The sky is the limit when it comes to verification of complex properties for C programs. You “j
49.
by tkz1312 2y ago
multicore sel4 is implemented but still unverified: https://docs.sel4.systems/projects/sel4/frequently-asked-que...
50.
by tkz1312 2y ago
sel4 is implemented 3 times: in c, haskell and isabelle/HOL. The implementation in isabelle is proven to satisfy various key high level security properties. All 3 implementations are proven to be semantically equivalent. The compiled a
51.
by tkz1312 2y ago
I’ve had pretty good experience with it personally. It quite often just tells me it doesn’t know or isn’t sure instead of just making something up.
52.
by tkz1312 2y ago
android and chromeOS are usually excluded, but steam decks are included
53.
by tkz1312 2y ago
Totally. ML style syntax is just so much cleaner than the curly braces / semicolon orthodoxy.
54.
by tkz1312 2y ago
I think the relative importance of syntax compared to actual semantics when it comes to ease of understanding is probably rather low. Either way Haskell is also probably the language that lets you produce the most succinct code of anything
55.
by tkz1312 2y ago
I’m not quite sure what the point is here. I agree that well written imperative code can be easy to read, and that it’s often the natural style for many problems. I just think it’s always better to use that style in a system that makes the
56.
by tkz1312 2y ago
It’s true that things like docs and error messages are also important, but the fundamental task of understanding and reasoning about code is significantly easier if you restrict yourself to pure functions over immutable data.
57.
by tkz1312 2y ago
> So what does unique value proposition does GHC have left? Possibly the GHC runtime system, but it's not as sexy to pitch in a blog post like this. The point is that programming in a pure language with typed side effects and immuta
58.
by tkz1312 2y ago
I have very similar feelings but in the exact opposite direction :) The y combinator is a beautiful and satisfying thing that brings much joy when studied, the org is a bunch of cringe silicon valley vc types intent on owning the world…
59.
by tkz1312 2y ago
I mean basically everything is a more convenient rust...
60.
Hammock Driven Development (2010)(youtube.com)
2 points by tkz1312 2y ago|0 comments

More ›