mvelbaum

9 ms·

31.
Coq will be renamed into 'The Rocq Prover'(coq.inria.fr)
61 points by mvelbaum 2y ago|64 comments
32.
Nocc: A distributed C++ compiler: like distcc, but faster(github.com)
3 points by mvelbaum 2y ago|0 comments
33.
by mvelbaum 2y ago
While we're on this topic: 1. Can anyone recommend a good file layout/organization for a polyglot monorepo that contains Python, C++, and JS? 2. Does the build system need to be use something like Buck/Bazel? 3. How do you us
34.
by mvelbaum 2y ago
yes
35.
by mvelbaum 2y ago
Why would you start a project in C++ in 2024, especially a web browser?
36.
by mvelbaum 2y ago
cut veggies should go in the fridge
37.
by mvelbaum 2y ago
For some of them, yes. See the cheatsheet: https://postharvest.ucdavis.edu/sites/g/files/dgvnsk12711/fi...
38.
Don't store your cucumbers in the fridge (2012)(rootsimple.com)
107 points by mvelbaum 2y ago|89 comments
39.
Opinion: Rationalizing Latency Competition in High-Frequency Trading(blog.headlandstech.com)
2 points by mvelbaum 2y ago|1 comments
40.
by mvelbaum 2y ago
Maybe this isn't a good idea? https://twitter.com/hackerfantastic/status/17854955875146385...
41.
by mvelbaum 2y ago
thought as much.
42.
by mvelbaum 2y ago
Marc Andreesen had a brilliant post related to this: https://twitter.com/pmarca/status/1780450134188585045
43.
by mvelbaum 3y ago
The irony is lost on this one.
44.
by mvelbaum 3y ago
Yeah, it's pretty pathetic, honestly. Overlooked? I've just looked at a few videos of hers playing and she's pretty bad. Not sure what the point here is, there were a bunch of very good female leads in a variety of genres, bu
45.
by mvelbaum 3y ago
Are you talking about George Soros here? It's always astonishing to see ignorance and delusion so fully and grotesquely consummated in the mind of a person.
46.
by mvelbaum 3y ago
You are part of the problem then.
47.
by mvelbaum 3y ago
Denis Bakhvalov has some great resources for this: 1. His free course: https://products.easyperf.net/perf-ninja 2. His free book: https://book.easyperf.net/perf_book (the 2nd edition is being worked on rig
48.
by mvelbaum 3y ago
Can anyone suggest a good non-sampling profiler for low latency apps? The only one I can think of is https://github.com/morganstanley/Xpedite but it's not even clear that it is being maintained anymore.
49.
by mvelbaum 3y ago
Is there an OSS model that can do OCR on the level of Google Cloud Vision or Amazon Textract?
50.
Substantial Performance Regression in Python 3.12(github.com)
2 points by mvelbaum 3y ago|0 comments
51.
by mvelbaum 3y ago
thanks! :)
52.
by mvelbaum 3y ago
This is what I get: 20 0 obj << /R 4 /O (...) /U (...) /P -1548 /Length 128 /V 4 /EncryptMetadata true /Filter /Standard /St
53.
by mvelbaum 3y ago
I tried the free tools already -- none seemed to work :(
54.
by mvelbaum 3y ago
Hmm, I actually have an old password protected PDF (pass is prolly around ~10 chars, letters+digits) whose password I forgot. Are there legit services offering brute-force cracking? How long would it take, and how much it would it cost?
55.
by mvelbaum 3y ago
> Custom Columns (if thats what you mean!) are on the todo list though — I have a couple in my library, one for tracking Read state and another for tracking word count. Yeah, I have a bunch of them, one is "Read Status" (read,
56.
by mvelbaum 3y ago
Does this support custom metadata? For example I have a custom field I call "Folders" to hierarchically label/organize my eBooks. Would be nice to be able to browse through that or search under a specific label/folder.
57.
by mvelbaum 3y ago
Does this allow to run a long running task in the background so that a user can close & reopen the tab and continue seeing all the output that has been produced thus far? This is currently being worked on in Jupyter: https://
58.
by mvelbaum 3y ago
I used to use a flatbed scanner back in my undergrad, was quite a painful experience :). Nowadays I just use https://1dollarscan.com . Turns out to be rather expensive, but still beats all that manual work.
59.
by mvelbaum 3y ago
Thanks again! :)
60.
by mvelbaum 3y ago
Very cool - thank you very much! > My take is that ML can soundly defeat the "easy" and more static obfuscation types (encodings, control flow flattening, splitting functions). It's low hanging fruit, and it's what I

More ›