skysight-inc/HackerNews huggingface dataset:
Thread A:

>> no chance of forgetting to check the error, and works just as well as a stronger type system

>A linter-based syntactic check is no substitute for a proper type system. A type system gives a machine checked proof. A heuristic catches some but not all failures to handle errors, it will also give false positives.

Thread B:

> Go's lack of sum types mean that there is no static check for whether the error has actually been handled or not.

>>I dunno, my IntelliJ calls out unhandled errors. I imagine go-vet does as well.

>>>A simple syntactic check will only ever work as a heuristic. Heuristics don't work for all cases and can be noisy. The point is, no modern language should need such hacks. This problem was completely solved in the 70s with sum types. [emphasis mine]

What you said in these two threads seemed to suggest that the functionality of Go error linters can be subsumed by a 'proper type system' that includes sum types, and that such a type system would catch all failures to handle errors. But sum types by themselves do nothing to force handling of errors. You could add sum types to Go and you'd still need a linter to perform the exact same error handling checks that Go linters currently perform. Whatever kind of value a fallible function returns, you can always ignore that value as far as the type checker is concerned (unless you add something like linear types to your type system, which are orthogonal to sum types).

Apologies for the confusion re Rust. For Rust just read 'a language that handles errors using sum types'.
> It seems people are reporting that Brother has stared rejecting third party ink.

This seems to be a recent development so people who bought a Brother 5 or more years ago won't have run into that bs yet (like who updates their printer firmware, seriously).

So its more likely genuine users (that includes me) recommending products that have worked well for them.
Looks like the cochlea in our ears.
That's basically Firefox OS! I still think it was one of Mozilla's most promising projects; I'm sad they abandoned it.
Supply/demand dynamics do exist. However, it is naive to believe that supply and demand are orthogonal.

Desire is mimetic: you demand what you see others demanding. 99% of everything is either a layer of misdirection or support infrastructure for a layer of misdirection.
https://archive.is/JphiR
I get much better results by clicking on the text input field and pressing enter every time after moving/zooming instead of clicking on "search this area".
People reading in good faith understand what 99% means (it, as well as 95% etc., are commonly used that way, to mean "overwhelming majority"). Besides, if I wanted to write the actual number, which I happen to know, I'd have written 92,768%.

In any case, you don't have to justify the rudeness, a simple "sorry" would have sufficed.
It depends on where you are. The more prestigious the university, the more that impact factors start to matter. There is also the matter of teaching and service, but I'm not talking about the entire tenure system.
In such jurisdictions, it would be unenforceable, but not illegal. The agreement is executed in California per section 33.3, where it is perfectly legal.
But the Internet told me Google doesn't sell data, they're stalwart stewards who merely review it when making ad decisions??
Did ChatGPT4 prompt and context limits change in the last 24hrs?
ChatGPT4 is giving 403s for prompts with larger code samples pasted in that it was fine with yesterday.

I also think I've seen evidence that its "look-back" / context length (or whatever the correct name for that is) is shorter today than yesterday.

Anyone else noticed differences today?
Yeah, but we (consumers) don’t usually see full exploitation of that principle as a good thing. Like, when pharmaceutical companies charge exorbitant prices for lifesaving drugs just because they can, that’s bad.
Wouldn’t two-dimensional (planar) superconductivity lead to one-dimensional (linear) diamagnetism? If the eddy currents are stuck in a plane then the induced magnetic field should be perpendicular to that plane, no?
Personally I can see myself using this to access my homelab from work without having to open extra ports. Since I can't install a personal VPN client on my work machine, a web-based desktop behind a login would give me most of what I want.
Patents aren't just an incentive to invest in research: it's (moreso, even) an incentive to also disclose that research.

So yes, in a world with patents, private entities would still engage in research, but what would they gain from disclosing the details of their process?
Yeah, I know it's not the only outcome. But the fact that it's potentially up to some random tiny group of people whether superconductors proliferate or go the e-ink route is atrocious IMO.

I hope you're right that the free markets of China and Russia will save us from the strict planning enforced on the west by the USA (... oh the sweet irony).
Receipt: https://imgur.com/nZ9cjQP
EUV multi-pattern potatoes
One additional point --- just because you can be sued doesn't mean you will be.

Most businesses are practical enough to avoid a lawsuit unless there is some significant impact. And then only if they feel there is a good chance of success.

The best way to avoid getting sued is to own nothing and earn nothing. You can't get blood out of a rock. Doctors in the USA are ready targets simply because they average $350k per year and have insurance.
It is a discovery of an interesting semi conductor with strong diamagnetism.

It will likely spur a lot of new solid state physics research.
> How is that any different from ordinary integer operations/arithmetic with ints/longs/etc...?

One of the key advantages of floating-point is that it is scale-independent--it doesn't matter if you're doing your calculations in meters, feet, miles, kilometers, parsecs, AUs, nanometers, Planck lengths--you'll get the same relative accuracy. If you're using fixed point (or integers), you instead have to take care to make sure that you scale things such that your units are not too large or too small.

Floating-point is essentially binary scientific notation, and it should be no surprise that it's a good format if you're in a field that already uses scientific notation all the time.
The thing about RDS is that you’re paying for database backups and failover etc to be someone else’s problem. Given that the data is often an extremely critical art of the application and the high chance that you are probably not doing it right if you’re not an expert it’s often worth it to pay for managed db. RDS is a pretty raw deal in that space though. Someone else rightfully pointed out that you can get Supabase managed db for $30 USD per month which is significantly cheaper
People who buy into smarthomes are corporate fever dreams. It allows the companies to focus on lock-in for profits at the expense of everything else (ie stuff you mentioned)
well, put a limit on how much profits you can make through patent. Like based on how much r&d was spent?
I had to Google what Burma-Shave is :)
When my wife was learning ceramics, her studio displayed student work for sale. I bought [1] a few pieces of fake pastry and a few pieces of fake sushi for her to display on the small trays she made. The trays sold.

[1] https://displayfakefoods.com/
Perhaps it’s time to sideline the internet when evaluating collective reality
What is the value in paying monthly for an SEO tool? I have a hard time understanding paying for one at all, but presumably these things don’t change drastically month-to-month, so you get most of your value within that first month. Is that not the case?
AI flavored!
Astronomy tends to be a way to get "newer" physics involved (at least in terms of discoveries), but it's also worth noting that formulations used usually evolve from what was originally published (Maxwell's equations are a well-known example), so you're getting more of a cleaned-up version, with insights based on newer discoveries.
Some tactics for writing in public
Likewise for narrower keys on the piano, surely.
It's sufficient reason to work to demarginalise it. Marginalisation enables exploitative practices.
Chips. Although very occasionally you will hear crisps.

Often "hot chips" (french fries), as distinct from a "packet of chips" (crisps), but it's contextual: e.g. a Schnitzel with salad and chips, would always be with hot chips.
Where did you get that "(years!)" from? Is it just a conclusion you came to or are those actual facts. If so, I would love to see a source or a direction to where to look for it.
The driver was responsible, not the car. The headline could have been worded better.
One of the sources quoted in the article is Stanford Economist Nick Bloom. He did an interview a few years ago. The transcript ish here:

“What workers want” (2021) https://greylock.com/greymatter/nicholas-bloom-stanford-what...
An outside lab reproducing the alleged superconducting properties of a given sample of LK-99 would be a good reproduction.
I think you mean this blog? https://www.justinobeirne.com/ , it's been shared a number of times https://news.ycombinator.com/from?site=justinobeirne.com here with this one being the most popular https://news.ycombinator.com/item?id=15965653 , though that's six years old. Still well worth reading
Linear is more of a UX thing, not quite the same product. GitHub issues is steadily working to be better though. They’ve basically already made Zenhub pretty much obsolete in recent releases
I live in London and I find it extremely overrated. The only appealing thing about it is the job market.
New Zealand uses "chips" for two kinds.

e.g. I'd use the name "chip sandwich" for a sandwich with crisps in them; a "chip butty" is sandwich with thick-cut french fries.
The ambiguity in this wording is on purpose, so it will be harder to tell in court (if someone sues them) that they were forbidden or allowed to do any specific thing.

They don't detail what any of product usage data is, and you might think it is content, but later one they detail that they'll use user content (which they also don't detail what it is) for AI training...
FWIW Apple does the same thing to me in my neighborhood. I live in Brooklyn where there are restaurants on every block but it'll zoom out and show ~15 restaurants scattered over a mile with half in Manhattan. Pretty unusable.
Not furnishing your users with knowledge that could reduce their reliance on your service is Marketing 101.

Google maps does not want help people gain awareness of their surroundings or improve their navigation skills. It wants users to depend on Google maps.
How Modyfi is building with WebAssembly and WebGPU
It's true that a lot of ML development has taken place on gaming GPUs, over the past decade and a half. And you can certainly get a long way with gaming GPUs in a lot of areas of ML - 8GB is enough to run things like stable diffusion, just about.

However, some ML models (such as LLMs) demand a lot of vram to train. Simultaneously, a lot of gamers have been unimpressed by the latest generations of gaming GPUs due to the limited vram.

nvidia's GTX-1070 released in 2016 with 8 GB of vram and an MSRP of $379.
Then the RTX-2060 Super, with 8 GB of vram and an MSRP of $399.
Then the RTX-3060 Ti, with 8 GB of vram and an MSRP of $399.
Then the RTX-4060 Ti with - you guessed it - 8 GB of vram and an MSRP of $399.

Some people think nvidia is deliberately being miserly with vram on gaming cards, to try and force ML users onto the $$$$$ data centre GPUs.

I suspect this is what andrewstuart means by "Nvidia is pushing upmarket" - that they're deliberately letting their gaming products languish, in pursuit of the data centre market.
To my knowledge the original authors promised they would send out samples in the future but want to wait till they have a finalized paper approved for publication. Whether that's reasonable or not is very hard to tell.

IF they are correct and they have an RT superconductor, then it's a highly political decision on who gets sent some samples. Like, all their former colleagues and collaborators will be pissed if they don't get any. But you also would want to send some samples to someone who you know has 1) all the necessary equipment to confirm your claim, 2) has the necessary publication history to make him/her a trustworthy expert on high temperature superconductivity that others would believe, 3) would not want to slow down your progress just so he/she can gain an advantage.

And with something with such huge potential for applications as RT superconductivity, you then also get vested national interests where your national physics society or research ministry might be pissed off if you don't involve enough researchers from the country which funded your research.

Honestly, if I was in their shoes I'd be delaying me sending out my samples into the world as well.

Of course this all hinges on whether they actually have a room-temperature superconductor or not. If they don't actually have one then the delay tactic could also just be in hopes for this all to blow over without them having to prove their findings.
Liquid not compressible does not mean at the molecular level. The model is one of 'springy balls'. Even in a solid rod if you hit one end, the wave propagates on the other side. A drop of food dye on a closed container with water would nevertheless diffuse or flow.
> AI will not make writers “obsolete”, that is utterly absurd.

Of course. And those so-called "computers" won't make human calculators obsolete. After all, they are as large as an entire room, and by the time they are ready to receive input, a human with his slide rule has already computed three and a half entire logarithms!

Human creative professions have 5-10 years left, if they are very lucky.
If you know what you're doing it's easy enough to roll out a multi-region distributed system with HA and backups on a pretty modest (<100pcm) budget that can handle competitive QPS.

However, most people do not - some will learn, but most will fall for the cloud marketing depts and become infra renters for life. Teach a man to fish, and so on.
What creates problems is human conflict. I'm not optimistic that eliminating borders would make problems go away. But I agree that our obsession over nationality is unhealthy though.
Obviously they wouldn't just slap it in a box and send it through FedEx. The authors would personally deliver it.
When a man is tired of hell, he's tired of life.
It's not necessary and they could simply offer it to other labs. The reason they have not done so (except to one small lab in South Korea that doesn't appear to specialize in superconductivity and claims they need six months to verify) is pretty obvious by now: they don't actually have a superconductor.
1Password probably has best UX. You are thinking of Lastpass for security problems, 1Password has not had a breach. Source: went through all of these as possible options for the company I work for last month
> they resell the real time location and local data correlated to user characteristics, as data service to large discrete customers.

I do not understand what resell means here. Who is google selling to first?
Ah, I read "I use exactly that way of error handling..." as "I use exactly that way of error handling [in Rust]..." (given the post you were replying to), but I guess you were talking about Zig. Sorry for the misunderstanding.
Perhaps I have a cynical take, but I would guess that the labs are primarily verifying the claims to themselves to identify ways to make profitable research or production lines. They want to fund their own labs.

Publishing verified claims to help others would be secondary.
What about the public transport? I've never bothered to learn how to drive, and it's never impacted my life here one bit.
There's some for Zigbee2MQTT:
https://www.zigbee2mqtt.io/supported-devices/#s=hive
Exactly. I have written something similar in the past on HN. But 99.999% of HN are complaining about Nvidia's pricing without actually understanding the basic of Semiconductor and Fab Pricing. Even when those information were fed to them they simply refuse to read or believe.

All they wanted is Big equals Evil. And the classic underdog story.

But it is nice to see there is at least one more person on HN understanding hardware.
> All do

No, this is not true. A total functional programming language can disallow partial functions that circumvent the type checker.

Again, linters only get you so far. For example, sum types eradicate null pointer exceptions, linters do not.
No idea - my whole point is that without more data you can’t really draw any inferences here, (e.g. it’d be nice to know how many people were sent for facial recognition, and the ethnic composition of that group, the. It would be nice to know the misidentification rate in that BEFORE the police went out arresting people), one answer here may be that facial recognition’s failure rate is quite high, but the police don’t do the requisite follow up work when it’s a black suspect vs a white suspect. Which brings me back to my original point, we need more data, but what limited data that is supplied doesn’t YET give us a smoking gun.

[separately I’m hopeful that those wrongly arrested enjoy success in the civil courts]
I love it too but my god is it loud!
Cool, i guess
A common problem is that they’ve noticed something real but are misattributing the cause. Sales are down - is it because the salespeople are slacking or because the mid-pandemic buying spike wasn’t the new normal? A big project is behind schedule - is that because people are working from home or because you have some senior managers playing politics?

In this case, the commercial real estate industry has been making a huge PR push trying to keep the value of their portfolios up so senior managers at most companies are regularly hearing that WFH causes problems - and anyone distrustful and/or looking for an excuse to shift blame is likely to seize on it.
It's not just the landords, it's also the people themselves, especially the natives. If you mention you live in a flat (as opposed to a house) people will look down on you because you're so poor. What's wrong with flats?

I've lived in several European capitals (and in a major US city), and I've never the same "oh you live in flat, you must be poor" reaction.
Once I was directed my Google Maps in Germany leading to a closed entrance of a highway. I passed that entrance and Google rerouted me, after driving for some time apparently I went through a big loop and go back to the same entrance. Then I drove off to the other direction, somehow I went back to the same entrance again, passing through a certain road that we already remembered from the last loop in the opposite direction.

We wasted what feels like an hour, but probably around half? And then we changed to Apple Maps which has the data on the closure and we can get on the right road on the first try.
The 99 in lk99 means 1999
I was thinking that this would be more of a postdoc position, or that most labs would be hybrid: that is, they are doing some portion of original research and replication research. If they are replicating, they are made authors on the paper as a new position on the paper. They get credit, but a different type of credit.

A Ph.D would be expected to perform some replication research as part of their package.

Finally, we would start with the fields that are easy to replicate and move up. We couldn't replicate CERN if we tried. But we could implement this in psychology tomorrow, for example.
What about it? Is it not the run-of-the-mill Western European capital transport network?
> how is this different from using Jupyter

It requires you to run a far less common tech stack and limits your hiring to a vanishingly small subset of developers.

Paradoxically, that may be a good thing.
> Actually, yes, I do. I wear a mask in the office every day, I wear a mask when shopping and anywhere else indoors in public. I have not eaten indoors at a restaurant since the pandemic began. And I haven't caught COVID yet.

Sounds excessive and honestly a bit obsessive.

I just followed the government recommendations, wore masks when mandatory, and went to restaurants the minute they were allowed to reopen, and have not caught covid either.

Do you live in a place where covid is still a big risk? Or do you work in a place with higher risks, like healthcare related?
This is a common problem with GitHub projects.

Screen2gif is free and open source, people should use it.
>Citrix/RDP farm should NEVER be used for cost savings. It is for data control. But bean counters think it saves costs

Except ... it does "save costs"

Allowing BYOD (or eve just supplying a 'basic' device) and connecting only through Horizon (or whatever client of choice you prefer) is a huge savings over managing fleets of laptops, desktops, etc - all with different support cycles, specs, etc

All your management is focused on just one layer - the virtual desktop (and its supporting infrastructure)

Everything else is noise
They literally couldn’t get rich if they kept it out of everybody else’s hands.
I love the idea but this has liability written all over it. Try asking it if you support an imaginary regulatory body and it will happily say it does and how important that is. Remember that you, the individual, will be on the hook for the answers.
imo it depends on what you are building. if simple crud, react native, flutter, and expo can let you build things quickly for multiple platforms.

sometimes you have to go native if you need it.

personally i despise mobile stuff. i find it hard to catch up on yearly changes compared to building web apps.

but there are people who got rich in buildig mobile apps. there is money there. i just dont love the developer experience.
except he didnt reverse the poles of the magnet like multiple replication videos so he didnt really reproduce the same effect
Does this guy to talk people before he comes up with dumb shit he's going to need to roll back?

somebody is going to say something so disgusting there's no defending it and they're going to want him to defend it and he's going to realize there are limits and he's going to look like a dumbass.
> with custom Internet connected firmware

smart != internet connected. KNX, Zigbee, Z-Wave falls into this category as well, and those are local to the house, unless there's a gateway.

Anyway... as others said it before, a non-smart switch lasts decades. Smart ones should as well.
Really? I’ve lived in London 10 years and have honestly never encountered this (and most people I know either live in flats, or live quite far outside of London in a house). Perhaps it’s just in a certain area you encountered this (or certain areas where I didn’t!)
You can, theoretically, keep constructing machines for every input you need. Yes you are bounded, but you can say "this machine will halt for every input it can receive in the next 100 years", because you need to quantify the input in blocks of time.
A group at ETH Zurich did this experiment in a rather elaborate way some years back [1]. They sent the same guy, who had only one very minor dental problem, to 180 (!) dentists. About 25% of them incorrectly found cavities that they said had to be taken care of, some up to 6, and some in varying teeth.

As an interesting extra they dressed him up in high and low socioeconomic status clothes (jeans, t-shirt and backpack vs. suit with Rolex and car keys) and found the "student" was 'overtreated' more than the business man. The assumption was that richer patients are more likely to get a second opinion, and thus the dentists didn't make up problems.

[1] https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3036573
You must be popular in the neighborhood.
Well you’ll be glad to know the police actively screen against smart candidates…

https://abcnews.go.com/US/court-oks-barring-high-iqs-cops/st...
>Tolkien wasn't a great writer

These are fighting words, pal.
Please open up a discussion on Livebook repo? We would love to understand more what is missing here. :)
It's not landlords. It's over-investment in one city compared to the rest of the country making its properties impossibly valuable.