skysight-inc/HackerNews huggingface dataset:
Bitcoin seems to be for real on some level but the transaction volumes it can handle are anemic.

So far Bitcoin ETFs have struggled to track BTC accurately. If transaction costs were low and the market really liquid tracking would be easy (look how well SPY tracks) but it seems Bitcoin ETFs can’t trade efficiently and enough to stay on track. Usually stock ETFs have weekly events where outsiders will trade the assets for new shares of the ETF (or vice versa) which is a low-cost way to track, I don’t know if crypto ETFs do that but it isn’t working.
Our country’s Sandero is actually a bit big for the B segment. The Polo, Corsa and Fiesta are all a bit smaller and lighter, at least the previous generation. You’re right about the current generation, though. Not that many on the streets, but they generally are a bit over a ton.

At least the popular A segment cars like the Aygo, Up or 500 still tend to be under a ton.

Sadly even heavier cars are becoming more popular, so in the future a ton will be far from the median.
Highly regular natural languages exist and thrive. I'd say that Japanese is a way, way more regularly structured language than English.

Loving flaws like buffer overflows looks more like a Stockholm syndrome to me: when the reality is terrible, people learn to find lovable bits in it, just to avoid insanity. C has its place, but its place is very, very close to hardware. (And I hope Zig will push it from there, too, eventually.)

I don't think that better static guarantees are going to come from direct adoption of languages like Haskell, or some tools like Coq or Agda. They will continue coming the same way Rust and Typescript gone mainstream: by integrating them into practical (not research) languages, and allowing escape hatches, prominently marked. Advanced features need adaptation to be ergonomic, after that they feel natural. This happens to every scientific achievement that has a large practical value: compare a laser on an optical workbench in a lab to a laser in a DVD drive, or a laser pointer.

I would likely laugh if someone told me in 1995 that pure FP approaches will conquer GUI development. Nevertheless, this happened twice: first with XSLT in 2000s, then with React in 2010s.
Short of running every single page thru ChatGPT, how do you imagine they'll identify AI driven text vs human text?
Search HN for “Ask HN: Stripe froze my account”.

Make no mistake, I don’t like the government. But at least I can sue the government if they do something that jeopardizes my business without a solid reason. With these private companies, posting a cry for help on HN is pretty much the only thing you can do.
> Christa McAuliffe

Wasn't drilling in the actual dangers of climbing onto the Space Shuttle, and that she was taking on the same kind of risk as a test pilot would part of her training?

If so, I don't see an issue. Going to space only looks safe in the movies and press releases, everyone actually working on it knows that it is an incredibly dangerous thing to do.

If it wasn't, NASA really dropped the ball on the training part.

(It also, obviously, really dropped the ball on the O-rings part, but the institutional and bureaucratic failures surrounding that are really well documented.)
people vote in racial/ethnic blocs, so spoils are doled out on those terms
> There's plenty of women with the physique and skills to fill roles in the NFL, for example.

Please provide three examples. I played college football at a tiny division 2 school and have never met a woman (I live in the gym these days) for which this is close to true.

Even if you're referring to a low/no contact position like kicker/punter you're still under threat of a 220 lb linebacker destroying you [1].

[1] https://www.youtube.com/watch?v=VqjGBqDwhUU
The dependent languages are interesting. But the theorem proving is not easy, and probably overkill for a lot of applications. Even for stuff like boundary conditions for binary search, which could be checked with Hoare logic, I usually handle by stealing the implementation from the Go standard library (so I don't have to think about it).

Last year I did advent of code in Lean4. I had written a heap implementation that I didn't end up using. As an exercise, I went back and added proofs for my indicies and a termination proof. I got the termination proof down to `0 < 0` and realized that I had an off by one error (I'd used the math for a 1-based array with a 0-based array).

My take-away was that this stuff can catch real bugs, but also that people are not going to do this stuff day-to-day. Maybe some equality saturation thing will make it possible for the compiler to sort out the proof in most cases. If the compiler can hit 80%, you could use it as a linter. (If you want something stricter, you can do totality checking but have escape hatches like Idris' assert_total / assert_smaller.)

> Even though at the time I wanted xhtml to win the battle of structured formats for the web, in hindsight I now believe messy html 5 was the way to go.

The structured vs unstructured thing is also interesting. I came to a similar conclusion years ago. I'd written some heuristics to pull recipes out of web pages, and also use embedded microdata on some pages. I found I got better results with my heuristics because of bad encoding of the structured data. E.g. a web site was missing entire ingredient blocks in their encoding because their process / data model didn't accommodate recipes with multiple ingredient blocks.
Right, so including the cleaning fee in the base price would incentivize owners to keep the fees low, as well as creating a much better experience for renters trying to find places in their budget.
Thanks!

#3 sounds nice :)
Honestly, what I want to know in a headline like this is "what changed?"

As someone who deals with health anxiety already, I have done my fair share of research on things like this. Aspartame, along with most other artificial sweeteners, have not been proven to be carcinogenic in many studies done over a 40 year period. Additionally, the hazard ratio of any of these sweeteners in comparison to the equivalent consumption of sugar is laughably small.

So, when something like this happens, I really want to know what the trigger was. My fast-brain fills in the gap with "there was a new breakthrough in research." But, this categorization doesn't imply that necessarily. Just that they are doing a review. But why now?
After seeing that Unity Muse[0] AI presentation yesterday and the following backlash regarding the source material[1], this seems to be a huge legal minefield to be solved first.

[0]: https://www.youtube.com/watch?v=dR4IuN2tF78

[1]: https://nitter.net/unitygames/status/1673650585860489217
Burn down the technopolies!
System76 is kinda the Apple of linux world. Pricing like this is on par with their other stuff.

There is a niche for $200+ PC cases among other makers, but it doesn't seem like a very big niche.
You haven't ordered today, order now and keep your streak!
If you have the Flightradar24 app, you can get an alert any time an aircraft transponder squawks 7700 - Emergency. (While writing, a cesna over Oklahoma City just did)
Super helps! thanks - while I knew a bunch of pieces and tidbits, you cemented it for me - thank you.

-

TensorFlow

>*General Relativity successfully establishes that the presence of mass distorts this, so it defines a mathematical object (the Einstein tensor) that reacts to the distribution of mass and energy and precisely describes the changes to the metric.*

This leads me to think that TensorFlow was attempting to map the 'weight' among topics of intersecting interests, sciences, etc... and seeing who the "tensor warping" was most strong with and adding higher eval weights to things that "gravitated" to one another based on the informational difference in distance?

(I dont know the nomenclature, but is that were using 'tensors' in AI/ML/whatever 'weights' come from?
What the EU AI Act means for AI teams and startups
The key is that it protects YouTube (and Valve in this case) since they can say “we weren’t allowing our users to upload copyrighted content but they snuck it in”
Reddit is being spammed with fake good reviews on the iOS App Store
(free) Stable Diffusion Automatic1111 webUI collaboration extension
Maybe they did, maybe they didn't. But if the developer is willing to sign a document saying they own the rights, that's probably good enough for Valve to feel their ass has been covered.
> 1) At least an order of magnitude more people "belong" at MIT than there's space for. Elitist universities manufacture scarcity.

This is how I've always felt when I'm involved in hiring (especially when I was at Google). I don't relate to the whole "nobody can do fizzbuzz" thing at all. There are so many ridiculously smart and talented people out there, and so many bottlenecks letting fewer of them through than would actually be capable of succeeding. I think it ends up being almost entirely luck who gets through these bottlenecks and who doesn't, because of this. I have found it very dispiriting to see candidates who I felt were definitely better than me be rejected by hiring processes that I made it through, and realizing that I was just lucky and they were just unlucky.
Are there any situations where popups are blocked but no indicator appears in the browser?
Humans should have the capacity to say something "hateful" but the integrity not to. If you find speech disagreeable then blame the parents, educators, and culture for failing to provide proper guidance. Censorship and tool blaming is lazy. The root cause must be addressed, not the symptoms.
There is one vid of a guy on YT talking about his daily drop off in power. Turns out it was 1 small cable shading out one small part of a panel Which was enough to shut the whole panel down. His conclusion was the way they were wired up caused it to stop working due to the shade on one set of cells.
Ack. Luckily the policy is to pay out PTO.
> SpiderMan is involved in dark assassinations and then gets married, Ant-Man abuses his wife, etc etc

Maybe I'm behind on the MCU movies but I don't remember those things happening in the cinematic material!
Writing is good to explain an idea that is too hard to just have in your head imo
> (It could be worse: Haitians who had freed themselves from slavery by the mass murder of their oppressors were made to pay a huge amount of compensation to them!)

At risk of starting a fun flame war, it’s more complicated than that.

Outside of a contingent of Polish mercenaries, whom were deemed something to the effect of honorary blacks, the new former slave regime effectively genocided the whites of the island. Men, women, children, the works. Not only that, but they threw in the mixed as well. Then went about taking all of everyone’s property.

I don’t know where the exact reasonable line is for revenge when you’ve been enslaved, but I’m certain they went well and unquestionably over it.

To that end, I don’t know where the reasonable counter-balance is for France to make claim against the former slave colony for its crimes against humanity but the idea that they have clean hands and or are owed something is an appalling revisionist history of the country.
Or even a small private army for their protection. The poor have to rely on the mercy of the law, the police, and the courts. They don't like having their things stolen, they don't like being accosted in the street, they don't like disorderly conduct around them -- but they don't have nice villas or townhouses to retire to.

I don't think Anatole France really had thought things through when he wrote that quote...
Why vertical farming just doesn’t work
It was always coming...
My limited use of Racket is purely due to how it has its own IDE and nothing else.

Its fine, and its pretty good for Racket code (and its variants, like typed racket) but when I'm working on a real project I have other things I need to write too, like CSS, HTML, TypeScript, bash scripts etc.

Its more ecosystem to be more adoptable IMO.

I love it for learning though, but turning racket into a production level language w/ proper ecosystem has a way to go
I'd be less sure about that, Valve has taken stances for reasons of public demand and/or their personal ethical standards (depending on what you believe) before, for example the ban on Blockchain games.
>Just switch over to looking at what district the applicants graduated (or what neighborhood they grew up in) from and try to equally represent all school districts over time.

This is basically what the University of Texas does; the top x% of applicants from each Texas high school is admitted, with other applicants competing against each other. I think it's a good way for a state school with the duty to educate its citizens to do so without using race as the determinant.
There are two strong reasons for that:

(1) Not letting little used modules that pose maintenance problems drive up the cost of maintaining Python, and

(2) Not forcing actively used, actively developed modules to be limited to the core language upgrade cadence (and not forcing users to upgrade the language to get upgrades to the modules.)

Ruby I think has a decent approach to this (particularly, one that deals with #2 better than just evicting things entirely from the standard distribution) with “Gemification” of the standard library, where most things that are moved out of the standard library aren’t moved out of the standard distribution, but into a set of gems distributed with the standard distribution but which can be upgraded independently.
i really liked their fastgpt in the beginning (it did hallucinate a bit but not as much as chatgpt). but gradually it has become worse and worse in my opinion. now i don't use it any longer.
>which is in no way provable

I guess in that sense it's not provable by the platform, but it is provable by the actual copyright owner if you're infringing one.

What I mean before is that no human can know whether you used Firefly or SD or MJ or some other custom model.
I still haven’t tried Racket, but I did dive into Clojure. It was on the job, not a structured curriculum by any stretch. But I can say the same:

> …it helped me develop a strong foundation for reasoning about programs and their underlying logic (in any language) that continues to serve me to this day.

I went on to use Clojure and ClojureScript for several years. Now I primarily work in JavaScript and (preferably) TypeScript, but I can’t say a day has gone by where what I learned working in Clojure hasn’t been applicable and valuable.

Just one more anecdata point, but I would advocate learning a lisp—maybe even any lisp. In fact, it’s usually one of my first recommendations when juniors/mentees ask me for advice in any kind of broad strokes.
And Microsoft isn't the government. So I see no bearing on the actual issue at hand, which is valve protecting it's own ass from lawsuits that are in the realm of murk at best.
You can't exactly double-blind study black people but how many studies do you really need? My original stance was only "in some cases, discrimination exists". You're really ridiculous about the bar of evidence you expect from me here.

"Are Emily and Greg More Employable Than Lakisha and
Jamal? A Field Experiment on Labor Market Discrimination"
https://cos.gatech.edu/facultyres/Diversity_Studies/Bertrand...

"Systemic Discrimination Among Large U.S. Employers"
https://academic.oup.com/qje/article/137/4/1963/660593
> If two groups are equally capable and have equal opportunity, you would expect similar outcomes.

No, because this assumes that different groups have equivalent values. This is plainly false. There are some broad similarities for sure, but each gender, ethnicity and culture values different things which will inevitably produce different outcomes.

This is why obsessing over outcome equity is doomed from the start. It implicitly relies on either enforcing homogeneity, thus erasing cultural uniqueness, or outright discrimination in preferring some groups over others to overcome any cultural values that might impact outcomes so the final numbers look pretty.
This would be a more productive comment if you could explain why you have this opinion.
I think the interesting part about XUL and why I really enjoyed it back in the day is that it's what HTML-for-applications could have been. It's still a "document" in the way any XML is a "document", but the markup is way more application-focused than document-focused. But instead we keep using a markup language that's designed for documents and try our best to make it usable in a very not-a-document way.

Edit: one detail I don't recall is what XUL actually uses for rendering components on-screen.
Early intervention is absolutely best. I have four children and we have about as much opportunity, support and resources as you could ask for, and it is still a huge undertaking to raise a family.

Affordable/free preschool, childcare, school lunches, summer programs, etc., would all be helpful. Perhaps universities can (are?) getting involved in that. But until we do a better job as a country/society funding these programs for all, then disparities will persist.

In the absence of that, the need remains.
And which standard is that for ai generated art ?
Excellent analysis from Matthew Yglesias: https://www.slowboring.com/p/19-thoughts-on-affirmative-acti...
I am disabled with bad eyes. Typing on ipad. Do the best I can. But dont worry. You will be okay: If u cn rd ths, u cn gt a gd jb
It isn’t a settled legal issue yet. It could be that Valve and Microsoft are responding to different incentives, because they have different business models. But it could also just be that their lawyers have different legal opinions.
Thanks! Helpful advice :)
We all have moments like that :)
One could build that SaaS on top of windmill :)

We are starting a series cheekily called "Replace a SaaS" with this one as the first one.

There is a trade-off between build and buy and we aim to reduce the chiasm so you don't end up with a billion generic SaaS subscriptions and with a bit of code build truly tailored solutions.
> Stories are out now that he was freaked out by the idea but went as a Father’s Day “gift”.

It’s said that money just gives you the ability for you to be you. That someone would willfully put his child in that dangerous situation really disgusts me.
Are there any such non AI use cases? For AI anyway its all Nvidia.
Saw a California shirt once that was a prop65 warning: "This shirt has been determined by the state of California..."
Would they though?

I think the legality of the dataset would be hard to prove. And I can see some game devs straight up lying, shipping SD 1.5/Llama, and dragging Valve into court when one of them explodes in popularity.
That's not a change from this though, as long as those AI generated textures are from systems that were trained on images that they have permission to use (or are copyright free).
Read the comments you're replying to. I didn't comment on the legality of ChatGPT training on my content, I said I didn't like it. Regardless, the act of posting content publicly does not mean I give up my copyright claim. Yes, there are fair use situations. Training ChatGPT might be one of them, but I'm not seeing lot of concrete information one way or the other and I am seeing arguments that ChatGPT could be considered a derivative work, which would place OpenAI in violation of my copyright.

Send some links if you see some definitive case law sorting this stuff out.
Some customers would throw a fit if they paid a renewal fee after scheduling cancellation - for good, legal reasons.
Some customers would throw a fit if a cancellation scheduled >1 year ago resulted in random emails getting deleted (imagine the last photo taken of a lost family member being in those emails).
Between both options, neither is appealing. It seems as though the current option is best, but I do like your suggestion too: the best of both options, with the risk of something lost (subscription money) being replaceable/refundable in the event of an honest error.
That's not how it is described in the FAQ, it refers to currency stored on device, transfers verified by the offline device, and in a private way where the banks and central bank can not look at who made the transfer.

>Offline digital euro payments are instant transfers which could be made without an internet connection, as long as there is physical proximity between the devices of the payer and the payee as it happens with cash now. Users would be able to store digital euros in their device for offline use, below a certain threshold exactly as we do with cash in our wallets. Offline digital euro payments would be validated “peer-to-peer”: the payer and payee would directly verify that the transfer of value between them has effectively happened. Such payments would be used mainly for small payments. Just like cash, the details of your offline payments in digital euro would not be visible to anyone – neither your bank, nor the European Central Bank.
Traffic flow relies on people mostly obeying the rules but being slightly flexible about breaking them to be courteous.

A car passing another at exactly 55mph while another car is going the same speed will take forever. We expect people to pull out, accelerate slightly, and then pull back in to get out of the way after passing even if that means you go above the speed limit for a bit.

Two lane roads often clog with truck traffic up hills. People pass these trucks on lanes in areas that allow it. The problem is that if you get too many people stacked up behind the truck who won't pass because they won't accelerate past a speed limit, nobody can pass and people will be trapped for hours at half the speed limit.

We call scrupulous adherence to rules "malicious compliance" for a reason.
May the Odds be Ever in your Favor!
The relevant is that army doctrine of Germany turned 180 degrees in 2022. This article is overzealous.
No two cases are the same. Often, a unique situation can highlight why a previous decision was erroneous.
And valve leadership has made a decent decision of 'we don't want to be the ones being the defendants on what could be a costly and time consuming lawsuit for something they didn't make'
I built standalone service for discord a while ago.

https://tally.so/r/3xjvKE if you want to see the demo.

Would you be interested in trying out?
Fees in general should be banned.

A fee is something additional, tacked on for something special, something that I can avoid.

Like a car rental 'return with have a tank of gas'-fee. I can avoid that.

But I am sick of these websites that show price X, but then tack on 5 fees that I cannot avoid.

Hotels with resort fee. I can't avoid it, ergo it should be part of the base price.

Restaurants with extra fees to pay their people extra. Can't avoid it, should be part of the base price.

It's becoming harder and harder to compare things. Nothing is stopping people from wanting X per night, but advertising X-Y and adding fees to make up for Y. And that is deceptive advertising.
I prefer to think of it as the Uber/AirBnB model. Just do illegal things so much that you clog the enforcement mechanisms. Then it becomes such an unreasonable burden that they change the laws in your favor.
> At a most naïve level, yes. But the post-modern left’s big assumption is that evolutionary, biological, and other factors can’t play a roll in those outcomes.

Democracy's big assumption too btw.

> At some level we have to be okay allowing for inequality of outcomes because we cant even identify let alone control all the social and biological variables of being human.

We are. MIT isn't admitting people with IQs in 60s due to genetic defects are they? It's a matter of degree, and managing that requires measuring. We can't measure people's inborn abilities, so we have to make palatable assumptions measure what we can, and act accordingly. The "to discriminate or not to discriminate" choice is purely one of lesser evil. There is no good answer here.
Well if they don't then why is OP's car required to pay it then?
I am pretty new to the whole Terraform universe but, these notes about best practices seem reasonable to me.