https://njump.me https://njump.me/npub1cnplamxpadka0y9x5lvs2x2s9eawg74t6v9a559uk0tu5ssn4qpqtce6nq https://njump.me/nevent1qqsyxakqa27lrpryvs26rhtq0ynh4wcg3tg37s559hnvnhhl4a3e8uqzyrzv8lhvc84km4us56najpge2qh84er640fshkjshjea0jjzzw5qyehfpls André Curtis-Trudel&#39;s book &#34;Computability and Computational Explanation&#34; is currently available for free <br/><br/><a href="https://www.cambridge.org/core/elements/computability-and-computational-explanation/507C583E0D5F5F840B451A113D3A0449">https://www.cambridge.org/core/elements/computability-and-computational-explanation/507C583E0D5F5F840B451A113D3A0449</a><br/><br/>#computability #logic #philosophy 2026-09-18T21:12:01Z https://njump.me/nevent1qqs8zlnppjtzw32q0ynn5n3a6st9a2rncu2k7vej95zth236urneswqzyrzv8lhvc84km4us56najpge2qh84er640fshkjshjea0jjzzw5qycg4epf In reply to <a href='/nevent1qqs9rpw3aeclshqkatg4wet9uwyrsrfslcqamwe524m5f7g07s44frgr30lrd'>nevent1q…0lrd</a><br/>_________________________<br/><br/>I don&#39;t know that I have any good recommendations, but ever since I started my phd, I&#39;ve kept a diary in an org mode file (i.e. in an outliner).<br/><br/>A typical daily entry is a node in a (very wide) tree with a list of tasks that I achieved (or didn&#39;t), with subtrees that contain thoughts on anything that is more than a todo item, e.g., notes from meetings.<br/><br/>I generally keep a top level item which consists of a &#34;what I&#39;m going to do next&#34; list.<br/><br/>I *sometimes* add a metadata tag for various items, but the purpose of my document is slightly different than what you are asking for.<br/>Namely I need<br/>1) a document that can get me up to speed quickly on what I was doing last, and<br/>2) proof that I didn&#39;t waste my day.<br/><br/>In theory I could use org modes refiling stuff to organise things in a more topical manner, but I haven&#39;t found the need to (yet) 2026-06-01T16:48:56Z https://njump.me/nevent1qqs9nhd8fre7re96x4n2exqvup09973d8h7suxk0qm2grdvjw0a9yyqzyrzv8lhvc84km4us56najpge2qh84er640fshkjshjea0jjzzw5qyz7zarx If all goes well, I&#39;ll be graduating as Dr. CiH later this year, so if you see any good postdocs in categories, types, computability, logic, etc. feel free to ping me 2026-01-06T13:25:26Z https://njump.me/nevent1qqsqu98tnc0z5gef05wzglsh5sf0dgql40lkqza0na3z29ntqa6lrpszyrzv8lhvc84km4us56najpge2qh84er640fshkjshjea0jjzzw5qyclk597 In reply to <a href='/nevent1qqs8p5hrws7fkvhrf5k9mt5lhdy64rq7pgpyf3j8v5chlr64xkpkytc6q6jl3'>nevent1q…6jl3</a><br/>_________________________<br/><br/>Your use of only flats has prompted one of those niggling annoyances back into my mind: why is the flat 2 called the minor 2nd when it doesn&#39;t appear in any of the three &#34;normal&#34; minor scales. <br/><br/>I assume the answer involves the phrygian mode 2025-12-24T20:52:50Z https://njump.me/nevent1qqsfdr8l074ay9nddpy7vxq99aljm7v6j69wsepngk8kqdsj3exeqlqzyrzv8lhvc84km4us56najpge2qh84er640fshkjshjea0jjzzw5qykpzaaw In reply to <a href='/nevent1qqsdnqk3nmn37cgjtesawsak4fdhx9k5ufmmv583pkpcr3qme0qhjcggulzky'>nevent1q…lzky</a><br/>_________________________<br/><br/>Thank you for your service🫡 2025-10-24T11:34:45Z https://njump.me/nevent1qqs222z2haxuxs5cpal9445fllekzm9mv80jqlj9llvfzt89y66km9gzyrzv8lhvc84km4us56najpge2qh84er640fshkjshjea0jjzzw5qy3u0v2a In reply to <a href='/nevent1qqs2eut532fdwungqv235gjkrhrcx2qml68el4zhqv33xje8xkc0gkqjcul6l'>nevent1q…ul6l</a><br/>_________________________<br/><br/>As a kid I always resented that it was dark when I went to school, the sun was up while I was indoors, then it was dark again when I went home 2025-09-22T12:10:07Z