sweetsocks21

7 ms·

1.
by sweetsocks21 4mo ago
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 your Bluefin libra
2.
by sweetsocks21 7mo ago
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&#
3.
by sweetsocks21 9mo ago
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 we try to jam ev
4.
by sweetsocks21 1y ago
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 your code modular beca
5.
by sweetsocks21 2y ago
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 couple times doing kernel
6.
by sweetsocks21 2y ago
It looks like this: https://unit.software/ Was on HN recently: https://news.ycombinator.com/item?id=40900029
7.
by sweetsocks21 3y ago
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
8.
by sweetsocks21 3y ago
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 body failure modes you c
9.
by sweetsocks21 3y ago
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/
10.
by sweetsocks21 3y ago
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 l
11.
by sweetsocks21 3y ago
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
12.
by sweetsocks21 3y ago
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.
13.
by sweetsocks21 3y ago
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. However, some wou
14.
by sweetsocks21 4y ago
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, and very intensely a
15.
by sweetsocks21 4y ago
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&#x2
16.
by sweetsocks21 4y ago
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 ro
17.
by sweetsocks21 4y ago
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/janestree
18.
by sweetsocks21 4y ago
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 t
19.
by sweetsocks21 4y ago
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 engineers
20.
by sweetsocks21 4y ago
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 bac
21.
by sweetsocks21 4y ago
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 fan
22.
by sweetsocks21 4y ago
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 web im
23.
by sweetsocks21 5y ago
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 valid op
24.
by sweetsocks21 5y ago
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, but some do b
25.
by sweetsocks21 5y ago
I would also note it seems to work very well on Android Firefox in desktop mode.
26.
by sweetsocks21 5y ago
If you go to about:support and scroll to the end of the graphics section you should see two entries: X11_EGL DMABUF and should say something like "available by default"/enabled or similar wording. Otherwise it'll either
27.
by sweetsocks21 5y ago
I don't see why it couldn't be cheap if the editor always enforced being structurally valid? Then AST transformations are as fast as modifying a tree. A comment node would just wrap the necessary items and could unwrap them in lin
28.
by sweetsocks21 5y ago
I can both see it and "unsee" it. If I'm actively doing something and using my eyes for things I don't notice. But if I'm just sitting listening to music or whatever I can notice the "fuzz" and noise. In l
29.
by sweetsocks21 5y ago
Would it be possible to implement the "recrusive combinators" like linrec, and binrec, from Joy in the language itself? I think Joy provides it as part of the implementation.
30.
by sweetsocks21 5y ago
Have you had a sleep study? I used to have tons of vivid lucid dreams during sleep apnea. Now I have much less detailed dreams and they're less frequent, after fixing my sleep apnea. It's a bit sad because the dreams were fun, but

More ›