Cameron Bytheway

[ldomotors @LDOmotors]

BOO! 👻 Did we scare you?
No worries — we’re giving treats, not tricks! 🍭
Join our Halloween Giveaway and win your prize! 🎁
How to enter:
🕷️ Follow one of our resellers @Fabreeko_Hector @West3DPrinting @3djake_official @KB3D_Online @levendigs @MatterHackers
🕷️ Follow us or repost or comment

Winners revealed on 3th November!
Let the spooky fun begin~ 🦇
#Halloween #GiveawayEvent #SpookySeason

[Cameron Bytheway @CameronBytheway]

@elonmusk @DOGE is getting too close to their grift

[Cameron Bytheway @CameronBytheway]

I had a lot of fun making this on my winter break
https://t.co/nikh2dp4dj

[Cameron Bytheway @CameronBytheway]

@bbassett0 There's also nix https://t.co/SddKUhJ6bh

[Cameron Bytheway @CameronBytheway]

@bbassett0 No doubt in my mind

[Adrian Palacios @ukonat]

Our latest post in the Kani blog is written by one of our users! Read it to learn about Hifitime, a library for scientifically accurate time management, and how Christopher uses Kani to ensure its correctness 🦀🕙
https://t.co/3xxwDDjq9u

[Cameron Bytheway @CameronBytheway]

@JERRYHARGR0VE @elonmusk You could move to Utah and get yourself some cheap gigabit fiber

[Adrian Palacios @ukonat]

Want to make sure whether certain lines in your code are reachable or that certain cases are covered in your Kani harness? The new kani::cover macro can help you do that. Learn more about its applications in our latest blog post! ↪️🦀
https://t.co/9xZzFNs8Gf

[Adrian Palacios @ukonat]

We are happy to announce the Kani GitHub Action! Our latest post shows how to easily verify your Rust code in CI with Kani and GitHub Actions 🦀✅
https://t.co/BhNe6x4Edo

[Cameron Bytheway @CameronBytheway]

@MarcJBrooker We also use Monte Carlo simulations to explore the bounds of execution
https://t.co/ib6flUIYrr

In the end it generates a report with a heatmap and seeds to reproduce each individual run: https://t.co/fs1RWNGYBa

[Cameron Bytheway @CameronBytheway]

@MarcJBrooker We've been using a similar technique in s2n-quic with a lot of success
https://t.co/0B5kGxHDPC

[Cameron Bytheway @CameronBytheway]

I'm really happy with how this worked out! Write a bolero harness, get a formal proof for free. Check out s2n-quic for some examples of how we use it
https://t.co/2DZVPuVx1F

[Adrian Palacios @ukonat]

Bolero is a property-testing framework that allows users to test Rust code with multiple fuzzing engines. Interesting, right? In our latest post, we discuss the integration of Kani, our open-source formal verification tool, in the Bolero framework 🦀🛠️
https://t.co/fAJJrxp1VY

[Cameron Bytheway @CameronBytheway]

Really excited to see a multi-year project get released! It required tons of collaboration between several awesome teams to make it happen.

[Amazon CloudFront @cloudfront]

Amazon CloudFront now supports HTTP/3. HTTP/3 offers several benefits over previous HTTP versions, including faster response times and enhanced security. You can enable HTTP/3 for all new and existing distributions using the CloudFront console or API. https://t.co/WYUxgY0VPF

[Cameron Bytheway @CameronBytheway]

I spoke about QUIC and some cool stuff we've been working on in the s2n-quic implementation at re:Inforce.
https://t.co/aq7oqyMMlc

[AWS Security @AWSSecurityInfo]

Want to enable post-quantum key exchange in QUIC with the s2n-quic library? #AWS has been investigating the use of quantum-safe algorithms for key exchange in the TLS protocol. The following blog post will bring you up to speed.

Read more 👉 https://t.co/ORYjhnV9Kh

[Cameron Bytheway @CameronBytheway]

@bashik7 Do you have an example of it being over-engineered? We've tried to maintain a balance of correctness, performance, and readability but we're always looking to improve 🙂

[Cameron Bytheway @CameronBytheway]

@programmingart @nsd @_neko_suki_ Should be pretty straightforward to add. Just need to implement an event subscriber: https://t.co/XFX62fKcse. Hoping to get some time to work on it 😊

[Cameron Bytheway @CameronBytheway]

@normanmaurer @colmmacc I spoke a bit to the reasoning on the Rust subreddit: https://t.co/I1KfdqAXBH
https://t.co/EzAZZiI4r5

[Colm MacCárthaigh @colmmacc]

Open source QUIC in Rust, from a team that focuses on a secure, verified, tight, performant implementation. We're already seeing dividends for our customers and we've got even bigger plans!