pveierland

6 ms·

61.
by pveierland 1y ago
Isn't is good that there are some forcing factors to help ensure the quality of the content? I get that there's plenty of drama and difficulties in building and moderating the content of Wikipedia, but it certainly does not appear
62.
by pveierland 1y ago
Explained in README: https://github.com/willcrichton/flowistry#why-isnt-flowistry...
63.
by pveierland 1y ago
Wild implementing Ed in Brainfuck: https://github.com/bf-enterprise-solutions/ed.bf/blob/master...
64.
by pveierland 1y ago
The SpecTec mentioned in the announcement is really cool. They're using a single source of truth to derive LaTeX, Sphinx docs, Coq definitions for proofs, and an AST schema. Building the language spec in a way that its soundness can be
65.
by pveierland 1y ago
> "The content loading failed." It's amazing how far and how short we've come with software architectures.
66.
by pveierland 1y ago
This "plan" seems more like a vision announcement compared to Master Plan #3. MP3 had a structured and quantified thesis, while this post offers few details. Wonder if they'll release a more substantiated version? https:&#x2
67.
by pveierland 1y ago
Is it clear whether the Debian image sources will continue to be maintained?
68.
by pveierland 1y ago
Will any source to build new images remain available without subscription?
69.
by pveierland 1y ago
Super fun to try a playable world model for the first time! I picked a random picture and got ChatGPT to write a game description, then could move within that world. Very laggy and buggy, but very fun to try! Hackers screenshot + file syste
70.
by pveierland 1y ago
The lessons reference `cglobal` in `x86inc.asm`: https://github.com/FFmpeg/FFmpeg/blob/master/libavutil/x86/x...
71.
by pveierland 1y ago
Another fun "timezone" is the "Anywhere on Earth" designation referring to when a time has passed everywhere on Earth. It does not seem to be referenced in the IANA database though :) https://en.wikipedia.org&
72.
by pveierland 1y ago
Depending on your criteria, a server like https://github.com/supabase/edge-runtime could be a fit.
73.
by pveierland 1y ago
Fun to see that it implements codegen for Uxn :) https://github.com/tsoding/b/blob/main/src/codegen/uxn.rs https://wiki.xxiivv.com/site/uxn.html
74.
by pveierland 1y ago
Building in release: cargo build --release du -sh ./target/release/lstr -> 4.4M Building with other release options brings it down to 2.3M: [profile.release] codegen-units = 1 opt-level = "s" l
75.
by pveierland 1y ago
As a data point, the largest political parties in Norway (Arbeiderpartiet / Høyre), are now both seeking to introduce age limits backed by national BankID login systems to access social media, which would be a massive invasion in the r
76.
by pveierland 1y ago
Literally just added some command timeouts in a new kubernetes setup. This POSIX shell script implementation of await-cmd.sh / await-http.sh / await-tcp.sh is mature and quite handy in some scenarios: https://github.com
77.
by pveierland 1y ago
Yes, I agree that reproducible builds is something that can be solved fully independently of Nix, and that Nix alone does not solve it, and that as such it is independent of Nix. However, as the point of Nix is to achieve reproducible softw
78.
by pveierland 1y ago
Yes, Nix does not provide you a guarantee that there are no impurities in builds, which the extensional model specifically caters to, and where the intentional model improves upon this by providing a system bases on content hashes instead o
79.
by pveierland 1y ago
The entire point of purity within Nix is to have reproducibility by its nature: `In this model a binary component is uniquely defined by the declared inputs used to build the component` (section 1.5). It is not clear to me how this is an en
80.
by pveierland 1y ago
This usage of `orthogonal` feels misleading. Nix is built to be a purely functional software distribution model where the outputs can be computed from the specified set of inputs. Although it is possible for derivations to not be reproducib
81.
by pveierland 1y ago
This locked up my system so hard I couldn't recover by killing the browser or reloading the window manager (Firefox 133.0.3 / Sway 1.9). Had to reboot and don't have time to investigate further right now. Appeared to happen w
82.
by pveierland 1y ago
This is more than the total funding of all modern fusion startups by a factor of 8 [1]. The intellectual + cash efficiency of this seems horrid. [1] https://techcrunch.com/2024/10/04/every-fusion-startup-that-
83.
by pveierland 1y ago
Anecdotally, Gemini 2.5 Pro has been yielding good results lately for Rust. It's been able to one-shot pretty intricate proc macros that required multiple supporting functions (~200 LoC). Strong typing is super helpful when using AI, s
84.
by pveierland 1y ago
Super cool interface to explore. It took a bit of playing around with the UI to understand all the features. My only feedback would be to try to make the "Continue" part of the flow to get to the sandbox easier to discover.
85.
by pveierland 2y ago
Cool, thanks for the answer - Would make for an interesting read!
86.
by pveierland 2y ago
Are there any open details on how the VM / container / WASM-native approaches are implemented?
87.
by pveierland 2y ago
Considering the extremes of prolific developers gives interesting contrast to dogmas such as "functions/files should never be above x lines", where `quickjs.c` is 50k lines and has functions that are hundreds of lines long:
88.
by pveierland 2y ago
Nix derivations are pretty neat! I've been building a Nix store navigator for MyNixOS v2. It can help you get a feel for how derivations are connected in Nix: https://v2.mynixos.com/nix/store/lsk1c4v03y4lmpxdc
89.
by pveierland 2y ago
Beyond the recent chilling effects from people being detained, the idea of having your digital presence scanned and judged by a flaky arbiter at the border, or having your devices imaged and/or backdoored are big turnoffs for me.
90.
by pveierland 2y ago
I'm building v2 of MyNixOS, which is an experimental platform to help users navigate, create, and run software configurations using Nix/NixOS. Just shipped the first phase of v2 which lets you navigate Nix store objects. Give it a

More ›