mk12

8 ms·

61.
by mk12 2y ago
Yeah by "my red" I'm talking about qualia as in the knowledge argument https://plato.stanford.edu/entries/qualia-knowledge/
62.
by mk12 2y ago
Maybe I am one of those few people :) I don't know how to interpret that diagram. Based on some of the comments here I would put myself at #1, and based on others at #5.
63.
by mk12 2y ago
Do you find drawing easy then, since you could trace around a visualization? That seems like it could be a useful test. I would expect those without aphantasia to be better at contour drawings (e.g. cartoon characters) if it really feels su
64.
by mk12 2y ago
I wasn't trying to convey that conclusion. I'm skeptical at people's confidence; I'm not confident that they're wrong. I think they discount how big a factor the difficulty in communication is. On internal monologue
65.
by mk12 2y ago
I was imagining people saying this in reference to a diagram like that (labelled with percentages instead of 1-5).
66.
by mk12 2y ago
If it means being able to hallucinate on command, i.e. superimpose the apple in your view as if you were wearing AR glasses, indistinguishable from a real apple apart from your knowledge that it's fake -- then that's a much sharpe
67.
by mk12 2y ago
I've never understood how people talk so objectively and confidently about this. There are subjective things we'll never able to compare, like whether your experience of red and green is the same as mine or swapped. Then there are
68.
by mk12 2y ago
It won't require build.zig, you'll just have to run zig translate-c on the C file. Andrew's comment here[1] says that @cImport is basically @import + the compiler implicitly running translate-c for you. There was some discuss
69.
by mk12 2y ago
The work-in-progress Zine SSG project https://zine-ssg.io/ calls its templating Super and it works just like this — directives are written in HTML rather than on top of it.
70.
by mk12 2y ago
I spent a while trying to do all the semantic markup properly on my blog -- , , <dfn>, <cite>, , , , etc. I eventually gave up and just used and everywher
71.
by mk12 2y ago
+1 for NearlyFreeSpeech! I’ve used them for years paying only 40-45 cents a month. I love that I can just ssh in and mess around. My site is mostly static but recently I wanted to add a private section for specific family and friends. So I
72.
by mk12 2y ago
I've slowly been working through SICP, currently on chapter 3: https://mk12.github.io/sicp/ . There are lots of other websites, but what sets mine apart is the exercise solutions are written as modules with explici
73.
by mk12 2y ago
A while ago I started to build something similar, but I didn't get much farther than choosing a name for the project ( https://github.com/mk12/loopy ). I want to design a language that can specify patterns precisely
74.
by mk12 2y ago
Wow, this is exactly how I feel! I'm a software engineer and I also started knitting last year. I'm really enjoying it for all the reasons you listed.
75.
by mk12 2y ago
I've used Zoho's free email account for my personal domain name for years and it's worked great.
76.
by mk12 3y ago
Interesting, those are the two main apps I use for writing. Maybe I should check this out.
77.
by mk12 3y ago
Snowflake used it when I worked there and I assume still does.
78.
by mk12 3y ago
There are lots of terminal projects recently. Ghostty ( https://mitchellh.com/ghostty ) and Terminal Click ( https://terminal.click ) come to mind. Also Warp and Fig but they don't appeal to me because they&#x2
79.
by mk12 3y ago
I don't care what language Homebrew uses, it just works. When I got my M1 MacBook in 2021 I saw some of this negativity about Homebrew, and since I was doing a clean install anyway I decided to try out MacPorts. I quickly ran into prob
80.
by mk12 3y ago
I listened to that, it was good! I was surprised there is an entire podcast about array programming. Looking forward to future episodes, and also to trying AoC with BQN again in a few months.
81.
by mk12 3y ago
I recently found out about another project called jj: https://github.com/martinvonz/jj . It takes inspiration from Pijul and others but is git-compatible.
82.
by mk12 3y ago
smaddox is working on one called Dawn: https://news.ycombinator.com/from?site=dawn-lang.org There hasn't been an update in over a year but I hope it's still going because it looked really interesting.
83.
by mk12 3y ago
I don't doubt your experience but that doesn't match mine. Third-party preference panes were slow for me in the old app, but I never noticed any lag with the standard ones.
84.
by mk12 3y ago
The Settings app is inexcusably bad. On my M1 Pro MBP there is reliably 500-1000ms delay between clicking a section and waiting for it to appear.
85.
by mk12 3y ago
I felt that way at first too but I’m less concerned about it the more I use Zig. Defer and errdefer are already a huge improvement over C. I won’t deny there’s more risk of forgetting to clean up than in Rust or C++, but Zig’s approach forc
86.
by mk12 3y ago
For anyone looking to get into array programming, I'd recommend https://mlochbaum.github.io/BQN/ . I'm no expert but I had a lot of fun using it for Advent of Code last year. I found it to be a lot more sensib
87.
by mk12 3y ago
Sure, if it's a viable alternative (e.g. can at least handle all the examples in the dropdown), I'd accept a PR to include it.
88.
by mk12 3y ago
Oh interesting, I didn't realize that. I will try to look into that sometime (or would accept a patch if anyone else wants to).
89.
by mk12 3y ago
It says it in Section 9 of the default example loaded in the playground: https://latex.js.org/playground.html
90.
by mk12 3y ago
Thanks. I hadn't heard of latex.js before, but I just looked it up now, and it says "Math is typeset using KaTeX."

More ›