Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
alan-crowe
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
38 ms
·
301.
▲
by
alan-crowe
18y ago
Hitokiri82 needs to take a more quantitative approach to accouning than simply saying "a lot of money". For example, there is something of a trade-off in consultancy that you can get more money for more esoteric skills, but you will get few
302.
▲
by
alan-crowe
18y ago
Indeed, the core idea is to use a contra-flow heat exchange so that you can still have some ventilation. They are talking about 90% heat recovery. What the technology buys you is ten times as much air flow for a fixed heat supply. How do yo
303.
▲
by
alan-crowe
18y ago
Have you tried programming in Prolog? The automatic backtracking search is cool when it is exactly what you want, but most of the time it isn't. So you end up working to keep it on the leash least it give you exponential run times when you
304.
▲
by
alan-crowe
18y ago
Trouble is, there are completeness results. You can prove everthing that is true in all interpretations of first order logic. The statements that cannot be proven are unproveable because they are false in a non-standard interpretation of ar
305.
▲
by
alan-crowe
18y ago
It is easy to exhibit an uncomputable function, the busy beaver function is the standard, easy example. It is immediately obvious that a solution to the halting problem make the busy beaver problem computable: just stick to running the prog
306.
▲
by
alan-crowe
18y ago
Things can evolve into their opposites. For example, those annoying persons who know Monty Python sketches off by heart and recite them have turned Monty Python into the kind of 1950's cozy cliche that the Pythons were rebelling against. "M
307.
▲
Ghost Benefits
(cawtech.demon.co.uk)
2 points
by
alan-crowe
19y ago
|
0 comments
308.
▲
by
alan-crowe
19y ago
Telepresence will displace business air travel http://www.cawtech.freeserve.co.uk/gf-abs.2.html