bmc7505

23 ms·

271.
The vanishing billionaire: where is Jack Ma?(ft.com)
2 points by bmc7505 6y ago|1 comments
272.
The Wolfram Physics Project: A One-Year Update(writings.stephenwolfram.com)
102 points by bmc7505 6y ago|148 comments
273.
by bmc7505 6y ago
Why is this comment being downvoted?
274.
Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf](cis.upenn.edu)
135 points by bmc7505 6y ago|72 comments
275.
by bmc7505 6y ago
If you get a chance, the leather currach which Tim Severin built and sailed across the Atlantic is now on display and can be visited at the Irish Heritage Museum at Craggaunowen, Co. Clare. It's a remarkable vessel and hard to imagine
276.
by bmc7505 6y ago
That’s a great explanation, thank you!
277.
by bmc7505 6y ago
Isn’t + a variable number of succ’s? Why does x break decidability, but + does not? It seems to me you should be able to define a second order Presburger system with + replacing succ, and x replacing + to restore decidability. Or is there s
278.
by bmc7505 6y ago
Does anyone have an intuition for why Presburger arithmetic is decidable, but once you introduce x, it is not? If + can be rewritten as repeated succ, (which is decidable) and x can be rewritten as repeated +, then it seems logical that x
279.
by bmc7505 6y ago
> Java, Go and Rust can run programs at native speeds on non-x86-64 architectures, e.g. ARM, but Cosmopolitan cannot These things are not mutually exclusive. Nothing is stopping you from shipping a JVM, Go, or Rust app ontop of Cosmopoli
280.
MultiK: Multidimensional Array Library for Kotlin(github.com)
2 points by bmc7505 6y ago|0 comments
281.
by bmc7505 6y ago
This reminds me of a speculative fiction story by Ted Chiang called "Anxiety is the Dizziness of Freedom" which imagines an expendable device that gives users the ability to contact alternate versions of themselves in other branch
282.
by bmc7505 6y ago
> Barak Pearlmutter has some work on how he thinks this is what happens in slow-wave sleep to make our brains less prone to seizures when we're awake. Interesting! I am more familiar with Pearlmutter's work on automatic differe
283.
Handedness predicts Conservative-Republican preference(tandfonline.com)
1 points by bmc7505 6y ago|2 comments
284.
by bmc7505 6y ago
Having taken this class in person, I can attest that Duckietown is an outstanding introduction to autonomous vehicles. It covers many advanced topics from perception, filtering, and localization, to planning and vehicle locomotion - thousan
285.
by bmc7505 6y ago
Also available in Kotlin: https://github.com/VerbalExpressions/KotlinVerbalExpressions
286.
Foundations of Probabilistic Programming(cambridge.org)
2 points by bmc7505 6y ago|0 comments
287.
Gradient-Based Optimization(drive.google.com)
1 points by bmc7505 6y ago|0 comments
288.
JetBrains Projector(github.com)
6 points by bmc7505 6y ago|1 comments
289.
by bmc7505 6y ago
One thing I don’t think a lot of people appreciate is that Manim is the spiritual successor to Bentley and Kernighan’s Anim, an early system for algorithm visualization: https://static.usenix.org/publications/compsystem
290.
by bmc7505 6y ago
Announcement here: https://mail.openjdk.java.net/pipermail/panama-dev/2020-Octo...
291.
Vector API integrated into JDK 16 mainline(openjdk.java.net)
2 points by bmc7505 6y ago|1 comments
292.
NeurIPS 2020 Accepted Papers(nips.cc)
1 points by bmc7505 6y ago|0 comments
293.
Symbolic Expression Equivalence Proofs Using Graph-to-Sequence Networks(arxiv.org)
3 points by bmc7505 6y ago|0 comments
294.
by bmc7505 6y ago
Where in NH are you based? Anywhere near Whitefield/Lancaster?
295.
by bmc7505 6y ago
https://mechanical-sympathy.blogspot.com
296.
by bmc7505 6y ago
Learn Kotlin, you won’t be disappointed. It’s an ergonomic language with best-in-class developer tools, and the only mainstream programming language that allows you to be productive on frontend, backend, mobile, browser and native. Kotlin a
297.
by bmc7505 6y ago
The tooling is ahead in some ways and behind in others. As a statically typed language, Kotlin's autocompletion and static analysis is already miles ahead. More broadly, the JVM has a rich ecosystem of libraries for data processing, fr
298.
by bmc7505 6y ago
Makes sense, thanks for clarifying!
299.
by bmc7505 6y ago
> You can compile your Java code into an executable which doesn't require Java to be present. Wasn't this feature already supported in JDK 14 with the jpackage tool? https://openjdk.java.net/jeps/343
300.
by bmc7505 6y ago
I think you might be confusing the language and the type system. Not saying anything about the runtime characteristics of the language (which is obviously Turing Complete), but the type system itself, which is TC. If the type system allows

More ›