mbrock

39 ms·

391.
by mbrock 8y ago
I thought meditation historically has mostly happened in seclusion from nature, in temples, monasteries, bedrooms, etc. Going indoors to sit in meditation isn't a "Western" phenomenon!
392.
by mbrock 8y ago
There have always been meditation teachers, practice programs, books, all kinds of materials. Monasteries are like huge complicated frameworks for meditation. In our culture we instead have apps. Maybe that's kind of lame, but it is wh
393.
by mbrock 8y ago
I suspect a decent approximation would be something like a 3-step Markov chain based on all 12 transpositions of a bunch of genre songs?
394.
by mbrock 8y ago
It was okay but basically you just enter the subway station and go through a locked heavy door to a slightly creepy corridor with a dozen small rooms serving as rehearsal spaces. The owner had barred the toilet door so on entering you would
395.
by mbrock 8y ago
I was only doing linear interpolation between the manually set sync points. In my tests I would usually need to put a sync point per verse, or so. The karaoke ball you see in the video was fun to make although I never got it quite perfect.
396.
by mbrock 8y ago
Looks really nice! A few years ago I started working on a vaguely similar tool because I was playing in a band and we needed a better way to collaborate on chord sheets. I used CouchDB (and PouchDB) to get a nice real-time sync for editing
397.
by mbrock 8y ago
Writing applications or tools in GNU Emacs is kind of nice, but the programming paradigm is something like “textual buffers manipulated by imperative routines backed by some global dynamically scoped variables” which has its beauty and char
398.
by mbrock 8y ago
Do you find Knuth’s books ugly and hard to read?
399.
by mbrock 8y ago
I run a mail server using simple-nixos-mailserver ( https://gitlab.com/simple-nixos-mailserver/nixos-mailserver ) on an AWS EC2.
400.
by mbrock 8y ago
I think it has to do with the sense of participation in imagined communities ( https://people.ucalgary.ca/~bakardji/community/imagined_comm... ). That's kind of why I read the news from my home country even t
401.
by mbrock 8y ago
Emacs can edit files over ssh, even via multiple hops of ssh, so often you don't need to install it everywhere!
402.
by mbrock 8y ago
I wonder if this commitment is reflected in any official terms or pledges?
403.
by mbrock 8y ago
I think a lot of programming could be described as "formalizing the logic of a business" which is a very strange and interesting problem. Programming also involves things like "formalizing and automating the representation of
404.
by mbrock 8y ago
If I were single, I’d go stay at a particular Zen-inspired meditation retreat center farm that I’ve lived at before between jobs. It’s a nice lifestyle of meditation, cooking/eating/cleaning, drinking tea, farming, etc.
405.
by mbrock 8y ago
I basically think software intelligence will not resemble human intelligence until it is embodied in the same body and social upbringing as humans—like, I don’t think you can actually fake it. I think you can make a software intelligence th
406.
by mbrock 8y ago
That’s a nice way to put it. Descartes wrote “I exist, that’s certain—but how often?”
407.
by mbrock 8y ago
Out of curiosity, which philosophers have you attempted to read?
408.
by mbrock 8y ago
Indeed, but Common Lisp doesn’t!
409.
by mbrock 8y ago
Shouldn't you be making your own argument within a formal logic, to avoid this awful ambiguity that makes it impossible to understand what you're saying or argue with you?
410.
by mbrock 8y ago
How do you see the influence of the Heideggerian critique of cognitivism, via Hubert Dreyfus, on the "Heideggerian AI" movement which preceded the shift away from classical symbolic AI towards connectionism and embodied learning?
411.
by mbrock 8y ago
Does Guix let you write interactive programs in Scheme as part of the system configuration? For example, defining a systemd service that uses Guile libraries and so on, as a subexpression of your OS configuration file? While also referring
412.
by mbrock 8y ago
It's difficult to not be Turing complete. Makefiles are Turing complete: https://nullprogram.com/blog/2016/04/30/
413.
by mbrock 8y ago
I like Scheme, but I think a lot of people actually wouldn’t want to write their packages and OS configuration files as S-expressions. Nix is an extremely simple language with quite familiar syntax, a kind of JSON with functions and string
414.
by mbrock 8y ago
Isn't that really hard to implement correctly in Common Lisp? Your macro would need to perform a continuation-passing style transformation on arbitrary code that could involve jumps, error, etc.
415.
by mbrock 8y ago
And for Aarm64 too, working quite nicely on Raspberry Pi.
416.
by mbrock 8y ago
Just a note: NixOS is available as a community AMI on EC2, so you don’t have to use NixOps just to get a NixOS AWS box. I have a bunch of them set up just by choosing that AMI.
417.
by mbrock 8y ago
https://nixos.org/nixpkgs/manual/#sec-pkg-override https://nixos.org/nixos/nix-pills/override-design-pattern.ht... https://nixos.org/nixos/nix-pills/nixpkgs-ove
418.
by mbrock 8y ago
Yeah, although you have a lot of flexibility regarding how much of your system will be rebuilt. Like, if you add a little patch to libpng as an overlay over your entire system, then you'll recompile a lot of stuff, but you can also cho
419.
by mbrock 8y ago
Another fascinating thing about NixOS is their system of automated integration tests for the whole distribution. You can quite easily set up declarative virtual machines with Nix expressions, and the test suites use this in very cool ways.
420.
by mbrock 8y ago
Making a Nix package is usually quite fun, but if the software has a really gnarly setup (various forked dependencies, strange configuration scripts that involve the internet, npm modules with native library dependencies, etc) it can be bad

More ›