magmide
flexbugs
Our great sponsors
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.
magmide
-
Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?
https://github.com/magmide/magmide when
-
Kani 0.29.0 has been released!
How close are we to this https://github.com/magmide/magmide
- Announcing Magmide Month! (proof language for/using Rust)
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
- Make formal verification and provably correct software practical and mainstream
flexbugs
- Flexbugs
-
Use any web browser as GUI, with Zig in the back end and HTML5 in the front end
For old features yes, for new ones it depends.
https://github.com/philipwalton/flexbugs
-
I am not that excited about new CSS features
First, we read all the articles that showed us how to use it. Then we need to understand the axes. After that, we needed to wait for browser support. In the meantime, some of us brave enough used float fallbacks. On top of all that, we needed to deal with bugs. Those were the happy times, but they got us to this point in the frontend development phase.
-
What are some cross-browser quirks to watch out for nowadays?
To actually contribute, there's some flexbox bugs here which are still valid. https://github.com/philipwalton/flexbugs
-
My Good Friend Flexbox
If you find yourself in a situation when you have to solve a flexbox related layout bug for IE11, you might want to have a look at this collection of known issues and workarounds which helped me a great deal in the past.
-
Make formal verification and provably correct software practical and mainstream
For functional stuff, sure, but I don't think this is achievable within the UI domain. CSS rules have implementation details that change how you write it, for example there's a documented set of issues in flex implementations maintained here: https://github.com/philipwalton/flexbugs
It might be practical and possible to become mainstream for some domains, but it's doubtful for others.
- I hit a wall learning CSS Flexbox alignment and justification two weeks ago, so I wrote a web page to try to figure it out. I accidentally documented all the differences between how Chrome and Firefox interpret flexbox alignment and justification. IDK if this is useful or not, but here it is.
- Long live Flexbox
-
Debugging CSS: Some Tips and Tricks
For example, I've regularly ran into flexbox issues that are Safari-specific. I've discovered these by testing in other browsers and confirming that the issue only shows up in Safari. A good reference of Flexbox browser-specific bugs is Philip Walton's flexbugs repo.
What are some alternatives?
Rudra - Rust Memory Safety & Undefined Behavior Detection
browser-compat-data - This repository contains compatibility data for Web technologies as displayed on MDN
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
webui - Use any web browser as GUI, with your preferred language in the backend and HTML5 in the frontend, all in a lightweight portable lib.
line-combination-proofs
gnoga
z3 - The Z3 Theorem Prover
dafny - Dafny is a verification-aware programming language
practical-fm - A gently curated list of companies using verification formal methods in industry
webui-demo - WebUI standalone binary template
csharplang - The official repo for the design of the C# programming language
jspaint.exe - 🌂JS Paint ~~ as a cross-platform native desktop app. In other words, the "🎨 Classic MS Paint, REVIVED + ✨Extras".exe hehe