skysight-inc/HackerNews huggingface dataset:
> correct rational is 142857/1000000

That would be correct if the underlying representation were decimal. If it's binary, as it is in most Common Lisps,

(rational 0.142857) --> 9586971/67108864

because the underlying representation is binary, and that denominator is 0x4000000.

My original comment about the representation being large enough to capture more bits than you specified was wrong; the unexpected behavior comes from the internal binary representation and the fact that 9586971/67108864 cannot be reduced.

If you start with integers you get

(/ 142857 1000000) --> 142857/1000000

so you could write a version of #'rational that gives the expected base-10 result, but you'd first have to convert the float to an integer by multiplying by a power of 10.
I don't know if there were ever any concrete numbers out there, but I think not even Linus would deny that he isn't paying great.

Employees are also not allowed to discuss their salaries with each other, their employee handbook was leaked earlier this year by a disgruntled ex employee and is out there.

Them being strict about stopping employees from "competing" is also something they talked about openly in the past. (And there were also some shots fired by ex employees.)
I think most code doesn't really stand on its own very well. In order to understand it, you need to know a number of other things that might not be obvious (especially if the code in question has bugs, or has been rewritten a number of times and has some historical relics from earlier designs that are no longer relevant):

What is this code supposed to do?

What is the general execution model?

What are the rules the implementation must follow in order to maintain correctness?

The way code is written, it starts first as a collection of ideas, and then it takes concrete form as code. Reconstructing the ideas from the code may be possible, but sometimes it requires some extra help.

Some things are best explained in English (or some other preferred native language) as ordinary written text. Some things are best explained as state transition diagrams. And some things can be expressed most clearly and concisely as code.
That's all well and good, but you can't tell me that I need 20" wheels on my Ioniq 5 instead of 19"s just because I got the glass roof. I'd rather have the 10 extra miles of range with the 19"s.

OTOH, everyone who sees the car, almost to a person, comments on how much they like the wheels.
B/c think how easy it is for someone to say to the finance folks:

"Marginal cost of delivery for an electronic ticket is essentially zero so if we can get $5 of marginal revenue then our MR/MC ratio approaches infinity!"
We need an expert to explain these facts and numbers. Until then, please buy necessary amounts of toilet paper.
2 cores of 240 MHz RISC is quite powerful. 40nm is not bad for microcontrollers. For example, the competing nRF52 series from Nordic is made on 55nm process.
Which is irrelevant if 95+% of your users are coming from the US…

Unless you’re equally interested in non English speaking users then the global average is absolutely meaningless.

What matters to organizations is some subset of everyone and what their specific access looks like.
same here with the 3090 I use. Power limited to 60% and I barely notice a difference when experimenting around with AI or playing games. Really good to use in a SFF PC
Kubernetes 1.28 Release Notes
The journalist who wrote this was probably a kid until recently.
> No profile is going to save you from that.

Low profile tires are stiffer and should therefore be damaged more easily.

There's no way to tell from the story how the accident happened, but I wouldn't rule out that a more flexible tire would have just deformed instead of tearing.
Well said, imho.
The “make your own emulator” was a somewhat snarky way to say that what you’re saying isn’t the same approach that the Dolphin devs take, and that their approach has taken them very far.

Yes, the things you said might not be met, which is why it isn’t already fixed. But you seem to be advocating for leaving things unfixed just because it’s unlikely that other games use them. My point is that attempting to fix inaccuracies even if they seem unimportant can often lead to other games being fixed and there have been many examples of this. If the bugs can only be fixed with cycle accurate emulation, then sure, you might have to leave them, but the attitude of “most games probably don’t rely on this so let’s not fix it” will only get you so far and to get the compatibility they have Dolphin had to take a more accurate approach. Of course, it makes sense to fix the things that more games use first
It's really about who is willing to sign a business associate agreement and take the fall if something bad happens. Complexity just varies based on the implementing-companies aversion to risk. Bigger companies (appear to) have more to lose and therefore (might) implement more robust and complex solutions. A smaller company might flout more best practices than you're willing to accept - and then you can pretend to be ignorant rather than asking for an explanation about their infrastructure and hope it doesn't bite you in the ass (since you're still responsible for vetting companies even when you've initiated a business associate agreement). Both are "HIPAA-compliant", but the smaller company probably isn't HIPAA-compliant in the way one might hope.

Of course, there are people who are very afraid of what might happen if they don't take HIPAA seriously even at smaller companies. I suppose those companies turn into big expensive companies pretty quickly.

Not sure how big rsync.net is, and no I'm not advertising, but their pricing is reasonable and I trust that they really are HIPAA compliant in the way that I'm willing to accept. So this isn't a strict rule, but I do think that there are a lot of situations where you have a non-compliant product that is more compliant than the "HIPAA-compliant" product.
>but also because the front and rear tires are of different sizes. Which size should you carry?

Oftentimes, spare wheels are very tiny compared to the wheel they're replacing and just made to get you to the tire place.
> affine texture mapping and the pixel popping that really gave the PSX its distinct flavor is completely gone from modern games that try to emulate it

> […]

> If a game really tried to replicate the PSX or N64, I don't think people would like the result.

I have some terrible news for you my friend.

https://danielilett.com/2021-11-06-tut5-21-ps1-affine-textur...

PlayStation 1 Affine Texture Mapping in Shader Code
I don't see any fees on my Comcast bill for Internet only. Do these other fees come from cable TV?
Somehow it's _really_hard_ to list all the fees ahead of time, yet it's still _really_easy_ to list them all when it comes time to bill their millions of subscribers each and every month. The largest of these companies manage to compute this number more than a billion times a year.

Any regulator who takes this line of reasoning seriously is immediately suspect.
Genuinely curious - other than Vault - what other product is there for secret management in the cloud infrastructure space. I get that CyberArk Conjur is big in the enterprise space, but I thought cloud users, even with k8s, mostly went with vault.
Pine 64: August Update
Turns-out it depends on the User-Agent: https://news.ycombinator.com/item?id=37139425
On a similar note, Danger Mouse's "The Grey Album" remixing Jay Z's The Black Album over samples from The Beatles' White Album... Amazing.

It's pretty findable, but it's unfortunate that there's no canonical source.
Mobile phone use and the risk of acoustic neuroma (2004)
Because if you refuse to censor any WrongThinkers you'll get defederated, and as a result all WrongThinkers have to sit in the same couple of isolated instances.

The one nice thing about Twitter was that people with very different viewpoints shared the same platform. C didn't get blocked by A just because C wanted to be able to see tweets by B, just because B blocked A for a different reason. Fediverse people use defederation for viewpoint moderation (censorship) when it should be used for blocking spammers
My experience with Red Hat is that they take the *BIG* customer relationships seriously.

If you're a small shop, you may as well not exist. You can ask for price quotes, or product information, but as soon as they realize you're not Big Enterprise… you get ghosted.

BTW - this is as a paying customer.
Please no.

I agree disruption in the space would be great, but don't let Amazon enter the ISP space. They have enough money, and power over the internet, as is.

I would have to think that would be an antitrust violation anyway.
Many have attempted to offer services that allow developers to "sell their FOSS projects". Unfortunately, no successful model has emerged so far.
Yes, I agree. It's confusing to branch off to that without mentioning why they are doing so.
Spotted 3 days ago. There's an incentive not to publicize this. Lots of close passes only get coverage after the fact.
If you call it censorship, hn is against it. But if you call it free speech, in an act of doublespeak, hn is loudly against that for the last year or so
And it's no different in the west.
> just the ego of one rich guy petulantly satisfying his inner demons.

As that rich guy happens to be the CEO, how is this not the prime example of "prioritising internal politics above what end users want"?
> Z3 SMT theorem prover to validate

Well that's awesome. Do you know, is the theory decidable? My guess would be yes, due to quantification over only bounded integers, but I'm not sure what the full complexity of the rule language is.
TIL. I’ve always used the included Image Capture app for all my scans.
Wrong URL. Reposted by the OP in https://news.ycombinator.com/item?id=37137956
> At this point, people started arguing, with some blocking each other: how come it feels right to pick blue if it’s so wrong?

Eh? It isn’t wrong, unless you’re a sociopath.
Your question implies colleges teaches you the skills required for jobs.

That's true in specialized career paths. A Doctor, a pharmacist and lawyers are good examples. Don't ditch the degree requirement for those.

However I've seen "offices" jobs where they only require people that can read, write, have basic MS Office skills and specially FOLLOW INSTRUCTIONS. You can learn that in high school.

But companies require Degrees for those jobs and it's the most idiotic thing I can think because:

a) Companies are downsizing the pool of potential candidates and,
b) People with degrees (Some of them at least) will feel that job is not fulfilling. They will leave for better opportunities.

For those jobs, just learning on the fly will suffice.
There are different variations of a similar idea. The implementation suggested here though, isn't my favorite since a modification in the license shouldn't really be necessary. And, lost of FOSS projects out there can't just simply relicense. So far, the best implementation I've seen is specific to Elementary OS in their distro software center. You can donate to projects directly via the store.
I love that a guy as brilliant as Darwin spent time cutting paper into triangles to give to worms to see how they stuffed it into their burrows.

My favorite earth worm fact is you have approximately one hundred million worms worth of energy in your body *(the sum of the stored energy in all your mitochondria).[1]

[1] https://ryanblakeley.net/p/metabolic-energy-of-a-worm-vs-a-h...
I have an impression that is "avoided" in many companies by demanding from the newly hired programmers to have "cloud experience". My problem is that that usually ends up being "programmers have taken courses about the way cloud vendor Y does the job" which then actually means "the programmers had drunk the propaganda of the cloud vendor Y" which is not a directly reusable knowledge for anything than "here's how we adjust our work to be charged by the cloud vendor Y". Which I think is guaranteed to have a company which can't even imagine doing it any other way.
> Or imagine you had Car Insurance butting in everything including an Oil change and dictating which shop you can use for the oil change.

This kind of already exists with insurance and car repair.

If I damage my car, I take it to an approved repair shop and they give me an estimate. It's in the car repair shop's best interest to provide a quick estimate and good repair. If they don't, I can raise the issue with my insurer who might even lose me as a customer. The repair shop would then potentially lose out on repeat business from the insurance company.

Granted, this is a better example of a not-so-free market working vs the "locked in market" of healthcare but I think it's good to provide some counter examples to "it's ALWAYS bad to have insurers with preferred vendors"
Can you elaborate on the question you're asking?
To anyone hesitating to read this: it's an explanation of type system notation in Computer Science papers, basically a primer on BNF notation, inference rules, etc for type systems.

It looks like a good summary.
Yeah, it won't happen.
It's easier to start requiring a master's degree to even be able to submit a CV for a job opening.
ELI5: FlashAttention
Dan Gelbart's “Building prototypes” series [video]
Same, the UI needs a bit of change. It doesn't need to be anything fancy. Just something simple like basic chromium would be nice
Which isn’t actually relevant to any specific website as they all favor either some subset of users and generally a subset of their devices. Ie: Fewer than normal stack overflow users are coming in on cellphones let alone PlayStations.

You need to know your target audience, not simply lookup overall statistics. I’ve seen Windows make up less than 4% of all users and I’ve seen it be over 90%.
Honestly I'm willing to accept the number they gave since the author (Nathan Marz) was one of the lead/founding devs for twitter's streaming compute backend in the past.
That would sound like a kinetic bombardment weapon and that we were about to get rodded. My level of concern would be sky high!
They take samples of the dirt and dissolve it in a solution. Paper below if you are curious.

https://pubs.rsc.org/en/content/articlelanding/2023/VA/D3VA0...
E.g. plugins
Tell HN: Thank you to the kind stranger for making the hacker.news redirect
The hacker.news redirect has saved me countless ammount of times of typing out news.ycombinator.com on mobile, so thank you to this kind person that made this redirect.
Because it's not about 2FA.

It will almost certainly be some shitty "We'll SMS your phone" thing in order to get your phone number.

And this will enable attacks from my phone that weren't there before.

Which actually makes me less secure.

It also means that Apple or Google can screw me on Github because they can lock me out of my phone.
Every American Sport is optimized to be a lubricant for commerce.

The inning interruptions during baseball games, the change of possession in football, the many time outs in the NBA.

American Sports acted as a lube for commerce first in person, when the interruptions would be used to advertise products and services using the PA system, then the same happened with radio, and of course the whole process was put on steroids thanks to TV and then streaming.

Soccer is diffrent, there is only the half time and the rest is free flow game without interruptions.

You will never be able to sell stuff during a game, the best you can do is use the brand of the team or the face of the captain to sell products and services as a testimonial.
No, because this article is only focusing on one objection here. You'll have to do some googling.
A few things holding me back for now:

- I use LLMs for code generation for a startup and they are not competitive for that yet.

- Most of the popular open models are non-commercial.

- The only practical way I know of to get large custom datasets for training is to have OpenAI's models generate them, and they forbid this in their terms of service.

Having something that's truly open and closer to GPT-4 for code generation will probably happen within less than a year (I hope) and will be a game changer for self-hosting.
Put differently: am I missing something if I say this website is similar in function to https://hasthelargehadroncolliderdestroyedtheworldyet.com ?

At least in terms of a public service announcement; I understand it's interesting for science but not so much for linking "hey look there's an X% chance of impact....yesterday!" on news websites
I wonder who gets the ticket(s) in this situation?
I'm a happy customer until the end of the month (moving out of their service area, sadly); I had symmetric gigabit. No IPv6, though.
My university used to have "X meals per week" plans.

People hated them b/c:
- you couldn't use a meal twice in the lunch period e.g. have a late breakfast at 11am and and early dinner at 3pm

- you lost all of your meals at the end of the week

They then switched to "Y meals per semester" and people loved it.

- you could get an extra takeout meal for later (or a friend)

- you could eat three times a day on the weeks you were at school and less if you were away for a trip etc

- they actually released a price for lunch($6) and dinner($11( so you could arbitrage getting a cheap lunch vs buying dinner somewhere else
One of the key learning lately, selling software to developers/engineers in general has been that the positioning of the product should be such that - it is either too boring for engineers to care about the problem statement or too technically different to even attempt to solve it. If it falls in the middle, you will find developer resistance or value dilutation and it becomes super hard to make engineering teams adopt the product.

Secondly, opensourcing is distribution strategy. Like any other GTM, you have to consider the fact that people who are using your product almost 90+% will not buy the software. They will use it, but they won't pay for it. You have to have an outbound sales motion that reaches out to people, send linkedin messages, asking them to do PoC. Thing is, if the opensource product is popular, the end user receiving the message might have a high product recall value.
Huh? That's simple - just change "actual" (vs "nominal") time signature in the measure properties.

What is a problem for me though is that the measure properties dialog opens up behind the main window...
The great thing about mobile phones now is that call by name is not the same as call by value: they're called phones but the least frequent use is to hold the RF emitter next to the auditory nerve.

Their value to us is to do other things. I doubt if enough RF leaks from Bluetooth earpieces anyway which is how many people listen to them.

Judging by ill mannered louts I see in public, even when phoning the use model is speakerphone. Why people do this is beyond me, perhaps it's influenced by videocalls. I wish they'd stop.
Oh, thanks for that correction.
MacOS also has an Image Capture app that's explicitly made for scanning.

The only real problem I have with it is that it wants to do a preview scan first if you used the scanner bed last (as opposed to the document feeder) and it freezes it's interface while that's happening.
You're completely missing the point, which is that the 5 second delay doesn't exist at all for most t.co links, even without cookies. The delay only exists for a few Musk-hated domains.
Not sure what "it" refers to here, but what Docker did is in no way similar to what HashiCorp did.
I’d say a good 90% of ads I view on YouTube mobile (I have an adblocker on desktop) are for Google Fiber which 1) is a Google product and therefore doesn’t generate income on ads sales and 2) I’m already a customer of so they literally can’t make a sale on me with the ad. It’s completely useless so I should be able to block the ads as they serve no purpose whatsoever.

The other 10% are the scam “get solar for free” ads.
I've spent a lot of time trying to make sure my code is commented and easily readable; and I haven't found any of that time to be wasted. I've often had to go look at code that I wrote two years, or five years, or twenty+ years previously, and I've greatly appreciated the work I put in when I wrote it.
When are these companies going to quit pretending this is nothing but a giant alpha test at public expense...
most of hybrid cars don't have spares. my wife's mini countryman didn't have spare (had runflats instead).

there is a trend to put instead of spare inflation kit + sealant. costs savings and such
This is the same person who wrote that anybody who writes python for their job is unprofessional.

Also, the GIL isn't out: it will become optional which is probably the worst of all possibilities.
Lil Wayne does have producer tags on his offical mixtaps, its just a lot of sites add their own crap even on top of that.
i have the power to do so, and i like to do so, so i will do so. what's your argument for stopping me?
Tracer nabs $18.1 to aggregate and normalize business data
I do wonder how long HP can squeeze out this "pay gold prices for ink" business model. It used to be just techies sounding the alarm, but these days I feel like so many people have grown to absolutely despise inkjets, and I don't see that getting any better. People usually fall into one of two camps:

1. People who print frequently due to work or other business needs. These folks know that investing in a decent laser printer will pay itself off extremely quickly given the obscene charges for ink, and lasers are much better for larger print volumes anyway.

2. People who only print every now and then due to some external need. These people may be tempted to buy an inkjet originally for their lower prices, but due to their infrequent use, they are also much more likely to hit printer malfunctions due to ink drying up, or some other reason that inkjets seem to want to die if left idle for more than a month or two.

Inkjet (at least the consumer version of it) is just a technology that deserves the "PC Load Letter" treatment from Office Space.
Pulumi has a few languages other than YAML and Pulumi is declarative[1], and the programs you write are only as complex as you want them to be. This python program declares an S3 bucket and declares ten objects to exist in it.

from pulumi_aws import s3

bucket = s3.Bucket('bucket')

for i in range(10):
s3.BucketObject(
f'object-{i}',
s3.BucketObjectArgs(
bucket=bucket.id,
key=str(i),
)
)

Even so, Pulumi YAML has a "compiler" option, so if you want to write CUE or jsonnet[1], or other[2] languages, it definitely supports that.

Disclaimer: I led the YAML project and added the compiler feature at the request of some folks internally looking for CUE support :)

[1] https://www.pulumi.com/blog/pulumi-is-imperative-declarative...

[2] https://www.pulumi.com/blog/extending-pulumi-languages-with-...

[3] https://leebriggs.co.uk/blog/2022/05/04/deploying-kubernetes...
You know you can use JSX with Vue right?

https://vuejs.org/guide/extras/render-function.html
What will happen is some startup will take VC funds to build the Juicero of printers, all the legacy competition will get squeezed out, and then printer cartridges for the sole remaining new entrant will skyrocket.
What would it mean to “normalise” forking? The costs of maintaining a fork are significant, and if one group of programmers are being funded to work on the project then it can be very difficult to fork a project in any meaningful way without significant resources behind it.

Also IIUC most of the parties in this conversation are corporations. They’re all trying to enjoy the benefits of open source development for a variety of reasons.
I think "Understanding Deep Learning" is very nice - https://udlbook.github.io/udlbook/ (an covers almost all topics, it has maybe just a couple of omissions, such as Multimodal Learning, NERFs and Time Series Prediction)
I got a Xerox 3345. None of this crazy ink nonsense that HP goes for. Even scans doublesided.

0 - https://www.xerox.com/en-vc/office/multifunction-printers/wo...