j-pb

31 ms·

391.
by j-pb 4y ago
Location? Germany has huge amounts of wind, especially in offshore. Your own map even shows this. We also have plenty of solar, enough that the conservatives introduced a solar installation LIMIT to keep fossil fuel and nuclear competitive.
392.
by j-pb 4y ago
Petri nets: the game Nice one!
393.
by j-pb 4y ago
Those pylons are a much easier to swallow pill than wind turbines with their shadows and noise + train noises.
394.
by j-pb 4y ago
> But maglev was researched extensively and then we decided against it. The people against it were the Boomer-Greens, the same generation that got us Harz-IV and favoured Coal over Nuclear. Their anti-transrapid standpoint was just a pol
395.
by j-pb 4y ago
The current limiting factor in scaling out trains in germany is NIMBYs. Ad train system that is significantly more silent, with a lower area footprint due to pylon tracks has a serious advantage there. If you cover the track in solar panels
396.
by j-pb 4y ago
That argument is the root cause why we stopped investing in innovation and infrastructure. The same could have been said about airports, highways, trains, electricity, the internet. Current train travel is a joke in germany, the infrastruct
397.
by j-pb 4y ago
To think that we could have maglev trains in europe for 40 years now...
398.
by j-pb 4y ago
I think there is a sweet spot between automatically laid out elements on a fixed sized canvas. Responsive design is the root of all evil, and we would have a lot less headaches with something like hypercard, where modularity and responsiven
399.
by j-pb 4y ago
This sentiment ignores, that programming, like everything, is a social endeavour.
400.
by j-pb 4y ago
Yes I wholeheartedly agree, rust is definitely overpromising in that department. The language has grown too large too quickly imho, and having the compiler as a formally verifying aide when the foundations/axioms aren't defined ye
401.
by j-pb 4y ago
The rust philosophy is very correctness oriented and safety focused. This, combined with a general frustration with how broken software engineering is as a whole, has led to the mindset in part of the rust community that using anything less
402.
by j-pb 4y ago
I don't quite get why this is flagged, hence I vouched for it. Calling someone a "full time safety coomer" seems innapropriate for someone holding the title of "vp of community" in the Zig foundation. It certainly m
403.
by j-pb 4y ago
Thanks for the insight on how you mitigate these issues! We're doing a lot of data-structure work involving bit stuffing, i.e. packed struct, which is very unfinished indeed.
404.
by j-pb 4y ago
As someone who has used Zig in anger for the last year (to build an in-memory db coincidentally). I find the idea of using it in production, especially for financial data, absolutely unsettling. The language is awesome, and developing rapid
405.
by j-pb 4y ago
I regularly regret not writing a blog... But if you want to talk about some ideas feel free to drop by at discord.gg/tribles
406.
by j-pb 4y ago
The basic intuitions they have are correct, but if feels like there is a serious lack of or disregard for the theoretical background needed to talk about this stuff properly. > (pull db '[* {:team/task [* {:task/owner [*]}
407.
by j-pb 4y ago
Oh boy, their blog[1] is really painful to read for someone with a database background. They conflate so many different concepts, like datalog and triple-stores, apparently having seen only Datascript/Datomic. [1]: https://w
408.
by j-pb 4y ago
This is a false dichotomy. As great as content addressed IDs are, they only allow you to build DAGs. Many domains require a graph to be properly modelled, a collision free string of random entropy is the best thing you can get, in terms of
409.
by j-pb 4y ago
I realise how exhausting it must be to put yourself out there and under the scrutiny of strangers, especially with the need to not leave loose threads and untruths hanging, so I'll try to keep it short and don't expect an answer :
410.
by j-pb 4y ago
The interesting thing to me is that the statement "autistic people can’t acknowledge when they’re wrong" actually holds some truth in my experience, but it's not from some flaw of character, but the result of the more underly
411.
by j-pb 4y ago
Really interesting stuff especially for existing jam stack websites, but oh god > This vision of a better web is why Netlify is bullish on Astro can't this horrible stock market and crypto bro lingo stay in the casino bubble.
412.
by j-pb 4y ago
I have it on my todo list to revisit the Rust implementation at some point. Now that const generics have landed at least some parts of the code should be easier to write. I'll throw you folks an issue over the fence, should I run into
413.
by j-pb 4y ago
Yeah that's what I meant. I'm completely fine with difficult semantics in weird corners of the language. I just want to know them tho :D.
414.
by j-pb 4y ago
> otherwise you get to go on pretending as if the Rust project likes complexity for the sake of complexity. Your words, not mine. I'm fine with a smart compiler. I also think that a high-level language (which Rust is in a sense) als
415.
by j-pb 4y ago
Yes, hence my delight at the creation of MiniRust.
416.
by j-pb 4y ago
You've chosen a really weird hill to get upset about. You also seem to have a way worse connotation for "smart compilers" than I have.
417.
by j-pb 4y ago
My brain isn't cached into the issue anymore, because I've since solved the same problem with Zig, but about a year ago there was no way to have a reference counted tagged pointer that points to a boxed DST with the minimum number
418.
by j-pb 4y ago
Don't take things to literally, the outcome of "we set out to build an arbitrarily smart compiler" and "we build an arbitrarily smart compiler to achieve X" are indistinguishable.
419.
by j-pb 4y ago
> "It really does feel like rustc is a big step toward the mythical Sufficiently Smart Compiler, letting you write nice code without worrying about a suite of low-level gotchas." > Hear more from Reliability Project Director
420.
by j-pb 4y ago
Rust screams UB much quicker when it comes to memory semantics than any other language that I know. Rusts lower bounds of code mangling are also much higher than in other languages. I don't expect to have a good mental model of an opti

More ›