gavinray

66 ms·

871.
by gavinray 4y ago
I didn't get it any of the times I read it either FWIW, it just randomly clicked one day for me while coding and I connected it back to the article I'm not the smartest tool in the shed, if I could dumb it down a little (sorry Ale
872.
by gavinray 4y ago
Typed ASM sounds neat, I googled for it but what references I found were quite dated. Does anyone know of a working implementation you can play with today?
873.
by gavinray 4y ago
Class invariants are fundamental to Functional Programming too They are the core principle our of much-beloved Lexi Lambda's "Parse, Don't Validate" approach. One example might be a dataclass called "NonEmptyAlphanu
874.
by gavinray 4y ago
No, I still stand by my opinion that I don't find disaggregated storage controversial But if you're going to take an opinion on databases from someone, jandrewrogers is probably a good person to take them from. Me, on the other ha
875.
by gavinray 4y ago
The homework solutions are submitted to a platform called "Gradescope", see this tweet and the tweets above it in the thread for more details: https://twitter.com/andy_pavlo/status/1564305764730167303 Al
876.
by gavinray 4y ago
I didn't realize who I was talking to, just checked the username Would encourage other folks to do the same/read post history
877.
by gavinray 4y ago
Can we also start a general "Andy Pavlo" appreciation comment chain? Please comment below if Andy has in any way positively improved your life or helped you further your education/career. I can start: - Early in 2022, I decid
878.
by gavinray 4y ago
Scylla also uses a shared-nothing sharding approach, they have an open-source "asynchronous I/O engine" toolkit that is used inside of ScyllaDB called Seastar They have some good reading on this approach in the Seastar docs i
879.
by gavinray 4y ago
My mistake, I fully eat crow, and this is what I get for not reading the thing I argued against!
880.
by gavinray 4y ago
> The separation of storage and compute is controversial I don't think it's a controversial topic, it's an emerging trend. See for example this slide from the recent RocksDB meetup on their vision for the next 3 ye
881.
by gavinray 4y ago
Supabase didn't do Postgres WASM first, wasmer did FYI (3 years ago) https://github.com/wasmerio/wasmer-postgres
882.
by gavinray 4y ago
Really enjoyed the talk from your engineer Heikki at Andy's CMU "Databases!" seminar series earlier this year, great stuff =) https://www.youtube.com/watch?v=rES0yzeERns Also, it's been neat to have most
883.
by gavinray 4y ago
If you want a tl;dr It's a systems programming language that syntactically feels similar to Go and Jonathan Blow's unreleased language, Jai. It is meant to be a C replacement (or, on the same level as C), similar to Zig.
884.
by gavinray 4y ago
As someone who often implements their own authentication for backend services, I follow the advice to use scrypt or Argon2. Argon2 is a bit of a PITA though because it needs to be re-hashed sometimes.
885.
Databases in 2022: A Year in Review(ottertune.com)
365 points by gavinray 4y ago|150 comments
886.
by gavinray 4y ago
Awesome, thanks for the reply! Looking forward to seeing those hit core hopefully!
887.
by gavinray 4y ago
I'm 5'6, my wife is 5'8, and the first girl I ever went out on a date with was 5'10. I won't say "It's all in your head", because it's not. Attractiveness is a real and very objective thing we ca
888.
by gavinray 4y ago
I recently read about this on the Odin monthly news, it was super impressive! In the section of the interview where you talk about the difficulties you had, you discuss the challenges of making Odin work properly on WASM, and how you needed
889.
by gavinray 4y ago
I can field questions folks might have on DataDraw. I'm not Bill, but I wrote the docs PR that recently overhauled the Rune README to highlight a lot of this interesting info about its use of the DD tool. Another neat thing about DD --
890.
by gavinray 4y ago
The inspiration was taken directly from D, I credit as much in the README =) https://github.com/GavinRay97/gcc-invariant-plugin#gcc-desig... > Inspired wholly by the D Programming Language's invariant featu
891.
by gavinray 4y ago
> This is my first time playing with emscripten and sharing buffers between wasm and javascript is awkward. You are using "SharedArrayBuffer", I assume?
892.
by gavinray 4y ago
Do you use the Cargo "contracts" for Design-by-Contract style invariants that plugs into Facebook's MIRAI prover thing? I always thought it this was super neat: https://crates.io/crates/contracts https:
893.
by gavinray 4y ago
I prototyped much of this code using ChatGPT and Copilot. I won't go so far as to say, "I couldn't have done it without you, ma!", but it certainly would have taken me much longer. In terms of learning the actual API, th
894.
by gavinray 4y ago
Invariants + property-tests/fuzz-tests (anything that does random generation/permutation) is a nuclear weapon Great stuff, thank you for sharing =D
895.
by gavinray 4y ago
They're suggesting you write the output of the codegen shown in the image here: https://gavinray97.github.io/static/images/ghidra-check-inva... Yeah you totally could, and before writing this plugin it's
896.
by gavinray 4y ago
Yeah sure, there's nothing preventing you from using "constexpr" so it's compile-time evaluated and inlined: (Please no more macros, it's 202- I mean, 2023!) static constexpr bool DEBUG = true; [[demo::invari
897.
by gavinray 4y ago
Contracts and Invariants don't replace unit tests, they're complementary This is the big mix up with DbC in general I think. Think of it more like sanity-tests and assertions that help ensure your program isn't in some haywir
898.
by gavinray 4y ago
> Doesn't this being a gcc plugin make it inherently unattractive? I'm the author, and even I think so. I'm more of an LLVM fan myself (though I can't not mention David Malcom's work on the GCC Static Ana
899.
by gavinray 4y ago
> I thought "contracts" were dropped out of C++20.[1] You're right, but (I'm not an authority, someone from /r/cpp would be better to speak here probably) I think after the Kona meeting recently the
900.
Adding design-by-contract conditions to C++ via a GCC plugin(gavinray97.github.io)
128 points by gavinray 4y ago|71 comments

More ›