scriptdevil

7 ms·

31.
by scriptdevil 10y ago
I accidentally clicked on one of the checkboxes. Sorry about that. I think I undid that - I didn't realize the page was editable.
32.
Concrete Semantics with Isabelle/HOL(concrete-semantics.org)
4 points by scriptdevil 10y ago|0 comments
33.
by scriptdevil 10y ago
Isn't this true for desktop GNU/Linux too? I mean, last I checked, Debian kFreeBSD would be similar enough to Debian GNU/Linux as long as you don't drop to the console - the equivalent of which would be adb shell.
34.
by scriptdevil 10y ago
This is really really neat. However, it would be nice if the tags could be decoupled from Kanban column names. For instance, to track what I am learning, I want to tag stuff "Learning" but keep it in "Inbox" in the Kanba
35.
by scriptdevil 10y ago
This is brilliant! I wasn't aware of tab center. The best part is that it works really well with tabgroups too. However, I am unable to use it through the keyboard. The undocumented C-S-l seems to trigger a search over there. But there
36.
by scriptdevil 10y ago
I used DDG too, Generally, one would search for something like "yarn npm" in which case it is like the second link is the yarn homepage and the first link is a npm vs yarn post. DDG isn't as good as Google in figuring out con
37.
by scriptdevil 10y ago
Or you could use something like "Wait, Google Sent Me" https://news.ycombinator.com/item?id=9531941
38.
by scriptdevil 10y ago
Just downloaded it. It is really really zippy for at least small files! Will explore it more extensively over this week!
39.
by scriptdevil 10y ago
I am not a native English speaker myself. But yes that fragment while correct parsed a bit weirdly in my head because "is" is often used for properties of an entity like "John is dead" and "has been" is often u
40.
by scriptdevil 10y ago
The search term is reasonml.
41.
by scriptdevil 10y ago
As a person who is finally getting time to read papers in this field, I came across a Stack Overflow post [1] about newer functional data structures recently when looking for papers to put on my kindle for a long trip. The top answer to it
42.
by scriptdevil 10y ago
This has been discussed to no end in the past. When I published my paper, I did so in a venue that had open-access to all its proceedings (HotPower 12). However CODASPY where this paper comes from isn't one of those venues. ACM explici
43.
by scriptdevil 10y ago
While I didn't internally decode the bitstring, you are right. AFL did generate tonnes of useful tests and I did uncover a couple of bugs using it. That said, given that I didn't spend too much time actually trying to understand A
44.
by scriptdevil 10y ago
I don't know if adding a sci-hub link is a good idea.
45.
by scriptdevil 10y ago
I am very interested in learning about this too! I started out with AFL for fuzzing but soon had to move to LLVM's LibFuzzer because I didn't want non-ASCII inputs (by design, we know we wouldn't get that) and also SantizerCo
46.
by scriptdevil 10y ago
Denver isn't close to dead. I work in the Denver team at NVIDIA. If you mean market adoption, yes - Nexus 9 is the only major device to have shipped with Denver cores as of today. But development is still very active internally.
47.
by scriptdevil 10y ago
If you haven't already done so, listen to this talk by Rich Hickey (the creator of Clojure). This should clear it up for you. https://www.infoq.com/presentations/Simple-Made-Easy
48.
by scriptdevil 10y ago
The only issue I had with this setup was that if a download got cancelled, it would start failing throwing package integrity errors because aria downloads directly to /var/cache/pacman/pkg/package_name.tar.xz rather
49.
by scriptdevil 11y ago
My layout of choice is colemak. I used to have quite a bit of pain in my wrist and between my left ring and middle finger when using QWERTY. I gave up and switched cold-turkey to colemak ~7 years ago and haven't looked back since. Also
50.
by scriptdevil 11y ago
Semi-accurate all right. The accurate part is not original and the original part is mere fanciful speculation.
51.
by scriptdevil 11y ago
I loved running OpenBSD on my laptop. The man-pages were insanely good and the *ctl commands to configure stuff were refreshingly well organized - no more mucking around with a 100 different config files. My major gripe last time was that F
52.
by scriptdevil 11y ago
India is there now.
53.
by scriptdevil 11y ago
It is there in India! :D I just signed up. Rs. 500, 650 and 800. Even the costliest pack is still cheap IMHO
54.
by scriptdevil 11y ago
If this was possible, I would get a friend of mine in USA to pay for my account. People complain about piracy in India and do not understand that torrents and streaming sites are currently my only source for good TV series. I am readily wil
55.
by scriptdevil 11y ago
Does O(n) even matter when you only store a small number of elmeents in the tuple anyway?
56.
by scriptdevil 11y ago
I actually feel a bit guilty now. I am a long time Firefox user. I got a new phone and wanted to use Keep. Installed Chrome and its Keep extension without realizing that I could actually visit keep.google.com. I clicked a popup that made Ch
57.
by scriptdevil 11y ago
Yeah, that fixes the readline situation. Still, if has to type everything in one line for it to evaluate, the REPL isn't of much use is it?
58.
by scriptdevil 11y ago
I installed rakudo and played with it a little. However, the repl was horrible. Is there a repl that accepts multiline subroutines and if possible readline support?
59.
by scriptdevil 11y ago
I did a small experiment to see if st would actually be much snappier. Font rendering was a little worse but that was tolerable. ST is fast (as expected) $ time $(for i in `seq 1 100`; do st -e true &> /dev/null ; done
60.
by scriptdevil 11y ago
> People will not read the docs. To try out a new library, I like example code. But for any serious work, docs are mandatory! I am certain a lot of us have chosen one library over another because "documentation for B is non-existant

More ›