Raphael Darley

Software Engineer and Computer Science and Philosophy student at Oxford

[Raphael Darley @RaphaelDarley]

Also, can I have Linear types please 🙏

[Raphael Darley @RaphaelDarley]

That feeling when you're fighting the borrow checker, and then you realise the thing you were trying to do is subtly unsound.

[Raphael Darley @RaphaelDarley]

@dominikkoch @xav_db On the migrations! Though this is just the first step, there'll be more migration features coming, so watch this space

[Raphael Darley @RaphaelDarley]

I've been wanting to improve schema management for years, and this is the first step. You can make simple scheme changes lazily now, but we've got lots more exciting things in the pipeline!

[HelixDB @helixdb]

Schema migrations suck. But we’re making them easier!

New feature shipped on Saturday ✅

Just use Helix.

[Raphael Darley @RaphaelDarley]

Me: I love Rust's guarantees from the borrow checker
Also me:

[Raphael Darley @RaphaelDarley]

@zack_overflow Unlike Zig, Rust is about proving certain properties of code, and allowing library authors to also make guarantees, I can't know that my Arc is going to behave correctly if the consumer could modify the reference count without unsafe.

[Raphael Darley @RaphaelDarley]

@zack_overflow I do think this makes sense broadly for zig, and because of the way types are generated its not obvious to me how visibility modifiers would work, eg. the type is defined in user code by a function from the library, and zig's ideology is about giving you tools to make safe code.

[Raphael Darley @RaphaelDarley]

@WindsorNguyen @dedaluslabs @joerupertus That is an epithet commonly and accurately given to me

[Raphael Darley @RaphaelDarley]

A few days ago I participated in YC's first 24hour hackathon!
Thank you to @dedaluslabs for putting it on.
My project is https://t.co/jlW4Y0SOWr, a tool that analyses footage with a script to create annotated clips and a rough cut. I'm hoping to keep developing it so check it out

[Raphael Darley @RaphaelDarley]

@puttasync @dedaluslabs What else do you expect 🦀

[Raphael Darley @RaphaelDarley]

@cszaaack @ozently @tominmotion @profleonn And the nice thing about rust is that if you want to do some more optimisation (don't allocate strings), its really easy to make a nice abstraction for it.

[Raphael Darley @RaphaelDarley]

@ThePrimeagen Isn't it a bit nihilistic to say the day you die is one of the best in your life?

[Raphael Darley @RaphaelDarley]

@helixdb What about a BEAM language like Erlang or Gleam?

[Raphael Darley @RaphaelDarley]

@xav_db @MontysMaultier I would say Arc<Mutex> isn't necessarily bad, premature optimisation etc. but if you want to go beyond that try to really understand what's going on I'd recommend: Async Rust by @maxwellflitton, Rust Atomics and Locks by Maria Boss, and Jon Gjengset's channel

[Raphael Darley @RaphaelDarley]

@proffleon Don't you mean std::sync::Arc?

[Raphael Darley @RaphaelDarley]

Exams have delayed me from using them until now, but can I just say that if let chaining is beautiful!

[Raphael Darley @RaphaelDarley]

@xav_db @proffleon Or... We could just write our own

[Raphael Darley @RaphaelDarley]

Usually rust projects are just statically linked, but you can pull some cool tricks with dynamic linking, stay tuned (@helixdb )

[Raphael Darley @RaphaelDarley]

@xav_db @proffleon @gwuwong @puttasync @cachecrab From what I've seen, you make really cool things. Good engineers want to work on interesting projects so do that and put it out there (being open source helps). The alternative is to find other cool projects and see who's making them

[Raphael Darley @RaphaelDarley]

SurrealDB 2.0 is finally out with many amazing new features. Among them I have written the experimental GraphQL integration, a new version of the node engine for the new JS library, a C SDK, which is currently in beta, a major security fix, and many other features and fixes.

[SurrealDB @SurrealDB]

Introducing SurrealDB 2.0, where innovation meets performance! We’ve added powerful features that focus on stability, performance, security, and innovative data management capabilities. Thank you to our community for inspiring us to keep innovating. 👉 https://t.co/aWgo6a7iPF