oscardssmith

10 ms·

61.
by oscardssmith 5y ago
The problem is that for every acre of ranch, you need 5 to 10 acres of farm to feed the ranch.
62.
by oscardssmith 5y ago
Just because you have a proof doesn't mean it proves the right thing.
63.
by oscardssmith 5y ago
It wouldn't surprise me if they have a really expensive epic chip with 8 cores and 1gb of cache. A chip like that would be incredible for applications with per core licensing
64.
by oscardssmith 5y ago
The problem with oop is that there are some problems that come up a lot (type promotion for example) where there just is no good solution. You can write a program in Julia that defines 4 different types of numbers and adds them all together
65.
by oscardssmith 5y ago
If you are interested in multiple dispatch, you really should check out Julia. In my opinion, the biggest reason Julia has been as successful as it has is that everything uses multiple dispatch, and the system for it is simple enough that y
66.
by oscardssmith 5y ago
If you want a harder guarantee, well written numerical code will be as fast as any other language. If you find a counter example, let us know (it's probably something that should be fixed). For string processing and other gc heavy code
67.
by oscardssmith 5y ago
I think Julia actually does a pretty good job of showing that the problem isn't types. The problem is semantics. Julia's restriction is eval to the global scope is a perfect example of this. It has a pretty minor on code, but a ma
68.
by oscardssmith 5y ago
In suburbs, we shouldn't have grocery stores be that far from people.
69.
by oscardssmith 5y ago
One thing that makes bridge very difficult is you need to be able to explain your partner's bids to your opponents. This means you either have to hard-code a bidding system (lame) or make a ton of progress in explainable ai.
70.
by oscardssmith 5y ago
If you're interested in climate modeling, you should really check out Clima.jl. it's an international collaboration on building a next gen climate model in Julia that uses some cool tricks like heavy usage of surrogate models that
71.
by oscardssmith 5y ago
BLAS/LApack are pretty much the only Fortran libraries that Julia uses afaik. There is also in development work on a Julia only blas replacement (Octavian.jl) which is competitive with mkl for the basic gemm already (more work needed f
72.
by oscardssmith 5y ago
This is incorrect. Chavin is charged with felony murder, which is when a death is the result of another felony (in this case, 2nd degree assault). All the state has to prove is the assault charge (that he intentionally took action, that act
73.
by oscardssmith 5y ago
Fun fact: as long as it was a necessary condition, it's still murder. It's no different than if you shoot someone with stage 4 cancer.
74.
by oscardssmith 5y ago
The refutation is really simple. Despite all of this, he was doing just fine until he was murdered.
75.
by oscardssmith 6y ago
The ability to call other languages is a strength. The need to do so is a weakness.
76.
by oscardssmith 6y ago
The less mysterious reformulation is that humans are better at finding less mysterious relationships.
77.
by oscardssmith 6y ago
What about blender, vlc, and Firefox?
78.
by oscardssmith 6y ago
At least for strassen, the result is slightly less stable (increases the condition number by a constant factor). I think higham shows that any sub-cubic algorithm must have done conditioning issues, but that in practice they're not tha
79.
by oscardssmith 6y ago
They proved that any dense algorithm of n^w where w>2 can be made more efficient. Note that 2 is a trivial lower bound for w.
80.
by oscardssmith 6y ago
Check out StaticCompiler.jl. it's very beta, but it works (at least for some small problems)
81.
by oscardssmith 6y ago
I think Julia makes clear how nice a good macro system can be. From simple things like @btime to the domain specific languages added by libraries like jump, macros just make a language way better. The only hard part is that once you have a
82.
by oscardssmith 6y ago
This isn't a failure. This is the quickest vaccine rollout ever. The way you do statistics for this means that the overkill speeds up how quickly you can verify effectiveness. For example, if you do a booster after 6 months, that adds
83.
by oscardssmith 6y ago
It's a better time to first plot than matlab, which is one of the other major contenders. On my computer it is about 3 seconds, which is noticable, but far from disqualifing.
84.
by oscardssmith 6y ago
In a lot of ways, I feel like 1.0 was a backend LTS while 1.6 is more of a front end one. 1.0 had most of the basics nailed down, but it's taken a while for it to become as seemless as it now is.
85.
by oscardssmith 6y ago
You should definitely check out Julia then. There are a few parts of the language that use C/C++ libraries (blas and mpfr are the main ones), but 95% of the time, your stack will be Julia all the way down.
86.
by oscardssmith 6y ago
For anything involving differential equations, Julia is way better than anything else. I also wouldn't be at all surprised if Julia catches up to python for way more machine learning within the next year
87.
by oscardssmith 6y ago
It depends. The thing that makes pgo good is that it bases it's compile off of analysis of runtime behavior. For that to work, you have to run the problem long enough to get a representative sample. For some programs, that can be a big