skysight-inc/HackerNews huggingface dataset:
lemma LemmaFromToBytes(v: nat)
ensures FromBytes(ToBytes(v)) == v {
// Dafny does all the work!
}

> This might not seem like much, but it represents something you cannot easily do in other languages. This lemma asks Dafny to check that, for any possible nat value v, it always holds that FromBytes(ToBytes(v)) == v. Again, Dafny checks this at compile time — no testing required!

---

How long does it take, do we rely on caching compilation results here? Is it iterating through all values?
It will be especially helpful for Asian people who don't have Asian-sounding last names. I suspect that schools will continue to discriminate against Asians, and last names are one easy way to do so.
Aha! The answer was further down in this thread: https://www.reddit.com/r/hangovereffect/
Presumably Google (you know, the people who run Ad Sense) find the sheer amount of viewing data valuable on its own, given the marginal cost of "bad product" as you put it. How many advertisers would pay to have that sort of marketing data pipeline?
I propose a committee that allocates sets of random letters on a first-come-first-serve basis. That way, we will not suffer the undue burden of having multiple names for things.

The name of this committee shall be 'mvphjguq'. Not only is the name unlikely to collide with any existing place names, it is nigh unpronounceable! And because it is only 8 letters long, it is easy to remember, while also having a 1 in 26^8 chance of having a collision with another randomly generated value (although we can check for collisions before dispensing new names).
Odd timing, given that only a few days ago we were talking about a gravitational wave background (https://astrobites.org/2023/06/28/drop-the-bass-evidence-for...) not that we're in a position to render that as an image, but it's close.
Why do you assume a low-margin high-risk industry implements “stupid policies” just to bother you and steal your laptop?

The goal during an evacuation is to get every one off in 90seconds or less, since it’s possible there’s a fire, which has the potential to become extremely dangerous very quickly. Consider how long it takes to board a plane with luggage.

We’re all really quick to assume this is simply bureaucrats inventing rules to annoy us.
Why stop with nitrates and nitrites? Acrylamide is a known human carcinogen, and occurs in a huge variety of cooking processes (including baking, frying, and grilling). If you eat potatoes, you're almost certainly putting yourself at more risk than aspartame is: we've got epidemiology and mechanism of action to back up the potato risk.
Could it impact orbits? Or tides?
The West and east Germany split was a form of reparations, including conceding and dismantling of the German industry and railroad system.

The key however is that such reparations are not being continued, nor are they repaying the full cost of the damages cause to every person on the planet that was impacted by the war. No amount of reparations can make right the wrong of world war 2.

If we just look at the dollar amount, according to the britannica, the money cost to governments involved has been estimated at more than $1,000,000,000,000 (in 1945), which does not account for the human costs (the cost of slavery in Amercia is mostly about human cost). The reparations that Germany has paid is nowhere near those.

If we imagine them having a debt of $1,000,000,000,000, the inflation alone would be around the same as their GDP.
Amazing, takes me back.

~

One of my first big projects at my first job fresh out of college was using sed & awk to semi-automate the transformation of semi-unstructured data into a database.

IIRC I couldn't completely automate because it contained author names, from global naming conventions. (parsing names correctly is deceptively complex) They had somewhat arbitrary #'s of initials ranging from 0-3.

Again, IIRC, I could easily accommodate 0 or 1 initial (followed by \.) but trying for more would make the regex I was using too greedy and pull in part of the article abstract. These were scientific books and journals.

So I scripted a sed & awk program to detect the possibility of > 1 initials and when that occured, I'd pipe the record into nano for a quick review where I manually inserted the correct \. characters for the initials.

It was decades of back-catalogue publications for digitization so I sat there for days, listening to music on an original 1st gen iPod, waiting for my duct-taped kludge of a program to pipe one of thousands of records into a nano session every few minutes. This was on an Apple G4 workstation running OS X, where I earned my real bash scripting chops. It was an awful hack by today's standards, but at the time, accomplishing what was expected to be a 1-year long project in ~1 month, it was seen as nearly miraculous.
It's in reference to a company owning a fleet of Teslas, not Tesla owning the fleet.[1] The point of this reference implementation is to make it easier for companies that own a bunch of Teslas to collect data about their cars.

1. https://www.tesla.com/fleet
> alcohol removes that to a large degree

Sounds like a crutch. What you describe here is a fairly common response by people suffering from social anxiety.

I’m not implying that’s you, but it seems like you have the capacity to act the same way without booze so it might be worth to observe how and what you feel when that happens.
Same. You just know most of the paid apps are going to be abandoned in a few months.
I can't get input methods working on Wayland in Chrome. I need to use the fallback X11 mode in Chrome. It's been an issue for months.
I appreciate most of your argument and I also agree that we can't just use nationalism to dismiss laws like this BUT

"We may not agree with their laws but it is their right"

This statement can be used to justify any law. We are also not debating whether it's their right but if it's a good law.
To add, your subconcious mind seems to be more in the drivers seat in many situations, variations of drunkenness and hungover among them.

It's worth calling out that meditation can (sometimes, depending on the form) lead to a similar headspace.
Oh dear, don't tell me about the cracked screen - damaged two in 3 years :(
I like the energy efficiency of apple silicon chips, I think they've hit jackpot with that.

True, you get raw power from a high-end desktop/workstation, but cloud services have eaten-up missive chunks of of dev work. MacBook is a good medium (Jack of all trades)
Chatham owns dozens of Canadian newspapers via Postmedia, and dozens of U.S. newspapers via McClatchy. Their operating mode is the same in both countries: fire all the writers and editors.

I thought that Blackstone owned Globe and Mail but it seems they sold it in 2021 so your info is the current info.
> As for RV64 and Arm64

This was just a placeholder, perhaps a bad example. I program a proprietary CPU architecture which does not require alignment. And for which the compiler naturally prefers to pack structs. Getting it to mimick Arm style struct padding is much harder and error prone than just having the Arm pack everything.

Maybe you are right and we are heading for a One True Struct Layout in the future. Today I think it is still too scary to pass the same unpacked struct declaration to various compiler archs and hope they come up with the same interpretation.
Yeah, it's only GNU/Linux if it uses the GNU OS API with the Linux kernel, as opposed to GNU/Hurd for instance, which also uses the GNU OS API.
Is there any place where folks building AI dev tools at the [no code, low code, prosumer-code] intersection hang out?

I was just watching some of the Windmill videos (they're cool!) and am fascinated by the interplay between visual code blocks and code.

Selfishly, I wish there was a water cooler where those of us wrestling with these dev ux interfaces could trade tricks & hazards.
I've always been curious how that mechanism works exactly what is it about that invocation technique that satisfies the relative imports? I think it changes the pythonpath somehow right in a way related to the module being ran, something like appending the basedir where the module is saved to the PYTHONPATH?
Regular coke is probably my biggest source of aspartame now that they changed the recipe to contain 30% less sugar compensated by aspartame and acesulfame-k. I bought a Sprite a while ago and it tasted different so I checked and it doesn't even contain any sugar even though the bottle looks just like before and says "100% saborizantes naturales" (although the sweeteners are artificial). Here's the product page, https://www.coca-cola.com.pe/marcas/sprite
I agree. Switching from glibc + coreutils to musl + busybox is much more like "switching operating system" than switching from Linux + systemd + GNOME to HURD + SysVInit + KDE.

Obviously not. GNU hasn't been "the operating system" in at least several decades.
or you can just block it, atleast for now. an option that many choose to make use of :)
>I would argue you like the illusion of being in control, not that you are actually in control of anything.

Could you elaborate about not how you aren't really any more in control when sober? I feel that you're making an interesting argument, but I don't really share your perspective well enough to understand what you mean.

My aversion to alcohol largely comes from wanting my best judgement intact in order to better survive complex situations. When you talk about the positives of taking more risks, my immediate response is that you should learn to take more risks when sober, rather than dulling yourself so you blindly stumble into them. But I also think I'm not fully appreciating your point.
Talk link: https://youtu.be/k6rY5Mvx84E
You don't believe there are 300 multi-generation American black students per year that wouldn't be utterly out of place at Harvard?

Don't throw out numbers like that unless you are willing to back them up, because your claim seems completely insane.
Carl is old and he builds new memories and shared his life with a child and a dog. Carl hates his companions.

The child he must suffer is simple and naive. The dog is plainly an idiot. But Russell is trying to improve himself and Dug is pure of heart.

The adventure and how these two creatures display virtue and improve his life in spite of being unable to compare to his late wife nor the more sophisticated and accomplished Muntz reveals to him that life is still worth living and that connections are still to be made.

I think it makes sense.
There are plenty of online prescription (no proof required) drug markets shipping generics from India, and yes, this does include cancer drugs.
Lisp "Curse" Redemption Arc, or How I Learned To Stop Worrying And Love The CONS
What about the mass of people who in order to drink liters of soda every day ingest large amounts of aspartame? Is it about "circumstances" or concentration?
Police are requesting video from self-driving cars
I once failed an undergraduate student because they argued that racism ended in 1965 and that racism did not exist after that. It's like they didn't pay attention in class at all.
To what everybody else is saying, I'll add that by the US definition, that's not bacon; it's back bacon, which is a loin cut, radically different than American bacon, which I believe you lot call "streaky bacon".
This link is to the image shown in the article but it's a lot larger and it's an animated gif.

https://drexel.edu/news/~/media/Drexel/Core-Site-Group/News/...
I honestly don’t see what demographic the Mac Pro serves that the Mac Studio doesn’t.
The Jackson dissent opener is a great example of this:

> Gulf-sized race-based gaps exist with respect to the health, wealth, and well-being of American citizens. They were created in the distant past, but have indisputably been passed down to the present day through the genera- tions. Every moment these gaps persist is a moment in which this great country falls short of actualizing one of its foundational principles—the “self-evident” truth that all of us are created equal.

Apparently anything that doesn’t further a final state of equality of outcome is inherently racist and it’s the governments job to make that happen.
Most people I know that say the whole "I like being in control" have only drank a few times (maybe bad experiences) but like the idea of not drinking so they promote this narrative in their head. It's an excuse so they can compartmentalize drinking into the "Now I don't have to care about this because it's bad for my physical health anyway" box.

Really it's just an easy excuse that doesn't need to be true because the fact remains that this person doesn't want to be a person who drinks and most won't question it.

It's also possible they get drunk quite easily.
Breathing air in any city.
You're right, he merely shared his opinion, and look what happened to him! If someone leaked info they would probably face even harsher treatment.
You extremely have been conned by the "nitrite-free bacon" labeling, yes. This is something that food writers have been complaining about for over a decade.
> In a sense inefficiency is a goal, because otherwise you loose redundancy. It costs a lot to hire 100 to produce the output of 10, but much lower risk.

The problem is the velocity hit you take by doing this is its own risk that's not tracked in the same way predictability and bus factor are. I'll bet one of the core reasons OpenAI was able to release a ChatGPT style product so much faster than Google, despite Google coming up with the fundamental Transformer breakthroughs, is this difference in velocity. And when a startup begins to erode a calcified, highly redundant larger company, then the larger company has the risk of becoming irrelevant along with all of its internal redundancy.
The short courses from dl.ai are better at driving these points - https://www.deeplearning.ai/short-courses/
Anyone know of any good “tolerant” JSON parsers? I’d love to be able to stream a JSON response down to the client and have it be able to parse the JSON as it goes and handle the formatting errors that we sometimes see.
The Kubernetes implementation is on the server side, not the car. The only way to control the car is through Tesla's API,[1] and that doesn't let you do dangerous stuff like turn the wheel while someone is driving.

Even if you could overwrite the software on the car, you'd still have to contend with the physical controls available to the driver. The steering wheel is physically connected to a typical rack and pinion setup. The brake pedal is physically connected to hydraulic lines just like every other car on the road. And like most cars, the brakes are more powerful than the motor.

1. There's no official documentation but a big chunk of it has been reverse engineered: https://tesla-api.timdorr.com/vehicle/commands
How would you feel on the other side of this? Given how recently discrimination was still legal, is it really great that you can shrug and say "well, tough tits I guess"?
Yeah, that's a good point :/
Dude the "OS API", in the Linux world, is the syscall interface. Some programs use the wrappers provided by GNU libc, others use the wrappers provided by musl, others yet (such as Go programs) issue syscalls directly.
I came here just to say this ^
Sure, but analytical intelligence surely doesn't get in the way of social intelligence I wouldn't think. So my statement holds in that case where you lack some type of intelligence.

I can't see any reason that someone who is really intelligent at technical things couldn't be just as socially intelligent. They probably just don't have as much practice with social environments when compared to technical problems.
Is litres of soda the bar for Aspartame to be bad for someone?

What about a few cans a week?
“What method do the Americans use to wage economic warfare against us”
> I've come understand it to mean "positively discriminate based on race, so long as it's a minority race" - please correct me of I'm wrong.

In theory, but in practice it often includes “unless you are Asian.”

https://www.wsj.com/articles/asian-american-fight-school-dis...
Seconds aren't needed. Also, copy your password before confirming it! You'll need it on the clipboard for the next step...
I believe California even helpfully warns you about any location that has acrylamide.
ICANN changes Verisign's .NET contract after public comments
>I think the aversion to props is a North American thing in particular.

That may be. I actually flew a prop from Maui to Big Island last time I was in Hawaii. But when I was growing up they used to be super-common even on East Coast "commuter" flights especially from smaller airports.
Amazing! I would've expected some debugging interface, mainly as developers have to build some trust with it.
With bacon you know what you get, so you can dose it and take your risks. Aspartame has been sold to us as the healthy alternative to sugar. People literally use aspartame as an excuse to chug liters of soda every day.
> Just letting cranks speak without interruption isn't journalism.

I don't believe anyone sees Rogan as a journalist or anything along those lines.
Hey @linuxdude314 thank you for the comment. As we mentioned commands are executed solely with your explicit approval; And while we utilize queries and error logs (stderr) for model enhancement, we NEVER collect output data (stdout). This is a stronger guarantee than many of the other LLMs out there and our goal is to help this inform our research.

One of the reasons we open-sourced the front-end, is that if you would like to keep everything private, you can just clone the repo, comment out the logging, install it, and we will still honor and serve your queries if you hit our hosted end-point :) Let us know if there is anything more that we can do to make you comfortable in using our tool!
OP's point is still important, though: you're talking about the wrong kind of diversity. If you go to a school with a bunch of kids who grew up in upper-class neighborhoods in Washington, D.C., who cares if a few of those kids have black skin? They're contributing ~nothing to the diversity on campus, because they grew up in the same place and come from the same income level.

On the other hand, if your admissions policies make a point of drawing from many income brackets or many countries, suddenly you have a whole world of people who you likely would never have associated with and who are actually different than you in meaningful ways.

Country of origin and socioeconomic status are a much bigger deal when it comes to diversity than race, because race isn't real. It's a proxy for things that are real, and continuing to use it as a proxy perpetuates a subtle form of racism.
I literally asked myself this question for the first time in my life this past weekend. Good to get an answer so quickly.
Too little or too much of many foods will be bad

Where Aspartame is unhealthy in soda could use more detailed light shed on it.

There may be some issue with how it’s used for food and soda in second and third world countries compared to First world.
> Are you saying that professional journalism literally doesn't exist

Seriousness and truthfulness are separate axis. Serious branding gives the appearance of authority.

> frauds like all the folks at FOX

You will find they have similar credentials as the outlets you enjoy. In fact, they probably used to work there.

> every single one of them is fake.

It's not they they are fake. It's that nobody has a monopoly on truth or methods of finding it.

Can journalists provide valuable information? Certainly. But they have their own systematic and personal biased. In particular, they are an extremely tight knit community performing for their peers.

Joe's podcast is obviously goofy as can be. But I actually prefer being explicit about your biases, instead of faux objectivity.
Did you scroll down a little? They were showing copilot so you can compare.
The first and second generation descendants of dirt poor immigrants from Latin America are doing very well in the US (or at least better than African Americans). Some of the recent Caribbean and African immigrants even decry the toxic culture embedded in the "Black" community.

As an outside it seems to me that the issue is much deeper than economic calculus and I'd recommend you read/watch some of Thomas Sowell's thoughts on the matter.
.. by sending all your queries to OpenAI... (not that anyone cares anymore)
In which regard? That I take drugs, that I favour enjoyment over longevity, or that I don’t dictate other people’s lives?
That was supposed to hear the hill cracking/creaking.

Ultrasound for delamination is like medical ultrasound and looks for a discontinuity in the sheet from the delamination.
The Life Aquatic: Hong Kong in the 1950s had a nomadic floating population
> I’ve found that people who create policies in a specialized field of expertise tend to think through those policies a whole lot more than internet commentators like myself do.

I've found the opposite, actually. Specialized fields of expertise are the less able to make policy because, in general, they fail to consider the big picture. It's all tradeoffs for everything and more than just one "expert" should have a say at any policy.

It would be like letting somebody with a specialized expertise like corporate law design a product. They are an expert at not getting sued, so we should totally listen to only them, right? Could you imagine such a product? It would be nothing but legal disclaimers and would be so watered down that it is completely useless.
> One option is through the usage of UBI container images which are based on RHEL and available from multiple online sources (including Docker Hub). Using the UBI image, it is easily possible to obtain Red Hat sources reliably and unencumbered. We have validated this through OCI (Open Container Initiative) containers and it works exactly as expected.

> Another method that we will leverage is pay-per-use public cloud instances. With this, anyone can spin up RHEL images in the cloud and thus obtain the source code for all packages and errata. This is the easiest for us to scale as we can do all of this through CI pipelines, spinning up cloud images to obtain the sources via DNF, and post to our Git repositories automatically.

That's quite the workaround, the rocky team has proven it's willing to get hacky if needed.
Sounds like the company needs a new CTO if all your engineers are talentless hacks
Really? Gender-based discrimination is subject to intermediate scrutiny, not strict scrutiny (which is used for race). I thought it was well-known that some schools give boys a leg up because otherwise they would be 60/40 girls/boys.

This article [1] indicates that state schools cannot discriminate, but private schools can. It's a decade old, but I can't think of any intervening laws/cases that would have changed this analysis (IAAL).

1: https://fedsoc.org/commentary/publications/affirmative-actio...
Thanks @ofermend, we believe that Gorilla will hallucinate lesser than other models but it's not zero yet! We will continue to reduce hallucination. Thanks for the feedback!
keep reading. Their API looks like

```

spark_ai = SparkAI()

auto_df = spark_ai.create_df("2022 USA national auto sales by brand")

```

so the prompt will generate code that is part of the DAG
So in few years all programming languages will be similar to assembly, I remember years ago we studied assembly in classes and wrote programs using it, but now maybe it isn’t the case.
What you need to know about Harvard is that they are a business. Their business is to amass donations from alumni and the likes. Their endowment fund is currently over $50 billions.

Rich and successful alumni means more donations, so it makes sense to take in the kids of rich and successful people.