Will Dietz boosted

from birdsite 

from birdsite 

from birdsite 

from birdsite 

Will Dietz boosted
Will Dietz boosted
Will Dietz boosted

i don't really know american geography

i know where the big apple is, but i have no idea where the minneapolis

Will Dietz boosted
Will Dietz boosted
Will Dietz boosted

I keep being amazed by the quality of the Stanford Encyclopedia of Philosophy. It is very clear and uses rigorous mathematical formalism whenever needed… in fact, it's my preferred source for learning about logic and other fundamental considerations of science.
Pages I like:
plato.stanford.edu/entries/log
plato.stanford.edu/entries/log
plato.stanford.edu/entries/qm-
plato.stanford.edu/entries/pro

Will Dietz boosted
Today I learned: https://discourse.nixos.org/t/alternative-language/5218

Question: #Nix language is weird, why not use something else, e.g. a Lisp?

Answer 1: #Guix still uses the Nix daemon under the hood, but everything else is written in Guile.

Answer 2: Nix has string contexts which propagate!

_Very_ good to know!
Will Dietz boosted

Nim and Nix users, there is a Nix flake for automagically building Nimble packages. Any comments or criticisms are appreciated.

git.sr.ht/~ehmry/nimble_flake
discourse.nixos.org/t/nix-flak

#nim #nix #nixos #nimble

@samae You're welcome! And yep I'm the "wdtz" you're looking for-- happily no wdtz imposters running around that I know of ^_^.

Tests failing unexpectedly on your crypto-ish package/build/project? Maybe there are certs that expired now that it's 2020-- just ran into this myself previously in other packages. It's not exactly common but worth keeping in mind, especially if your reproducible build worked yesterday but not today...

Part 2: Fixing this build impurity -- although might not be suitable everywhere. `libfaketime` perhaps, although ideally more systematic? Anyway, teehee and maybe save you some debugging time :)

Will Dietz boosted

@Wolf480pl the ABI isn't an abstraction as much as it's a language. System-V is the lingua franca of ABIs and the constraints it imposes are managable/desirable and necessary for dissonant modules to communicate. By constraining ourselves to the C ABI then we (1) discourage being too clever and (2) prevent the introduction of FFI layers with awkward idiomaticy transitions

Will Dietz boosted

"... it was marked as important if that makes you feel any better"

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!