orbifold

47 ms·

451.
by orbifold 6y ago
There is a very real sense in which working in mathematics can be suffering. I feel like any research mathematician sooner or later has that feeling. Because you will be confronted with your limitations and weaknesses eventually. So I think
452.
by orbifold 6y ago
Checkout Lean, the lead developer also started Z3 . Lean 3 is implemented in C++ and apparently is much faster than Coq. They are in the process of implementing Lean 4, which will feature native code generation and might become one of the f
453.
by orbifold 6y ago
Germany now has 20 million retirees that just got a raise of 3.5%-4.5% in their pensions . Already 1/4 of the population expects to be paid by a dwindling and ageing workforce. Before long 1 adult will have to pay for 4 retirees (in De
454.
by orbifold 6y ago
Luckily it is also not terribly important what those intellectuals think. The large majority of academics are not engaged in these games, but working on serious science like theoretical physics, mathematics, biology and politely ignore them
455.
by orbifold 6y ago
I think there basically was a crisis in philosophy, most sane and interesting perspectives had already been explored. Western Europa had almost self-destructed in the first half 20th century. France, Great Britain lost almost all of the res
456.
by orbifold 6y ago
The second one is the attack that spread all the way to a basement HPC cluster in the Physics Institute at LMU Munich, the IP addresses listed are indicators to look for that your system might be compromised, not the victims of the attack.
457.
by orbifold 6y ago
Well there were two incidents ( https://csirt.egi.eu/academic-data-centers-abused-for-crypto... ) one of which had "unknown purpose". It had the real effect of disrupting the majority of the super computing infrastr
458.
by orbifold 6y ago
At least according to this incident report https://csirt.egi.eu/academic-data-centers-abused-for-crypto... , one of the two attacks had "unknown purpose". In particular it was not tied to crypto mining.
459.
by orbifold 6y ago
Facts: 1 - one of the two incidences reported (#EGI2020512) targeted academic data centers "for unknown purposes" ( https://csirt.egi.eu/academic-data-centers-abused-for-crypto... ) and not necessarily crypto curren
460.
by orbifold 6y ago
Well this is clearly a hostile act during a time in which several European countries have declared medical emergencies. They were not just "attacked" but have been completely offline for almost two weeks now ( https://ww
461.
by orbifold 6y ago
Just for additional context several super computing sites in Europe were attacked a few weeks ago and are still down, among them PizDaint at CSCS, which ranks 6th in the world, several super computing sites in Germany (FZ Juelich) and so on
462.
by orbifold 6y ago
Haskell, OCaml
463.
by orbifold 6y ago
Even in the context of bioinformatics my comment applies. With modern C++ libraries you are able to replicate the numpy user experience almost line by line. A baseline FASTQ parser in modern C++ would look nothing like the fastq.h C parser
464.
by orbifold 6y ago
Personally I think numerical code should still mostly be written in C++, right now it still has by far the widest choice of options for doing so. It is also relatively easy to interface with python. For example both xtensor, libtorch/A
465.
by orbifold 6y ago
Science is inherently a low stakes game. Most scientists are competing for budgets of no more than a few million a year, if they are really successful. There is little reward for producing excellent code, but a lot of reward for producing a
466.
by orbifold 6y ago
I used to think the internet was this great place resistant to censorship and government intervention. Instead you now have to tip-toe around and every comment ist tied to your real identity forever. At least I‘m using Apple, so pissing off
467.
by orbifold 6y ago
Prussia had a three tiered voting system, which allotted electors by dividing the tax income per district in three parts and awarding equal numbers of electors to each of the subpopulations (4.7%, 12.7%, 82.6% of the population in 1849). T
468.
by orbifold 6y ago
Well three of my friends are still hanging in there with a non-zero chance of success because they did their PhD in the right group. But yeah if you aren’t well connected or your advisor doesn’t like you this is a dead end.
469.
by orbifold 6y ago
More likely than not the next collider will be build in China, quite a few particle physicist luminaries have already made their case there. I for one am glad that I stayed clear of the siren call to join the 3000+ grad student workforce at
470.
by orbifold 6y ago
Well you also can’t eat money. So at a certain point there just will not be any stuff to buy if the shutdown continues and people just get checks in the mail. That is magical thinking.
471.
by orbifold 6y ago
The ratio of cranks to valuable outside contributions is probably 10^{-6} if not smaller. At our theoretical physics institute, they have a wall with the most amusing crank theories. It is also extreme arrogance that makes someone think the
472.
by orbifold 6y ago
Pick one or two ETF and set up a monthly amount to invest into them. You don’t need to invest everything at once and the monthly commitment averages out short term effects. If you want to be more active with a part of your money, you can al
473.
by orbifold 6y ago
I think LLVM and its Tablegen mechanism is a good example that large C++ projects almost inevitably will contain some code generation facilities. In that case this mechanism is rather poorly documented and is used to generate 10+ different
474.
by orbifold 6y ago
There is no separate C++ layer and the nice thing is that you can just use exceptions at compile time to signal errors. So the errors are actually much nicer than with template meta programming.
475.
by orbifold 6y ago
There is basically no way to modify clang or GCC to support executing arbitrary C++ code at compile time. Something like that would be a fork that wouldn’t get accepted upstream. According to the author the compiler front end is ~100kLoc wh
476.
by orbifold 6y ago
I think the author mentioned that he plans to support C++-modules as is. He already supports concepts.
477.
Circle – A C++ compiler with compile-time imperative metaprogramming(github.com)
214 points by orbifold 6y ago|139 comments
478.
by orbifold 6y ago
See also https://github.com/seanbaxter/circle for an up to date list of features, the compiler now also supports match expressions, list comprehensions and more.
479.
Circle Compiler Walkthrough (C++ with arbitrary compile time code execution)(youtube.com)
1 points by orbifold 6y ago|1 comments
480.
by orbifold 6y ago
This is perhaps one of the few places where software developers could learn something from hardware development: In hardware description languages everything happens in parallel by default. A large chip project has many components that comm

More ›