derriz

13 ms·

151.
by derriz 1y ago
I'm not sure I agree. I think I could be convinced if there was a unique and universal representation for numeric values using characters. But we have so many textual representations of numeric values that I'm assuming the "
152.
by derriz 1y ago
> Sure, that's one way to put it. If you don't know the topic you're reporting on,... Am I missing some irony or subtle sarcasm here? You're attacking the BBC for being inaccurate - with an argument containing a clai
153.
by derriz 1y ago
> It probably has a lot less to do with air temperature and more to do with amount of precipitation and humidity. You also don't have bamboo growing in Europe or the Mediterranean. No idea what the point here is? Was it to demonstra
154.
by derriz 1y ago
Sure - but I wasn’t claiming that consuming it always produced huge amounts of NOx - I was pointing out that having hydrogen involved doesn’t make a process “clean”. And burning hydrogen in air is being pushed/proposed - not just domes
155.
by derriz 1y ago
Hydrogen isn’t “clean” in any sense and I dislike that adjective is used so commonly with hydrogen. When burned in air it produces far more NOx than burning methane due to higher temperatures. For example, one popular idea (hydrogen blendi
156.
by derriz 1y ago
I’d also need to see statistics - without any selection bias introduced by what the researcher finds interesting. There may be 30 or so “common” patterns that appear globally - that would be very interesting if the total pool of symbols was
157.
by derriz 1y ago
The other factors being that enough people get killed so that a shrinking market share forces their management decide to change their car designs? I have a libertarian streak when it comes to drugs, porn/prostitution, free speech, pate
158.
Free non-classical sheet music(sheetsfree.com)
3 points by derriz 1y ago|0 comments
159.
by derriz 1y ago
Doh!
160.
by derriz 1y ago
Not really - renewable curtailment and negative wholesale electricity prices happen but not frequently enough that you can generally afford to leave a capital intensive investment like a bitcoin mining setup, a water desalination plant or a
161.
by derriz 1y ago
Why hydrogen? It has an extremely potent greenhouse effect and is obviously the leakiest of gases - the leakage alone could make it more environmentally damaging than actually burning natural gas. And have you seen how hydrogen burns or h
162.
by derriz 1y ago
It was amazing. Multiple applications running on different servers/machines all working side-by-side on a single desktop workstation. Effectively every GUI application could automatically be run in "client-server mode" (usi
163.
by derriz 1y ago
Where are you getting your numbers? The numbers I’ve seen indicate that non-household electricity prices in Germany have been stable for decades - fluctuating around the 35€/MWh mark until the crisis in 2021 - which affected all Europ
164.
by derriz 1y ago
> Nowhere in the world is nuclear subsidized per unit of production. Not true. Basically every nuclear plant ever built has been, if not directly financed by government, backed a guarantee to purchase every MWh produced at a fixed (or i
165.
Work on Revolution Wind project halted(text.npr.org)
7 points by derriz 1y ago|1 comments
166.
by derriz 1y ago
That cheaper natural gas is extracting a price in terms of health for you and your family: https://www.scientificamerican.com/article/the-health-risks-...
167.
by derriz 1y ago
I feel that the ergonomics of bash completion took a hit as the configurations got “smarter” and “helpfully” started blocking file or directory name completion if it thinks it wouldn’t be appropriate to have a file name at the current curso
168.
by derriz 1y ago
I don’t understand the question. Governments collect tax in lots of different ways: income taxes, sales/consumption taxes, import taxes, capital gain taxes, property taxes, inheritance taxes, etc, What’s so special about capital gains
169.
by derriz 1y ago
It’s not as crazy as it initially seems. It’s because of a fundamental difference between how capital gains tax and income tax are collected. Capital gains are deferred - so as years pass you’re working up a tax liability but most countries
170.
by derriz 1y ago
Yeah I think there’s some confusion here. When I hear “type theory” - I think Martin-Löf, Girard’s Proofs and Types, Curry-Howard, etc. Which is not a “theory of programming language types” - although the subjects are not completely isolate
171.
by derriz 1y ago
> compared to other foundational theories like category theory or set theory
172.
by derriz 1y ago
I know this is supposed to be a joke but I don’t get it? Type theory isn’t particularly heavy in terms of jargon compared to other foundational theories like category theory or set theory. These are highly technical fields of study so of c
173.
by derriz 1y ago
I’m not sure Set theory and Type theory compete for the same foundations people. Type theory’s stomping ground is in the foundations of computation. I’m guessing if you sampled a theoretical comp. sci. audience, I’m pretty sure type theor
174.
by derriz 1y ago
Yes - but this was decades ago so my memory is hazy. It was with an early Haskell variant called Gofer - which had a nice feature which allowed using list comprehension notation with arbitrary monads - which for simple grammars produced ver
175.
by derriz 1y ago
Agree completely and I’ve used a bunch of them and also functional combinator libraries. I‘d go further and say the recursive descent and Pratt approach is the way if you want to offer useful error messages and feedback to the user. They’
176.
by derriz 1y ago
Yes I made a mistake in my calculation - household income (from that CEIC data) rose 4.1% per annum between end of 2012 and the end of 2023. Your graph comes from BIS data - picking 1995 as starting point is a little unfair as that's e
177.
by derriz 1y ago
Again, the statistics and numbers completely contradict this narrative. We have a statistic - income redistribution - which effectively measures government policy in this regard. For example, Ireland's redistribution of income from ri
178.
by derriz 1y ago
Household wealth inequality has also fallen significantly in Ireland. Longer term statistics are more difficult to find compared to income inequality but see Chart 3 here - https://www.centralbank.ie/statistics/statist
179.
by derriz 1y ago
I don't think this is true or at least is not reflected by any statistics. Inequality, as measured by GINI has been falling both for the EU as a whole and within most European countries for decades now. The last decade in particular h
180.
by derriz 1y ago
In my experience, reasoning about (or maybe being able to manage) memory consumption is more of an issue for fully lazy languages. Having worked on a code-base written in a lazy (Haskel-like) FPL where the architecture relied heavily on laz

More ›