z5h

12 ms·

31.
by z5h 2y ago
Take a look at term_expansion and goal_expansion in the Prologs that support them.
32.
by z5h 2y ago
When does AI become smart enough to “lift all boats”?
33.
by z5h 2y ago
Aphantasia is objectively measurable. Aphants lack a pupil response to “imagining” shapes of various brightness. They also lack the measurable “stress/anxiety” response to anxiety provoking written passages, but not images. If any part
34.
by z5h 2y ago
As someone with aphantasia, who typically reads non-fiction and watches fiction, Ted Chiang’s work really stands out for me. Most visual descriptions are in service to technical details, and therefore they are enjoyable conceptually.
35.
by z5h 2y ago
I got a new Mac recently, had run Bartender in the past and decided to but the newest version without checking it out first. I was surprised to see the screen recording permission. This was 12 days ago. I wrote support saying: > I think
36.
by z5h 2y ago
As a long time amateur photographer (using physical cameras and lenses), I have Halide (by the same company) on my iOS home screen for when I need to take a real phono on my iPhone. I use it all the time without issue. And would recommend i
37.
by z5h 2y ago
If you find yourself using a language where you need to answer questions like this, are these really the questions worth asking?
38.
by z5h 2y ago
“Almost half struggled with existential confusion and “derealization,” the sense that everything was unreal.” That’s existential clarity. There is no such thing as color in light. There is no scientific reason to believe in free will. Still
39.
by z5h 3y ago
I also have aphantasia and ALSO share these experiences exactly. That seems a bit beyond coincidence.
40.
by z5h 3y ago
Right. I guess I meant annotate most of the things. (Top level things, complicated inner functions …) A few temporary values (next = current + 1) might go un-explicitly-typed. Anonymous functions will go untyped. I should have said “ensure
41.
by z5h 3y ago
This SOUNDS like “types are bad”. The author’s message (towards the end of the article) is “I don’t want to infer types from my code. I’d rather infer the code from the types. Types are the spec…” Yes. Always annotate types. Keep inference,
42.
by z5h 3y ago
Owned this for years, and regularly use it to brainstorm, and sometimes I’ll add ascii diagrams to code comments.
43.
by z5h 3y ago
100r have really set the bar for what stack language/VM I would actually play with if I had the time. I see how it can immediately be useful for writing GUI/music/etc apps. And the instructions/guides are sooo good.
44.
by z5h 3y ago
“making it impossible to actually use the language in production” Absolutely false.
45.
by z5h 3y ago
Oh I’ve faaaaaar down the rabbit hole of brands, kits, gear, etc. Rotring, Essel, Hughes Owens, Kneufel & Esser, Kin, Ecobra. I spent a few hours this weekend researching inks.
46.
by z5h 3y ago
Timely article. I’m doing straightedge and compass constructions for fun, and want them to look good. I’ve realized that in terms of compasses (at least), they don’t make em like they used to. Browsing for used stuff turns up plenty of incr
47.
by z5h 3y ago
Love it out of the gate.
48.
by z5h 3y ago
Ok, so this is not the WAM David Warren. But another David Warren who (for 25 years) has developed and refined XSB-Prolog.
49.
by z5h 3y ago
Same here. Which inevitably leads me to revisit the question “Does this make enough sense to me that I want to dig into it right now?”. The answer is always no. But I’m going to go look again right now.
50.
by z5h 3y ago
Prolog is an inspired revelation of the equivalence of logical relationships and sequential computation. Expressiveness and meta-programming capabilities in its homoiconic syntax are off the charts. Caveats (of which there are many) aside,
51.
by z5h 3y ago
When we believed that our institutions (religious, governmental, cultural, corporate) took care of us (whether or not they did), we would invest our efforts in return. The jig is up. Why invest more than “minimum viable caring” at this poi
52.
by z5h 3y ago
Right, my point is there is some point at which our "generation" of dialogue transitions from subconscious to conscious. This is true for people with or without inner dialogs.
53.
by z5h 3y ago
Do you need an inner-inner voice before your inner voice speaks? To figure out what your inner voice will say before it says it?
54.
by z5h 3y ago
A bit extreme, but have you looked into Hundred Rabbits, their software stack and their philosophy? https://100r.co/site/home.html
55.
by z5h 3y ago
I still have a 2018 MBP. As much as I like new things, I can't yet justify upgrading. iPad has aged into obscurity and likely won't be replaced. Moved from an Apple Watch to a Garmin Instinct 2 (wanted muuuch longer battery + GPS
56.
by z5h 3y ago
We have compilers (languages) like Futhark that aim to optimize explicitly parallel operations. And universal models of computation like interaction nets that are inherently parallel. Am I lazy to expect we’ll be getting a lot more “paralle
57.
by z5h 3y ago
I “oscillate” my cup randomly while walking. Works fine.
58.
by z5h 3y ago
Something I wrote, somewhat baked, shelved for now. “ This app will create a Virtual MIDI device with 8 sliders and 7 buttons. Each virtual slider is controlled using a piano-key + pitch-bend gesture from your MIDI keyboard.” https:/&
59.
by z5h 3y ago
Worked at a place providing financial research data and models to investors. We spent a lot of effort creating infinitely flexible and customizable reporting and dashboards. Turns out no one used that. Everyone just wanted a general high le
60.
by z5h 3y ago
Bravo. As a fan and user of SunVox (and CPUs) this is quite impressive. Next you can run SunVox on SunVox!

More ›