weavermarquez

6 ms·

1.
by weavermarquez 10mo ago
Even as a huge Linux tinkerer I've been really pleased with Zo setting things up for me that I wouldn't have expected to get done on a server like this. I've started to experiment with installing Guix and serving Lem, and mad
2.
by weavermarquez 11mo ago
Thanks for posting erhuve! Sadly, a third of American adults do not understand fractions. A big part of this isn't just the particulars of the educational system -- it is also caused by the way we conceive of and teach mathematics as d
3.
by weavermarquez 2y ago
If you're interested in getting an introduction to cybernetics, theres: 1. Ashby's introduction, but that's from the 60s. Foundational, but is limited to 1st order cybernetics. 2. E. W. Udo Küppers, A Transdisciplinary Introd
4.
by weavermarquez 2y ago
While I agree that nitty gritty formalizations are important to grasp, it's been made clear that the formal sciences were often insufficient in facilitating insight on the type of complexity cyberneticians cared about -- especially tha
5.
by weavermarquez 2y ago
Total random comment, but for posterity's sake -- apparently, Agnikul is organized using a free and open source ERP called ERPNext. There's not been much discussion on it, but I'm doing my best to get my foot in the door usin
6.
by weavermarquez 3y ago
I figured this 1994 paper would be relevant to the discussion about finished software, "Software Aging" by David Parnas. Read it for a software engineering course where the prof railed against the assumptions underlying the notion
7.
by weavermarquez 3y ago
I'm part of an electric riding group in my city. We've had several members switch from electric skateboards and scooters to EUC without looking back. Two critical differences that make electric skateboards much worse than onewheel
8.
by weavermarquez 3y ago
The "Easy ASP" [0] tutorial from Potassco can walk you through some examples, if you'd like. The playlist is aimed at a general scientific/business audience, the presenter suggests that a lot of natural and business syst
9.
by weavermarquez 3y ago
Not sure if related, to Schaefer's theorem, but I dove into Answer Set Programming [1] recently, which follows this approach, enabling the use of fast-ish SMT solvers, which are a generalization of SAT solvers! Boolean/Propositi