jepler

9 ms·

1.
by jepler 2y ago
My mind just balks at the idea of having so much source that a 2020s computer could take hours to index it. ctags is nothing special (both in terms of optimization but also the level of detail it gets to: just global function identifiers) a
2.
by jepler 2y ago
According to http://comopt.ifi.uni-heidelberg.de/software/TSPLIB95/STSP.h... the optimal solution for eil51 is 426 (the linked page has a tour of 428.87) and the optimal solution for st70 is 675 (the linked page h
3.
by jepler 2y ago
I wonder whether you still have a bug. It depends how "scanning" is implemented. 23:55 start scanning 23:59:59 message added 00:00:01 perform timestamp check If there is the possibility of a message being added ve
4.
by jepler 2y ago
I don't know Haskell, so I can imagine if you didn't know Python it'd be "greek to you" (unintelligible). I'll try explaining in prose what I did. [note: I also edited the grandparent comment because when I sim
5.
by jepler 2y ago
assuming you mean the decimal expansion and a length-3 de bruijn sequence on 10 symbols, I am not seeing it. There seem to be many sub-sequences which do not appear. (assuming that python's Decimal library at a precision of 4000 digits
6.
by jepler 2y ago
and it's back now. No incidents reported on status.python.org. there was some discussion on at least two github issues: https://github.com/python/cpython/issues/127307 and https://github.com&#
7.
by jepler 2y ago
No downtime noted yet at https://status.python.org/ but confirmed from here
8.
by jepler 2y ago
Too tired to find the actual debunking of these claims but no, d-wave is not effective for cryptanalysis of RSA or AES as deployed. The papers claim some interesting but not game-changing results on factorization of tiny primes and attackin
9.
by jepler 2y ago
Anil is a given first name, maybe just not in your culture.
10.
by jepler 2y ago
You don't need machine code these days to find overflow in IEEE floating point arithmetic. If any intermediate sum overflows, you get an infinity. Further arithmetic can never return you to the realm of finite numbers (though you can a
11.
by jepler 2y ago
If you're writing for an audience outside of India you might want to explain what ₹9 lakh equates to, as both the value of ₹1 and the magnitude of the lakh are probably unfamiliar. (Apparently that's 9x10^5 INR, or in the neighbor
12.
by jepler 2y ago
https://www.flightconnections.com/flights-from-iah-to-hav there are direct flights from USA to Cuba these days
13.
by jepler 2y ago
It's not clear how you'd do that with current technology. What is the oldest unmaintained working man-made mechanism? I have no idea, but I'd hazard that it's closer to 100 years old than 1000. Things that do keep workin
14.
by jepler 2y ago
I'd take recourse to https://en.wikipedia.org/wiki/Bremermann%27s_limit All human thought processes appear to require some irreversible physical processes in order to occur. (not some fancy quantum process that mi
15.
by jepler 2y ago
A modest proposal: stop adopting new digraphs like [:, ^^, [[. Unicode has at least 50 sets of pairing punctuation just waiting for use... \N{MEDIUM LEFT-POINTING ANGLE BRACKET ORNAMENT} U+276c \N{HEAVY LEFT-POINTING ANGLE
16.
by jepler 2y ago
since this is a 'walled site, you can just have a read of the official release notes and then the related PEPs ... https://docs.python.org/3.13/whatsnew/3.13.html New typing features: * PEP 696: Type paramete
17.
by jepler 2y ago
I was curious how this thing did video. As you might expect, it's done by bit-banging the VGA RGB output pin from an IRQ. A time honored tradition. Here's the code in the Tetris demo: https://github.com/OLIMEX&#x2F
18.
by jepler 2y ago
You're right that the hilbert curve only visits certain points in the unit square, and never a (non-rational,non-rational) point. While the Wikipedia article doesn't seem to mention it, other sources like [1] mention that the defi
19.
by jepler 2y ago
this was my first thought as well. Authors just acknowledge it and move on; it's not like shopify and google care whether there's another way to successfully track users online. 10. Privacy Considerations Since dict
20.
by jepler 2y ago
Any meaningful change here since [2017]? I know letsencrypt recently announced intent to cease OCSP ( https://letsencrypt.org/2024/07/23/replacing-ocsp-with-crls.... ) and it sounds like that will be done indus
21.
by jepler 2y ago
wikipedia has a high level review of current constraints: https://en.wikipedia.org/wiki/Time-variation_of_fundamental_... fine-structure constant: less than 10^−17 per year gravitational constant: less than 1
22.
by jepler 2y ago
Fringe science here. APEC is "Alternative Propulsion Engineering Conference" so these are the EM drive people, etc. The probability that "this is anything" is low. Now, I have no idea what the explanation is for the obse
23.
by jepler 2y ago
I had no idea the BF16 format was actually named "brain float". TIL.
24.
by jepler 2y ago
This is quite possible, and I'm sure someone's doing it. At $OLD_DAY_JOB I developed a way to byte compile and then encrypt Python byte code for plug-ins, to meet a requirement from some third party partner. This was long enough a
25.
by jepler 2y ago
bsd/vfs/vfs_vnops.c: if (write_offset == INT64_MAX) { /* writes are not possible */ error = EFBIG; goto error_out; }
26.
by jepler 2y ago
That may feel like an intuitive declaration, but that's not how it works in standard mathematics. In standard set theory, the cardinality of the reals is equal to the cardinality of any non-degenerate interval of reals. Wikipedia quote
27.
by jepler 2y ago
at $OLD_JOB I literally joked that we used a fork of valgrind just to fix the pronunciation. of course, our fork was also years behind the official version. these days, since I am doing bare metal embedded, I barely use valgrind; but it is
28.
by jepler 2y ago
Weird
29.
by jepler 2y ago
You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games https://arxiv.org/abs/2405.10546
30.
by jepler 2y ago
First off .. let me say I liked the video, it was a good overview and packed a lot of knowledge. gmp contains not only the basic operations on arbitrary precision integers, it also contains a highly efficient implementation of the fibonacci

More ›