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 implementing a scheduler. I'm not familiar with…
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.org/t/ocaml-5-0-0-is-out/10974 But I…
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 structures in it. But I can't help feel that…
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 into the test location. It helps keep…
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 amazing. NixOS has also saved my ass a…
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 programs into different views and add lots…
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 unfortunate enough to experience some human…
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.nerdkits.com/store/NKLEDARRAY001/ Multi…
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 settings returns the shuffle to be more…
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 healthy. From what I understand it'll be…
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 substance, be it your body, brain or soul.…
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 early teens. I used to work out a lot,…
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/status/16021821207... You can find more…
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/1339709691564179464... I believe it has roots in (but…
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/janestreet/base/blob/master/src/string.ml...…
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't stay organized. I don't want to sit…
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 things these two camps of software…
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 as "me", but if I step back I realize…
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 witty people, hear incredible music, see…
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 libraries with it. Used it instead of JS for a…
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 editors is it's not as clear what is a…
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 about editing the tree structure better,…
I would also note it seems to work very well on Android Firefox in desktop mode.
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 implementing a scheduler. I'm not familiar with…
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.org/t/ocaml-5-0-0-is-out/10974 But I…
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 structures in it. But I can't help feel that…
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 into the test location. It helps keep…
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 amazing. NixOS has also saved my ass a…
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 programs into different views and add lots…
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 unfortunate enough to experience some human…
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.nerdkits.com/store/NKLEDARRAY001/ Multi…
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 settings returns the shuffle to be more…
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 healthy. From what I understand it'll be…
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 substance, be it your body, brain or soul.…
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 early teens. I used to work out a lot,…
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/status/16021821207... You can find more…
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/1339709691564179464... I believe it has roots in (but…
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/janestreet/base/blob/master/src/string.ml...…
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't stay organized. I don't want to sit…
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 things these two camps of software…
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 as "me", but if I step back I realize…
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 witty people, hear incredible music, see…
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 libraries with it. Used it instead of JS for a…
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 editors is it's not as clear what is a…
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 about editing the tree structure better,…
I would also note it seems to work very well on Android Firefox in desktop mode.