liqvid
compiler-explorer
liqvid | compiler-explorer | |
---|---|---|
40 | 191 | |
742 | 15,238 | |
0.8% | 1.8% | |
6.6 | 9.9 | |
29 days ago | 7 days ago | |
TypeScript | TypeScript | |
MIT License | BSD 2-clause "Simplified" License |
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.
liqvid
-
Personal coding projects
Liqvid, the animation library I developed to make those videos
-
Scientific animation tips
If you'll excuse the self-promotion, my library Liqvid can be used in conjunction with these to create full-length videos that your viewers can interact with in real-time. For instance, I taught a full vector calculus course using it.
-
The pandemic has change how I present Mathematics
Really cool! You might be interested in my software Liqvid for making interactive videos. I created it specifically for my math videos. I haven't used it for talks yet, but I have used it for teaching: MATH 180 Vector Calculus.
-
How good are you at coding?
Web development has been my main hobby for the past 17 years so pretty good at that stuff, cf Liqvid and Epiplexis. Abstract math helps with designing libraries, being able to think at multiple levels of abstraction. Currently looking to leave math academia for ed tech.
-
What long-ass proofs of the past are short today?
https://liqvidjs.org/ :)
-
Cubecubed can now dynamically write LaTeX string and trace curves! (Cubecubed is the project aim to math visualization and inspired my 3Blue1Brown's Manim). You can contribute to it if you like, I would be really appreciated.
You should take a look at Liqvid, a library I built for making interactive videos. It has lots of math features, e.g. see https://www.math.brown.edu/ysulyma/f21-math180/ for a full vector calculus course taught using this tool. When I get a chance I'll take a look at embedding Cubecubed within it.
-
My 3d interactive video lectㅤures for vecㅤtor calcㅤulus from this semㅤester
The interactive video framework is Liqvid. For the 3d graphics I used THREE.js along with react-three-fiber.
- Liqvid – Create interactive videos in React
-
Vector calculus course with interactive THREE.js videos
Videos are done with Liqvid and react-three-fiber. If you enjoy please retweet (quote-tweeting is better) https://twitter.com/YuriSulyma/status/1468569247626506240 to help spread the word :)
-
My *interactive* video lectures for Calc3 from this semester. Very proud of this!
Liqvid with THREE.js for graphics
compiler-explorer
-
What if null was an Object in Java?
At least on android arm64, looks like a `dmb ishst` is emitted after the constructor, which allows future loads to not need an explicit barrier. Removing `final` from the field causes that barrier to not be emitted.
https://godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename...
- Ask HN: Which books/resources to understand modern Assembler?
-
3rd Edition of Programming: Principles and Practice Using C++ by Stroustrup
You said You won't get "extreme performance" from C++ because it is buried under the weight of decades of compatibility hacks.
Now your whole comment is about vector behavior. You haven't talked about what 'decades of compatibility hacks' are holding back performance. Whatever behavior you want from a vector is not a language limitation.
You could write your own vector and be done with it, although I'm still not sure what you mean, since once you reserve capacity a vector still doubles capacity when you overrun it. The reason this is never a performance obstacle is that if you're going to use more memory anyway, you reserve more up front. This is what any normal programmer does and they move on.
Show what you mean here:
https://godbolt.org/
I've never used ISPC. It's somewhat interesting although since it's Intel focused of course it's not actually portable.
I guess now the goal posts are shifting. First it was that "C++ as a language has performance limitations" now it's "rust has a vector that has a function I want and also I want SIMD stuff that doesn't exist. It does exist? not like that!"
Try to stay on track. You said there were "decades of compatibility hacks" holding back C++ performance then you went down a rabbit hole that has nothing to do with supporting that.
-
C++ Insights – See your source code with the eyes of a compiler
C++ Insights is available online at https://cppinsights.io/
It is also available at a touch of a button within the most excellent https://godbolt.org/
along side the button that takes your code sample to https://quick-bench.com/
Those sites and https://cppreference.com/ are what I'm using constantly while coding.
I recently discovered https://whitebox.systems/ It's a local app with a $69 one-time charge. And, it only really works with "C With Classes" style functions. But, it looks promising as another productivity boost.
-
Ask HN: How can I learn about performance optimization?
[P&H RISC] https://www.google.com/books/edition/_/e8DvDwAAQBAJ
Compiler Explorer by Matt Godbolt [Godbolt] can help better understand what code a compiler generates under different circumstances.
[Godbolt] https://godbolt.org
The official CPU architecture manuals from CPU vendors are surprisingly readable and information-rich. I only read the fragments that I need or that I am interested in and move on. Here is the Intel’s one [Intel]. I use the Combined Volume Set, which is a huge PDF comprising all the ten volumes. It is easier to search in when it’s all in one file. I can open several copies on different pages to make navigation easier.
Intel also has a whole optimization reference manual [Intel] (scroll down, it’s all on the same page). The manual helps understand what exactly the CPU is doing.
[Intel] https://www.intel.com/content/www/us/en/developer/articles/t...
Personally, I believe in automated benchmarks that measure end-to-end what is actually important and notify you when a change impacts performance for the worse.
-
Managing mutable data in Elixir with Rust
Let's compile it with https://godbolt.org/, turn on some optimisations and inspect the IR (-O2 -emit-llvm). Copying out the part that corresponds to the while loop:
4:
-
Free MIT Course: Performance Engineering of Software Systems
resources were extra useful when building deeper intuitions about GPU performance for ML models at work and in graduate school.
- CMU's "Deep Learning Systems" Course is hosted online and has YouTube lectures online. While not generally relevant to software performance, it is especially useful for engineers interested in building strong fundamentals that will serve them well when taking ML models into production environments: https://dlsyscourse.org/
- Compiler Explorer is a tool that allows you easily input some code in and check how the assembly output maps to the source. I think this is exceptionally useful for beginner/intermediate programmers who are familiar with one compiled high-level language and have not been exposed to reading lots of assembly. It is also great for testing how different compiler flags affect assembly output. Many people used to coding in C and C++ probably know about this, but I still run into people who haven't so I share it whenever performance comes up: https://godbolt.org/
-
Verifying Rust Zeroize with Assembly...including portable SIMD
To really understand what's going on here we can look at the compiled assembly code. I'm working on a Mac and can do this using the objdump tool. Compiler Explorer is also a handy tool but doesn't seem to support Arm assembly which is what Rust will use when compiling on Apple Silicon.
- 4B If Statements
-
Operator precedence doubt
Play around with it in godbolt if you're really curious: https://godbolt.org/
What are some alternatives?
remotion - 🎥 Make videos programmatically with React
C++ Format - A modern formatting library
awesome-interactive-math - A curated list of tools that can be used for creating interactive mathematical explorables.
rust - Empowering everyone to build reliable and efficient software.
rp-codebooth - Liqvid widget for interactive code demonstrations
format-benchmark - A collection of formatting benchmarks
MobilePlayer - :iphone: :movie_camera: A powerful and completely customizable media player for iOS
papers - ISO/IEC JTC1 SC22 WG21 paper scheduling and management
Twini-Golf-3DS - A (broken) SDL2 game made in 48 hours, ported to 3DS homebrew and unbroken!
rustc_codegen_gcc - libgccjit AOT codegen for rustc
liblcf - Library to handle RPG Maker 2000/2003 and EasyRPG projects
firejail - Linux namespaces and seccomp-bpf sandbox