31
points
disentanglement
Joined 98 karma
- disentanglementFully agreed. I have never seen a programming language which is so badly designed as Wolfram. I really wish there was another way to access all of Mathematica's functionality with a more sane interface.
- Did you really just attribute the deaths from a bombing raid on a dam during WW2 to a hydropower incident?
- TeX is written in a literate programming style which is more akin to a math textbook than ordinary computer code, except with code blocks instead of equations. The actual programming language in the code blocks and the OS it runs on matters a lot less than in usual code where at best you get a few sparse comments. Avoiding bit rot in such a program is a very manageable task. In fact, iirc the code blocks which end up getting compiled and executed for TeX have been ported from Pascal to C at some point without introducing any new bugs.
- Yeah, I'm not saying it's a good idea. But you could do it if you wanted to.
- A 1 MWh battery isn't actually that big. There's electric trucks on the market right now with 600 kWh batteries sitting on the frame between the front and rear axle. That would easily fit into a basement room.
- They are cheaper to run almost everywhere (depending on the cost of electricity versus gas of course). No breakthrough in battery technology needed for that.
- I have never seen a conductor on a metro/subway system in Europe. Mainline trains often have one, but not always. I've ridden trains on small branch lines in Germany which were operated by a driver only.
- Range is somewhere between 350 and 600 km depending on conditions. Aerodynamics, weight, weather all have an influence as well as the battery size and efficiency of the specific model of truck. The guy on the youtube channel has driven most of the selection of currently available long haul electric trucks in Europe under a variety of conditions, so this seems fairly representative.
The trucks are all designed to be driven for the legally mandated maximum of 4.5 hours at highway speeds and to be recharged sufficiently in a 45 minute break to be able to do that again for another 4.5 hours. In particularly adverse conditions a little less driving time before recharging is possible but for an average load the currently available tech works just fine and it is mostly the charging infrastructure that limits adoption.
- I'd love to see the system of mathematics where 4 times 365 comes out to one million. Maybe I can get my bank to use the same system.
- Well hopefully the starter kit doesn't include a few kilograms of weapons grade plutonium.
- Although that paper even made it to PRL. I guess I should have written up some similar nonsense and sent it to PRL, might have improved my career chances.
- > However, "macros" are a disaster to debug in every language that they appear.
I have only used proper macros in Common Lisp, but at least there they are developed and debugged just like any other function. You call `macroexpand` in the repl to see the output of the macro and if there's an error you automatically get thrown in the same debugger that you use to debug other functions.
- As far as I know, optimization levels higher than -O0 work fine with SpillPointers. But at least in a cursory first look I had a while ago, the optimizations made things slower overall. I guess they might lead actually to more "moving pointers in and out of the heap" since the SpillPointers pass is done at the very end. But this should all be investigated more thoroughly.
- Apart from the restriction to bytecode interpretation already mentioned, one reason for the slowness is that the sort of C with garbage collection that ECL needs is quite difficult to do in Webassembly. There is no way to scan previous stack frames for pointers in wasm, so all pointers to heap objects (or everything that looks like it might be one) have to be kept around somewhere in the heap where the GC can find them. This is really expensive and slows down the code a lot.
Of course, another approach would be to use the new wasm GC interface. But that requires defining a new ABI for garbage collected C, writing a new backend for LLVM, etc. So that would also be a lot of work to implement. Right now, there just is no efficient way to run programs that depend on bdwgc on wasm.
- In lisp, macros are just ordinary functions whose input and output is an AST. So you can debug them as you would any other function, by tracing, print debugging, unit tests or even stepping through them in a debugger.
- Or perhaps the republican party has developed such an astonishing anti-science attitude that hardly any reasonable scientist can support them? Imagine doing research on vaccines and hearing the soon to be secretary of health speak on that topic. As long as these kind of people count as "conservatives" in the US, how could you be a conservative scientist?
- > For one thing, just admitting more people almost certainly decreases the access to quality education overall
Why would that be the case? There are many much larger universities all around the globe and also in the US that manage to provide quality education to their students.
To me, the statements that colleges make about their admission procedures always seem hypocritical to me. The colleges claim that the goal is to advance gender equality and provide education to underrepresented groups (which would not require a small student body) when their main goal seems to be in fact to create a small in-group of people who have made the right connections during their studies (which absolutely does require a small student body).
- Coming from a country where the sort of super selective universities like Caltech don't exist, the fierce debates about equality of admissions to these sort of places never made sense to me.
If Caltech, Harvard, MIT or wherever really were committed about advancing gender inequality, why not just raise the numbers of students and admit more people? The number of students is mainly limited artificially and there's no reason they can't educate both men and women who apply.
- Thermodynamics is usually (and rightfully so) taught together with statistical physics for which quantum mechanics is essential, so the order does make sense.