foxes

27 ms·

301.
by foxes 5y ago
That is a shocking solution. If they can't survive without intrusive manipulative ads then no one is worse off for it.
302.
by foxes 5y ago
Horrific. If anyone on HN uses or works with adtech you should think about the consequences of what you are building. It's only ever gotten worse. You have a social obligation to stop.
303.
by foxes 5y ago
Are they actually active discussing things for a substantial period of time? Or just lurking afk in the background. I recall joining and then there barely being any discussion in chats, mostly just user action spam.
304.
by foxes 5y ago
To be honest, who on HN actually uses IRC anymore? Going on feeenode 5 years ago, it already felt lifeless. How can something already dead commit suicide :smile:. Maybe there were some obscure side hold outs?
305.
by foxes 5y ago
If you are interested in adding Omega-3 to your stack, make sure it is molecularly distilled fish oil. Otherwise there is the risk of excess lead and mercury.
306.
by foxes 5y ago
I mean I am not sure that is a downside, just a limitation. Sometimes yes you have to specify if there is an ambiguity. I guess usually on input, but then that is not a huge price to pay.
307.
by foxes 5y ago
I would be interested in you giving an example of a problem that is not solvable or expressible in a typed language. I am not able to think of such a thing of the top of my head. I disagree that performance is a big advantage. Perhaps there
308.
by foxes 5y ago
There are plenty of languages that let you type without having to "type" out a type definition, auto types in C++, type inference in Haskell. Probably most of my Haskell code I do not need to specify types. So the technology and t
309.
by foxes 5y ago
The fact people study the effectiveness of masks rules out your point. Suggesting it is some method to enforce conformity is the step where it derails into conspiracy theory tier rambling and fear mongering. Yes it is a valid question, are
310.
by foxes 5y ago
I agree, but it is an extra level above c. Same with using a more advanced type system, more easily encoding problem constraints in that type system.
311.
by foxes 5y ago
I think the original comment is partially a joke. Maybe there isn't specifically anything wrong with this, but there is the fact that it is written in C. Historically there is a good precedent of this being an issue. C does not guarant
312.
by foxes 5y ago
Cars are horrible, is it actually a surprise?
313.
by foxes 5y ago
I find it highly unlikely that learning R will expand your programming views anywhere near Haskell. Haskell is an advanced functional programming language. Most R stuff seems to be incoherent, hard to verify correctness, hacky. It does not
314.
by foxes 5y ago
I agree, as much as I like LaTeX, and what it produces, it is dated. It's missing modern features. Lots of stuff is clunky. The content part should be declarative programming. It should be functional underneath the hood. I think ggplot
315.
by foxes 5y ago
A significant part of quantum computation is just a sequence of unitary transformations, represented by matrices. So essentially just a series of big matrix multiplications. The nonlinearity is introduced in the measurement. You have to rep
316.
by foxes 5y ago
I mean what does a little bit taller than 6ft mean? A human would ask to clarify or supply a sane default. Using the Star Trek example characters would often ask the computer to refine something, eg “no not that tall”, so a system like this
317.
by foxes 5y ago
I think the end game should be basically Star Trek. You just declare to the computer what you want, and then it just generates correct code for you. Declarative programming by itself is fairly powerful. I think In future this is actually ho
318.
by foxes 5y ago
This often gets posted on HN but I am yet to see anything new or that deep. Their original paper is very light on detail [0]. Whatever objects you are working with in physics, is there some internal language or type theory that lets you des
319.
by foxes 5y ago
Most of these are perfectly reasonable, a lot to do with helping clarity of writing. Abbreviations definitely do not help clarity and should be avoided. Colloquialisms also do not help clarity if it is meant to be understood by a large audi
320.
by foxes 6y ago
Yes some of the options would have been fairly spectacular at least.
321.
by foxes 6y ago
What a surprise it didn’t need nuclear ordinance or building giant elaborate dams or millions of helicopters.
322.
by foxes 6y ago
Why don’t they just post something on arxiv as everyone else seems to.
323.
by foxes 6y ago
To add, perhaps in a very general hand wavy way "quantisation" is something like replacing a commutative algebra A, with a non commutative algebra A_h. I do not necessarily think there is something discrete in this process. In phy
324.
by foxes 6y ago
The issue is not the "imaginary numbers not real etc!!" fluff. Maths is a tool to model reality and perhaps imaginary/real is a bad name. The interesting question why is C the correct choice of mathematical field to do "
325.
by foxes 6y ago
There is no evidence the Planck length is the smallest possible length in the universe, a pop sci misconception. It is the length at which quantum effects dominate the structure of space time, ie "quantum foam". It is perhaps the
326.
by foxes 6y ago
Then types in python are not expressive enough. Other languages most of the time you don't even necessarily need to specify the types - the compiler/interpreter can figure it out and still type check the program.
327.
Theory of Fun (2003)(raphkoster.com)
3 points by foxes 6y ago|1 comments
328.
by foxes 6y ago
As someone who has studied maths Proj Euler is infinitely more interesting especially in the harder questions. For me, most of time spent in advent of code is basically about parsing a blob of text. Project Euler inspires much more interest
329.
by foxes 6y ago
There are plenty of people who have genuine passion and interest yet don't succeed. Sounds like survivor bias. Funny that you also appeal to authority -- PG cant possibly be wrong because he is rich and successful :). Also studying soc
330.
by foxes 6y ago
I'm sorry if you don't understand why someone might be uncomfortable with the slides, picture it happening to you. You give a talk and then someone then goes through your slides, effectively saying "no you are wrong" wit

More ›