madsim
name-needed
madsim | name-needed | |
---|---|---|
5 | 7 | |
586 | 96 | |
1.9% | - | |
7.5 | 7.6 | |
12 days ago | about 1 month ago | |
Rust | Rust | |
Apache License 2.0 | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
madsim
-
On Implementation of Distributed Protocols
Being able to control nondeterminism is particularly useful for testing and debugging. This allows creating reproducible test environments, as well as discrete-event simulation for faster-than-real-time simulation of time delays. For example, Cardano uses a simulation environment for the IO monad that closely follows core Haskell packages; Sui has a simulator based on madsim that provides an API-compatible replacement for the Tokio runtime and intercepts various POSIX API calls in order to enforce determinism. Both allow running the same code in production as in the simulator for testing.
- Is Something Bugging You?
- Madsim: Magical Deterministic Simulator for distributed systems in Rust
- madsim: Magical Deterministic Simulator for distributed systems in Rust
-
Announcing Turmoil, a framework for testing distributed systems
How Turmoil different from madsim? Is Turmoil a successor of madsim?
name-needed
- Ask HN: Could you show your personal blog here?
-
Ask HN: How do you keep track of your to-dos? longer-term projects?
For my long term side project I just dump ideas into a barely organised backlog.md [^1]. After finishing a feature or taking a few months away, I normally dive back in by browsing this and choosing the next milestone.
It's worked well for a couple of years, and helps me keep the long term goals in mind.
[^1] https://github.com/DomWilliams0/name-needed/blob/develop/.pl...
-
Ask HN: Share Your Personal Site
https://domwillia.ms
It uses a custom static site generator because I needed to procrastinate somehow before starting the first post... Now it's nicely stable and punishing new posts is quick and easy
-
Ask HN: Who wants to be hired? (March 2022)
Location: Tallinn, Estonia (UK citizen intending to move there)
Remote: Willing to work partly remote but I require a sponsored visa to work in Estonia
Willing to relocate: Yes, to Tallinn :^)
Technologies: Rust, C, Python preferably, but C++ too. I enjoy low-level work focused on performance; see my toy OS, JVM implementation and game engine on my github profile.
Résumé/CV: https://domwillia.ms | https://github.com/DomWilliams0 | please reach out via email for my résumé
Email: [email protected]
-
Ask HN: What are some tools / libraries you built yourself?
I've written some pretty low-level OpenGL bindings in Rust, because the existing solutions are either too high level or over the top complexity wise.
At the time I only had experience with the OpenGL C api and didn't want to learn a totally different Rust abstraction or mix C/C++ libraries into a pure Rust project.
https://github.com/DomWilliams0/name-needed/tree/develop/ren...
-
Ask HN: What (side-)project are you working on?
I've been alternating between two long term Rust projects, which seems to work in keeping the motivation up for both!
A Dwarf Fortress-like game (and engine): https://github.com/DomWilliams0/name-needed
A x64 operating system: https://github.com/DomWilliams0/DomeOS
-
Ask HN: What is your current side-project?
A Dwarf Fortress-like game (and engine) in Rust: https://github.com/DomWilliams0/name-needed
Ambitious to be sure, but after a year and a half I'm still consistently working on it, and still enjoying it!