Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
throwawayFinX
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
throwawayFinX
2y ago
I think there is a 20/80 split between blue collar and white collar workers here at the HQ in Westphalia. So mostly a cubicle-farm of sorts. I asked around and my german colleagues tell me it is a Bavarian thing with the beers. > 4p
2.
▲
by
throwawayFinX
2y ago
Haha interesting! Which sector are you in? I work for a German-owned industry corporation (in a nearby EU country) and would get fired for having a friday beer with colleagues if not at company-arranged “friday bar” or some other event :) N
3.
▲
by
throwawayFinX
2y ago
This surprises me. Are you speaking from a US point of view? In many west european countries it is forbidden to consume alcohol in work hours, except at company-arranged events etc. and/or to be intoxicated. For a comparative overview
4.
▲
by
throwawayFinX
2y ago
There are tools available for direct formal analysis of the system as implemented (and not “just” a model of it). With e.g. the C bounded model checker CBMC, your model language is also C. Frama-C is another approach (Hoare-like, axiomatic
5.
▲
by
throwawayFinX
2y ago
The parent is not wrong: The total number of children in the world has already peaked (2017?) and is now dropping. The population growth should still continue for about a human lifespan from here (50-80 years depending on who you ask). That
6.
▲
by
throwawayFinX
2y ago
I think it’s broadly accepted that WW2 forced or accelerated inventions such as: jet planes, radios, synthetic rubber, radar, the Jeep, duct tape, nukes. The cold war -> the space race. Drone tech/military AI in Ukraine is perhaps a
7.
▲
by
throwawayFinX
3y ago
This is also (slightly) incorrect. When trading the VIX, you are trading the implied volatility not the actual (realized) volatility. VIX represents the implied vol of options on S&P500 expiring 30 days into the future. Trading the real
8.
▲
by
throwawayFinX
3y ago
dr1ver is correct here and you are not. Actual volatility (not implied!) is much easier to predict than price. It’s also much more difficult to trade than price changes. So your intuition about this is correct though. It is not super diffic