skysight-inc/HackerNews huggingface dataset:
I'm not sure I understand. Sure, letting turbines spin and not use the power, while burning extra gas, isn't worse for the environment than just burning gas in the first place (though it's significantly more expensive to triple-pay for the energy), but it's better is to turn that unused power into used power.

The article wasn't decrying the existence of excess wind power, it was trying to describe the best solutions for using that power.
"You"? I was born in 1991, my generation certainly didn't invent that crap, that was all during the reign of the Boomers - who, to add insult to injury, keep occupying positions of power instead of resigning and retiring to let those rise who will actually have to live on this wreck of a planet the next fifty to seventy years (assuming no major war gets us all killed).
I'm not arguing that Zig should have the same stability as Rust, which would be unreasonable.

My point is that there is no concept of stability at all.
Zig currently treats "async" as the same kind of unstable as "for" and "@max".

I don't mind "for" being unstable, the new syntax IS much better than the old one.
But by also providing for example a stable "loop { break; }" the language would empower people from the community to focus on building tooling by making the tradeoff of restricting themselves to a more more cumbersome, sugarless, and minimalistic subset.
Oh sweet summer child, ever read of company towns?
Well, given that all paper abstracts have to follow the same structure with the same keywords and be conservative to get a chance to get published, it makes sense that ChatGPT shines there.

IMHO, it says more about the manic habits of journal editors than anything else.
Like 99% of "what if we just..." suggestions, especially (but not only!) from those outside of teaching and education, are obviously bad ideas to anyone who's had even a little insight into how those fields actually work.
We Don't Trade with Ants
Mike Novogratz Wants to Punch Disgraced Crypto Titans in the Face
What I see as wrong here is an AI witch-hunt. AI is a tool. And it would be the same as calling the baning the use of a car cause horses exist. Obviously the disruption is happening, which is always a good thing as it should lead to progress.
First of all when you are unemployed you get free healthcare, "urząd pracy" have some ways to help you, for example getting job experience like paid internships, some education about jobs/getting them, unemployment benefits. "MOPS" also have ways to help. You got paid when you are on long sick leave. Parental leave that is long enough to be useful. You can get sick leave on your child. It's not perfect but
> People could easily kick every oil lobbyist out.

Please explain.
I understand that curtailment is needed to incentivise private businesses to invest in wind when the output and demand can’t be correlated, but if the government owned the wind farms then it wouldn’t matter if we wasted right? We could just always be overproducing and wouldn’t have to pay for it.
TDF: Trusted Data Format
I understand that very well, it is not an issue I struggle with.
The whole system as detailed in the article seems pretty artificial and not great. For some reason prices appear to be set at the national level, ignoring the fact that Scotland has an excess of wind energy. If consumers could see that the price difference on their end, I guess there’d be more incentive to upgrade the infrastructure and get it down to England more efficiently.
I think it's even worse--the value of learning writing is that it means learning to think clearly.

The only reliable way to write clearly is to think clearly. For complicated topics, writing and thinking go hand in hand. Most people simply can't keep large subjects in their head, at least, not at first, not without tons of extra time and effort. If you are trying to write a paper and you have gaps in your understanding of the topic, you'll discover those gaps in the writing and fix the gaps in your understanding. If you make a guess that seems intuitively right and write it down, the lack of justification will stare you straight back in the face.

I think writing essays about Jazz in 10th grade social studies classes helped my career as a software engineer.
I thought for sure this would be about Livia.
You should learn to enjoy the simple things in life.
To be honest I haven't thought about the business case for VR much. I enjoy it as a recreational tool.

I do think AR has some amazing potential for business and I suppose VR efforts could work as a stepping stone to getting that right.

Some random thoughts that might work now that I'm thinking about it:

* A social tool for remote companies.
* It might improve remote meetings/whiteboarding.
* I'd probably be more likely to go to a VR trade show than a real life one.

I don't think it's going to take over every enterprise. A laptop is more than enough for a lot of work, VR would probably get in the way.
I think actually liquidating isn't so bad. Now and again nature strikes down a giant and a lot of other creatures benefit from it.

It's actually a bit odd that when we invented corporations we didn't have some sort of catastrophe mechanism in there just to shake hands up now and again.

I think society would find ways to become more resilient if we lived with possible corporate sudden death.
The marginal price of electricity (i.e. the price of the most expensive source) is what drives the retail cost, because it's a liquid commodity that can't (to a first approximation) be stored. Imagine 90% of your electricity comes from wind and the last 10% has from gas because there is nothing else - the price of electricity is going to equal the price of gas because the wind providers can raise prices until they're just under the price of gas, since there are no other options. The most expensive form of electricity sets the price until it isn't needed anymore and is booted off the grid entirely, but once you cover that last 10% with wind then the price falls dramatically.

In theory this is what we want: the windfall profits on cheap power during periods of expensive energy are supposed to attract the market to build more of these plants and chase those profits, thereby accelerating the green transition. But it's possible what we saw last year was too much, and that the damage to the economy (nothing strangles economic growth like expensive energy) does more harm than this incentive does good. People are talking about renegotiating power agreements in Europe to pay fixed prices for renewables so this wouldn't happen again, but I haven't heard how likely this is to succeed.
Perhaps there is a role for those writing tools which record everything you write as you go including edits, revisions etc. Faking this reliably will be pretty tedious. It'll be like showing how you arrived at the answer in maths. You submit the finished work and your recorded writing process. Not sure why this isn't already used, since it would stop people paying someone to write the essay for them as well.
Error diffusion is by far my favorite. Works while zooming out also.
AI in every app or AI-native apps?
I'd rather have real comments than this epicycle.
You can't base your electricity prices solely or even mostly on an unpredictable source of generation, which is nearly absent one day and generates more power than is needed on another day. Efficient storage is a long-term fix for this, but it ain't here. Natural gas is the most flexible source of on-demand power, so it (disproportionately even to its share of 1/3rd of all generated power) affects consumer electricity rates.
> I also prefer Fahrenheit now that I'm used to it. Fahrenheit has a nicer range for the temperatures we live our lives at, whereas Celsius compresses that range so much.

What I don't understand is why Celsius even exists.

For length, area, volume, and mass replacing the old units makes a lot of sense to move to a power of 10 relation between the base units for those things and the smaller and larger units derived from those, and to name those derived units by prefixing the base unit, and to use the same prefixes across different kinds of units.

So with metric we just need to learn one basic unit (meter, meter^2, meter^3, gram), one set of prefixes (milli, micro, centi, kilo, etc) and then we are all set. Compare to English where the ratios between consecutive names units for a given kind of unit vary, and knowing them for one kind doesn't help with other kinds (e.g., knowing inch x 12 = foot, foot x 3 = yard, yard x 1760 = mile does not tell you anything about how many ounces are in a gallon).

Although one might argue that the multipliers in English units tending to be of the form 2^n 3^m makes a lot of problems easier than the 10^n multipliers of metric, there are also cases where the 10^n multipliers makes things easier, and metric using the same prefixes across different types of units is definitely a win for usability.

For temperature though we generally don't use smaller or larger units, so we don't have a question of what kinds of multiplier to use for bigger or smaller temperature units.

All it appears that Celsius does is make the degree bigger, and change the origin. (When first proposed it also changed the direction...0 C was the boiling point of water and 100 C was the freezing, but not long after Celsius revised his system so increasing numbers corresponded to hotter like most other systems).

Some say the argument for Celsius over the older and already widely used Fahrenheit is that basing the scale on the freezing and boiling points of water was easier to reliably reasonably reproduce than the reference points of Fahrenheit.

But that argument really doesn't fly. If the problem was the reproducibility and reliability of the reference points the obvious solution would be to change the definition of Fahrenheit so that 32 F is the freezing point of water and 212 F is the boiling point of water. That would fix the definitional problem just as well as Celsius did without requiring new thermometers.
The way it works in the EU—not sure if the UK participates in this market still?— is that every energy source is priced according to the most expensive energy source until demand is covered by supply.

So, for example, on particularly windy days here in Denmark, we pay almost nothing as our entire demand will be covered by wind energy. On other days we might pay a lot since we need to import energy produced from gas or other expensive sources.
I wrote this fuzzer together with Lucca and Steve in 2021 at Inria, Nancy.
ToB allowed to pick up that novel fuzzing technique and push it even further.

If you want to read more about protocol verification using the Dolev-Yao model I can recommend this paper: https://ieeexplore.ieee.org/document/8418623

I'm expecting to see more great findings with further iterations on the fuzzer.
LibAFL served as a basis for this project.

Fuzzer source: https://github.com/tlspuffin/tlspuffin
There is only so much peer review can actually accomplish. Mostly a reviewer can tell if the work was performed with a certain amount of rigor and the results are supported by the techniques used to test the claimed results. It doesn't guaranty there were no mistakes made. Having others reproduce the results is the only true way to verify an experiment. Unfortunately you don't get tenure for reproducing other people work.
It makes sense to extract honest bids. The lower you bid, the more likely you are to be paid. So in the long term, it leads to cheaper prices.

If for example you had a cheap source of gas when others put their price up, it would reward you making that info public.

Short term global fuel price spikes are a weak point, though.
Let’s say we actually did live in a reality with billions of high fidelity simulations being run. You can pop on your v100 Neuralink and have a fully immersive high fidelity experience that from your perspective lasts an entire lifetime, but in “reality time” lasts only a few hours.

Are you really saying this has no bearing on whether the ‘base’ reality is also a simulation? I think once we see these sims happening in the n reality (as you put it), we have to also assume it’s possible in a hypothetical n-1 reality.

Another way to say it: once we have incontrovertible physical proof of the existence of a simulated multiverse, why should we assume that our reality is the base reality? Isn’t that akin to assuming that the earth must be the center of the universe simply because it’s where we live?
If we only care about the unusually-well-motivated with reasonably stable home lives receiving an education, we can just scrap public schools entirely and still do fairly well at that.
Stella! She’s awesome. https://twitter.com/blancheminerva?s=21&t=Gt6YrATJHnmY046Mdz...

Also bmk. https://twitter.com/nabla_theta?s=21&t=Gt6YrATJHnmY046MdzhYD...

They did the legwork of writing the paper and getting everything into a presentable format. A bunch of other people helped too; I wasn’t as involved as I could’ve been.

It was all discord-based. As far as I know it was the first serious research collaboration to happen solely via chatroom.

bmk also got the 50GB of code from GitHub, I think. So that’s where GPT-J’s coding ability likely came from.
I was just discussing something like this with my team <usual-disclaimers/>, and dropped the obligatory Knuth quote:

“The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.”
― Donald E. Knuth, Selected Papers on Computer Science

Notice "human beings", plural; so not just the person who's writing the code.
Now remove lung cancer and see if the numbers have changed that much.
Funnily enough the price the consumer pays right now is much lower than the price of energy because of badly thought out government subsidies

I am in the 95th percentile for income (though not wealth) in the UK and here's my energy bill for December:

Daily grid charges £20

Energy used @ market price £315

Truss govt unit price subsidy -£98

Johnson govt flat subsidy -£67

Total bill before VAT £170
True.. which is why you want simple systems that are easy to understand and iterate on.
Show HN: Backprop – Smarter Pull Requests
Hey everyone!

Every reviewer loves smaller pull requests, but they can be hard to do practically.

We created a Github integration that adds the following features

- Commit checkpoints (i.e. stacked reviews)
- Autogenerated tabs (based on dependency graphs)
- A central pull request inbox (highlights which PRs need your attention)

Commit checkpoints helps authors stack smaller changes within a single pull request without having to manage tons of branch offshoots. It works by using the common “[x/n]” prefix notation (where x is the stack number). This is the workflow:

- Author makes some commits to a branch
- Author is ready to set a review checkpoint, they leave a commit message prefixed with “[1/n]”
- Author continues to make commits, and when ready for the next review checkpoint, leaves a commit message prefixed with “[2/n]”
- etc

Our UI collapses the in-between commits and makes it easy to see the diff between checkpoints. There’s also a feature to easily walkthrough them sequentially.

Lots of things are still WIP, looking for feedback to know what to prioritize next, thanks!
In (public) high school, I had a physics teacher who showed his conservative politics pretty prominently. He was a great instructor, but had conspicuously placed religious books around the class room. "Teaching your students about God" was one title that I remember.

Another feature of this class was being shown The Greening of Planet Earth: https://en.wikipedia.org/wiki/The_Greening_of_Planet_Earth
https://www.inc.com/melanie-curtin/in-an-8-hour-day-the-aver...

Considering that your average employee in the US (and it’s safe to assume that numbers in Canada are similar) is productive for less than 3 hours in your average 8 hour work day, this is kind of ridiculous. If you’re paying a consultant, sure you want to get an hour work for an hour pay but an employee?

Reach CPA can consider this a win short term but I anticipate they’ll be out of business in 3 years or less. They’ll lose employees and nobody is going to apply to replace them. Seems like a stupidly small amount of money to alienate your present and future workforce over to me.

Edit: not to mention that this is a cowardly and badly broken way to “manage” employees. An effective manager would have actually managed her and counseled her on what the company expected. Instead they went the chicken shit route of management, didn’t work with her and instead used tech to look for excuses to fire her. This company needs to go down in flames. If you can’t be bothered to manage your employees, you shouldn’t be in business. Period.
In my experience, the patterns Rust makes explicit are usually worth reconsidering and replacing. Further, it makes other common patterns more compact than in other languages: e.g. `std::fs::read()` vs the abomination with ByteInputStream and IOReader or whatever from Java, and I believe C++ makes it non-trivial either
this is a remarkable achievement in itself.

Years ago, renewables opponents kept making baseless claims that no grid would be stable with large amounts of renewables. It's now end of 2022 and for this year we've seen on multiple occasions power grids running perfectly fine on very large amounts of renewables with very little gas.

Success, I guess.
What's the mechanism for self-updating in place? Something more intelligent than just downloading and copying the file over itself? A running program itself is a copy of the file on disk, I think. So that sounds fine. But this still depends on getting permissions right though I think. Also, does a binary always know where it lives (across Win/Mac/Linux)?
Something that I've found interesting is that the domain of a derivative always seems to be phrased in terms of open sets, even when the original function is defined on a closed set. It's like taking the derivative removes exactly the bounds from the domain. I wonder if one-hole contexts are to blame for that.
Different models and different designs and everything, but just as another data point, I recall my chest freezer pulling 300W+ when the compressor kicks on, and likely higher transient spikes, as it kept burning out the fuse on my 500W transformer, and I had to switch to a 1kW one.
> a large corp with good engineering standards.

what are the examples? I've worked at amazon so thats out.
The UK government? Owning things? Surely you can't be serious...
A full definition would include Fib(0) = 0, Fib(1) = 1 or if you prefer 1, 1.
Ouch @ inflation
Hopefully I didn't come off as smug. ツ
"I had access to all the world's best teachers(udemy, youtube, blogs)"

Based on my experience learning full stack development, those are some of the worst teachers.

I started making real progress when I stopped using those, including Stack Overflow, and just got some of those big, old fashioned books. You know, the ones that cost like $80 on Amazon?

Finding one comprehensive resource on a subject from a subject matter expert, going through it in its entirety and mastering that material, and then moving to the next subject area using the same approach.

Youtube videos in particular are very frustrating for me - once you actually learn the topic with a bit of depth, you can go back and see that a lot of the "leet coders" making the videos actually have a very shallow knowledge of what they are teaching. The semi blind leading the blind...
...which is to say, that you partition feeding the essay over many prompts?

The token limit of the entire chat history is different than what's permitted in a single prompt. Paste in a large amount of text and you'll see it for yourself.
I took German in high school. My senior year German teacher was chill as all hell and there were only like six or seven people in the class. Our final exam was oral and we were supposed to answer a set of five prompts with a minimum of 2-3 minutes per prompt.

I was really dreading the exam because I’m a fairly shy person, but ended up loving it. After we got through the first prompt she ditched the exam and we ended up just having a 15-minute conversation in German. (My German was significantly more developed than it is now, after years of not practicing…) Was much more engaging and a better judge of my knowledge than filling in multiple choice bubbles.

I wonder if (for places that can afford it) we will go back to a model where students are required to be on-prem and speaking aloud. Significantly harder to cheat or fake answers. Extremely time consuming and also vulnerable to biased teachers, though.
> I was born in 1991, my generation certainly didn’t invent that crap, that was all during the reign of the Boomers

The described problem is much older than the Boomers period of political dominance. For some reason, Millenials seem to think that “Boomers” are “everyone who existed before the Millenials”.
Right. The "once in X years" reporting is always exaggerated, by subtly constraining it to a specific geographical point.

If there are 500 measuring stations, then every year some one of them is going to experience a once-in-500-years event. We just never notice the other 499, and cherry-pick the one outlier after it already happened. (Yeah, there can be correlation between station measurements; obviously I'm speaking in generalities.)
Goyo is one of the plugins I experienced as brittle and cumbersome. IIRC it creates the centered text area by creating 9 windows. The outter 8 to center the one in the middle, which is used to edit the text.

In my attempts to use it, that created a bunch of issues.
My buddies and I aspire to sail around Vancouver Island, but it's stuff like this that scares me.
I sort of hope it works out. I think anyone working for a living gets ripped off (we pay all the taxes and get none of the benefits).

That said, I doubt the causation between unions and pay etc.

I hope these guys get rewarded for all their efforts.
2022 Annual Report on Unidentified Aerial Phenomena
Both the marginal [0] and effective [1] tax rates have been trending downwards since WW2 with relatively little deviation from that. Pus this doesn't take into account all the ways wealthy people can avoid creating taxable income in the first place that generally aren't possible at lower income levels.

0. https://taxfoundation.org/historical-income-tax-rates-bracke...

1. https://www.taxpolicycenter.org/taxvox/effective-income-tax-...
A Wandering Mind Is an Unhappy One (2010)
In my view, "polish" is rather orthogonal. For trivial apps that just assemble the building blocks that come out of the box, I'd agree. Otherwise, I find the "native" developer experience (XCode, Swift compiler) to be rather unpleasant. Moreover, the economics of developing "natively" limit the amount of polish you can actually justify.
The idea of marketing is that it influences your buying decision. The Rolex guy thinks he is buying a great watch. We see what is really going on.

The thing is: we are not immune to that and when it happens to us, we will just think we are on top of it as well.

Products deliver more than just the utility value, otherwise men would buy the "female" variant of a product if it was cheaper, but they are not doing it.
For static images, yes. For animation, not so much as a pixel moving can have huge implications on other sides of the image due to error diffusion.
Except System76 charges premium prices for subpar hardware...

Like they don't have anything built as nicely as a Dell XPS or a ThinkPad Z or X1 Carbon. Even Acers look more premium...
FYI, the images on the website are shrunk by a small factor which messes up the dithering. They're best viewed in a new tab, or with the website zoomed to 125% on a 96dpi setting.