@0xnagu

1 Followers
53 Following
30 Posts
Father. Husband. Thinker. (https://thogiti.github.io/)
ZKPZero Knowledge Proofs
AI/MLMachine Learning
ZKMLZero Knowledge Machine Learning
AnalyticsData Engineering

A collection of awesome Rust Machine Learning / Deep Learning repositories

https://github.com/dhilipsiva/awesome-rust-ml

Discussions: https://discu.eu/q/https://github.com/dhilipsiva/awesome-rust-ml

#programming #rustlang

GitHub - dhilipsiva/awesome-rust-ml: Awesome Machine Learning / Deep Learning Rust repositories

Awesome Machine Learning / Deep Learning Rust repositories - dhilipsiva/awesome-rust-ml

GitHub
It's amazing how much of technical expertise boils down to "knowing the quirks of things," which always and only comes with time.

There's a bunch of bigshots on YouTube who pontificate about string theory, the mysteries of quantum mechanics, and other profound issues in physics. But you can't really learn much physics from most of them. It's just chat.

Angela Collier here is so much better! So much more humble - and so much more fun if you really care about physics. I actually *learned* something: how to estimate the distance of a pulsar!

When pulses of radio waves from a pulsar move through space, they get smeared out as they go, and you can use this to guess how far away the pulsar is. Why? Because waves of lower frequency move a bit slower. Why? Because they interact more with the ionized gas in the Milky Way.

But how much slower, and why? That's what she explains - and actually this part, how radio waves interact with ionized gas, is what will stick with me.

This is the first episode of a series she calls Coffee and The Problem:

"We have coffee and I solve a problem, and the idea is that it's like a cozy weekend morning and you pull out your notebook and you solve the problem right along with me. I will give you time to pause and solve it yourself if you want and compare your answer with mine if you want. That's the game! That's the fun."

This time she's solving a problem about estimating the distance of pulsar. The problem just hands you a formula. But she's good. She doesn't just use the formula, she shows how to derive it from more fundamental principles! And also, at the end, she raises the question I was worrying about all along: how reliable is this method in practice? So she's not blindly solving a problem: she's thinking about physics.

https://www.youtube.com/watch?v=iox8Z-NGGS8

pulsar distance: one weird trick

YouTube

[new blog post]

Transaction Processing Monitors (Chapter 5. Transaction processing book)

https://muratbuffalo.blogspot.com/2024/03/transaction-processing-monitors-chapter.html

Transaction Processing Monitors (Chapter 5. Transaction processing book)

"Transaction Processing Monitors" is chapter 5 as part of our transaction processing book reading journey.  This chapter had been the hardes...

Using Stateright, a Rust model checker, to check correctness of a Raft implementation (post by @lrda) https://liangrunda.com/posts/raft-lite-model-check/
Model Checking: Use Stateright to Formally Verify Raft Lite | Liangrun Da's website

This post introduces how I use stateright to formally verify Raft Lite, a rust implementation of Raft consensus algorithm.

Liangrun Da's website

FHE.org Conference 2024—Submission Deadline!

Submission deadline is 23:59 Anywhere on Earth time on Nov 22

https://fhe.org/conferences/conference-2024/call-for-presentations

Submit your abstract (2-4 pages) for talks, posters, or demos. No published proceedings, so your work can also shine elsewhere!

Fully Homomorphic Encryption

We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.

Fully Homomorphic Encryption

Exciting lightning talks coming up this afternoon. Don't miss out! ⚡️

RustLab
14:20
Nick Vidal - Confidential Computing

#RustLab2023 #LightningTalks

Generative AI for beginners (A 12 Lesson course teaching everything you need to know to start building Generative AI applications). https://github.com/microsoft/generative-ai-for-beginners #GenerativeAI
GitHub - microsoft/generative-ai-for-beginners: 21 Lessons, Get Started Building with Generative AI đź”— https://microsoft.github.io/generative-ai-for-beginners/

21 Lessons, Get Started Building with Generative AI đź”— https://microsoft.github.io/generative-ai-for-beginners/ - microsoft/generative-ai-for-beginners

GitHub

Learn how different people approach learning #rustlang and what Liv learned in years of teaching Rust in their talk at #eurorust23, “Lessons Learned from Teaching Rust”! 🧑‍🏫

➡️ Check it out: https://youtu.be/WmTBZhV4Lyc

Lessons Learned from Teaching Rust - Liv - EuroRust 2023

YouTube
Interesting description of using #tokio for a packet inspector and analyser by #JukkaTaimisto at @rustlab.