skysight-inc/HackerNews huggingface dataset:
That kind of approach is fine for special cases like time series or logs or events, but "no updates or deletes" is never going to be true for arbitrary data.

"Negotiating with data provider" is never going to happen - SAP or IBM or whatever vendor of whatever you're integrating is not going to change how their systems work to make your life easier - more likely they would use it as an opportunity to pitch their reporting solution instead.

Meaning from simple data movement, you get need for CDC on source end, then the simple incremental movement, then deduplication on target end - and that one is pretty computationally expensive.

For small data and low refresh frequencies (like singular gigabytes in source size, so hundreds of megabytes in columnar, updated daily), this dance might not be worth it compared to daily full snapshots.

I wish you were right though, my life would be hella easier.
> Granted, if the cost savings were enough

They probably are enough over long periods, or retailers wouldn't be profitable.

However that assumes you hedge properly. If you treat your savings from "good times" as extra cash to spend you're going to get burned to the ground by the bad times.

It also means you have to be extremely reactive, now you need a setup to quickly cutoff electricity if wholesale prices skyrocket, and you need to be on the ball checking wholesale prices like a whale checks their gasha.
In order to use MathJax offline, you need to have a local version of MathJax installed on your Windows/MacOS/Linux operating system. Instructions are described here: http://docs.mathjax.org/en/latest/web/hosting.html#web-hosti...

MathJax on an offline mobile device is going to be an issue, unless the device is rooted, jailbroken, or something like that.

The best option for most users, rendering math heavy syntax that needs to be displayed in a human-readable form, is to use a standalone LaTeX system: https://en.wikipedia.org/wiki/Comparison_of_TeX_editors
Everything Bubble
Thats funny to hear, I had a minidisc player as a young tech neophyte in North America and never had compatibility issues, or even until now knew there were variants of md.
Every second appliance has Wifi nowadays - but we need an industry standard that allows consumers to control usage based on price, perhaps by assigning specific appliances in your house to your energy retailer web account, and then allowing the retailer/grid operator to control when they are turned off and on (or to adjust their energy intensity) in return for a monthly discount.

For example just by heating and cooling houses a few hours before people get home, we can shift a lot of demand towards the middle of the day when solar power is abundant, and away from evening peaks.

We're definitely going to need something like this for widespread EV usage, where cars can potentially upload power to the grid.

Government has a role here in setting standards. They are the ones who get blamed for high energy prices or outages, anyway.
> However, the notion that it is up to each individual to combat the system when it has wronged them while they languish in some kind of bureaucratic limbo is one of the core sicknesses of our system.

What's the alternative though? No human system I'm aware of can address this in any cost-effective manner. Linus' Law has been demonstrated as being one of the best human approaches. The only software approach I can think of that has addressed this is fault tolerant voting systems used in avionics (NASA, SpaceX, Boing) where the cost of failure is so high that typically three independent implementations vote on the outcome. It's impractical to treat every software system used in government to be built to the same standard.

Even in some of the better run software companies (e.g. Google and Facebook), it's incredibly challenging to achieve system correctness across the entire system. There are always tradeoffs to be made and even in the most critical systems there are limits to how to practically achieve correctness.

I work at one of these better run companies specifically on measuring and guaranteeing correctness and detecting failures in correctness both in production systems (via continuous probing) and as part of change management (integration testing the change against the system in production). It's a really hard problem even for us and we have far better engineers than you find working on the overwhelming majority of government software systems.

The only alternative (and the one I prefer) is to have less government involvement so that fewer systems are involved and you can have more eyeballs scrutinizing fewer systems. Government is far too big already, and there's too strong a desire to keep making it bigger before we adequately tame the complexity we've already built. The co-dependence between two codifications: (1) the law code and (2) software code, further contributes to ossification that is almost impossible to undo.

https://en.wikipedia.org/wiki/Linus%27s_law
> Remember dealing with distributors and middlemen before the App Store?

Uhhh.. remember hosting fees, payment processors, ad networks?
In theory, absolutely.

In practice, bitwarden's server limits the max iteration count on a user account to something that remains insecure. They refuse to fix it.

https://github.com/bitwarden/server/issues/589
> One of the software modules within ACIS, designed to calculate release dates for inmates, is presently unable to account for an amendment to state law that was passed in 2019.

If that description is accurate, that doesn't meet the definition of a "software bug", if the software was produced before that law was passed, and not updated since.

The bug is in the process of not having a plan for updating the software in a timely way when laws change, and not having a requirement in place for overriding the calculations in the interim.

What if an inmate suddenly receives a pardon?
Advertise that it runs on hardware designed for it, not on every Windows-certified laptops. Wrong advertisement resulted in a myth that Linux is not a stable OS and that it always has problems with drivers or suspend. If your machine is designed for Linux, it will run flawlessly.
Yes. This is a major problem. Shit in shit out. I'd love to revist a lot of songs if someone would be able and willing to master them skillfully. Low dynamic range is the main culprit here.

Too low bite rate can show in some few cases. High hats seem to be difficult and some organ music, transients in general iirc. And you need good enough equipment (I don't mean expensive). This kind of analytical listening to detect small problems is exhausting. Relaxed listening does not need lossless codecs.

But mastering is the key. I would pay premium for good mastering instead of lossless.
All those languages have also stackless coroutines. Notably Lua and Go have stackful coroutines.

It is sort of a big deal because the discussion of wether adding stackful or stackless coroutines in C++ was an interminable and very visible one. Stackless won.
The big takeaway from all of this should be the critical cyclic dependency of natural gas power plants. That is, if your primary source of power is natural gas, then you must have reliable power to the natural gas wells to produce natural gas. If the power becomes unreliable, then natural gas pressures in the pipelines drop to unsuitable levels to run large generators. As the generators trip due to adverse safety conditions, then your power generation decreases even further, thereby making the natural gas pipeline pressure even worse. It's entirely possible to foresee a cycle wherein a grid powered mostly or entirely by natural gas could end up unable to maintain any power generation under the right circumstances.

This is a very strong and compelling argument for maintaining some core baseload generation capacity that is completely independent of existing power generation. Batteries could be one solution. Nuclear is another. Geothermal could be a good solution to this problem.
Bitcoin tanks 10% after Elon Musk says prices seem high
Spotted the packing technique in the Wine's code and killed few days to see how much further it can be taken. Pretty much one of those rabbit holes that you'd occasionally run into in a course of regular programming and end up exploring instead of, you know, working. A good diversion, I suspect quite a few people can relate :)
The source for that is a Norse legendary saga written hundreds of years later, I doubt it's factual.
Creating complicated pricing automation for home consumers for rare situations when they're exposed to brutal pricing in a life-or-death crisis is not the solution. If anything, you'll be causing more chaos, as people grapple with rules they don't remember setting up.

The safety guards tend to be laws saying, "you can't sell those". Consumer utilities should be boring and predictable, and need to be legally controlled to stay that way.
I still think this is totally unfeasible. Then all the news stories would just be "Fine print in electric contract shut off power for many, now facing thousands in water damage bills."
> Any improvement over nothing is worth having. Just because the large number of lockdown deniers make the kinds of lockdowns seen elsewhere in the developed world impossible, doesn’t mean the level of compliance that is possible isn’t worthwhile.

Great, so we agree that at any given level of lockdown, we should see some kind of marginal benefit vs less lockdown, right? So it does in fact make sense to compare outcomes between California, New York, and Florida?
See also: hospitals running at close full capacity in a normal year[1], and then a pandemic comes along.

[1]: https://www.usnews.com/news/health-news/articles/2020-03-26/...
Funny you should mention that. CEC integration is much better on the Pi than on the shield IME. Kodi can't detect other CEC devices and allow to configure its behaviour on the shield (like pause video when switching channels on the TV, control what to do when sleeping, etc).

Likewise with remotes, they work as well, if not better, on the Pi (you can even solder an IR receiver or emitter if you want).

Of course, Netflix is another story, but that's because of DRM, and I decided long ago I wouldn't use any service with DRM.
What happened with your Elixir stuff? ( https://blog.discord.com/scaling-elixir-f9b8e1e7c29b ). Is it still there or are you using something else now?
@bobthebuilders, it is one thing to give productive, insightful criticism of a technology, even if it is scathing. It is another thing to insult the creators of a technology. Please adjust your tone.
>> how to best create discord, or how to best destroy a human being by just talking to them.

In some cases therapists do this already. Techniques have intended effects which may differ from actual effects. The dead never get to understand or explain what went wrong.
There's seems to be questioning on powering the upstroke, but that has never been "the reason" for foot retention systems. Except for one specific type of cycling-- track cycling, where upstroke IS USED in high acceleration starts like in Match Sprint or short time trials. There are track versions of clipless systems which require a lot more force and twist to get out of.

The main reason for clipless, as I understand it, is for safety and maintaining one's foot on the pedal. When you're pedaling, if you are apply any down-force whatsoever on the upstroke, you're wasting power. So, a trained cyclist will always have their foot practically floating on the upstroke and their foot will drift position as they pedal unless something is keeping it in place.
Why would introducing value equality of all things be a problem? I think the opposite is true: many languages force you to write error-prone boilerplate because they lack a good definition of value equality built into the language and ecosystem.

Go in particular is worse on this front than any language more high-level than C. It defines equality for a very limited subset of built-in types, with no way to extend that notion of equality to anything that is not covered; nor any way to override the default equality assumptions. This makes it extremely painful whenever you want to do something even slightly advanced, such as creating a map with a struct as key when that struct has a pointer field .

And since pointers have lots of overloaded uses in Go, this turns a potentially small optimization (remember this field by pointer to avoid creating a copy) to a mammoth rewrite (we need to touch all code which was storing these as map keys).
Definitely agree with this. Go is one of the only languages I've worked in where I can jump into _any_ project and it feels familiar, I just have to dig around to get into the specifics.

I have never had that same familiarity from Python, Ruby, JavaScript. I think there's something to be said about that in Go's favor.
Well, it's romantic to think that there's a higher calling for humankind. And I guess that for the story-telling narrator in our head who is interpreting and commenting the events unfolding in front of our eyes, it's just impossible to not treat the entity harboring it as very, very special, unique and bestowed with destiny.
Humans Evolved Supersize Brains (2015)
"Scientists have begun to identify the symphony of biological triggers that powered the extraordinary expansion of the human brain."
If you share sentiments in this article, checkout cheapETH (cheapeth.org). It's created as a utility token to solve the extremely high gas price problem on the ETH network.

All the fun of the ETH network with none of the crazy fees and high barrier of entry.

Not trying to shill anything. I missed the boat on early Ethereum and never got a chance to really experiment with the network. I've been doing that with cheapETH and its been a great learning experience.
I am not saying Go is faster or anything I am just saying that take the grain of salt with reading the benchmarks as they are on same level as googling for "best microwave oven in 2021" where you know it is better not to even start reading the results as they will be full of paid "fake" reviews. Not to even start about microwave oven brand fanboys.

You have to understand that the programming language is a product in same way as anything else and there are influencers, marketing bribes, paid advertisements, forum/hn/fb/... paid spammers, etc.

Just remember what spam spike the Rust (I am again not talking about rust as a language... just about the noise everyone made) had here when it emerged, they threw the shadow on the Nigerian spam, oh the amount of noise from Rust-Distributed-Evangelist-Task-Force (they will probably downvote me to hell for mentioning this :D), I had a lot of fun reading HN at that time, the most used word was 'and', the second was 'rust', it was so exaggerated that it was like watching Monty Python.

In today world the only review, or if you want, benchmark, is the one you make. Nothing else counts and if you feel that C# is faster then enjoy using it.

And quite frankly, who cares about speed today (except some very strange people like me), people are using very strange languages and want to run them on backend. And they actually do. Ignore the benchmarks, no one cares (except those that would like to advertise themself like "faster than C" :D). Just threw in some more vapor on the cloud and you have "fixed" the speed issues. /s
Great comment.

Just wondering what you meant by this phrase:

> The monkey systems around us.
Rats, refuting my knee-jerk supposition with actual facts!

Thanks for that, actually
ForthScript: A Stack-Based Language Inspired by Forth and Lisp
I understand that -- but it seems like the main point of the article is:

> I believe we ultimately need some degree of real time price exposure for consumers if we are to induce these kinds of widespread energy efficiency investments, because it can and does encourage significant reductions in individual electricity consumption during times of peak grid demand, which is good for the grid and good for the planet.

And I'm just pointing out that you can get most of the benefit without exposing consumers to additional risk, and that such plans are already widely available, at least where I live.
> That's called an annectdote.

Oh look: this data matches my annecdote(sic):

https://bmcmedicine.biomedcentral.com/articles/10.1186/s1291...
NASA’s Mars Perseverance Rover Provides First Audio Recording on Mars
The fact that nobody thought of a three folded phone yet is a mystery to me.
One would have a properly sized tablet when folded out and could use one display as front screen when folded in.
The only issue would be that the front screen may be curved on one side but not on the other.
7 references in this article to Google.
0 references to Microsoft.

Stupid.
Both news and social media have a strong bias toward articles that spark anger or outrage.

Absolutely, and I agree that disconnecting can have positive benefits. On the other hand, at least for me personally, covid has disrupted the mechanisms that normally prevent in depth observation. It has given me time to read books I normally would not have read because that time went to things like waiting for my car to warm up so I can get to work on time, commuting, going out to lunch with co-workers, and going out for drinks with co-workers, friends, and family.

What is described in the article is outrageous. My concerns about bureaucracy and software's role in enabling it, on the other hand, have developed separately because I have the time to consider it.
NASA JPL releases onboard video of Mars Descent and Landing
Elixir is without a doubt still one of the core languages. We try to use the right tool for the job and Elixir is the right tool for parts of our system.

We also combo Elixir NIFs and rust to speed up parts of the Elixir services https://blog.discord.com/using-rust-to-scale-elixir-for-11-m...
It's not necessarily the words themselves, but the type of person who is associated with them. And I hate it when a word I like gets appropriated by unlikable people.

"Touch base" and "Bio break" are an exception. Makes me squeal every time, no matter who uses them.
I assume you're not living in the USA, because private primary/secondary schools exist in the USA. They're actually quite common here and provide a lot of diversity in terms of style/rigor/selectivity/etc. In NYC alone there are almost 1,000 private schools. People do have plenty of choice, as long as they're able to pay.

(I doubt redirecting tax dollars would increase choice. Plus, we already have a hybrid public/private marketplace for education in our university system. That experiment is... not going too well, to the least.)
It's an avenue that should be pursued if a state truly wants to have market-based pricing. For that to work there definitely needs to be transparency and ways for customers to easily automatically adjust in response to pricing signals. Though it could be pricy, there is plenty of promising tech approaches and it could definitely be part of an overall more efficient grid.

For example, Tesla Powerwalls (disclaimer: I've got a few) already allow custom time-based controls precisely for the purpose of saving money when on a utility plan that is split into peak/shoulder/off-peak pricing. That's one of the ways they can offer some direct financial return (benefits from generator replacement and on-site production aside). That's not granular enough or automated enough to react to a situation like this one, but on the face of it doesn't seem like any reason it couldn't be. If Tesla had an API that someone like Griddy could talk to, an interface in the app for something like "price-based control" seems like it'd be doable and an interesting value-add and a relatively low lift. Powerwalls already have remote control functionality for grid-operator/customer deals. And it'd give a lot more buffer.

However those of course are $6.5k a pop right now. Long term it might be more fruitful for many people to lean on future electric vehicles for this. Those have humongous batteries and alternate ROI so a lot of people may ultimately have them anyway, vs being a dedicated expense. Hopefully the next decade, along with more fundamental grid investment period, will also see the natural spread of more and smarter buffering options.
The Big Long
Your imagined version of me and this conversation is very colorful, but its luster seems to be cooking some neurons.
What a great idea. My advice to the OP is to get a few questions going.
I made a similar site for remote work ads but I only had like 2-3 ads on it, expecting the users to fill it up. Well pretty much the initial feedback was that users felt it was a pre-launch/scam site because there was nothing on it.
Look up how reddit was started. It took a long time even for them before actual users started to post.
"Software Bug Keeping Hundreds of Inmates in Arizona Prisons Beyond Release Dates" - No, it is bureaucracy and corruption that is Keeping Hundreds of Inmates in Arizona Prisons Beyond Release Dates, and anyone who has the remotest idea about how such contracts are awarded knows why.
Refactoring tools were invented in Smalltalk and worked just fine.
every non deterministic SM can be converted into FSM:
"Using the subset construction algorithm, each NFA can be translated to an equivalent DFA"
https://en.wikipedia.org/wiki/Nondeterministic_finite_automa...
Huh. I'd always assumed it meant "opinions/editorials". But numerous reliable sources confirm what the Wikipedia page says. Nifty. Thanks.
Will police come arrest me if I don't pay? No? Then it's not a tax. I was never ever stressed out because of a company's fees - I simply cancelled the service. I can't do that with taxes. Comparing these absolutely different experiences totally seems dishonest.
Happened to me! Probably wasn't a software error, and it was only for a day. But it was in Seattle, and they simply forgot me. No one brought food (even though my cellmate got it), no one acknowledged it, no one answered when I tried to get the officers' attention, no one ever had an explanation. Not fun.
"Hey, you're an idempotent kind of person: all I need to know about you I learned on day 1, and nothing's changed since then." /s
At my day job we use Redshift + Metabase
Yeah - it was vastly more difficult to deal with that patchwork than just uploading to the App Store, and the friction for consumers meant much worse sales performance.
Hyperparameter values with sequential, human-in-the-loop, search space mod
We kept dealing with GC pauses in go, and eventually after investing a bunch of time trying to fix this - we decided to research what it'd be like to rewrite it in another language.

The service itself is pretty simple, so it wasn't a gargantuan task. So it was either, rewrite this again in Go (using off-heap data structures to avoid GC pauses, which makes the software both harder to maintain, and also less idiomatic) or try a new language where we won't have these issues - where we don't have to resort to clever hacks to work around the runtime system.

Since then we've continued our investment in Rust, after success of this project (and many others we've yet to blog about as well.)
> The 'copies' need not preserve the 'original', we are fundamentally identical…

They're not just identical, they're literally the same person at different points in their personal timeline. However, there would be a significant difference in life experience between the earliest and latest generations. The eldest has re-lived that month 64 times over and thus has aged more than five years since the process started; the youngest has only lived through that time once. They all share a common history up to the first time-travel event, but after that their experiences and personalities will start to diverge. By the end of the process they may not be of one mind regarding methods, or maybe even goals.