scriptdevil

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 is no way of navigating to a matching tab without the mouse. Any tips?

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 context because it doesn't assume you are a programmer because it doesn't track or bubble you.

Or you could use something like "Wait, Google Sent Me" https://news.ycombinator.com/item?id=9531941

Just downloaded it. It is really really zippy for at least small files! Will explore it more extensively over this week!

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 used for something that is done to something. Like "John has been convicted". I think it has something to do with "is" being a simple present form while "released" in one sense talks about the state of the object in which case it is fine but also in another case is the action of getting released in which case it is in the simple past tense.

The search term is reasonml.

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 has a tonne of links.

Tangentially related, but I am currently reading Pearls of Functional Algorithm Design [2] - It is fascinatingly well written (though it isn't strictly about data structures only).

I plan to read Fun of Programming [3] next which has a chapter on binary heap trees by Okasaki but the rest of the topics aren't quite about data structures.

[1] http://cstheory.stackexchange.com/questions/1539/whats-new-i... [2] http://www.amazon.in/Pearls-Functional-Algorithm-Design-Rich... [3] https://www.cs.ox.ac.uk/publications/books/fop/

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 explicitly denies permission to host the papers elsewhere - From the paper:

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

While we might question the ethics or morality of closed-access conference proceedings, it is definitely on the wrong side of legality. Much like patents are evil but can be defended/enforced by big corporations legally.

IMHO, professors and students who take public grants should publish only to open-access conferences and journals. If they do not do so, it does not justify illegally downloading the paper.

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 AFL, could you clarify if I was right in my understanding that AFL doesn't have true coverage but rather a heuristic using a table as documented in http://lcamtuf.coredump.cx/afl/technical_details.txt . Given that the program I was fuzzing was HUGE, wouldn't it falsely alias branches?

Thank you for your input!

I don't know if adding a sci-hub link is a good idea.

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 SantizerCoverage seemed to be more robust than the 64kB shared memory array that AFL uses for large programs.

However, libFuzzer being an in-process fuzzer has again created a lot of headache - especially in places where we malloc stuff and expect free to implicitly happen at exit - in libFuzzer's case, the exit is caught and the entrypoint function is restarted causing memory leaks and OOM crashes. This made me have to include #ifdef FUZZ ... #endif lines in the codebase - adding different behavior in fuzzed and unfuzzed cases which felt wrong.

I have considered implementing an out-of-process fuzzer from scratch (or base it off AFL), but have been holding off till I get time to read about more prior work given that this is not of the highest priority at work.

That said, SAGE from Microsoft seems really interesting[1]. It generates inputs intelligently by constraint-solving on inputs to conditional statements. It isn't exactly new though.

[1] http://research.microsoft.com/en-us/um/people/pg/public_psfi...

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.

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

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 than a .part file which is copied upon completion. The built-in downloader of pacman ensures this is done right.

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, it is available almost on every system I use - PKL for windows, `setxkbmap us -variant colemak` on GNU/Linux. It is an excellent layout and if you have a slow month or two (like I did in my final year of college), try an alt layout. It is definitely worth it - speed is the last thing a programmer needs to worry about while typing if one can go > 50wpm.

Semi-accurate all right. The accurate part is not original and the original part is mere fanciful speculation.

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 Firefox was unusably slow. I was told that this was because multi-threading support in OpenBSD was poor. Also, while chromium was tolerable, playing something on youtube would make it feel like the system was under a lot of load. I finally had to move away from it because of this. That said, I plan to move to Vultr and run an OpenBSD box when my current Digital Ocean account runs out of balance.

India is there now.

It is there in India! :D I just signed up. Rs. 500, 650 and 800. Even the costliest pack is still cheap IMHO

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 willing to pay even $40 a month for such a service.

Does O(n) even matter when you only store a small number of elmeents in the tuple anyway?

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 Chrome the default and have been using it for some time now.

Back to firefox then! If not for anything else then at least to keep the competition up.

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?

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?

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)
  real	0m5.493s
  user	0m4.417s
  sys	0m0.647s

URxvt is a little slower (but traditional wisdom should tell you that if it is actually so small that you need to measure it to perceive the difference, the difference probably doesn't matter)

  $ time $(for i in `seq  1 100`; do urxvt -e true &> /dev/null ; done)
  real	0m11.099s
  user	0m9.780s
  sys	0m0.853s

URxvt client (with a separately launched urxvtd) is faster than st.

  $ time $(for i in `seq  1 100`; do urxvtc -e true &> /dev/null ; done)
  real	0m4.593s
  user	0m0.007s
  sys	0m0.017s

Given how solid urxvt has been for me over the years, and given that I run urxvtc already, I don't see why switching to st would help (the argument against featuritis can obviously be made, but urxvt is fairly minimal as well).

Note: I do not know how it would affect it, but I also have a .Xdefaults that sets fonts, colors etc for URxvt.

Edit:

adding xterm to the comparison since some sibling comment mentioned it

  $ time $(for i in `seq  1 100`; do xterm -e true &> /dev/null ; done)
  real	0m8.525s
  user	0m2.777s
  sys	0m0.770s

> 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". So, yes. If you have 0 documentation for a single file library with 10 functions that is stateless, probably. But for anything more complex, show me the docs.

> You are writing the library for evaluators and new users.

Again, feels like a poor suggestion despite the next statement that tries to justify it isn't. In my last job, some choices had been made about a graphing library just because default pie/bar charts were easy to draw with it. As the project grew, all hell broke loose because the library did very little to help customize/extend charts and had close to 0 doc. Even for an open-source project, read the source isn't a very pleasant suggestion especially when I am only interested in using the library and not really learning the art of generating charts.

Isn't the AoCP series a little too dense to be read as an ebook? It isn't really organized as a reference and requires one to pore over it for a long time. Not having a mobi/epub also rules out several good ebook readers. Are there good ebook readers that have e-ink but still manage to render PDFs well? My Kindle Paperwhite is trash at PDFs.

Just in case it came out the wrong way, kudos to the OP for getting the job done. I just found his argument that the source-code isn't needed because Microsoft doesn't release its sources way off mark.

Apple and Microsoft have much to lose if they are found distributing malware. You on the other hand have just written your first GA program and have admitted that the source is ugly. What is the last time you were OK about running an executable from a shady site?

I have been using this browser for the last 4-5 hours. It is fairly good. However, some pages like Dr. Dobbs and Vivaldi's own forum makes all shortcuts fail. The only solution seems to be to alt-tab to some other window and then use the shortcut. That said, the browser is really neat to use.