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.
Really? I can’t imagine the software engineers making better than average. I imagine this is where all the mediocre developers go. A top notch developer could go anywhere; why would they choose ... government surveillance tools?
Have you even considered the possibility that perfectly intelligent people simply might not always share your beliefs or values?
This entire sub-thread is so absurd. I can't tell if it's a wisecrack that people have run with, tongue in cheek, or if its lack of self-awareness is truly genuine.
"If everyone wrote more book reports on 'Catcher in the Rye', then no one would take jobs in the defense industry"? Come ON, people.
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.
I used to use Hyper (electron), but I have Alacritty looking exactly like Hyper now. Just as pretty, much lighter and faster. Starts up in a fraction of the time. Keeps up with fast scrolling text. Cross platform too!
For every new terminal I test if they can handle tricky unicode or locking escape sequences.
I tried right now the kitty terminal available on Debian Buster, and echo -e "\033(0" still requires to reset the terminal (don't paste the above in your working session if you can't type reset without visual feedback).
P.S. still using Gnome-terminal that it doesn't handle locking escapes... ^__^;
I think I've pulled that example from the Mosh shell,
if you look at https://mosh.org/#techinfo you'll find other escape sequences that are still problematic for terminal emulators.
but
i'd tell you a joke about UDP