crvdgc

14 ms·

121.
by crvdgc 3y ago
...which is the twitter user's reading into that line. The user acknowledged that File 4 (source of the picture) [1] doesn't mention Nightshade and that File 5 [2] contains it. As File 5 is not searchable, I skimmed through it and
122.
by crvdgc 3y ago
I'm sure you know car and cdr are named for historic reasons and they are not featured in ML family languages as listed above. But coming back to the name of "sum type", I find it very potent to be used with "product typ
123.
by crvdgc 3y ago
I have been using an extension [1] to remove YouTube suggestions (a la Unhook, but open source). It has this feature as well, but sometimes I get startled from the sudden appearance of mid-video ads. [1]: https://github.com/
124.
by crvdgc 3y ago
Interesting research. However, in practical terms, I wouldn't count Kindle as a form of digital availability, unless the book is composed of pure text. Browsing figures or tables is usually a very bad experience. The figures are usuall
125.
by crvdgc 3y ago
> I sent a message to my friend, "Cracked it at last. It was the letter 'E'." Enum types have saved me so many "typo"-related errors. Even in this case, it's not exactly a typo, but the encoding process
126.
by crvdgc 3y ago
I like how people give many reasons about why 32 hour work weeks is a bad idea, but are somehow settled on the magical 40 hour agreement. Even if all of those are valid, the very same reasons can be applied to an argument for 48 hour work w
127.
by crvdgc 3y ago
> Also, it must be ensured that user data is accessible to all competitors. This doesn't sound like a good idea. The collection of user data and the underlying advertising business model is a problem to be removed, not a playing fie
128.
by crvdgc 3y ago
Maybe slightly missing the main point here, but I find documenting your compromise is a good trade-off (TODO: BF later). Make a note in the comment or PR, create a ticket for it, but leave it for another day. It takes little effort. Writin
129.
by crvdgc 3y ago
Not sure about the post's article one, but yes on the ONS calculator. Basically one enters their expenditure by categories and it will calculate the overall inflation rate. Though personally I wasn't impacted by these two categori
130.
by crvdgc 3y ago
It's not as applicative in this case, at least for the UK. As a software developer based in the UK, the inflation mentioned in the article is felt very deeply by myself. The article cited 7.2% as the price inflation rate, which is clos
131.
by crvdgc 3y ago
True to a certain extent. Being good at execution is both a blessing and a curse. Nowadays, it's just a matter of time before a product's anti-features catch up with its features. Then only implementing the features would get you
132.
by crvdgc 3y ago
Tried it once. Its promise is to take the dataset's seasonal trend into account, which makes sense for Facebook's original use case. We ran it on such a dataset and found out that directly using https://github.com/
133.
by crvdgc 3y ago
This sounds like a false dichotomy. It's possible to opt-in for a "dev" mode which gives the user more choice, but not implemented because of the potential profit loss. Imagine arguing against press freedom because a relative
134.
by crvdgc 3y ago
Don't know about ASP.NET, but one of the supported languages is assembly, so I'd presume C++ and Rust can easily add a wrapper around that. > Binary-compiled languages in general: using the embedded libunit library. From https
135.
by crvdgc 3y ago
There is a short one[1] from Functional Programming in Lean, which is itself an introduction to Lean 4 from the programming's perspective. Highly recommended if you're interested in dependent types. [1]: https://leanpro
136.
by crvdgc 3y ago
> recursion is extremely rare in shipped code but extremely common in interviews Though not quite important to the main theme of the article, I wonder what area the author is referring to.
137.
by crvdgc 3y ago
It's an important problem and people in formal verification are aware of it. One example of tackling this is that the Lean LTE team accompanies the proof with "several files corresponding to the main players in the statement"
138.
by crvdgc 3y ago
The implicit contract of GitHub and the developer community is that they host open source projects for free, provide a feature-rich and professional interface, in exchange for developers to push their enterprise subscription at the develope
139.
by crvdgc 3y ago
This topic among others was covered by a Computer Architecture class back in my university. That class is mandatory for all CS students. Though I have to add that it's never been brought up after I started to work.
140.
by crvdgc 3y ago
Real World Haskell has this[1]. Every paragraph and code sample has a comment section that you can unfold. [1]: https://book.realworldhaskell.org/read/
141.
by crvdgc 3y ago
Kafkaesque
142.
by crvdgc 3y ago
Yes, Tim-Berners Lee led the Solid project[1], which reverses the client/server identity and data model. The user will store their own data and the service provider can only access it under the policy set by the user. The promise is th
143.
by crvdgc 3y ago
Thanks for sharing the use case. However using it to defend the entire DMCA sounds like a false dichotomy. Surely there's a way to make rules only for those "awesome" uses, so that they don't have to be "clever&quot
144.
by crvdgc 3y ago
In rare cases where I really need to remember something, I make an Anki card instead.
145.
by crvdgc 3y ago
It's in the reference list.
146.
by crvdgc 3y ago
> Do they have to pay more license fees to include English subtitles? Yes. I asked the customer service in Japan and they told me that subtitles are licensed separately.
147.
by crvdgc 3y ago
The Chinese footnote: > 未经本人电邮及书面授权，不得复制中文译名 states that one is not allowed to copy the Chinese translated names without an email and written consent of the author. It's the first time I see an attempt to copyright translated names,
148.
by crvdgc 4y ago
At least in Haskell this can be expressed as type classes. For each condition, you can create a (possibly empty) type class to guarantee that the condition is met. Then the call site type class constraints will be checked at compile time.
149.
by crvdgc 4y ago
From the article: > On Thursday, a university student named Marvin von Hagen independently confirmed that the list of prompts Liu obtained was not a hallucination by obtaining it through a different prompt injection method: by posing as
150.
by crvdgc 4y ago
I used to write presentation slides in Markdown using pandoc+beamer. Basic contents are written in plain Markdown, but you can always resort to LaTeX beamer for advanced features. In the end, it compiles to a PDF file. A blog post: https:&

More ›