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.
but
i'd tell you a joke about UDP