oil is a user on mathstodon.xyz. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

it's a tv that watches you

"My First Rice - Giving My Qtile Desktop A New Look" を YouTube で見る - youtu.be/QESVJBEwBFA

ghc8.6.1 has an early version of the GHCi `:doc` command

These options should replace the MIDI/Score interoperability opcodes!

--midi-key=N
Route MIDI note on message key number to pfield N as MIDI value [0-127].
--midi-key-cps=N
Route MIDI note on message key number to pfield N as cycles per second.
--midi-velocity=N
Route MIDI note on message velocity number to pfield N as MIDI value [0-127].
--midi-velocity-amp=N
Route MIDI note on message velocity number to pfield N as amplitude [0-0dbFS].

oil boosted

My Windows 7 work laptop has 64 GB of ram and 8 cores. I don't know how many times it freezes up when I am not even using half of that. Meanwhile, my dad's Linux Mint 17.3 machine with 2GB of ram and 2 cores is sometimes slow, but it never freezes. Also, it never randomly updates during startup taking an entire hour to boot up. How could Windows be this much of a screw up, yet still be considered an OS for professionals?

CypherpunkArmory/UserLAnd: Main UserLAnd Repository - github.com/CypherpunkArmory/Us

"A Closer Look at Mastodon, The Twitter Killer!" を YouTube で見る - youtu.be/wGJW34aVmwE

the structure(pointers) of the page got redesigned .. the plan is to gradually grow a community here:
hascillators - sarigama.namaste.jp/hascillato

"Review : UBUNTU 18.04 FLAVOURS { Mate , Budgie, K , L , X Ubuntu }" を YouTube で見る - youtu.be/HEKCYhBB6sY

magicalraccoon/tootstream: A command line interface for interacting with Mastodon instances - github.com/magicalraccoon/toot

McKael/madonctl: CLI client for the Mastodon social network API - github.com/McKael/madonctl

ihabunek/toot: toot - a Mastodon CLI client - github.com/ihabunek/toot

so i got pico-8.0.1.11G working on lubuntu1804 on hpmini .. wonder if this is the version that gives me the new feature of the sound thing the dev person was talking about

"CsoundQt with Html support" を YouTube で見る - youtu.be/L1qVxfOzP9Q

Mu, a new Python IDE for beginners - Raspberry Pi - raspberrypi.org/blog/mu-python

Watch "Linux Deploy 2.0" on YouTube - youtu.be/9b8PnZge7vA

faust2api -alsa yourFaustCode.dsp

Romain Michon - faust2api - ccrma.stanford.edu/~rmichon/fa