crvdgc

12 ms·

91.
by crvdgc 2y ago
Thanks for the recommendation.
92.
by crvdgc 2y ago
From a Lisp-like introduction, to OOP (in Java), then to ACL2, and finally back to OOD. It's quite interesting in its own right, but now that functional programming is more and more adopted by the mainstream, perhaps there's no ne
93.
by crvdgc 2y ago
I made a similar transition (1 year Haskell, 2 year OCaml) and this pretty matches up my experience. Some more points: 1. Compiler speed: a clear win for OCaml 2. OCaml 's module system is more explicit (always qualified Map.find). Has
94.
by crvdgc 2y ago
An interpretation given the benefit of the doubt is, using Z-library might get the said student in trouble and therefore is not helpful overall.
95.
by crvdgc 2y ago
Perhaps the title should be "why do tech leaders believe all problems have technical fixes?" To that question, isn't the author analyzing too much into a salesman's pitch? They profit from selling technical solutions, so
96.
by crvdgc 2y ago
The change is to let people who you've blocked (Elon) to see your posts, rather than their posts. Otherwise, blocking would be useless.
97.
by crvdgc 2y ago
Months ago I got crypto ads through a similar approach, some fake new account @-ing hundreds of users in an issue and then the issue is removed. The net effect is that the ads become unblockable in your email box (It's from GitHub!). M
98.
by crvdgc 2y ago
Preprints are not required to be fully typeset and publishable. In some cases, literally "first.last@org" is used as a placeholder for email addresses (to be replaced in typesetting). This is more like a mismatch between "ful
99.
by crvdgc 2y ago
> Both suggest targeting "disgruntled employees" and those with bad performance reviews as potential insider threats – Forcepoint even mentions "internal activists" and those who had a "huge fight with the boss&q
100.
by crvdgc 2y ago
> The following nominees received enough votes to qualify for the final ballot, but were not eligible for specific reasons: I'm assuming the "specific reasons" are referring to https://news.ycombinator.com/
101.
The Potential for AI in Science and Mathematics – Terence Tao [video](youtube.com)
8 points by crvdgc 2y ago|0 comments
102.
by crvdgc 2y ago
> only if it implodes or offers substantial back compatibility so people can migrate. Yeah, at this point, any successor would have to be compatible with nixpkgs, which means to embed the nix language in some way. My best migration exper
103.
by crvdgc 2y ago
And billionaires already started lobbying for Harris to drop Khan, the FTC chair behind this Non-Compete Ban: https://truthout.org/articles/sanders-rebukes-billionaire-ef...
104.
by crvdgc 2y ago
Maybe I've read too many sci-fi novels, but I have to wonder how long before it finds a military use?
105.
by crvdgc 2y ago
I think the first two points are a result of private data (commit/fork/issue) being able to refer to public data without making the reference public. Say a private commit depends on a public commit C. Suppose in the public repo, t
106.
by crvdgc 2y ago
edit: from OP's comments, the library was already performing the coalescing. There's Discete Interval Encoding Tree (Diet). The basic idea is that, in a BST of intervals, if an insertion fills a hole of two intervals, they get mer
107.
by crvdgc 2y ago
Very interesting. Previously I've seen two similar ideas: 1. Reduce the test data by property-based tests' auto shrinking a là QuickCheck [1] 2. Reduce the change set to a codebase, a là delta debugging [2] The reducer is able to
108.
by crvdgc 2y ago
That's not visual programming, because you can't influence its behavior by manipulating the diagram. They are useful diagrams generated from code, but it's fundamentally a different thing.
109.
by crvdgc 2y ago
>> I used AI agents to send out nearly 1,000 personalized emails to developers with public blogs on GitHub. > Does this mean that I should private my GitHub-mirror to my personal blog, because this can become a common thing? Abusin
110.
by crvdgc 2y ago
Slightly off-topic, but it reminds me of the Tesla restriction around governmental buildings in China last year, citing the same set of reasons (data collection, national security, etc.). It seems that the restriction was lifted recently [1
111.
by crvdgc 2y ago
If you read the details in some of the "correct" answers[1], they are not actually correct. The model used an assumption that the width is equal to the thickness, which is not given in the problem. The width is cancelled out in th
112.
by crvdgc 2y ago
Marvin from The Hitchhikers' Guide to Galaxy .
113.
by crvdgc 2y ago
The blog post reminded me of a quote from Jonathan Blow as well. I forgot the exact wording, but basically he said that Rust makes you treat every state of the project to be production ready (e.g. free of memory safety bugs), but in game de
114.
by crvdgc 3y ago
You see funny little clips, I see more annoying customized ads, which play different lyrics for different people.
115.
by crvdgc 3y ago
For me, the best route is to start with Functional Programming in Lean [1]. Get familiar with dependent type theory and Lean's syntax. Then go back to Lean's source code [2]. Lean is self-hosted, so the language is written in Lean
116.
by crvdgc 3y ago
From the student's chat log, he thinks that upon retraction, the supervisor would be so unhappy that 1. His future doctoral program would be hard. 2. It would be impossible to graduate. 3. He would be killed by the supervisor. It'
117.
by crvdgc 3y ago
This is only partially true from my experience as a Chinese grew up in Northern China. I think a greater factor is deliberately causing pain or embarrassment. Like the initiation rites for fraternities or sororities, the pain is the point.
118.
by crvdgc 3y ago
Got hit by this. The checks on PR no longer work.
119.
by crvdgc 3y ago
For those who want to learn map, capital, and flag: https://github.com/anki-geo/ultimate-geography
120.
by crvdgc 3y ago
The delta debugging paper[1] pointed out that the bug (change set) must satisfy certain properties (Definition 6-8) for the divide and conquer technique to work. [1] Yesterday, my program worked. Today, it does not. Why? PDF link: https:&#

More ›