Viewing profile — sweetsocks21

I think the parent may be getting at the continuation aspect of effects? Effect systems make the stack a first class object you can reuse, I think a standard example is implementin…

OCaml has full multicore support with algebraic effects now. The effect system makes things like async very nice as there's no function "coloring" problem: https://discuss.ocaml.or…

For a computer, text is a binary format like anything else. We have decades of tooling built on handling linear streams of text where we sometimes encode higher dimensional structu…

This reminds me of expect tests in OCaml[0]. You create a test function that prints some state and the test framework automatically handles diffing and injecting the snapshot back …

I will say I really love the outcome of a Nix development environment. Especially with nix-direnv having a reproducible build environment by doing git clone on any machine is amazi…

It looks like this: https://unit.software/ Was on HN recently: https://news.ycombinator.com/item?id=40900029

Intentional Software was working on a system like this many years ago: https://youtu.be/tSnnfUj1XCQ?t=230 Part 2: https://m.youtube.com/watch?v=ZZDwB4-DPXE You can project your pro…

I buy into this theory, and the other one about consciousness being a step or two behind and fabricating some cohesive explanation for why you did what you did. If you are unfortun…

This brings back memories. I ordered a NerdKit many years ago and one of the projects was making a scrollable LED panel using similar techniques you're describing: http://www.nerdk…

I've noticed this too! It's especially bad after using discover weekly and liking a song or two, the shuffle then gets stuck on similar songs. It seems disabling "automix" in the s…

I've also had floaters and sometimes flashes (pin pricks) of light since childhood. Still have 20/20 vision, and every time I've gotten an eye exam they've said the retina looks he…

I've been keeping an eye on https://github.com/cozodb/cozo which is pretty close to something I've wanted, a sqlite version of datalog/datomic.

If you do take the teleporter it mentions that as well: > Your three choices show that this is what you see as central to your sense of self, not any attachment to a particular sub…

I appreciate you sharing your story. I had a similar journey over the last couple years because of the pandemic. Looking back now it was definitely an issue at least as far back as…

I believe it is the same. Tim's Twitter has a lot of references to it: https://mobile.twitter.com/TimSweeneyEpic/status/15955006213... https://mobile.twitter.com/TimSweeneyEpic/sta…

It's cool to finally get some more details on this language. They showed some slides of it being used in Fortnite last year: https://mobile.twitter.com/saji8k/status/13397096915641…

This delimiter first pattern is used a lot in Ocaml code as well: Records: https://github.com/janestreet/base/blob/master/src/avltree.m... If statements: https://github.com/janestr…

Is there a note taking app/knowledge database that auto-magically tags + adds metadata to everything and is searchable? I've tried many different tools in the past and I find I can…

I think you're correct in this assessment. I've recently switched from many years of low-level programming, doing real time animation/graphics into the large scale SaaS world. The …

I think that's could be focusing too much on the "inner voice" and assigning that the "you" label. At least for me I have a normally chatty inner voice, and usually think of that a…

I've often wished for some kind of dream recorder. I have had some very intense dreams, even "inception" style where I fall asleep inside a dream. In these dreams I'll talk to witt…

It's surprisingly general purpose. I mostly use it for toy side projects. I've used it for basic CRUD apps, like a reddit aggregator. I've written a couple opengl graphics librarie…

The S,D shortcuts work for me, but I can't get J or K to do anything? Some UX feedback on what is valid at the current time may be useful. One problem with structural/projection ed…

I don't know of any generic editor that can take a current (popular) language and do that. There is however a lot going on in this space, and I'll list some examples. Most are abou…

I would also note it seems to work very well on Android Firefox in desktop mode.