skysight-inc/HackerNews huggingface dataset:
> You're trying to gloss over everything as "removing ambiguity", but by that logic any change to a program is just "removing ambiguity". In general there are other possible ascriptions for a given term that would form valid programs, and in general those programs could have arbitrarily different behaviour from the program in question.

I'm not, for what it's worth. There are cases where you could argue that type annotations are just removing "ambiguity" (the type system is successfully inferring, you place an annotation that agrees with the inference, or a stricter annotation that still checks successfully). I can see how this is an ambiguity, but it isn't what I meant.

But scala's definition of ascriptions are for places where the type system can't figure something out, and needs extra information to successfully check. More powerful type inference might address these issues (most common languages don't use H-M). Ambiguity was perhaps the wrong word to use. "aren't able to infer things on their own" is maybe the more important bit.

Type ascriptions don't "change" behavior, because there wasn't valid behavior without them. The type system failed to check (but again, different inference algorithms might be able to get around this)
This is really pedantic, but even in a modern DJ setup the effects and EQ are part of the mixer, not the turntable. The mixer is separate from the turntables, it's the thing with the knobs and faders usually between two turntables.

Even modern DJ turntables are still very, very basic: https://www.technics.com/us/products/dj-series/direct-drive-... They are just more rugged than your everyday home listening record player.
The US system is far from perfect, but blaming its dysfunction on 'unfettered capitalism' is absurd.

The US healthcare system is among the most heavily regulated industries in the US economy. Among those regulations are FDA policies that give Big Pharma monopolies on new drugs. The FDA extends these monopolies for decades, allowing companies to operate as state-created monopolies. Once the state-created monopoly times out, competitors face a years-long approval process before they can market a generic version of an already approved drug.
I'm not talking about widespread surveillance.

Decades ago, if they had evidence you were involved in crime, they could apply for a warrant to tap your phone, search your house, or read your mail.

That's focused surveillance, not mass, and it's under the oversight of a judge.

In a world of end-to-end encryption, they can't realistically find useful evidence by doing those things any more.

Parking their van outside doesn't help as much, either - you can conspire to commit crimes quite easily without ever leaving your house or having confederates come there, thanks to encrypted video chats.
> few large firms competing with each other is very different from a monopoly.

very true but that's what we've been talking about in the comment chain, there's no actual global monopoly or one static entity, hence the explicit reference to Schumpeter's 'monopolistic competition'.

There is still competition between large firms, but the dynamism is temporal, few firms for years or decades seize outsized marketshare to dominate and innovate sectors before being replaced by other substantial firms, rather than a sort of bazaar economy of small firms competing at the same time. It's myspace being superceded by facebook maybe being eaten by tiktok that's going to drive technological innovation in social media, not mastodon instances.

Of course it's easy to cherry-pick, but you don't need to cherry pick. You can look at the economic development in mature economies vs developing economies. This tendency towards consolidation and innovation occurs in every single one. That's why South Korea and Japan have more large firms and are more productive than most of their Asian peers, it's why China with its economic model has outgrown India, where the same process is occuring now (see Jio).
and yet Sweeden is doing very well. What is your long term goal/solution exactly? This thing isn't going away. Keeping people locked up delays infections, it doesn't stop it.
Rest in peace, Eddie.
IIUC, Vapor only uses the Bitcoin network for micropayments and immutable timestamps (block hash/height). Both are optional.

It's called "Bitcoinized HTTP" because they wrap requests and responses in Bitcoin transactions (as the packet format).
I'm feeling a pretty strong tech backlash growing, especially with the social dilemma opening a lot of people's eyes. I don't have the polls, but I'm sure the strategists are seeing good numbers for standing up to big tech.
Agreed, this will go nowhere.
I didn't see what type of battery it has, but imagine having a non-solid state lithium based battery locked to a part of your body - anywhere. That type of device failing in an epic way with flames and no way to remove it in time - just seems like that's a latent headline just awaiting. Even worse - most people would panic and chuck water upon it. Wondering what is the safest thing to put upon a lithium based fire household McGyver wise and more go to would be flour (layer coating to starve oxygen and non conductive), or some aerosol can I can turn upside down and blast with cold non flammable gas.

Though like most as a rule of thumb - I try not to get that attached to my gadget addiction.
Continuous compliance with lightweight verification tools [pdf]
Patients refuse to switch for a variety of reasons: fear that a different insulin will harm them, mental illness, discomfort with disturbing their insurance arrangement. You will hear diabetics (I am one, too) say that only a particular insulin works for them, even if that means they end up using no insulin at all, and/or haven’t seriously tried the cheap options.

Patient education is a necessary step to decreasing prices and encouraging innovative medications at the same time. As is decreasing the inevitable fury at diabetics like myself who dare to look inward.
Decks have neither of the examples you claim. Are you confusing an deck with a mixer, sometimes referred to as a mixing desk (though incorrectly)?
You’re right. What we value is an individual choice. But Science can inform our understanding of cause and effect.
I don't see how this is any better. Most traffic on SO comes from search engines and if the questions and answers are elsewhere, such as in the Elixir Forum, then search engines will lead devs away from SO.

You say the language is in decline and none of this is solid evidence that's the case. It just says Elixir devs are not really active in Stack Overflow, which anyone in the community would be able to quickly point out.
That evades my point. To a business person, the things they do are more important than data structures. If you try to talk to a subject matter expert, they're going to talk about how their portion of a business works, not list all of the data within their system. The only caveat is if you're talking to a person that's focused on reporting and analytics...then they will be more data focused. But businesses react to analytics, they don't run on it. Operationally, there are a set of events that happen logically from start to finish. You could do all of the data governance you want and if you miss those events and their sequence and impact, you wouldn't know what business you're in.

Data accuracy is critical. Data storage is critical. Analytics and warehousing are critical. But none of these things reflect the nature of a business, which are the behaviors of its domain and sub-domains.
It's not that other countries didn't have the same rules. Before you can market a generic in Germany you must convince the Institute for Pharmaceuticals and Medical Devices that your product is comparable to the brand-name medication. People like to blame the FDA but tend to disregard that Europe and Japan have similar safety requirements.

When you read some of the inspection reports from White Oak you wonder: what would pharma manufacturing in <insert faraway country here> look like if they knew the FDA didn't exist!
This seems as good a place as any to ask: when the particle-antiparticle pairs are made at the event horizon, one falls in, the other is emitted as radiation. Why don't the p & ap produced then pair up with and annihilate with other ap and p created in the vicinity such that it wouldn't really be detectable over ordinary vacuum activity. This could happen both inside and outside the horizon. It seems like Hawking radiation (if I've understood correctly) could be produced but would be almost impossible to detect as it would all annihilate immediately?

What have I missed?
I'm frustrated because this will affect backups we have on Drive where I work. Will have to migrate some to B2 because of this.
AWS has a utility to help with the migration from .net to .net core. I wouldn’t do the rewrite. There are plenty of .net developers out there.
MySQL and PHP are a dynamic duo that never fail to surprise.

And not in a desirable way.
Then you need to stop wallowing in the shallows of the people you admire and get out in the insane expanse that is the rest of the creative world.

Don't be a jerk. A guy is dead. He's mourning the loss. Let him.
The biggest use I've seen is four-key and awkward three-key shortcuts in software where one hand is occupied with another device (generally a digitizer stylus, but it could be any controller or mouse). A macro keypad can be extremely handy when editing photos, for instance. Not everything one does with a computer can be done effectively with two hands on the keyboard.
Communication will get people to the dealership, but if your product doesn't impress people in a test drive, they won't buy it.

> No EV "performs like a sub $15,000 car", in terms of torque/pickup/handling

Torque != power. Low-horsepower EVs like the Leaf feel great in a city where you get the benefit of that torque from 0-30 mph, but that benefit quickly tapers off as speed rises. (aerodynamically, 2x speed requires 4x power) The 2012 Leaf launched with a high-9 second 0-60. The 2012 Prius has a number in the low-10s and the 2012 Yaris has 0-60 times in the low-9s. These are all very comparable vehicles in a highway merge situation. You won't impress your passenger with the performance of any of them on a high-speed American highway. They're fun as heck around a dense city, but most Americans dropping $40,000 on a new car are merging on to divided highways in the burbs.
therefore dissolving PR /= dissolving marketing
This is common to many companies. There are thousands of regulatory, taxation and licensing things that depend on the customers region, and it simply isn't practical to support a user journey that starts following one set of laws and then changes to any other.

Companies that allow it almost certainly are not meeting all the relevant laws for those customers that do change region.
I don't know why this propaganda is so highly upvoted. Monthly insulin doesn't cost $1,300. Nowhere near that. Maybe if you select the highest priced option on the market. But what stops you from buying a reasonably priced option?
Rest in peace, John Lewis.
How the Starship Enterprise Almost Landed in Las Vegas (2016)
Quote: "Operations complete in under a millisecond, not GFLOPS performance, but certainly good enough for many applications".

Then you have a scientist reading this, wants it for research and then wonders why a simple 3 lines in Python code takes 3 days to complete. True story!
The thing about micro-expressions is that they're involuntary. You can't hide them unless you're specifically aiming to do that. Your face might very well betray a few hundred milliseconds of amusement immediately before you shout a swear-word.
I'm not one of your customers but when I have looked at pay-as-you-go services or autoscaling services before I basically don't even consider any that don't allow me to cap the costs per month or similar.

So you could perhaps also consider that if it is only marketed when you sign up and not a clearly defined feature some people (like me) will just never sign up at all.
I guess if there is a talent gulf that could definitely be a factor, but I would be leery of jumping on a new platform. More importantly, unless I misunderstand your post, you are potentially not solving the problem of feeling "at the mercy of a 3rd party dev team".

In fact, to reverse engineer your app will you not have to find a new dev team with experience in both node and .net? Unless you are flush with cash, it seems to me like porting to .net core is the thing to do as that seems to be the path of best return.

Of course this does nothing to address what you see as a liability with respect to talent but if you don't have the talent in your company then your problem is going to persist no matter what platform you migrate to.
People hating their monoliths because of lazy tight coupling proceeding to create tightly coupled microservices that are even more of a headache is definitely something I've seen. Also seen them used as a bad escape valve for poor testing and deployment practices.
As mentioned in the footer (which is small and low contrast, so not surprising you didn't see it), the books are from Project Gutenberg.

Both the lack of space before ? and ! and the lack of accents on the A are present in the version at https://www.gutenberg.org/files/54183/54183-h/54183-h.htm , which has the following note at the bottom

Au lecteur

Ce livre électronique reproduit intégralement le texte original, et l’orthographe d’origine a été conservée. Seules les erreurs clairement introduites par le typographe ont été corrigées. Ces corrections sont soulignées en pointillés dans le texte. Positionnez le curseur sur le mot souligné pour voir l’orthographe initiale.

Cependant «Shere-Khan» a été tacitement remplacé par «Shere Khan» et «Bandar Log» par «Bandar-Log».

It also mentions that

This file was produced from images generously made
available by the Bibliothèque nationale de France
(BnF/Gallica) at http://gallica.bnf.fr

And looking at the scan https://gallica.bnf.fr/ark:/12148/bpt6k96184168/f18.item.r=L... it appears that while the punctuation marks did have more space in front, the A was missing the accent even in the original.
Quest for the Whistler Button
Rock legend Eddie Van Halen dies from cancer at 65
Serves them right for literally locking their penis in a vice. What have we come to as a species?
The idea is that without the huge barriers to entry big tech creates smaller companies will be better able to innovate. I tend to agree with you though.
Stripe Went From 7 Lines of Code to $40B+ in 9 years
The story of Stripe's founding has a lot of lessons on building a company.

What Patrick & John Collison have done over the last decade is truly mind blowing!

Prior to Stripe, the Collison brothers started Auctomatic, an online auction management company.

They sold Auctomatic to Live Current Media for $5M.

They thought they’d just start a company with this $$$ but quickly found out that it wasn’t nearly enough.

With the idea of creating a PayPal alternative to power online payments, the Collison’s realized they needed something that can’t be programmed.

To convince people that they are qualified to handle money, they needed “credibility”.

Selling a company for $5M wasn’t enough.

Knowing that credibility could come from partnering with top tier firms, they raised a $2M Series A from the likes of Peter Thiel, A16z, and Sequoia.

Stripe is built by developers for developers.

This made sense since developers were the ones tasked with implementing payment technologies.

Because they allowed developers to integrate Stripe with 7 lines of code, they created a raving fan base.

Developers fucking love stripe!

Stripe won over the hearts of their users (including me).

And in 10 years they turned 7 lines of code into a $40B+ invaluable business!
I use a lot of shortcuts when browsing and when I have to switch from MacOS to Linux is always a pain in the ass because they change and is not easy to remap all of them.

Maybe trying something like this would alleviate this issue for me.
Private trackers FTW.
Can you shed some light on the truth then? Why don't you provide specific numbers if you argue specific numbers?
Show HN: Code Kata with SRFI-64
I agree with you 100%. I was only addressing the statement that insulin hadn't changed in 50 years.
IIRC be wrote about that in The Emperor's New Mind a formative book for me (even though I was still at highschool when I read it) but one I haven't really returned to now I've a more academic understanding of the subject matter. To-do!
Why not?

It takes containers to their logical conclusion by generalizing them to a function while removing quite some operational overhead on the way.
RIP Eddie...

Jamie is crying...
Oh how I wish we could just use years like '84-'93 in lieu of obscure generational tags.. I agree with your general idea a lot of people were burnt out of rote memorization.

It's okay to memorize things - but I think if you teach the 'why of the equations' instead of just memorization of them - the memory would lock in with 'forced memorization'
They don't tank them enough to damage society, right? Most intelligent people still have kids.
Critics of Sweden’s lax pandemic policies face fierce backlash
No. I don't think so.

The concern for me is a lack of hard limit on spending on GCP, Azure, and AWS. If I screw up and allocate a bunch of resources unintentionally, I'm left holding the bill. That's a terrible setup for PaaS because all programming involves mistakes eventually, especially for new users learning the system.

Granted, there are likely limits on accounts, but those are to protect the services from fraud, no to protect the user from overspending. The limits aren't well defined and it's not something you can rely on because MS might consider $10k / month a small account while it's a ton of money for me.

Azure customers have been asking for hard limits on spending for 8 [1] years with radio silence for the last 5.

There's a difference in goals I guess. If I spend more than expected I WANT things to break. Microsoft, Google, and Azure want me to spend unlimited amounts of money, even if I don't have it. At least AWS can be set up using a prepaid credit card so if I screw up they have to call me to collect their money and I negotiate.

1. https://feedback.azure.com/forums/170030-signup-and-billing/...
One thing that annoys me about the internet is that many forums tend to vet claims of discrimination more thoroughly when the injured party is a minority, as opposed to a member of the majority.

Granted, it's not a new phenomenon (see "tyranny of the majority", "pure" democracy). Also granted, a spirit of inclusion often mitigates it, and that spirit is the mainstream in American culture (if less universally, lately).

I find it helpful to keep that dynamic in mind, though, when I read forum comments. For example, a forum with a lot of Brits is liable to brainstorm very convincing reasons why Marmite is healthy, while the status quo in an American forum might lead to an equally well-reasoned case that Marmite causes cancer.
All of the array types are basically the same. The docs actually do mention this, but only in passing as a current limitation.

https://www.postgresql.org/docs/13/arrays.html

> The current implementation does not enforce the declared number of dimensions either. Arrays of a particular element type are all considered to be of the same type, regardless of size or number of dimensions. So, declaring the array size or number of dimensions in CREATE TABLE is simply documentation; it does not affect run-time behavior.

Similar text extends at least all the way back to the documentation for 7.1.
You are wrong there. "Protected Mode" is a shorthand for "Protected Virtual Address Mode", as defined by Intel in the Programmers Reference Manual. The term is already x86-specific, and this is what i intended to express.
Flour is a very very bad fire retardant! It would do the opposite.
Saying that something that is billed based on usage is not also able to have it's usage capped seems weird.
> Generally, Pharma companies charge a lot for medications in the US _because they can_ - because no one stops them.

Walmart charges what they do because they can as well. Pretty much everyone charges what they can and nobody stops them. There aren't many business out there pricing stuff lower than what they can get away with.

There is a billion dollar opportunity here for whoever sells insulin at half price to the US market. Looking at the enormous price differences, it seems very likely that the opportunity exists. These are manufacturing prices; presumably before subsidy [0]. Unless I've really misunderstood what they are saying there is a huge opportunity for someone to get rich here. The most likely reason the prices are high is because the US government has somehow made it illegal to sell cheap insulin.

[0] "First, the manufacturer prices available in the MIDAS data do not reflect rebates or
other discounts that might have been applied after drugs left the factory; we expect that, in
many countries (and particularly in the United States), the net price paid for drugs was
lower than the reported manufacturer prices shown in our results tables." - In the linked report
Actual title: Ten Meter Tower | NYT Op-Docs
I, a US citizen, condemn house lawmakers 'Monopoly Power'

No one outside the game of bipartisan politics has the opportunity to effectively govern. The rule of law no longer holds any meaning.
I got bitten by this recently maintaining a legacy system. The same .NET DateTime object is stored in a DATETIME field and also embedded in an XML document in the same database record.

A comparison was done between the value stored in the XML and in the DATETIME field, but even using the same DateTime object there is sometimes a 1 to 3 millisecond difference between the two.
To be pedantic, Pedal Steels are supported by legs like a table. You are probably thinking of lap steels. When played standing up, they are usually supported just by repositioning the strap.
How about breaking up ISP or media monopolies? They get free pass and only consolidate all the time.
I love his music, and this kind of story makes me think very highly of this approach to life.
How is that a good answer? Certain death will scare you much more than some discomfort or insurance arrangement. Cheap insulin works fine.

This is a classic case when some ridiculous example, where it's clearly patient's fault, is presented as the fault of the system.
Right that's why you send random bytes to other people. You're forcing everyone else to receive or store random bytes. Thus rendering any actual enforcement of a law forbidding possession of encrypted data (or random bytes) nigh-impossible.

If someone gets charged for possession of random bytes, send the prosecutor and judge a bunch of random bytes and see if they're still intent on moving forward with charges.
Benchmarking of what? Based on the task, you need a specific benchmark. If it's gaming, there are various benchmarks, run them, see utilization, whichever is not 100% is the bottleneck.

If it's computation, it's more complicated to discover the bottleneck (your problem may be cache misses, memory bandwidth, architecture that doesn't go well with the algorithm).

Point is, you need to specify the task.
As a refugee from Windows Phone I actually use Uno Calculator on Android, which is a port of Windows Calculator. It also has good accuracy and easy to explore history, and also sane interface without Android's idiosyncrasies. And you can install it on your presumably non-Windows desktop too.