Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
anderskaseorg
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
35 ms
·
331.
▲
Monospacifier: convert variable-pitch fonts to monospace
(github.com)
2 points
by
anderskaseorg
11y ago
|
0 comments
332.
▲
by
anderskaseorg
11y ago
I wrote a 11811-character regex for divisibility by 7 back in August 2008: http://web.mit.edu/andersk/Public/regex
333.
▲
by
anderskaseorg
11y ago
Challenge: find a solution with no undefined repeat behavior and no more than two consecutive print statements.
334.
▲
by
anderskaseorg
12y ago
Similarly, there is no way to define floor(n) for integers n maintaining continuity of the floor function, even though floor is a continuous function otherwise. We still define floor(n) = n because the meaning of the floor function is more
335.
▲
by
anderskaseorg
12y ago
What you have shown is that the _limiting form_ 0^0 is not always equal to 1. The _value_ 0^0 is still equal to 1. Similarly, floor(−1/n) converges to −1, which tells us that the _limiting form_ floor(0) is not always equal to 0; but
336.
▲
by
anderskaseorg
12y ago
Defining 0^0 = 1 is just as important in analysis as it is in combinatorics, even though analysis texts aren’t always clear that they’re making use of this fact. • If p(x) = ∑[n=0..∞] a_n x^n is a power series, then p(0) = a_0 is its consta
337.
▲
by
anderskaseorg
12y ago
This incorrectly passes the compiler, which is certainly a bug, but it does not pass the validator. $ ./configure.sh $ make coqdep -c -slash -R . Falso "All.v" > "All.v.d" || ( RV=$?; rm -f "All.v.d&
338.
▲
IPv6 privacy addresses crashed the MIT CSAIL network
(blog.bimajority.org)
180 points
by
anderskaseorg
12y ago
|
145 comments