calebh

11 ms·

61.
by calebh 8y ago
Amazon is the new IBM
62.
Kim Jong-Il and Me: How to Build a Cyber Army to Defeat the U.S. (2010)(youtube.com)
1 points by calebh 8y ago|0 comments
63.
Deriving special relativity from the Pythagorean theorem(youtube.com)
2 points by calebh 8y ago|0 comments
64.
by calebh 8y ago
If you read the article closely, it says that traffic was diverted via its PoP on the west coast (presumably in the US). The article isn't saying that there is a cable going out from Canada.
65.
by calebh 8y ago
I recently visited Carcassonne, France, and this is how it basically works. The old city is dedicated solely to tourism, and the new city is where all the actual residents live. The old city was abandoned before it was restored, so this sit
66.
by calebh 8y ago
Unity has been investing heavily in neural nets for AI. I could envision this also being used for art asset generation. The core TensorFlow API is written in C++, not Python.
67.
by calebh 8y ago
The gRPC website mentions protocol buffers in the first sentence, and the Wikipedia page says that protocol buffers are used for gRPC. I consider a defacto standard to basically be equivalent to a standard, even if that's not "tec
68.
by calebh 8y ago
Generics and user defined types make it easier to represent more complicated data. Now everyone is just going to have to write custom encoders and decoders to get the data to a Protobuf compatible format, which is pretty much what we do rig
69.
by calebh 8y ago
I think that if we're going to have a full blown typed RPC system, we need to at least be able to represent generics/parametric polymorphism. As far as I know, protobufs do not support this feature! Why are we settling for using a
70.
by calebh 8y ago
If the MWI is true, then there must be some universes that would experience multiple highly improbable events. These events would be a hint to residents of that universe that the MWI is correct. Why wouldn't the usual Bayesian analysis
71.
by calebh 8y ago
Could the anthropic principle taken into conjunction with our continued existence be used to show that the MWI is more probable? Here's the situation that I'm thinking about: it's well known that we've come close to nucl
72.
by calebh 8y ago
In the next version of Juniper everything will be moved over to purely stack based allocation. Currently only function closures and refs are allocated on the heap. The refs are only created once when the program initializes itself, so that
73.
by calebh 8y ago
Once you understand kinds, it's not so hard to understand typeclasses and monads. Type classes are a way to overload functions in a controlled way, by defining a set of function signatures where the overall typeclass is parameterized b
74.
by calebh 8y ago
I've worked extensively with functional programming on tiny microcontrollers like the Arduino. I created a research language called Juniper[1], which is a Haskell/F#-like language targeting the Arduino. As you mentioned, the memor
75.
by calebh 8y ago
I use the MBTA buses sometimes to get from my house to the nearest train stop after which I make a transfer to another bus. A real time map of the bus locations would be 100x more valuable than just a prediction. Same with the train - I use
76.
by calebh 8y ago
News agencies need to stop reporting global warming temperatures in Celsius for US audiences. A single Fahrenheit degree is 5/9 of a Celsius degree! US audiences do not have an intuition about Celsius, so giving changes in that unit of
77.
by calebh 8y ago
I'm excited to see that effect handlers are gaining popularity. I read the original papers that introduced them, and I think that they have a lot of potential.
78.
by calebh 8y ago
Agreed. Why can't software devs just complete a project and then call it good? Perpetual change is unnecessary and a waste of effort.
79.
Monads as Programmable Semicolons(calebh.io)
1 points by calebh 8y ago|0 comments
80.
by calebh 8y ago
Looks like Apple needs to run another 1984 ad during the Superbowl.
81.
by calebh 8y ago
What about polywell fusion? Can anyone with expertise comment on this design?
82.
by calebh 8y ago
People buy cars with their worst case transportation requirement in mind. By moving car ownership to an external fleet, people will be free to only use the extra transportation capacity as needed. Why are we spending all of this energy to a
83.
by calebh 8y ago
It turns out that it is possible to optimally minimize the number of beta reductions in a lambda calculus program. See this excellent blog post: https://medium.com/@maiavictor/some-functions-may-have-negat...
84.
by calebh 8y ago
This sounds good, as a person who specializes in domain specific languages. Maybe we'll see higher demand and corresponding salary increases...
85.
by calebh 8y ago
Hopefully competition from China will spark a re-investment in education elsewhere in the world.
86.
by calebh 8y ago
C++ closures are a bit weird in that you have to specify how the captured data needs to be captured (either by reference or by copy). How the data is handled also depends on the implementation of std::function (if you decide to wrap your la
87.
by calebh 8y ago
Since other people are giving their monad tutorials, I'll give my take here: Haskell has a feature called type classes which allows you to overload functions. The definition of a type class gives a list of functions with their type sig
88.
by calebh 8y ago
I've found that the easiest way to understand quaternions is by visualizing them as scaled "look" or "orientation" vectors. For example, if an airplane is oriented in the direction (x,y,z) at a rotation θ around tha
89.
Breaking down the walls between programs(calebh.io)
1 points by calebh 8y ago|0 comments
90.
by calebh 8y ago
Agreed. I wish that more effort would be made towards reducing inference time, since that is the limiting factor in many real-world applications.

More ›