foxes

33 ms·

391.
by foxes 7y ago
Surely walking around outside exposes you to plenty of blue light. I think the issue is when people stay up late working at the computer.
392.
by foxes 7y ago
I wonder what would happen if you gave this to the top marathon runners. I feel like the savings would be a lot less. They have already quite a high cadence.
393.
by foxes 7y ago
Mirroring some of the comments here, just because you don't understand the internals does not mean you can't pick it up and be productive with it. This is what you do with any other language, but it just seems more natural to you
394.
by foxes 7y ago
The programming language Mercury which is a functional, predicate based, moded language uses something like a precursor to a sat solver to "run" the program. As in you can ask for the input of a function to make your program true.
395.
by foxes 7y ago
The "game" (training) that asks you to analyse "privacy threats" is a bit strange. It feels like it takes two random excerpts from a privacy policy and asks you to compare them, but with this, it feels like it is missing
396.
Angus Barbieri's Fast(en.wikipedia.org)
3 points by foxes 7y ago|0 comments
397.
by foxes 7y ago
The definition of entropy from a statistical mechanics perspective, is roughly a count of the number of different (microscopic) configurations, \Omega, of a system. When all the configurations are equally probable, you get the formula S ~ l
398.
by foxes 7y ago
For those wanting these ideas described in a more mathematical "language" [0-1] are a good start. If you are interested in studying objects and how they compose, you are probably interested in category theory. [0] https:/&#x
399.
Aztec Code(en.wikipedia.org)
3 points by foxes 7y ago|0 comments
400.
by foxes 7y ago
The simplest definition of a Turing Machine is a tuple: -a set of states -symbol set -initial state -set of accepting states -a transition function (plus blank symbol, and an alphabet, but not so important here) Evaluation (computation) is
401.
by foxes 7y ago
Sounds wholesome, I think if you have good self motivation you can always do interesting things in your own time. Sometimes I feel like you have to make it a bit of a routine, but it pays off.
402.
by foxes 7y ago
Recently, we understood some interesting mathematics and proved an interesting result. Also my running has picked up so I'm feeling really fit.
403.
Sauropod Neck Posture(en.wikipedia.org)
51 points by foxes 7y ago|30 comments
404.
Ask HN: What are some of your recent successes?
123 points by foxes 7y ago|117 comments
405.
by foxes 7y ago
First of all I was capturing the defn exp(f) = lim_{n \rightarrow \infty} (id + f/n)^n, but yes there are lots of other functions you can define more generally. The exponential just comes up particularly naturally.
406.
by foxes 7y ago
The exponential captures the idea of slowly perturbing an object by a small amount. Suppose you start with some object, perform some action on it, then add the result back to your original object. On a manifold you can't add objects to
407.
by foxes 7y ago
let y=3n*(10n**1000020n); const f=(i,x,p)=>{(x>0)?f(i+2n,x*i/((i+1n)*4n),p+x/(i+2n)):p/(10n**20n)} console.log(f(1n,y/8n,y)); Not sure if I can golf it anymore
408.
by foxes 7y ago
This year has been a real turn around for me, I'm feeling great. I think R U Ok is a great initiative, quite a contrast it seems to America where mental health is more stigmatised. It would be great if something like R U Ok spread else
409.
by foxes 7y ago
People find order and structure attractive. Functional programming is associated to that. I feel like functional programming - maybe more from a categorical perspective - is good at generalising and capturing lots of ideas cleanly. For exam
410.
by foxes 7y ago
I'm reminded about Mach's principle [0]. Its interesting to see a connection between local structure and then something more global. [0] https://en.wikipedia.org/wiki/Mach%27s_principle
411.
Evaluating cellular automata is comonadic (2006)(blog.sigfpe.com)
2 points by foxes 7y ago|0 comments
412.
Why Erlang is among the few true computer languages (2018)(wordsandbuttons.online)
22 points by foxes 7y ago|12 comments
413.
by foxes 7y ago
>Alternative reality: You cannot read a language which you do not know. I think this is probably the only thing I agree with. >Language is inconsistent. Programming languages shouldn't be inconsistent. They should conform to a fo
414.
by foxes 7y ago
Honestly you can nearly write Haskell without specifying type signatures. GHC is very sophisticated. I feel like there have only been a few situations where I actually needed to specify the type. Really the argument shouldn't be about
415.
by foxes 8y ago
In the preamble they mention [0]. So I assume it is about when your data set consists of graphs (ML on graphs). [0] https://medium.com/octavian-ai/deep-learning-with-knowledge-...
416.
by foxes 8y ago
I think if you want to study quantum computing, you do not need as much of a physics background as you think (perhaps for physically implementing a qc, but that is more experimental). If you have had more exposure to maths and computer scie
417.
by foxes 8y ago
Reminds me of some interesting papers that are related to this topic, off the top of my head check out [0-1]. Perhaps relative geodesics is a key word to search. If you picture curves as made out of some sort of pliable material, you can
418.
by foxes 8y ago
With this and other generated music, often it feels like you are only capturing local information about what it means to be a song, and maybe missing something global. For example things can feel a bit disconnected, chords and progression
419.
by foxes 8y ago
It would be nice if they went in to a bit more detail about what they see as the connection between these two subjects. As they say, a variety is the zero set of some polynomial equations. In particular a Riemann surface can be represented
420.
by foxes 8y ago
Imagine needing the complexity of docker, browsers, vs code when a much simpler (and compared to this which is running in http? - secure) tool already exists :), ie ssh -X

More ›