skysight-inc/HackerNews huggingface dataset:
> Host: How did laziness and purity come together?

Simon Peyton Jones: So, Haskell’s initial defining characteristic was that it was a lazy language. That’s what brought that particular group of people together, what we thought was exciting and cool. But in retrospect, I now think what was much more important was that laziness forced Haskell to be a pure language. By which I mean, in a call-by value functional language like ML or Lisp, if you wanted to print something it was too tempting to have a function, in quotes, which, when you call it, would print something as a side effect. That is, it wouldn’t just return well what would print return? Unit or 3 or something. But it would print something on the side. So, we couldn’t do that in a lazy language because we couldn’t predict the evaluation order well enough. So, laziness kept us pure. And purity was embarrassing for a long time, because you couldn’t really do much by way of input/output. You couldn’t print things or open files or launch missiles or sail the boat. So that forced us to invent what came to be called monadic input/output. And there was another classic example which Phil Wadler, my colleague at Glasgow, took ideas from the logic world. The theory of monads developed by various people. But he was particularly drawn on the work of Eugenio Moggi, who was very much a theorist. Phil Wadler wrote this wonderful paper comprehending monads in which he described monads as a programming idiom. And then he and I subsequently wrote a paper called ‘Imperative Functional Programming’ which showed how you can apply monadic programming to do input/output to affect the world. And that idea has been wildly infectious. That’s spread to all sorts of places. So, people now use the monadic thought pattern as a design idea for designing their programming languages or ways to… you could see it all over the place now. But it only happened because we were stuck with purity because we had laziness. It was another place where the sort of theory both helped the practice and also almost forced the practice, because we would have had to break with our principles too much to just have side effects. So, we were stuck with no side effects and were forced to invent this alternative way of going about things.

https://www.microsoft.com/en-us/research/podcast/functional-...
For what it's worth, it's not just lower income people. The very wealthy people living by the Santa Monica airport also complain about the noise despite it having been there for the last ~100 years. (I don't say that to belittle your point which is definitely true - just to say that even people who can afford to live elsewhere still buy into these areas then complain about it.)
> He said 34 electric vehicle companies, including Tesla Inc. already operate in California, which accounts for about half of the nation’s EV market.

"California accounts for half the US EV market" is quite striking.

What are the 34 companies? Is this counting non-vehicle companies like ChargePoint, tiny startups, existing automakers with EV offerings?

It's striking how many more EV options are available in Europe. Here in CA, we mainly get electric SUVs. I hope this announcement expands the market.
And you can be part of the solution! Isn't this nice?
I had a sigmoidoscopy ... and that's done without drugs ... was definitely not an experience I wish to repeat. But, different people, different pain tolerances :)
overall comp is heavily biased towards stock performance. Given AMD's exceptional performance in recent years it's natural to expect her overall comp to also be quite good.
And the sidebar works with no JS. Perfect!
Interesting, you'd think this didn't meet the "significant new development" criteria to be trending that many times.

Also isn't stuff about UNIX popular?
> In this sense, law is similar to code, but far easier to exploit.

I see way too few computer engineer criminal masterminds to accept this hypothesis at face value. ;)
The rights protected in the first amendment don't apply to a department of the executive branch drafting language for the legislative branch.
Did they just make tor illegal?
The Cement of Society Is...
Sleep deprevation is no joke. Parents of newborns will see a massive cognitive decline. It took me 6 months to recover from my first child who didn’t sleep through the night until she was 2.
We have known since WWII how to make fuel from scratch. Others have pointed the the FT process. Problem is when gas costs $2/gallon are you willing to pay $6/gallon? (when gas goes up your costs for FT tends to go up as well).

There are a few people who are - racers who need the custom blend of high energy (not to be confused with high octane though they may also run that) because that extra 1/10th second reduction in lap time matters.

FT might have a future in jet fuel where the weight advantages are worth the cost. I also believe that modern engineering could make it more efficient, but it will always be energy intensive to convert low energy materials into high energy fuels.
Yes, running a “union gig” or “non-union gig” is a concern of the directors and producers. Union means higher level of talent and skill, but increased costs and bureaucratic pains. Non-union means young, fresh talent (with on average less skill), so they work linger and cheaper.
> in their wallet

Playing devil's advocate: what wallet? As more and more functionality is moved to the smartphone, the less reason to carry a wallet there is. A smartphone can already replace credit cards (Google Pay and similar), cash (several per-country payment systems, the one for my country will be released in a couple of months), and even the driving license! (https://play.google.com/store/apps/details?id=br.gov.serpro....)

In a more humorous note, I've seen many people use their cell phone as their wallet... by putting their identity card and cash inside the aftermarket cell phone cover on the back of the phone.
See jdoliner's comment and replies on this thread for more context and information.
The first thing to do when you find yourself in a hole is to stop digging. So, while this isn't anywhere near sufficient, this is a step in the right direction.
Loved this song about it.
https://www.youtube.com/watch?v=MrRAO_vG_K4
9h20m7s. For the most part he's being a polite poker player by keeping his mouth shut. Tells a small story at 11h05m30s
This is a really interesting comment. How do you know what resolution is? I hope you don't mind me asking.
Not yet, it's been one of the things I wanted to do for about a year since cubical-agda was released. I dabbled with it but I don't know enough type theory/topology to digest cubical type theory well. I tried a few times, but I didn't understand everything...

The benefits look really promising e.g. proving forall x -> f x == g x -> f == g. I really want to use this theorem in some of my agda projects, but I never needed it desperately enough that I had to drop everything and do this. My usual workaround is implement slowButEasyToUnderstand function. Do a whole bunch of proofs with slowButEasyToUnderstand. Implement fastButComplicated function. Prove forall x slowButEasyToUnderstand x == fastButComplicated x

I think one immediate application I can think of with cubical is, you can implement mergeSort : List X -> List X and then pass this around everywhere. You don't need a Sorter record or whatever since when you implement quickSort, you will be able to prove quickSort == mergeSort, so everything will typecheck. I don't know which will end up getting compiled though.
Even if you road trip significantly; Human physiology suggests eating, waste disposal, or at least moving around (to prevent blood clots) at about half the current range of Teslas (3 hrs or 180 miles). And current charging technology allows fast charging particularly well at these percentages.

Ie, charge for 30 minutes every 3 hours, 1 hour every 6 hours, and on either the 12 or 15th hour you charge for 4+ hours (and sleep)
The free market solves for things that we price. It often fails when externalities are not accounted for.

Ironically free market advocates often are against pricing in externalities through things like a carbon tax. If we priced carbon appropriately decades ago then the market would look drastically different today and this new zero-emissions requirement wouldn't be needed.
The thing is, this is not only a YouTube channel, it's a small business. Google is literally shutting down a small business without any proof. You could think that it's somewhat illegal to do, but apparently it's not.
None of your assertions are backed by logic. You imply that politicians can only do things that they promise on the trail, without responding to things real time. This would be disastrous. You imply that without "debate" it is likely to be reverted, which has no basis in theory or fact.
Your original comment is right there for everyone to read. In effect, what you've managed to argue here is first that the sequence of events is very important (your whole argument being that Eich "as the CEO" should have made his donation anonymously), and then, when called on that, that the sequence of events matters not at all.

Sometimes the best response to a rebuttal is just "TIL".
Indeed. I wouldn't say the law is for show; I would say the written law isn't the whole story. Reality is a three-edged sword: the law, the intent, and the implementation.

"For show," to me, implies you can ignore it and charge forward, bull-in-a-china-shop-style. That doesn't work in law or computers; naive invalid input gets rejected by the first-stage parser, and a court complaint completely ignorant of the law can get tossed by the clerk before it even sees a judge's desk. Rather, hacking is understanding and exploiting the consequences of, and nuances within, the rules.
Boosting Stop-Motion to 60 FPS using AI
Interesting fact, locals are sometimes not effective. One case is when there's an infection, somehow the bacteria can interfere with dental anesthetic. I learned this during a root canal. The driller gave a little more local, apologized, and said we needed to keep going to get relief. Not pleasant.
Here's the TOMM quote for convenience

"Lewis [prosecution] again berated Kopelman [psychologist] for not having paid sufficient attention to malingering. Kopelman replied that not only had he used his experience and clinical judgement, but two normative tests had been applied, one of them the TOMM test. Lewis suggested those tests were not for malingering and only the Minnesota test was the standard. At this point Kopelman appeared properly annoyed. He said the Minnesota test was very little used outside the USA. The TOMM test was indeed for malingering. That was why it was called the Test of Memory Malingering. Again there was some laughter in court."
> I only stutter in my native language, I don't stutter in the couple of other languages I know.

Interesting. Are you slower when speaking these other languages?
In short, it makes sense where a gas station makes sense. Long cross country road trips. I can plug in my electric car at home, but when I'm half a day into a multi-day trip...
> MediaWiki is pretty much a blogging engine, article content and structure is restricted by the guidelines only, not by the engine. This is good, and at the early stages it was the only possible solution, since there is so much that can be useful in an encyclopedia article.

I wonder whether there is a fundamental trade-off here. The track record of expert systems and structured knowledge bases is not great. Capturing data in these systems is relatively hard and expensive and therefore none of them have become as detailed as Wikipedia (cf. Wikidata). We also know that the task of giving structure to our own implicit knowledge by writing it down, even in a way that is not machine-accessible, is difficult and time-consuming. It may not be possible to create machine-accessible knowledge bases without “front-loading” the work of giving structure to that knowledge. Knowledge bases that require this to be done may never be as detailed and comprehensive as a less structured resource like Wikipedia, just as Wikipedia will never be as detailed and comprehensive as the (even less machine-readable) sum of all human knowledge distributed over the set of surviving brains and texts.
Ex-GCP here. Unless you shell out at least $15,000 / mo [1] for a Technical Account Manager (TAM) you are a nobody to Google Cloud. Hence all the bots suspending accounts and scripted processes. If you are a small business, bite the bullet and use AWS.

[1] https://services.google.com/fh/files/misc/enterprise-support...
Reactionless drives are indeed nice and really really dangerous - they make Earth shattering relativistic projectiles a bit too much easy to pull off.

Pair one such drive with a nuclear reactor and have it fly away from the sun for a while and then back - it will hit ludicrous speed on the way back, likely a good fraction of C. And there is hardly anything that can be done to prevent that as it needs just energy to gain speed, not bulky inefficient reaction mass.
It’d be great if modern society could make smaller vehicles for personal use. Average number of occupants on the road has to below 2.0, seems terribly inefficient. The industries and costs associated w car ownership would have to adjust too for this too happen. Legislation is also necessary to deal with mutually destructive nature of not wanting to be on the same roads as larger fortified vehicles; i.e. lanes/roads dedicated to smaller personal vehicles.
Above all, as a society, we have to start giving a damn about environmental destruction. Rethink the status quo, rethink urban planning, rethink overuse of plastics, rethink leaf blowing...
> US government does not even believe that any such thing is happening and has relaxed EPA regulations on polluters and such, so is CA restricting sale of fossil fuel vehicles going to matter in the long run?

Operative word being 'the long run'. The current US government may be replaced within the next few months with one that might be expected to take a more normal view on the problem, so what it's doing now is arguably fairly irrelevant, when you're talking about 2035.

Many European countries have recently made similar moves, with the EU as a whole and China making noises about something similar (though probably on a longer timescale; 2040 or later). So this isn't just a weird California thing.
We changed the URL from https://quarkus.io/blog/quarkus-1-8-1-final-released/ to the project home page because the project seems not to have had a significant discussion on HN before.
I use it to test my Content-Security-Policy by crawling my whole site and capturing any violation reports that are sent.
https://www.grammarbook.com/homonyms/ordinance-ordnance.asp
I agree. How about the radical move of deciding not to shut down a large nuclear power plant in California in 2025[1] that could power millions of these cars, carbon free. Trying to fix climate change without nuclear power is likely impossible at this point, but very few climate change activists support it.

[1]https://en.wikipedia.org/wiki/Diablo_Canyon_Power_Plant
One issue I see here is that there is not a reliable channel for Americans to get information direct from government. Many might point to news media but it is not guaranteed that people will get the information if they are not actively watching/reading the news 24/7. Snail mail might be the answer but is not widely used for these purposes.
Facebook Reality Labs: ‘Tools That Help People Feel Connected’
Then you install the plugin for Markdown, rst or PlantUML into IntelliJ?

????
That $27K is saying that you can buy it for $37K and sell it for $10K 5 years later. That's super conservative, you should be able to get at least 40%.

You can click on the "include vehicle resale" box to remove the resale factor.
"The data protection law establishes that you have the right not to be subject to a decision based solely on automated means, if the decision produces legal effects concerning you or significantly affects you in a similar way."

One of the clauses of the GDPR gives EU residents the right to appeal certain automated decisions that might affect them.

https://ec.europa.eu/info/law/law-topic/data-protection/refo...
But that's just it -- the "common sense" qualifications for a CEO position (namely, having pertinent leadership roles in the past) not only don't correlate especially well with outcomes, the correlation is actually negative, and becomes more so the more success they've had (as measured by number of roles).

This isn't consistent with the "rare qualifications create a positive edge, multiplied by lots of leverage" value story, but it is consistent with the "climbers get good at climbing" story. It's also consistent with my anecdotal observations where the biggest executive jumps involved dirty tricks that transferred downwards momentum to the company they springboarded up from.

Are boards stupid? Probably not. My guess is that investors have a cognitive bias towards simple stories and "qualified" CEOs help the board serve up simple stories to their investors while also providing ample opportunity for mutual backscratching. It doesn't matter whether or not they have an actual edge, the story is the product.

It's a good hustle if you can get in on it, but that's the trick, isn't it?
California to ban sale of new gas-powered vehicles by 2035
That would be the best outcome for the guy who made the videos, but the best outcome for the rest of us would be that content creators become (more) wary of YouTube and move to other platforms, or at least mirror their content on them. That would give us more choice and give YouTube some proper competition that might push them to do better by their users.
Point of clarification: it's not straw-manning his views, but illustrating the ways his philosophy is commonly misunderstood because of the ways those ideas have been diluted in dissemination.
Replace parking meters with pay-to-use chargers I guess. If you're randomly street parking it'll be pretty difficult until they're ubiquitous.
I made extension that does exactly that if you want

https://github.com/spixy/NoMoreMobile/blob/master/README.md
Apparently you can add the CSS to your account based on, https://news.ycombinator.com/item?id=24571570
being part of the solution doesn't pay the bills
If coordinated contract dumping between bullion banks is just part of being a trader then isn’t that just more proof they should have much higher fines. We know this has been going on since 2011 at JPMorgan but the CFTC didn’t put spoofing rules on the books until recently.
On the second link, it fits all onto my screen. On the first link, I have to scroll. Why is this better? Sure it looks "nice" but if I want to look at nice things there are other websites. I want wikipedia to be useful, not look nice.
Instead of arguing about whether priests are forced to marry gay couples now (they are not, and this is an easily verifiable fact), I think a more interesting question is - what principle is it that says it's ok for priests to deny marriage to same-sex couples?

In other words, can you please explain why priests should not be forced to marry gay couples? "Force" is a loaded word, of course - I'm not necessarily talking about armed agents going into a church and demanding that a priest perform a marriage ceremony, but rather referring to the full range of coercive actions available to the federal government. For example, if a church refuses to perform same-sex marriages, why should they get tax-exempt status?
Just out of interest, I tried "electronics packaging" (which other sources seem to indicate is called either "habillage" or "packaging" in French). I got this http://m.gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=1893553... result which says "electronics packaging designer" translates to "concepteur d'assemblage électronique." So now I'm not sure what to think. The suggested translation doesn't include the word "habillage" which I previously thought was the term I needed.
Now that you can boot a Pi from USB, I could see this point of view. I’ve had enough SDs die on me in a Pi that I wouldn’t trust an SD driven Pi for anything where I’d need to rely on it for remote access. I wish there was something in between Pi and Atom for this use case.
The issue is that while cars only have ~15 year lifetime, small general aviation aircraft have ~50 year lifetimes.
And furthermore:

> As a Mozilla Fellow, Bevensee’s host org is the Anti-Defamation League. Bevensee created SMAT alongside a team of five other researchers and technologists. SMAT was created in collaboration with NCRI, Pushshift, Open Collective, and iDramaLab, which provide advisory, tooling, funding, and other resources.
AWS isn't a bullet to bite
The second amendment is a relic of the past; in today's world there is no way a government would intentionally make a law that gives significant power to its citizens against itself, so there is no way the 2nd amendment would be formally "extended" to cover other stuff.

However, breaking laws in a self-defense situation as an alternative to (legal) use of lethal force should result in an acquittal in any common-sense justice system.
I’m a bit saddened people didn’t react more positively to the Tesla battery day event.

I’m not talking about stock speculators (gamblers gonna gamble, whatever) but just generally I thought it was very encouraging that Tesla’s main goal right now is to dramatically drive down the cost of energy storage while driving up the density and production capacity.

Is it enough? Not on their own, but if others can adopt their methods to produce more batteries then it’s effectively printing money for those companies for the next thirty years (as even the laggards are forced to move to zero emissions across their grids).

It would be nice if this creates the kind of fierce competition E.M. set out to do with Tesla originally. We need more energy storage than we have now by several orders of magnitude.
True that. I can't imagine how my face would look like the next day at the office, when I learn and internalise what happened. I'd be worried to put it mildly about working with that person.

The fact that OP wants to really help and not just fire him and find a new lead, is admirable. Hopefully, they'd figure it out!
Actually, I would modify that comparison.

More like, imagine if you show up to your storage one day and the lock is changed. You talk to the manager and he says, "you can no longer have access to your items because you have broken one of the rules in our 5,000 page terms of service".

"Which rule did I break?", you ask.

He answers, "you can no longer have access to your items because you have broken one of the rules in our 5,000 page terms of service."

You appeal multiple times and receive the exact same answer with a blank stare from the manager until he says: "you can no longer have access to your items because you have broken one of the rules in our 5,000 page terms of service, this decision is final and no further communication from you will be reviewed."

Then he just sits and stares at you blankly like you don't exist, no matter what you say.

This is also exactly how Amazon handles shutting down sellers as well.
I think of a stutter as being akin to audio looping in a program where thread-starvation has prevented the buffer from being updated in time. That seems consistent with this article.

Would be interested if someone knowledgeable could comment on this analogy.
yeah maybe for this particular channel. This problem occurs again and again and is not new. YouTube and Google obviously don't scale in management & support