oscardssmith

8 ms·

31.
by oscardssmith 5y ago
Short answer is that it is (imo) by far the best language for writing generic and fast math. Multiple dispatch allows you to write math using normal notation and not have to jump through hoops to do so.
32.
by oscardssmith 5y ago
It's not released yet. Official announcement is happening at juliacon in 2 weeks
33.
by oscardssmith 5y ago
It's worth noting that the popular conception of "Greek democracy" tends to ignore the massive caste of slaves that Greek city states had.
34.
by oscardssmith 5y ago
Can't you get countable choice with zf? Countable means there is a bijection to the naturals, so you can always pick the element that corresponds with 0.
35.
by oscardssmith 5y ago
There's a lot of physics you can do in single precision. In fact, current gen climate models are mostly in single precision, and some of the next gen models are trying to do a lot of the work in half precision (float16).
36.
by oscardssmith 5y ago
One thing to consider is that you save a lot of weight on noise insulation. The wavy edges on the back of many new jet engines make the engines about 2% less efficient, but they let the plane save on enough weight to more than make up for i
37.
by oscardssmith 5y ago
In general, anti-viral treatments don't work very well. Antibiotics have worked great, but it's much harder to effectively target viruses with medicine (probably because they reproduce inside the cells of their hosts)
38.
by oscardssmith 5y ago
Covid (original version) took several months to spread around the world without something public health measures to slow it down. The Delta variant took about the same time despite the fact that significant portions have a degree of immunit
39.
by oscardssmith 5y ago
Some semantics are inherently slow though. If you are allowed to add fields to a class at runtime, you have to box all your objects. If you can eval in local scopes, you need to check to make sure you're running the right code. There a
40.
by oscardssmith 5y ago
Note that there is an effort to fix this. A group of Julia developers have written a proposal to give Unicode proper subscript and superscript modifiers.
41.
by oscardssmith 5y ago
Extremely misleading headline. Correct headline is "average new housing has doubled the space let person since new housing built in 1973".
42.
by oscardssmith 5y ago
That said, Iceland does in effect export a ton of power by importing bauxite and turning it into aluminum.
43.
by oscardssmith 5y ago
If you use parens instead of brackets, you get lazy comprehensions in Julia.
44.
by oscardssmith 5y ago
The main cause of Texas's blackouts were the grid losing about 70% of their natural gas power (and not having good inter-connects with the rest of the US). Also, it is a great example of where the ability to pre-heat a ton of water wou
45.
by oscardssmith 5y ago
One thing that I think this will mean is the end of blas. Blas served us well for about 50 years, but one of the big problems it has is that it leads to code that takes multiple passes over memory. I think the future lies in systems that d
46.
by oscardssmith 5y ago
Is there any single dispatch language that lets you define multiple methods for a function of a tuple depending on the type of its elements?
47.
by oscardssmith 5y ago
Sorry for the confusion. I meant reproducibility in the sense that I can have a git repo to share code between a laptop running windows and a cluster running Linux, and if I run the program on both I'll be running the same program (sam
48.
by oscardssmith 5y ago
The problem is that no warrant is needed if the phone company complies without asking for one. Basically the government says "hey can we see this users data? (And if you say no, we'll get a warrant that requires you to do extra wo
49.
by oscardssmith 5y ago
Note that those issues are about deterministic performance, not results. Also guix and nix appear to be Unix only, which severely limit their use for Windows users. One of the places Julia really excels with reproducibility is inter OS, yes
50.
by oscardssmith 5y ago
One reason to consider Julia for workflows like this is that it's been designed to improve reproducibility. Julia makes it really easy to distribute package state (through manifest.toml files), that make it easy to get exact copies of
51.
by oscardssmith 5y ago
You aren't accounting for purchasing power. In most countries, medicine costs half as much (or less), education is much cheaper, and the cost of food and housing is much lower.
52.
by oscardssmith 5y ago
Out of order execution requires a ton of logic (you're basically adding a small optimizing compiler in silicon). This takes a bunch of area and leads to more complicated data paths. The reason high performance cores use it is that it g
53.
by oscardssmith 5y ago
If you are interested in datasets that fit in memory, Dataframes.jl is really good now. For interfacing with SQL, there still isn't anything much better than jdbc.
54.
by oscardssmith 5y ago
Currently Julia will probably lose to C++ here due to some GC quirks and less well optimized strings. That said, both of these issues are being worked on, and I would expect fairly major progress by 1.8. (some of this work is already done.
55.
by oscardssmith 5y ago
I don't think these are contradictory. More people have read the Bible, but many of the details they know about the story are from paradise lost, not the bible.
56.
by oscardssmith 5y ago
I think a lot of it is that modern languages (python to some extent, rust Julia etc) implimented many more of their features themselves. Julia, for example, has some basic stuff defined in C, but 70% of the code is just Julia. Since most o
57.
by oscardssmith 5y ago
But since Turing machines can emulate multiple Turing machines, any problem that can be completed by multiple machines communicating can be solved by 1 Turing machine. As such, the computational power is exactly the same.
58.
by oscardssmith 5y ago
The problem with this is that proving an algorithm is in P is also undecidable.
59.
by oscardssmith 5y ago
This is just false. A Turing machine can emulate multiple Turing machines that communicate with each other.
60.
by oscardssmith 5y ago
I'm not sure about this. There are a bunch of "rural" states that still have large populations in pretty urban areas (eg Nevada, Vermont). It seems totally plausible that the urban parts of enough rural states are more than h

More ›