I just played with this just a few days ago to solve some crackme challenges. It is pretty cool: decompile the binary, use KLEE to symbolize inputs, ..., profit.
There is also DeepState[0], which is quite similar (provides a higher abstraction) for test harnesses
This is a stressful time. My school just sent out an email to kick us out a few days ago (we have one week to move out). As an international student, I have no place to go. After seeing this, I am even more worried as I don't know my internship at CloudFlare NYC can happen or not.
I am posting this while sitting in my NYU dorm room. They are kicking students out and will likely become a temporary hospital according to some emails we received.
I used \LaTeX before switching to Texmacs completely. It is the best WYSIWYG editor I have ever used. Beside the ability to see the result instantly, I really like the memorizable shortcut combinations (just fancy ligatures basically; sometimes you can just drop to LaTex) and the ability to interact with other programs with no setup at all.
This AI is highly inaccurate: AI predicts I don't like dogs & like men (/r/suddenlygay after I shaved). I hope that's the author's point.
The worst thing about AI is that people believe AI is god that makes unbiased prediction. E.g. Big companies use Pymetrics and HireVue for their "unbiased" hiring practice is a joke.
May be a few years from now, AI will become a classic for software bugs just like Therac-25 (but developed by mostly top programmers)
Julia is great. You can call codes from different libraries and they will just work together, even from C/C++/Python libraries. One of the bad things right now ihmo is toolings. Despite having LanguageServer, the IDE-like capacities aren't Java-level mature yet, so it feel a little bit messy for large project. I'm trying to make a PoC to bring lsp features to Intellij platform here https://github.com/JuliaEditorSupport/julia-intellij/pull/41.... I think if someone's willing to improve the toolings and web dev ecosystem, it will be more suitable for general purpose programming.
If drawing some complicated geometry or high precision is not required, GNU Texmacs is also a good choice. You can do everything in the editor and see the immediate result, WYSIWYG style.
+1 Nim is a really nice and simple language. Extremely easy FFI and Python-like. For me, using Nim and Julia to write small "scripts" for my data science (student) works (processing 10Gb-20Gb of data) makes me feel quite productive compared to something like Go (too `ugly` for me), Python (too slow)
This book is so accessible! You can make a toy compiler from scratch just by reading this.
On this topic, the LLVM's tutorial is also kind of great and if you are impatient, there are also parser generators. If you are really that impatient but still want to write a compiler, I wrote a guide on how to make a (toy) compiler as easy as possible here https://github.com/quangIO/Lucix
When seeing VM, I think about JIT, GC... This is "just" a bytecode interpreter (I don't mean to tell the project isn't worth sharing but it's quite misleading)
but
i'd tell you a joke about UDP