romac

8 ms·

31.
Fixing bug 109595 makes MySQL almost 4X faster on the Insert Benchmark(smalldatum.blogspot.com)
75 points by romac 3y ago|27 comments
32.
AST-grep – structural search/rewrite tool for many languages(ast-grep.github.io)
4 points by romac 3y ago|0 comments
33.
Pinch: A simple borrow-checked language built using LLVM's MLIR(github.com)
2 points by romac 3y ago|0 comments
34.
Filament: A Language for Fearless Hardware Design(filamenthdl.com)
3 points by romac 3y ago|0 comments
35.
by romac 3y ago
Great to hear, thanks!
36.
by romac 3y ago
Has anyone received that kit yet? What are your thoughts on it?
37.
Book: How Infrastructure Works, by Deb Chachra(penguinrandomhouse.com)
1 points by romac 3y ago|0 comments
38.
Smartykit, an Apple I replica hardware(smartykit.io)
1 points by romac 3y ago|3 comments
39.
Build your own BitTorrent(app.codecrafters.io)
457 points by romac 3y ago|128 comments
40.
Best AI vs. GeoGuessr Pro [video](youtube.com)
3 points by romac 3y ago|0 comments
41.
by romac 4y ago
I like how Rust does it with the `Ordering` type and associated combinators: https://doc.rust-lang.org/stable/std/cmp/enum.Ordering.html For two values `x` and `y` of the same type with fields `a` and `b`, th
42.
by romac 6y ago
Direct link to the Apalache model checker: https://apalache.informal.systems/
43.
by romac 6y ago
You nailed it, that's exactly what we use Z3 for in Apalache, a symbolic model checker for TLA+: https://apalache.informal.systems
44.
Simon Peyton Jones how GHC type inference engine works [video](youtube.com)
2 points by romac 7y ago|0 comments
45.
Windows 7 patch for Meltdown enabled arbitrary reads and writes in kernel memory(blog.frizk.net)
545 points by romac 9y ago|215 comments
46.
Googlers say “F*** you” to NSA, company encrypts internal network(arstechnica.com)
2 points by romac 13y ago|0 comments
47.
by romac 13y ago
"From October 1 [2013], an adult caught smoking cannabis in Switzerland can escape formal legal proceedings by simply paying a fine." http://www.swissinfo.ch/eng/swiss_news/Mixed_feelings_over_n...
48.
by romac 14y ago
There is indeed. Take a look at require.extensions: http://nodejs.org/api/globals.html#globals_require_extension...
49.
C & Objective-C programming quizz(eosgarden.com)
1 points by romac 14y ago|0 comments
50.
by romac 14y ago
Here is another interesting C/Objective-C Q&A: http://www.eosgarden.com/en/articles/objc-quizz/
51.
Protect Your Users' Privacy With DTSHashedContacts(github.com)
1 points by romac 15y ago|0 comments
52.
How FriendFeed uses MySQL to store schema-less data(backchannel.org)
2 points by romac 15y ago|0 comments
53.
by romac 15y ago
I would also have added http://codecs.ofmlabs.org which features hand-ported MP3 and ALAC decoders.
54.
Hire people who bug you (github.com)
2 points by romac 15y ago|0 comments
55.
by romac 15y ago
Reminds me of something :)
56.
by romac 15y ago
$ cat /dev/urandom | base64 -b 80 | lolcat
57.
by romac 15y ago
We just set another VPS up. Everything should work fin by now.
58.
by romac 15y ago
I just added the link song feature. The link above should now work ;) Enjoy!