- andyferrisI was physically a lot healthier prior to WFH because I was way more active. Interesting trade off.
- > floats can be NaN and integers should be low(int) if they are invalid (low(int) is a pointless value anyway as it has no positive equivalent).
I have long thought that we need a NaI (not an integer) value for our signed ints. Ideally, the CPU would have overflow-aware instructions similar to floats that return this value on overflow and cost the same as wrapping addition/multiplication/etc.
- > choosing
Sometimes the programmer doesn't get to choose. I do find the business drive toward mediocrity quite maddening.
- The portable lithium battery "powerstations" double as great double-conversion UPS in addition to their intended outdoors (camping, beach, etc) activities, and depending on capacity go for less than 900 USD. It's only noisy when fast charging or providing high currents.
Definitely had various computer equipment plugged in to ours and it was great (I didn't specically test for EMI).
- Does anyone know what blocks something like this being accepted? I’ve had my eye on this for ages and have had to work around its lack multiple times, so just curious what the hold up could be.
- > averaging power over 15 minute chunks, and taking the worst one of a year.
What an interesting metric. Wouldn't even a very cheap and small battery (definitely small enough to keep inside an appartment) provide enough smoothing to, like, halve this peak number? You could rig it to not even output energy until you are beyond the current year's peak usage... How much money would you save this way?
I just feel this number is so prone to small mistakes (grandma plugs in the wrong things at the wrong times) and hacks (like the above) that the relationship between users' reward/punishment and the grid's health seems wildly disproportionate.
> market rate price of the energy in each 15 minute chunk separately
I am currently on a plan with 5 minute market rates, can buy and sell in (sell prices can go negative - as can buy, actually), all automated. At least I feel we am working with the grid, not against it, and we make a small net profit (before depreciation).
- Our local government taxes are entirely LVT and yet our housing prices still spiral upwards.
I'm not sure how to work this to everyday people's benefit - are the taxes to be so large punative that half of everyday home owners need to sell up? (I mean, the tax will only depress value if sales are avoided, or existing owners choose to sell, right?)
I'm probably in the "increase supply until no one else wants one" camp...
- But - doesn’t open sourcing it kinda make it someone else’s chore?
Obviously it has to “work” at sale but ongoing maintenance could be shared with the community.
- This is a very interesting article.
I'm not 100% convinced every influencer _feels_ trapped in a world of their own making - but it's correct that truth this day is suffering a bit of a "tragedy of the commons" problem.
> The world will keep offering you bad trades, will keep rewarding positions you know are too simple to be true.
Here's a story. I'd guess there's at least a few HN folk with a similar tale.
I'm not a real believer in cryptocurrency, in its current popular form at least. Actual value would be delivered by fast transaction rates at (very) high speed, high assurance, and some kind of oversight or ability to reverse transactions (you can choose your cutoff anywhere from "convicted criminal behavior" to "I disputed a transaction on my Visa/Mastercard just because I could" but ultimately society and the law needs to be an effective backstop of the system). Yet I was introduced to the bitcoin paper sometime near its release by a PhD officemate, and was a specialist in high performance and GPU computing at the time, and resolved to go home and spend a few hours mining a coin, but instead I just chilled out when I got home. I could literally have hundreds of coins right now (or equivalent cash). For years I could have chosen to join the bandwagen, but resolved not to. Currently my parents are profiting - go figure.
So yeah the world offers some interesting trades from time to time!
In any case I found the article meaningful. I'm glad I live outside the US and its current polarization, but I feel we have the same problem growing here. Hopefully we all learn to deal with it and sort out our differences.
- One thing I found interesting is the logical type system doesn't seem to include sum types or unions, unlike Arrow etc.
I'd generally encourage new type systems to include sum types as a first-class concept.
- The style of marketing material was becoming SO heavily cargo-culted with telltale signs exactly like these in the leadup to LLMs.
Humans were learning the same patterns off each other. Such style advice has been floating around on e.g. LinkedIn for a while now. Just a couple years later, humans are (predictably) still doing it, even if the LLMs are now too.
We should be giving each other a bit of break. I'd personally be offended if someone thought I was a clanker.
- I see we need to add special syntax to the signature for dependent type variables.
If you take Zig, it's `comptime` parameters are kind of similar. They can be used to create functions that return types or whose output type depends on the inputs, etc. It seems to fulfil the three axioms at the start, no? The erasure stuff seems just as relavant.
Can I say that `comptime` is dependent types in imperative clothing? Or is there a missing capability making it strictly weaker?
- > I hope they add some POSIXy stuff to it
Are you aware of WASI? WASI preview 1 provides a portable POSIXy interfance, while WASI preview 2 is a more complex platform abstraction beast.
(Keeping the platform separate from the assembly is normal and good - but having a common denominator platform like POSIX is also useful).
- I agree.
I look forward to a future high-level language that uses something like comptime for metaprogramming/interfaces/etc, is strongly typed, but lets you write scripts as easily as python or javascript.
- Regarding autovectorization:
> The other drawback of this method is that the optimizer won’t even touch anything involving floats (f32 and f64 types). It’s not permitted to change any observable outputs of the program, and reordering float operations may alter the result due to precision loss. (There is a way to tell the compiler not to worry about precision loss, but it’s currently nightly-only).
Ah - this makes a lot of sense. I've had zero trouble getting excellent performance out of Julia using autovectorization (from LLVM) so I was wondering why this was such a "thing" in Rust. I wonder if that nightly feature is a per-crate setting or what?
- Distributed can do redundancy. It’s relatively cheap.
Consider a family with two cars instead of one. How often do they have zero working cars? The correlated failure rate squares while the cost doubles.
My home now has a grid connection, house battery and solar, a caravan with mounted solar/battery/fridge/inverter beside it, and I also have a portable “powerstation” and portable solar panel which is basically a UPS. My fridge contents and phone charging needs have a several extra 9’s now for costs that have scaled very well.
These systems are tech that is improving rapidly. In some years these African farmers with their increased yields will likely add a bigger, second solar & battery system. In a village you can run a cable next door. Etc.
- 45% slower to run everywhere from a single binary... with less security holes, without undefined behavior, and trivial to completely sandbox.
Its definitely a good deal!
- > I'd like to think that those who don't notice the difference have improved brain GPUs that can compensate for ghosting.
Wow. My perspective was those that did notice the difference were more perceptive. Thank you - now I realize there is a completely different take. (I'm not sure that it's helpful mind you... but it gives me something to chew on).
- My personal experience is that Chrome on my PC is more reliable/predictable than Safari on my iPad.
Now I am wondering if this is Safari/Chrome thing and not a mobile/desktop thing.
Certainly if the autofill doesn't work and I do need to to type it in, the PC is way easier. I'm thinking international travel for 5 people - all my responsibility and I don't want to get held up half way across the world when no one has slept for a day, work visas beign contingent on correctness, etc.
- Personally I find this really cool.
One thing I like about the design is it locks in some of the "platforms" concepts seen in other languages (e.g. Roc), but in a way that goes with Zig's "no hidden control flow" mantra.
The downstream effect is that it will be normal to create your own non-posix analogue of `io` for wherever you want code to hook into. Writing a game engine? Let users interact with a set of effectful functions you inject into their scripts.
As a "platform" writer (like the game engine), essentially you get to create a sandbox. The missing piece may be controlling access to calling arbitrary extern C functions - possibly that capability would need to be provided by `io` to create a fool-proof guarantees about what some code you call does. (The debug printing is another uncontrolled effect).