ubj

9 ms·

61.
by ubj 2y ago
I have mixed feelings about this. I joined IEEE as a student for purposes of publications and getting discounts on conference rates. I have continued my membership mainly because it's common among my professional peers. There are some
62.
by ubj 2y ago
I agree, this would make the title more accurate.
63.
Compiler-Based Autodiff for Nightly Rust(old.reddit.com)
2 points by ubj 2y ago|0 comments
64.
by ubj 2y ago
Potato cannons first inspired my love of physics. In high school I was amazed when I discovered that I could fire one vertically, time how long it took for the potato to hit the ground, and then mathematically reconstruct both the potato&#x
65.
by ubj 2y ago
The article clarifies the difference between "programming language safety" and "safety-critical systems": > Programming language safety refers to a language’s ability to prevent errors or undefined behaviors at compil
66.
by ubj 2y ago
Excellent article! Very clear and engaging. If checking for an intersection between two convex sets, another method is to solve a convex optimization problem minimizing the norm of the difference between two points, one constrained to be in
67.
by ubj 2y ago
There's a few alternatives. Zenoh [1] is an up-and-coming distributed middleware. ROS2 is actually adding it as an alternative to DDS [2]. LCM [3] is another middleware that has been around for a while. [1]: https://zenoh.io
68.
by ubj 2y ago
> The growing outcry has raised pressure on the US central bank to cut interest rates to bring relief, a move Federal Reserve chairman Jerome Powell has said is likely at some point. I don't think the solution is as simple as just &
69.
by ubj 2y ago
I recently bought a house in Utah. Utopia is the best internet provider experience I've had so far (I've had Xfinity and Verizon previously). Speeds are typically 10-25 Mbps _faster_ than the advertised rate I'm paying for. B
70.
by ubj 2y ago
Good point on the difference between decoding and understanding. The paper "What is it like to be a bat?" [1] comes to mind. We can certainly try to decode the behaviors and language of whales, but understanding their mindset is a
71.
by ubj 2y ago
This looks like a fantastic resource. After a quick scan, I couldn't find any information on how this book was programmed / created. Does anyone know if a particular framework was used, or if this was all coded by hand?
72.
by ubj 2y ago
Thanks for sharing [1], that was a great read. I'd be curious to see an updated version of that article, since it's about 6 years old now. For example, Boston Dynamics has transitioned from MPC to RL for controlling its Spot robot
73.
by ubj 2y ago
Very interesting! Kolmogorov neutral networks can represent discontinuous functions [1], but I've wondered about how practically applicable they are. This repo seems to show that they have some use after all. [1]: https://ar
74.
by ubj 2y ago
...And then you start learning about generalizations of the notion of "gradient" to scenarios where the classical gradient doesn't exist :)
75.
by ubj 2y ago
> The creator of a model can not ensure that a model is never used to do something harmful – any more so that the developer of a web browser, calculator, or word processor could. Placing liability on the creators of general purpose tools
76.
by ubj 2y ago
> The only real downside of them is that they seem to drive everybody to this obsession to try to truly understand them. This. If you only want to understand *how to apply* quaternions to represent rotations, it's not too hard to le
77.
Zenoh: Zero Overhead Network Protocol(zenoh.io)
1 points by ubj 2y ago|0 comments
78.
by ubj 2y ago
This might be a tangent, but why does JAX only support the saving / serialization of AOT compilation executables for TPU [1]? It would be great to have the ability to save compiled functions and not have to JIT compile something every
79.
by ubj 2y ago
Nice--it's great to see more options for interoperability between Python and WASM. I was aware of Pyodide [1], but Py2wasm seems to be a tool for compiling specific scripts into WASM rather than having an entire Python distribution in
80.
by ubj 2y ago
Does anyone know if and how well Penzai can work with Diffrax [1]? I currently use Diffrax + Equinox for scientific machine learning. Penzai looks like an interesting alternative to Equinox. [1]: https://docs.kidger.site/dif
81.
Penzai: JAX Research Toolkit for Neural Networks(github.com)
3 points by ubj 2y ago|0 comments
82.
Schwa(xkcd.com)
2 points by ubj 2y ago|2 comments
83.
by ubj 2y ago
MIT did this a few years ago, and their analysis of the benefits of standardized testing is worth a read: https://mitadmissions.org/blogs/entry/we-are-reinstating-our...
84.
Pournelle's Iron Law of Bureaucracy(jerrypournelle.com)
3 points by ubj 2y ago|0 comments
85.
by ubj 3y ago
> Interactive examples have been added to the documentation, allowing users to run the examples locally on embedded Jupyterlite notebooks in their browser. This might sound strange, but to me this is pretty exciting. I've been looki
86.
by ubj 3y ago
Mojo supports both AOT and JIT compilation: https://docs.modular.com/mojo/faq#is-mojo-interpreted-or-com...
87.
Lars Bergstrom: Rust teams at Google twice as productive as teams using C++(old.reddit.com)
6 points by ubj 3y ago|2 comments
88.
by ubj 3y ago
This looks interesting. A common complaint about the Baofengs is that they transmit significant unwanted harmonics outside the intended frequency. Do these radios have this issue as well? I'm very excited about the prospect of more rad
89.
by ubj 3y ago
I haven't ever written up a tutorial, but here's a technical report from someone else that gives an overview: https://lucris.lub.lu.se/ws/portalfiles/portal/61129581/auto...
90.
by ubj 3y ago
I'm assuming you're referring to nonlinear f(x) because this statement is trivially false for linear f(x). But consider the function f(x) = max(0, g(x) - c) where the following holds: * g(x) is nonlinear, positive definite in x, a

More ›