Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mjn
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
30 ms
·
241.
▲
Open-access Communications of the ACM articles
(kmjn.org)
1 points
by
mjn
11y ago
|
0 comments
242.
▲
by
mjn
11y ago
At a high level it's not that far off, in the sense that most mathematicians think nontrivial patterns in the primes are at least unusual, and they mostly behave randomly. But it's true that there is some structure, which is in ja
243.
▲
by
mjn
11y ago
Also related in a bit different vein, there's work on unifying parsing and pretty-printing (sometimes called "unparsing"): http://www.informatik.uni-marburg.de/~rendel/unparse/
244.
▲
by
mjn
11y ago
There've definitely been algorithmic improvements, but from what I've read so far, the change in search algorithms, from traditional minimax search to MCTS, has been the biggest improvement, more than deep learning.
245.
▲
by
mjn
11y ago
> Third, they don't come with the advice / community / expertise of good VCs. Definitely not business advice/community, but if a startup is doing significant R&D, it can be useful for the scientific and technical
246.
▲
Mister Rogers the anti-NIMBY
(tcsidewalks.blogspot.com)
1 points
by
mjn
11y ago
|
0 comments
247.
▲
The Bombing Encyclopedia of the World
(limn.it)
1 points
by
mjn
11y ago
|
0 comments
248.
▲
by
mjn
11y ago
> What they've proved is that the same kind of intelligence required to play Go can be implemented with computer hardware. Before now, software couldn't beat a ranked human player at Go no matter how much computing power we th
249.
▲
AlphaGo and AI Progress
(milesbrundage.com)
72 points
by
mjn
11y ago
|
15 comments
250.
▲
by
mjn
11y ago
Regarding demographic information, I canvassed the top 100 HN users by karma in 2013, and at least at that time, the vast majority were from anglophone countries: http://www.kmjn.org/notes/hacker_news_posters.html
251.
▲
by
mjn
11y ago
I can recommend the book Darkness at Night by Edward Harrison [1] for a detailed look at the history of this paradox. An enjoyable read, and ties it in with several closely related historical debates in cosmology. [1] http://ww
252.
▲
by
mjn
11y ago
The tape was from the collection of the Computer History Museum, inherited from the collection of their predecessor, the Computer History Museum in Boston. It had just never been digitized. There's a blog post on it here: http:/&
253.
▲
by
mjn
11y ago
Getting to be a bit of a tangent, but living in Houston, I think that one was partly progressives being somewhat unprepared for how the campaign turned out. Progressives were ready for a gay-rights fight, and confident they could win it (pr
254.
▲
by
mjn
11y ago
Oh, very neat. I've read most of the papers in the proceedings of this conference, the 1986 ACM Conference on the History of Personal Workstations [1], which is full of great information. But while 10 of the 13 speakers wrote up their
255.
▲
by
mjn
11y ago
> can a digital filter provide a close enough approximation of that colouring that going through the analogue path is no longer necessary? In principle yes, but it's surprisingly tricky, to the extent that even some very simple an
256.
▲
Search-oriented tools for Unix-style mail: mu and notmuch
(kmjn.org)
3 points
by
mjn
11y ago
|
0 comments
257.
▲
by
mjn
11y ago
I think their goal is to get coverage of commercial areas partly through nearby residential subscribers, since lots of them are in mixed-use areas. Even if the pizza joint doesn't have Comcast, the apartment upstairs (or across the str
258.
▲
by
mjn
11y ago
The basic format of structured proofs is surprisingly similar to how middle-school math typically teaches students to write proofs, the "two-column proof" structure. A proof is a sequence of numbered statements in the left column,
259.
▲
Toxic Workers [pdf]
(hbs.edu)
52 points
by
mjn
11y ago
|
52 comments
260.
▲
by
mjn
11y ago
The actual power being used here, the Congressional subpoena power, doesn't have anything to do with whether something is public property or not, so that isn't the basis they're claiming. It's a general quasi-judicial in
261.
▲
by
mjn
11y ago
Typo for 10^43, a rough estimate of the number of possible chess positions, originally due to Shannon [1]. [1] http://www.pi.infn.it/~carosi/chess/shannon.txt
262.
▲
by
mjn
11y ago
Although I'm also not very familiar with the history of such schemes, I do recognize the (not quite) 12-bit one, which I believe was the first scheme proposed, by Claude Shannon in his 1950 article "Programming a Computer for Play
263.
▲
by
mjn
11y ago
Or just looked at a map. :) I still like to keep some AAA maps in my car as a backup in case my phone dies or gets lost.
264.
▲
by
mjn
11y ago
An in-between option is the http://lobste.rs model of having tags on stories, and letting users filter on tags. Allows me to ignore a few topics I just don't care about, without really splitting the community (some of the c
265.
▲
by
mjn
11y ago
The simplest case, which is still pretty useful, would be to just have each application require the superset of the syscall functionality any of its components (including any plugins) might require. That would result in fairly broad permiss
266.
▲
by
mjn
11y ago
I'm extrapolating a bit here, since it's not that clear from the slides whether this is precisely what he meant, but I interpreted him to be criticizing optional security on the user side, which SELinux is. Since it's a set
267.
▲
by
mjn
11y ago
By "contributors", the linked post means article submissions rather than comments, and grellas doesn't submit a lot of articles. I wrote an overview of the 20 users with most total karma points (submissions+comments) about tw
268.
▲
by
mjn
11y ago
Very informative overview of an industry I knew nothing about. Thanks for finding/linking it!
269.
▲
by
mjn
11y ago
There's a tracking bug here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=752264 Current status seems to be working on packaging of dependencies first, since some of neovim's dependencies are either miss
270.
▲
by
mjn
11y ago
Yes, treating dialup sources as likely spam sources has been done since long before Google became a significant player in email. In earlier years the main approach was to try to convince ISPs to filter outgoing port 25 by default on their d
More ›