rav

21 ms·

181.
by rav 7y ago
Given that guessing is always safe when it's required, it means you have a choice in e.g. the initial play. Is it more efficient to click tiles on a line, or to click them in a cluster?
182.
by rav 7y ago
I've implemented my suggestion and sent you a pull request: https://github.com/pyEntropy/elkai/pull/3 The resulting wheel contains the shared library (using milksnake), so there's no need for the us
183.
by rav 7y ago
Looks like _elkai.c implements a CPython-API function "ElkSolve" that parses the Python lists into a C array, calls a pure-C function "InvokeSolver", and puts the result of "InvokeSolver" into a Python list. It
184.
by rav 7y ago
I completely agree that black does not format all examples in a nice manner, and your example is something I see pretty often. Whenever black adds too many indentation levels and line breaks in what should be a simple-enough statement, I si
185.
by rav 7y ago
I can see the point of that. For me though, I just changed my personal tics to match the tics of black :-)
186.
by rav 7y ago
Why wait? I run black on all my new single-author projects.
187.
by rav 8y ago
> C++11 said c_str must be constant time, so that wouldn’t work there anymore. How so? Any SSO scheme should allow you to determine whether a string is short or not in constant time. Copying a 24-character string into a 25-byte zero-te
188.
by rav 8y ago
It seems like the Why3 project attempts verification of only "simple" programs without concurrency and higher-order functions. On the other hand, the Iris Project is an attempt to verify higher-order concurrent programs, see e.g.
189.
The code of conduct at the Maintainers Summit(lwn.net)
2 points by rav 8y ago|0 comments
190.
by rav 8y ago
Similar functionality is packaged in wkhtmltopdf, which essentially runs Webkit headless to print to PDF. https://wkhtmltopdf.org/
191.
by rav 8y ago
If they're in the business of buying and selling Tor browser zero-days, I'd think they shouldn't be undermining the adoption of the Tor browser...?
192.
by rav 8y ago
Thanks for the pointer to the French Wikipedia article. I followed the rabbit hole and found this interesting article on the Google Maven fiasco, Microsoft ICE fiasco, and the Amazon Rekognition fiasco: http://www.lefigaro.fr&#x2
193.
by rav 8y ago
I've used the GPL3 version of Lamson in the past - nice to see that someone continued development on that version in a fork. I have since switched over to aiosmtpd [1], a Python 3 based SMTP server using asyncio that was developed by B
194.
by rav 8y ago
Here's a strftime fix for Python: >>> import strftime_fix >>> import datetime >>> datetime.datetime(year=2018, month=12, day=31).strftime('%G-%m-%d') '2018-12-31' &gt
195.
by rav 8y ago
In practice I often use Vim instead. :args file1.txt file2.txt file3.txt :set autowrite :argdo norm /- baz/<CR>yypwCelephants The commands set the argument list to a list of three files (by default, it is se
196.
by rav 8y ago
>> missing type-ahead search in Nautilus file browser > I'd forgotten this! Very frustrating when you're used to using this to switch to a file in that directory. I agree, but FWIW you can press Ctrl-L to focus the addres
197.
by rav 8y ago
10 minutes for Dijkstra on a graph with only 6500 vertices and 16000 edges sounds fishy - I'd expect that to take way less than a second.
198.
by rav 9y ago
> Those cards work great in Europe, but are sometimes a pain to use in the US. E.g., if you're paying at a restaurant and you have to go with the waiter to the terminal in some backroom, because the terminal asks for the pin. Huh? I
199.
by rav 9y ago
Isn't the plus sign a special character in Perl regexes? That is, wouldn't you need to use this instead: qr'^application/amp\+html$'i,
200.
by rav 9y ago
You can still do form validation on submit though, according to dimgl's earlier comment: https://news.ycombinator.com/item?id=16426131
201.
by rav 9y ago
I've used script to run shell aliases defined in .bashrc in a cronjob. Normally you would use bash -ic my_alias in crontab to run my_alias , but this gives a warning from bash : bash: cannot set terminal process group (1661): Ina
202.
by rav 9y ago
The Meltdown paper cites 500 KB/s average throughput when transactional memory extensions are available on the Intel CPU. It's not MB/s, but it's still pretty fast.
203.
by rav 9y ago
`/dev/mem` is not available in a container, so I cannot use `/dev/mem` to read other tenants' memory on my VPS.
204.
by rav 9y ago
I wrote a VAMP plugin that can be used in Audacity to run DeepSpeech on selected ranges of audio: https://github.com/Mortal/vampdeepspeech
205.
by rav 9y ago
To elaborate: Symbolic equivalence checking for two expressions f1 and f2 can be done by seeing if sympy.simplify(sympy.Eq(f1, f2)) is sympy.true. import sympy from sympy.abc import x, y, alpha, s quad = s ** 2 - alpha * s - 2 # L
206.
by rav 9y ago
Huh! When I click "Cancel", the PDF disappears and then there's just a centered box saying "This file is password-protected. Bennett-Salmon-2010.pdf · 0.94 MB". However, the Download link works just fine and lets me
207.
by rav 9y ago
Subjects? But they're volunteer grad students!
208.
by rav 9y ago
The linked Dropbox page appears to be password-protected. Here's the original poster: http://prefrontal.org/files/posters/Bennett-Salmon-2009.pdf
209.
by rav 9y ago
HTTP provides a couple of different response codes for when one URL should redirect to another URL. The most common are 301 Moved Permanently and 302 Found, aka moved temporarily. When designing a website and you find the need to redirect o
210.
by rav 9y ago
As a multi-lingual speaker I've even had problems with speech synthesis . For instance, Google Maps insists on narrating driving directions in the system language, which is set to English; this makes the narrated local non-English pla

More ›