misc

misc

dz / misc

Summary

miscellaneous tidbits of knowledge

Node Tree

Nodes

vim_dash_autocomplete
content How to set up autocomplete for names with dashes in Vim. 'iskeyword+=\-' was good enough for my needs.
hyperlink https://stackoverflow.com/questions/10789430/vims-ctrlp-autocomplete-for-identifiers-with-dash
tags vim

update_rust
content If you used rustup, just do `rustup update`.
remarks TIL that rustup stays on your system, not just a shell script
hyperlink https://stackoverflow.com/questions/37928591/is-there-a-command-to-update-cargo-to-the-latest-official-release
tags rust

sqlite_substring_special_character
content How to get substring up to special character: SUBSTR(col,1,INSTR(col,'#') -1)
hyperlink https://stackoverflow.com/questions/21328295/sql-with-substring-to-a-special-character-with-sqlite
tags sqlite

wiki_property_testing
content Wikipedia page for Property-Based testing
remarks S mentioned property-based testing in the software foundations chat
hyperlink https://en.wikipedia.org/wiki/Property_testing
tags haskell, formal_methods

vim_no_autocomments
content disable annoying autocomments: set formatoptions-=cro
tags vim

vim_no_autoindent
content setl noai nocin nosi inde=
tags vim

wav_spec
content WAV file specification
remarks Found this while trying to implement a WAV writer
hyperlink https://www.mmsp.ece.mcgill.ca/Documents/AudioFormats/WAVE/WAVE.html
tags wav

flask_tutorial
content flask tutorial
remarks found in zulip chat as a recommendation to someone, thought I'd save it for later.
hyperlink https://flask.palletsprojects.com/en/1.1.x/quickstart/

descript
content descript: State-of-the-art audio codec with 90x compression factor. Supports 44.1kHz, 24kHz, and 16kHz mono/stereo audio.
hyperlink https://github.com/descriptinc/descript-audio-codec
tags codecs, audio

perceiver_ar_long_context_music_generation
content Autoregressive long-context music generation with Perceiver AR
hyperlink https://magenta.tensorflow.org/perceiver-ar
tags codecs, musicai

high_fidelity_neural_audio_compression
content high fidelity neural audio compression
hyperlink https://arxiv.org/pdf/2210.13438
tags neuralaudio, codecs, audio

coqtail
content Interactive Coq Proofs in Vim
parents software_foundations/01_logical_foundations/top
hyperlink https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html
tags software_foundations, coq

dotguide
content Drawing Graphs with dot
hyperlink https://www.graphviz.org/pdf/dotguide.pdf
tags graphviz, graph, papers, dot

mouthplay
content mouthplay: max4live model instrument that offers unconventional shaping of vocal tract with sound sources.
hyperlink https://dillonbastan.com/store/maxforlive/index.php?product=mouth-play
tags vocsynth, max4live

applied_DSP
content Introduction to Applied Digital Signal Processing at Drexel University.
remarks Recommended by Charlie V.
hyperlink https://www.youtube.com/watch?v=yGeXEwdNd_s&list=PL_QS1A2ZqaG7p50cd0AgLeG9Q3TN64vZJ
tags dsp

pointcloud_garden
content pointcloud.garden
hyperlink www.pointcloud.garden/
tags gfx

pixel_pusher
content PixelPusher Game Source Code
children pixel_pusher_trailer (trailer)
remarks made by RC alum, shared on graphics meet up june 18, 2024
hyperlink https://gitlab.com/awjchen/pixelpusher
tags gamedev

pixel_pusher_trailer
content pixel pusher trailer
parents pixel_pusher
hyperlink https://www.youtube.com/watch?v=1MbBVXSkxkE

occt_draw
content OCCT Draw Harness for the browser
children open_cascade_technology_wikipedia (context)
hyperlink https://gkv311.github.io/occt-draw/
tags gfx

open_cascade_technology_wikipedia
content Open Cascade Technology Wikipedia Article
parents occt_draw
hyperlink https://en.wikipedia.org/wiki/Open_Cascade_Technology
tags wikipedia, gfx

artemisia_agnus_dei
content Artemisia Trio: Agnus Dei (Traditional Corsican Village Chant)
hyperlink https://www.youtube.com/watch?v=Do186kUmeM4
tags acapella, singing

pacman_c_sokol
content Pacman single-header file implement in C
hyperlink https://github.com/floooh/pacman.c
tags gamedev, sokol

boston_cream_pie
content Boston Cream Pie
remarks recipe by JG
hyperlink https://www.seriouseats.com/boston-cream-pie-recipe-8629075
tags baking, food

browser_engineering
content Web Browser Engineering
remarks found on zulip
hyperlink https://browser.engineering/
tags books, web

algebraic_types_rest_of_us
content Algebraic Types for The Rest of Us
children effect_system (related concept I think)
hyperlink https://overreacted.io/algebraic-effects-for-the-rest-of-us/
tags webdev

effect_system
content Effect System
parents algebraic_types_rest_of_us
hyperlink https://en.wikipedia.org/wiki/Effect_system

ithkuil
content Ithkuil Conlang
remarks mentioned by isaac r
hyperlink https://en.m.wikipedia.org/wiki/Ithkuil

tinkerbell
content tinkerbell map
remarks mentioned during "chaos" show and tell
hyperlink https://en.m.wikipedia.org/wiki/Tinkerbell_map

libevdev_get_abs_maximum
content libevdev_get_abs_maximum(): how to get max res of tablet automaticaly.
hyperlink https://www.freedesktop.org/software/libevdev/doc/latest/group__bits.html#ga97a3411ae85f1f3b5c5eb1d5351b11ca]]

jackdaw
content JackDAW: A keyboard focused Digital Audio Workstation, taking some cues from non-linear editors
remarks Made by Recurser CV
hyperlink https://github.com/chvolow24/jackdaw

i_miss_lorina_bulwer
content I MISS LORINA BULWER
hyperlink https://news.lettersofnote.com/p/i-miss-lorina-bulwer

readline_shortcuts
content Readline keyboard shortcuts
remarks Recommended to me as a way to become more proficient at web-based text editors used in interviews. These are apparently supported by default in most OSX interfaces.
hyperlink https://github.com/chzyer/readline/blob/master/doc/shortcut.md