Details
-
AboutMSc Student in formal verification Contributing to mypy - a static type checker for Python
-
SkillsC, Python, C++, Java, Scala, C#, JS, ML, COQ
-
LocationIsrael
-
Website
-
Github
Joined devRant on 5/12/2016
Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
-
Just published a Python package the other day.
It's nothing more than a simple script, but it's nice, and I really hope it will be useful to someone.3 -
I executed "chmod -R go-r .*" on my home directory at the university server.
Only to realize that ".*" also considers ".." so I chmodded out files for many other students before I hit ctrl-c.3 -
I'm installing Unity. Choosing the "sign in with Google" option, this leads to a screen asking for my Google account and password - *inside the installer*. No external browser.
What made them think it's legitimate? Why can't they just open my web browser for this? Why should I trust them with my email password?4 -
Funny login screen bug: the title and the jokes changed, but the image did not.
(This is partly photoshopped, since I couldn't catch all the 3 "hot spots" open together in a single print screen)1 -
A program I was using did not recognize a flag that I needed, so I edited the EXE file (using notepad++, no hexeditor) to replace a flag whose name was actually checked with the one I needed. Worked like a charm.
The response for my bug report was "this feature should not be there in the first place, we will remove it". Lucky me they did not remove it earlier. -
How did they manage to come up with such a bug? The only things there should be numbers or an arrow, not meaningless Hebrew letters.1
-
Am I the only one here with spurious notifications? It says I have one or two even immediately after I've checked (and there weren't any).
-
When I was 6 or 7 years old I said I'll work "at the company that makes diskettes" (for games).
I'm not a dev though - I'm a grad student. I hope my rants are still welcome here. -
Server behaved weird and I couldn't find out why. Nothing on the logs.
As a personal side project, I've translated the whole project to Scala. Boom! FileNotFoundException. There was an incorrect path somewhere.
I still don't know why Java did not throw.2 -
Software can be "bug free" only under a very narrow definition of the term, and very specific circumstances that has little to do with the capabilities of the developers.
After all, the outside world is horribly messed up. -
Not a missing semicolon, but a spurious one:
while (...); {
. . .
}
I'm not proud to say, shit took 2 days to be discovered, and it was discovered by a friend. I was just so confident about what's written there, I didn't even read it.3 -
I wrote driver to a research OS as a university project. The system behave weird in some subtle ways, and I assumed that's my fault, as an inexperienced programmer.
After two sleepless weeks of chasing ghosts, I've realized that for some reason there is a context-switch that *did not* involve the scheduler! Further investigation led to the actual bug: the main trap code in the kernel was maskerading as different process just to be able to work on its virtual address, but never put that mask off!
It could have been found easily by a static analysis tool, given that a non-volatile global variable was only written to and never read; but we didn't use any.2