helix278

7 ms·

31.
by helix278 2y ago
What does that mean in normal english? I'm not a native speaker, and my question about the other thread was genuine.
32.
by helix278 2y ago
What happened to the other thread about this news item?
33.
by helix278 3y ago
https://web.archive.org/web/20240309045142/https://www.newyo...
34.
by helix278 3y ago
They're attaching metadata to the videos which can be easily removed. Aren't there techniques to hash metadata into the content itself? I.e. such that removing the data would alter the image.
35.
by helix278 3y ago
There are warnings given by analyzers in some cases, but it's not exhaustive
36.
by helix278 3y ago
What is hypertapping and tapping?
37.
by helix278 3y ago
I've tried using it a bit. It works and it is fun to use, but there are quite a number of rough edges. I wouldn't use it in production yet, I don't think they are conservative there.
38.
by helix278 3y ago
Thanks for the link. It would seem to me that it's all a matter of how you define the word property. Since words are part of a natural language, there is no one given true definition, so one has to be chosen before starting an argument
39.
by helix278 3y ago
Can you briefly explain what the definition is of a 'property' and why 'existing' doesn't fit in it? The way I use the word property I don't see how it wouldn't apply to 'existing' or any other a
40.
by helix278 3y ago
Of course it's a property, but we shouldn't omit the assumption "assume an existing santa exists" when starting an argument. If you make that explicit, it becomes clearer that you assume the thing you're trying to p
41.
by helix278 3y ago
This post by the Koka-author is an update about what's currently being worked on: https://github.com/koka-lang/koka/discussions/339
42.
by helix278 3y ago
This paper is an interesting read, and explains how Koka is fast: https://www.microsoft.com/en-us/research/uploads/prod/2023/0... . In short: they use a clever algorithm to transform functional code
43.
Koka: A fast functional programming language with algebraic effects(koka-lang.github.io)
2 points by helix278 3y ago|2 comments
44.
by helix278 3y ago
To elaborate on the controlled mutation theory, here is a paper they wrote about FIP (Fully In-Place) programming https://www.microsoft.com/en-us/research/uploads/prod/2023/0...
45.
by helix278 3y ago
That does exist, it's called Koka: https://koka-lang.github.io/koka/doc/book.html
46.
by helix278 3y ago
How would you configure a text editor or terminal to use different fonts based on syntax (e.g. neon for code, argon for comments)?
47.
by helix278 3y ago
That is the reverse of what summer time does in all countries. Summer time makes the evenings longer while postponing sunrise. The reasoning is that everyone is still in bed at 5 AM, so might as well postpone sunrise to 6 AM and getting tha
48.
by helix278 3y ago
For people wondering what this is about, there is a blog post from the author explaining the "StahlDream": https://remexre.com/stahl/dream
49.
by helix278 3y ago
Impressive. Does it also work for VSCodeVim?
50.
by helix278 3y ago
I am/was not aware of GNU Stow. That being said, I don't see why I'd need a tool to create symlinks.
51.
by helix278 3y ago
This course was posted directly yesterday: https://news.ycombinator.com/item?id=37672852
52.
by helix278 3y ago
I'm working through a similar course with friends. We take two hours a week, and ocasionally do homework. We're about halfway since we started early this year. I feel its fine, no need to rush. The upside of taking it slow is that
53.
by helix278 3y ago
What is the idea of this thread?
54.
by helix278 3y ago
I use a script to symlink all dotfiles from a git repository to ~/
55.
by helix278 3y ago
Note taking can help to offload your brain.
56.
by helix278 3y ago
> Be kind. Don't be snarky. Converse curiously; don't cross-examine. Edit out swipes. What are swipes?
57.
by helix278 3y ago
I use it to generate repeating code patterns (like parse this list of numbers into this sum type). Or generate an FFI for something. Or ask general questions about things related to programming, which gives me directions to look further. Or
58.
by helix278 3y ago
I just use a plain git repository with markdown files, structured hierarchically. Total freedom of how to organize things, and I can work with the tools I like (git/terminal text editor).