skysight-inc/HackerNews huggingface dataset:
In Python land this is called "parameterized tests": https://docs.pytest.org/en/7.1.x/example/parametrize.html

I think the author might want to look into mutation testing or property based testing to get to something closer to fully testing stuff.
What do you mean by this? I’ve been getting great mileage out of copilot, especially since learning about the @workspace keyword.

Could you quantify your criticism a bit more? (genuinely asking)
And mutation testing... which in my opinion is just way easier to do and more mentally straight forward. Plus you get the satisfaction is actually knowing you're DONE, unlike PBT where you just give up after a certain amount of CPU time has passed.
This sounds like the "coding for engineers" course I was a TA of. Everybody copied everybodies code and depending on their effort they either modified the variable names, flow or nothing (including the original authors name).

Long story short: asking them to make small changes and then tell us what would happen was a shurefire way to detect the true cheaters and not the lazy people.

I also fondly remember triggering float errors in loops so you'd get an extra cycle due to it ending in .999etc instead of 0.
I have one of the original models and the motor noise is probably dependent on whether or not you're the sort of person who needs a perfectly quiet room or if you can sleep with a fan. If you have a ceiling fan (or any other noise maker, like a blowing AC system), you're almost certainly not going to hear the motor. IIRC, EEV blog tore one down and the whole rotating assembly is belt driven so that you don't have gear noise. The only thing I ever hear is a very slight hobby motor hum when everything is dead silent.

When you order it I think it comes with 2 discs, but yeah, all the others are individual orders, unless you want to order the 17 pack of third party discs for $300.

Other things to be aware of:

1) It looks really good, like good enough to feel like you really are out under the stars in a properly blacked out room. but getting the focus just right is fiddly and very easy to knock out of focus again

2) Like any projector it works best projecting straight on. I doubt you have space in the exact center of your room to project straight up, so be prepared to accept this will be a distorted projection. You get used to it and it doesn't really ruin the effect that much, but it's disappointing at first.

3) The 3 hour timer is built in and impossible to disable to the best of my knowledge. If you want it running all night, you'll want a smart plug or a programmable timer plug that can turn off for a few minutes intermittently. I found ~5 minutes every 2.5 hours to work well. Too short and the timer doesn't seem to reset.

4) There are some really nice 3rd party discs out there too, but their sharpness and overall realism varies greatly so be cautious when ordering.
I live in Asia. Have lots of high quality Chinese products.

My point is China doesn’t do a lot of the up front R&D. They ride off the back of copies. But they are really good at improving them.
I don't see myself doing millions of tasks on 70b+ models. Work pays for more gpt4 that I can chew; I can run up to 30b models on my mac with a decent speed, and I can use mistral APIs when I travel without powering my own home server. I can see how that buying nvidia GPUs would make sense for a heavy user... Also, I had a gaming addiction for years and try to stay away from anything that can be used for gaming.
I live in a Scandinavian country. Our welfare system is structured such that people are expected to withdraw from the tax pool during the beginning and end of life, and contribute to the pool in between.

Adult immigrants will benefit less from the system than locals over their lifetime, but may end up contributing as much. Adult immigrants with advanced degrees who come to work here for a few years and then move out are penalized quite severely by the tax system, to the point where I think it makes very little sense to do that.

On my locally quite high $80k annual income (STEM PhD, 40yo), my employer pays an additional $36k in taxes and pension. Then I pay $22k in income taxes and 25% VAT on everything I buy.

Why would anyone with an advanced degree from China, India or the U.S. come to work here? Lowering the taxes for a couple of years following immigration, possibly proportionally to level of education, would encourage immigration and would be ethically defensible.
Check Out These Self-Soldering Sleeves from World War II
>because they are not going to get clients complaining that the chip is now too expensive

Or rather, that the only clients who will are end-users and not the phone manufacturers (not that those chips aren't dirt cheap for Apple, since the SE turns a profit). Of course, those phone manufacturers will use them anyway and end up charging some absurd price; it kind of makes sense in that light why Android phones have to be so gimmick-heavy since, just like electric cars, the thing that makes them [barely] work is so ludicrously expensive they have to pack in a bunch of extra stuff to disguise that fact.

>Qualcomm seems willing to break Microsoft design for the entire platform with what they delivered

I guess they didn't really want to compete with Wintel after all. Not that that's a successful business model or anything- why bother with that when you can charge phone equipment manufacturers (which, let's be honest, is the only place those CPUs are ending up these days anyway- the embedded things are all run Android to begin with anyways) absurd prices for bottom-tier performance?
Yes basically when interviewing you should be looking for warning signs. CV is as it is, you can't cover any bigger one extensively in that short time, so you poke randomly and go deep.

There is no bigger warning sign than outright lying. A normal mature person would ask just before if AI is allowed.
> The pointer's "provenance" says where in memory the pointer is allowed to access when.

Is that the definition of provenance or is there a wider definition that we should know?
Nice. They said that my linkedin profile was incomplete.
Ask HN: Where can I get free code reviews?
I have built some personal projects.
I have used https://codereview.stackexchange.com/
and some tools as well.
Are there similar platforms where I can get code reviews for the entire project? (people with similar interests) P2P or something similar.
Cool. Yours is the best hack for this problem
> It's not me who finds that OOP is a mismatch with relational systems. It's me and many other people.

Great, but what is the mismatch you speak of?

> Ted Neward talked about this 20 years ago. Jeff Atwood talked about it 18 years ago.

Are you referring to the "The Vietnam of Computer Science"? It is about active record and object/relational mapping.

OOP, despite the poorly chosen name (which Kay regrets), isn't about objects at all. As is defined, OOP is about "messaging, local retention and protection and hiding of state-process, and extreme late-binding of all things." But perhaps there is some other work by these people that I'm not familiar with that speaks to OOP?

> It seems like a lot of people dislike Object Oriented Programming

Sure. I expect all people dislike object-oriented programming in practice, which is why you never truly see it. Sending a message and maybe getting a response (i.e. extreme late-binding) is cool on a theoretical level, but not exactly practical when it comes to real applications that want to have certain guarantees. The rising love for statically typed languages highlights that people want such guarantees.

Ironically, OOP probably only shines for things like client->relational database systems that cannot guarantee the state of the database at compile time. At least the paradigm gets you thinking about what to do when an actor doesn't respond to your message.
> It's not so easy to prove harm from internet access.

In fact it's quite easy to prove that illegal stuff (for example zlibrary) massively improve at least the chances to learn, and improve lives.
Any sufficiently advanced technology is indistinguishable from magic.

Pile in enough abstractions and yeah, the cloud becomes magic.

Are there many mystical experiences that if you peeled away enough layers you could have rational explanations? Probably. But we don't, and in the meantime the mystical explanations do give us a big picture approach.
Another supportive argument (especially for Europe, maybe not US) is that those knowledge workers have spent a considerable time, money, and effort to acquire that talent/skill-set, and unlike your own citizen your country spent *zero* euro paying for that.

Most European countries have heavy tax but very protective social services, including free education and universal healthcare, which only works because there's an expectation that when you come of age, you'll support the same system . So every citizen before turning adult (or paying taxes) are a net-debtor for society as a whole. Knowledge worker expats start at zero debt for you.

Worst thing for countries like this is if its citizen get educated there and the best talent just moves to greener pasture (SV etc).

If one can let go of their jealousy and see things practically, some tax incentive makes sense, but should be done smartly (not to cover rich people buying their way in while contributing zero long-term)
There is tactical feedback on the Vision Pro for selecting, scrolling and moving.

I suspect that we are going to see most apps centre around this finger/thumb motion.
I see jokes at the expense of cooked fish in sushi don't get past you :)
Is there an OSS model that can do OCR on the level of Google Cloud Vision or Amazon Textract?
You can literally store it in your mind. A lot of people buy gold for when "Shit hits the fan". But in the end, it's better to flee a horrible place (think Russia or Hong Kong) with a bottle of water and $1M worth of bitcoin stored in your head.
> and also to automatically shrink any counterexamples it finds to be as simple as possible.

This actually is a problém with most quickcheck clones (and quickcheck itself), that's why it's better to use a library that is inspired by Python's Hypothesis (combining generation and shrinking, in a nutshell). So Hedgehog for Haskell and F# (instead of Fscheck) and Rapid for Go https://github.com/flyingmutant/rapid

But tables and property tests complement each other, even if you can get rid of some tables by using property testing.

Example article about the shrinking of Hypothesis vs. Quickcheck
https://hypothesis.works/articles/integrated-shrinking/
https://imgur.com/J1WxO6H
Harvard Board of Overseers voting instructions
"Clinical significance" is slightly arbitrary and defined in different ways, but it can be taken to mean "an effect that someone could actually notice in practice".

In this trial, the difference between the psilocybin group and the escitalopram group was, on average, two points on the QIDS-SR-16 scale. Those two points might represent someone reporting that their sleep has slightly improved, or that they feel slightly more energetic and slightly more able to concentrate. We can detect that difference in the analysis of the data and we can be somewhat confident that it's a real difference, but it's not the sort of change that most people would be able to distinguish from normal day-to-day variation.

Of course those very subtle differences might aggregate to a meaningful benefit across a whole patient population, but we also have to consider the cost-benefit tradeoff. A tiny benefit might be highly significant if the treatments were very similar in cost, but they aren't - escitalopram is a very cheap generic drug that can be safely prescribed by family doctors and nurse prescribers with minimal follow-up, while psilocybin currently requires a full day in a specialised clinic with significant preparation and follow-up.

https://alnursing.org/wp-content/uploads/2020/03/Depression-...
I understand, thanks for the explanation.

It makes a whole lot of sense.
> I can not understand how they can get away with charging 200+ for 10G. That is nuts.

well, truth said, you can pay that and more here if you want a good SLA and bandwidth guarantees. But for residential use it's not needed.
> As for flight readiness: that has nothing to do with how many children von der Leyen has

Indeed not. Perhaps that's the reason the joke is funny?

We could sanitise the joke to become "Germany's defence minister had more fingers than working fighter aircraft" I suppose. Would that be better?

The real issue is VdL's history of failure, not the jokes about it.
That's truly sad if true and up to date. Your top of 70k for a staff engineer is a common senior salary at any software company in DACH area (working on totally boring tech like Salesforce or SAP). If that's for an industry as as unique as chip production, something is very off.
Doctor Who + Sheep => Doctor Hooves
it's a fun problem to explore, and gpt-4 doesn't do any better. swapping in other things doesn't help because it internally recognizes it as the river crossing problem and proceeds to solve it normally. I was able to get it to two shot it with a lot of coaching but yeah, it's a trip.
How exactly does that benefit the country outside driving up the cost of living for locals (which can't afford rents, houses or other services), since they actually have to pay taxes and are outbid by foreigners which don't really contribute that much to the tax base or have any intention of staying beyond the time in which they extract maximum wealth?
I also made the export diff configurable, motivated by this post: https://github.com/direnv/direnv/pull/1233
There are utilities for property-based testing in the standard library https://pkg.go.dev/testing/quick@go1.21.6. There's also fuzzing since Go 1.18 https://go.dev/doc/security/fuzz/.
A subset with asymptotic density of 1?
See the doc for a definition: https://github.com/RalfJung/rfcs/blob/provenance/text/0000-r...
This reminds me of the sub Reddit /r/twosentencehorror.

<https://www.reddit.com/r/TwoSentenceHorror/>.
Examples of Clojure's STM being used in the wild? (2022)
>> Just low[sic] how bootleg booze largely doesn't exist outside of prohibition since the market functions.

Tell me that you hang out with law abiding citizens without telling me...

Moonshine, home brew... people are out there sticking it too the man as much as they can.

If you have made home made cider, or beer, or yogurt, pickles, canned anything you know that its a labor but the product is better and far cheaper than what you can buy.

Convenience, quality, ease of use... People will pay a massive premium for these things. This (to this dismay of HN) is the Apple model. You can bleed the customer if they love you, if you have a good product.

This was a problem in early film, and the paramount decree was a thing: https://www.promarket.org/2022/12/12/the-paramount-decrees-a...

One would think that this should apply to streaming services, but sadly no, they get treated like network television did (does).

And I know that one of you will glom on to the paramount decree as an argument for the iPhone App Store shenanigans of late. Sadly they aren't remotely close to each other Apple isnt restricting your timing, or telling you what your price should be.
The Undercover Generalist
The Gyro Monorail
Not new, but we don't understand how they work at the large scale.

I don't think reductionistic arguments hold much water. Sure, neural networks are just matrix multiplication. In the same way that a brain is just a bunch of cells. Understanding the basic building blocks doesn't mean understanding the whole.

We can always say that LLMs don't think if we define "think" as using a biological brain, but the fact is that they generate outputs that from the human perspective, can only plausibly be generated via reasoning. So they, at the very least, have processes that can functionally achieve the same goal as reasoning. The "stochastic parrot" metaphor, while apt in its day, has proven obsolete with pretty much all the examples of things that LLMs "could not do" in early papers being actually doable with the likes of GPT-4; so arguments against the possibility of LLMs reasoning look like constant moving of the goalposts.
Recalls Dick Van Dyke (still alive, by the way) being a VFX and 3D modeling hobbyist in the Video Toaster/LightWave Amiga days.
"where in memory the pointer is allowed to access when." - ... when what?

Sorry, this sentence is difficult to understand.
This in part explains PTG (Post Traumatic Growth) after PTSD.
As I started recovering I had a large ability to learn, I got 3 qualifications within a month, and won 2 workplace awards for innovation within ~6 months. I also excelled in the workplace in terms of workload and quality of work that it was noticed (and believe me sometimes you don't want that attention, it irritates the competitive types).
Around 2 years later this level of attainment dropped, but it was great while it lasted.
I'm curious why the connection from Rails is "mTLS-y" rather than actual mTLS. The macaroon repo mentions a Noise transport. Maybe to avoid dealing with X.509 certificates by distributing trusted public keys via LiteFS?

> We didn’t use the pre-existing public implementation because we were warned not to. [...] Macaroons decided to use untyped opaque blobs to represent caveats. We need things to be as rigidly unambiguous as they can be.

Another place where the implementations are limiting is in the nonce for discharge macaroons: it has to match the "challenge" exactly. I think the fly.io implementation makes the nonce a structured object that includes the challenge / key ID as a field, and extracts that field during third party caveat verification, which is nice. It makes it possible to include a random nonce (in the cryptographic sense) or revocation ID for instance.

I experimented recently with discharges containing service-specific info, e.g. a discharge from an auth service could contain the user's name (for logging), etc. It felt dangerous though, because there's potential for confusion on which service is allowed to provide what info - if we have a 3P caveat for an auth service and a revocation checking service, we want to be sure that the user profile info comes from the auth service, not the other one, and it gets complicated to encode that in the token.

Maybe this is what "proof" macaroons solve? They're not mentioned in the blog post or macaroon-thought.md, but seemed to be about making positive statements on something.
> extremely curious your ale goes bad so quickly

Not mine. Medieval ale didn’t have any hops in it (it didn’t become widespread until the 1400/1500s in some countries like England) so its shelf life was shorter

> It's definitely not a myth

Why do you think so?
You forget where you lose good hires since leetcode questions are pathetic and demeaning for anyone with experience.
Apple Extends Modem Licensing Deal with Qualcomm Through March 2027
Wrt. this I don't Xi matters a lot. There is consensus in the broader Chinese leadership that China needs to move up the value chain to the point where it has leadership, and potential self-sufficiency, in all key industries and at the same time stimulate internal demand.
A Change to Prime Video
It's also enforced here to keep reports of profits sane. If I report revenue as profit (without adjusting for future expense) then I'm artificially reporting "higher profit than what actually happened."

This artificially boosts share prices, and other things, which can have unfortunate effects downstream.

Take Worldcom. They defered expenses (by capitalising the phone bill to be depreciated in future years) thus boosting reported profits. With, um, unfortunate results.

So yeah, in my jurisdiction its enforced. But I can imagine that in other places its not, or revenue is taxed, or whatever.
> Due to Marlon Brando's infamous large appetite and dislike of Val Kilmer on set, he would request and eat large amounts of cabbage an hour before a scene started and would silently fart on purpose numerous times to leave what was described a "foul stench" that would annoy Kilmer.

Combining those two in a movie would kill the most patient directors

https://www.imdb.com/title/tt0116654/trivia/?ref_=tt_trv_trv
120k registrations * $30 = $3.6 million last year (minus fees). At the peak (July 2020) they did 140k in a single month.

https://domainnamestat.com/statistics/tld/tv-TLD_ID-1435
Not sure if they are the best but I'm also a Dynadot costumer for ~15 years and had no problems reactivating expired domains (happened mostly due to forgetting I don't have enough balance prepaid in my account and the emails going to spam for some reason)
Your asset base is in truth meaningless (and often very inflated). The true measure is your ability to pay this debt and in order to pay this debt you need to generate revenue, at a country scale this revenue is GDP.

A bank's first think to look at is affordability, are you able to actually pay the installments on this. Recoverability of initial capital is secondary and only matters in a liquidation event, you don't want to have to worry about a country-wide liquidation event (in truth they can print money, so long as your debts denominated in your currency and they accept this).
> One, with software, you could delay any action for a set amount of time as such to give your brain time to make a more concrete decision.

Is there a type of software that already does this? Because it is not like it could not be implemented right now, nor that it would not be useful right now for the exact same reasons. Of course it is completely against most corporations' interests, so not sure who would produce that in the first place.
Maybe I don't know how to use one properly, but I have used them for years. For me however tech should be learnable quicker to be beneficial.

Now I only use ORM really only for some basic CRUD queries, if that.
Virtually reaching for things far away might be interesting.

I've alway been on the fence about VR, even for games, and never found any experiences to be compelling after a few minutes of fun.

However, one thing that struck me about Half-Life Alyx was the "magic" feeling of the Gravity Gloves in the game. In the game you point and reach for something, flick back, and it flies into your hand. It's very satisfying and intuitive, and possibly my favorite aspect of the design of that game.

I'm not sure if this would translate well out of a game design and into "real world" mixed reality, but it's an interesting thought.
Diet doesn't mean the same as in the phrase "going on a diet", it just means a common collection of food a people eat.
> having more smart people eventually benefits Dutch society

Given that most of them don't stay for even five years[0], how does their temporary presence benefit society?

[0] "80% of expat employees use the facility for 5 years or less"
https://www.government.nl/topics/income-tax/shortening-30-pe...
Planet A Foods whips up more capital to take its cocoa-free chocolate global