skysight-inc/HackerNews huggingface dataset:
I lost track of how many people around me claim they’re “logical”. In reality, they’re perceived by others exactly as you’re perceiving others here (yes, me included, of course)
The conversion techniques you explained, I use them myself (that's why they always ask for my help, I can do it in my head.) But the fact many Americans are unable to do that is, in itself, evidence the imperial system doesn't work that well for them.

> This is definitely the worst example. 0°F is really cold. 100°F is really hot.

This might be a sufficient explanation to give to a 5-year-old, but as soon as you need to do actual work with temperatures, this doesn't work so well. Case in point: many Americans don't know the freezing and boiling point in ⁰F. So, no, it's not "objectively better."

> That's like saying "100 centi 57 meters"

No European ever says this. In contrast, many American routinely say "six pound five".

> How long did they live in the US and how long have they lived where they are now?

Their whole life. Born and raised in America.
Reminds me of a lot of the ire that I had for GDPR when I first read it (vague wording, general legislative over-reach, potential for arbitrary enforcement, and shoving it all through due to popular consumer sentiments that aren't necessarily directly related). And like GDPR, it will hurt innovation, although that detriment is difficult to measure.
What does a lobbyist even do? I can't even imagine the scene, they go in a politician's office and just start with "ok hear me out" or am I being naive and it just means finding ways to pay them money?
What do you mean by “differentiates the types from the objects”? Could you maybe offer an example comparing TS and C#?
> Not so many years ago, online renders in certain DAWs were perceptually and quantifiably different than offline renders because of things like this

and how has moving from 7 bits to 32 bits helped with this? rendering the changes in values across 32 bits is going to take a bit more cpu power than doing it across 7 bits. that's not really relevant here.

moving from 7 bits to 32 bits allows for smoother transitions - which is fantastic, but remember that the sound coming out is the culmination of a lot of different factors: having more bits doesn't change the 1+1 behavior.

> With MIDI 1 and 2.0 that's rather difficult when factoring in live input due to the fact that your production system has wack drivers on top of a non-realtime OS and can't provide guarantees.

great, so adding possibly more instability. I guess that's a "change", but probably not unless the underlying protocol is changed - otherwise no real changes: indeterministic results. and I think I'm ok with that.

midi 2.0: great, but don't expect much different - the music world has moved beyond midi (again), it should be interesting to see how midi adapts past 2.0.
One of the issues, I think, is that compilers has really become a topic that is way too broad to fit into one book. You'd need at least:

* Foundations: the frontend, codegen [to IR] (including vtables, lambdas, and coroutines, probably), the big scalar optimizations, register allocation, maybe instruction scheduling?

* Loop optimizations: dependence analysis, all the loop opts, autovectorization, autoparallelization. Maybe cover some OpenMP or heterogeneous computing (e.g., SYCL, CUDA) here

* "Fancy" optimizations: profiling (including what & how to profile), link-time (including thin-lto techniques), SLP vectorization, possibly superoptimization and dataflow analysis

* Dynamic language VMs: JITs, garbage collection, shape optimization, and several of the various tricks (e.g., NaN-boxing, deoptimization guards)

* You might be able to make an entire book out of fuzzing and symbolic/concolic execution, but I think it'd be thinner than the other ones here.

And there are still things I don't know where to put. Alias analysis, exception handling, debugging…
Real time status of wuhan infection
It's an unreviewed pre-print paper so I tried to delete it but kinda late
Unfortunately, saying rational things about China—instead of demonizing it—can be seen as defending the Chinese government and bring a lot of grief in this current “Yellow Peril” environment.
The user doesn’t have to enter weight. We use a device called an InBody, which can measure weight as well as body fat %.

Body composition is used to determine if users are on track towards their goals. It’s a more accurate metric than weight, because muscle is more heavy than fat. If you gain muscle as you burn fat, you can actually stay at the same weight. So measuring body fat is important.
Just use Highly Composite Numbers... Babylon used base-60 and we still tell the time with it today. Base-12 is good too. It's divisible by 1,2,3,4,6,12. Base-10 is only 1,2,5,10 which is less usable for fractions.
Generals lack democratic legitimacy and they seize power all the time. I don't see what heredity has to do with it.
>If this was a bioweapon, it sucks.

Bioweapons aren't all that effective in general for the reasons seen here: they're too slowly acting, to easy to treat, and not as lethal as, say, chemical weapons (which are also not that effective as weapons). Biological weapons are most dangerous as terror weapons.
Demand for this article is outstripping server.
And that's one of the reasons they are posted about here: to help find developers who will work on the ecosystem.
K9minators
You could do something like this more efficiently using eBPF I bet. E.g. based on TCPLife https://github.com/iovisor/bcc/blob/master/tools/tcplife.py
This book is great! If only I didn't have a dozen plus other technical books still unread from my Black Friday shopping spree... I've been making progress but the bargain buying got a bit out of control this year.
Counterpoint: https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-typ...
Thanks for all the feedback. If people are interested in following along, I'm sharing some selected feedback in my newsletter this week => http://boundless.substack.com
It's only known for that, because of a few high-profile examples. It's like saying that Muslims should just expect some transitive association with terror groups. I mean, they choose to still be Muslim, right?
> people often find random animals, in drainage ditches, etc., and then go on to sell them for meat.

I’m sorry, but this as likely as Americans getting disease because sometimes they eat roadkill.
Indeed can’t read. Getting 500 Server error.
There you go, defend the bigots and ban the people fighting them.

You’re fighting the good fight, mister moderator guy
There's a fantastic interview with Stanislav Grof, who supervised roughly 4500 LSD sessions starting in Czechoslovakia, here: [1]

His intelligence, knowledge and keenness of mind is truly impressive, especially considering his advanced age. This interview is highly recommended to anyone with an interest in this subject.

[1] - https://www.youtube.com/watch?v=3mdYUmvTeig
You’re correct. Besides, proof of work in Aether is user adjustable, everyone can choose their own threshold. No need to turn it up unless you see spam. As you turn it up it becomes harder for other computers to pass your filters, which will cut down on spam (or anyone who’s trying to create too many posts for any reason).
It's not typographically sound.

That is to say, typographers don't typeset books, newspapers, or magazine with double-spacing after a sentence.

It's a style that emerged from typewriting, because it makes it easier to read monospaced text.

Which is another reason I do it, I'm usually typing in a mono font even when I'm working on prose. That was my point, actually.

Amusingly, the two sentences in the above paragraph have two spaces between them, as do this and the next. But you won't see it, because browsers typeset with one space between sentences.
Personally I dislike the fact that io-ts requires taking a pure functional programming approach to this validation. For most cases I just want to throw an error if something doesn't match up. My main use case for this is validating that my UI and backend API have the same ideas about the shape of the data, which will either always work or always fail. All errors should be caught during development and testing, so the "either" case will never realistically be hit in production.

Because of this I prefer runtypes [1], because it's much more simple to get my desired behavior. My only gripe is that errors aren't all that descriptive.

I guess I could write a function to pipe/fold into the type, throwing a descriptive error if something fails, but I like the simplicity of runtypes.

Edit: I just discovered io-ts ErrorReporter [2]. That's way better than my solution, and I'm considering switching now!

1: https://github.com/pelotom/runtypes

2: https://github.com/gcanti/io-ts/blob/master/src/ThrowReporte...
Gas pumps will sometimes work after hours even if a clerk isn’t on duty. Same with other self service situations where a card might be your only payment option. Carrying cash is a last resort; you risk losing it or not having enough.
I have a W541with a 4910MQ and haven't seen it throttle.
On the other hand, the fact that the user upthread's computer is quiet even at 97C strongly implies that throttling is happening.
So much protein flying through air.. If only we have a way to capture them and turn into bars.
> I still don't understand what pulls developers to Typescript... Coming from C/C++ it looks like a joke.

Remember that this all compiles down to JavaScript where it's all dynamic/weak types. Someone coming from C/C++ should definitely appreciate TypeScript over just plain JavaScript.
Did Obama not divide the country to a point where Trump could get elected?
Only the most dedicated move to those platforms. Those willing to leave the mainstream so they can continue to have those sorts of discussions.
You are right, 5D conformal GA goes way beyond nice rotations in 3D space, but why stop there? We can have two worlds: computationally expensive, high level, powerful abstractions and computationally efficient, messy abstractions. In some cases of rotation, even quaternions are too much.
i9-9880H (45 W) + AMD Radeon Pro 5500M (50 W) + 64 GB RAM (5 W) + 1+ TB SSD (5 W) + screen (10 W?) + fans, T2, wifi/BT, Thunderbolt, (5W?) = ~120 W

Maybe a lower specced model would do better...
I'm seeing a few people heading in this direction (and wrote very provisionally about possible wider applications here: https://mastodon.social/@mala/103548286708316253 ). I think it's certainly an idea that's in the air.
Unless of course the screw up is “normal”, like leaving your device unsecured and open to the internet (which is wide spread in the medical device community, at least in practice).
Apparently, intel accepted that laptops will just never have decent cooling, so they let the high power chips get right up to 100C and throttle based on how much cooling is available.

If your laptop CPU is at 100C and the fans are quiet, you're wasting a lot of performance potential.
But then it should be in the type signature of the object. TypeScript is signalling this as an error because it's a literal passed directly to the function and that property (theoretically) can never be used because it wasn't declared.
Buy a different phone that has a common port.
One of the advantages of having documentation live alongside code in source control is that, in principle, the person reviewing the pull request could edit the prose.

The pattern I see most often is "oh my goodness, thank you for making any effort at all to document this mess, this is way better, your pull request is approved."
That sounds like industrial production of kungu.

https://en.wikipedia.org/wiki/Kunga_cake
Game Theory Meets Information Security Management (2014) [pdf]
Except it's illegal to pay bribes (for now, anyway) for US companies (to foreigners):

https://www.justice.gov/criminal-fraud/foreign-corrupt-pract...
My PHP Performance Benchmarks
I want to start seeing these USB4 ports in laptops though to free us up from Intel+Thunderbolt.
been using the 2019 version that I got from work for a couple of weeks now, haven't noticed anything. I run a heavy Docker based setup on MacOS, the fans do make noise but that's about it.
An audio censorer written in Node.js
Looks good to me. I got the C-to-C:

https://www.amazon.com/gp/product/B07WFHNFSD/ref=ppx_yo_dt_b...
I don't get it. Why are people knee-jerk adverse to this idea? We're not arguing with flat earthers or moon landing skeptics. It's entirely plausible. With people putting their reputation on it, too. Dany Shoham (Israeli biological warfare expert) put his name on the line point this out before a lot of people.

It's not out of the realm of possibility and shouldn't be disregarded out of hand like it has been. Could be from there or maybe not. We really need more information from China to settle some of these discussions.
64GB 8GB Video card 1 TB SSD

I think you should bring your computer in for service. I haven't had a fan problem when I have used the computer.

You can also try disabling turbo boost. See http://www.rugarciap.com/turbo-boost-switcher-for-os-x/
> That's not good. A type system should be crystal clear, predictable and reliable.

The purpose of TypeScript is to provide static types to JavaScript without just turning it into a compile target. TypeScript type system is only confusing because it's modeling real-life ultimately type-less JavaScript code. It's not it's own language with it's own rules -- it lives and dies as JavaScript.

> Types should not be a complex thing with a steep learning curve.

Types can be as simple or complex as needed. Assembler and C have very simple type systems with very few features and can only model very simple situations. Types in TS don't have to be complicated -- blame JavaScript programmers for their crazy designs.
Aspects of Reasonableness
Yes, entirely. Function keys are not different to the others, and constitute row K. Nor are "media" keys, which are just more keys. Apart from one key, [Fn], they are all just bits in a giant bitmap, indexed by USB HID usage and (usually but not necessarily) partly encoded as an inverted array, on the wire. The keyboard layouts, in software on the host, define the meanings for all of them.
Yet it's 100% legal to pay bribes to US government officials (aka lobbying and campaign contributions).
The Indian Ocean Dipole event did nobody much good. It's been attributed for the very low rainfall (and bushfires) across Australia in 2019 as well as the higher than usual rainfall (and locusts) in east Africa.

Also an impressive feat of weather modelling, however. This is from May 2019, apparently before the strong IOD event had fully formed, and before the bushfire crisis hit.
https://www.abc.net.au/news/2019-05-16/positive-indian-ocean...

This is from last month and shows what happened with it
https://www.abc.net.au/news/2019-12-11/indian-ocean-dipole-v...
And they were right about the effects on rainfall while it was in place.
Reminds me of that Windows marvel called Kerio Personal Firewall which allowed to restrict connections for any application, a feature that Linux should have had since forever and is becoming more and more important today. Most Linux FOSS apps may not call home, but closed hosted or emulated ones (through WINE for example) often do.
The (real) dark side of strategy consulting and its effect on the business world
https://goo.gl/maps/mt1nrMnP6A8QAXpn9

Looks like it’s in both places but wasn’t “moved” like in that link
You don't even need watercooling for really good thermal control on a desktop. Companies like Noctua make CPU fans that are just as effective, quieter, and are less complex than watercoolers (and I say this having built a watercooled system in the past year).

Watercoolers do have fans, so not only can you run into potential "fan issues" but you can also have a "pump issue" on top of that.
Including this one then? I assume you've combed through all of github to verify this?
Yeah I know what you mean.

Frankly, I feel there's major problems behind the concepts of AI and even intelligence itself - and it's difficult to articulate why. It’s as if these terms require aggrandizing to the point of impossibility or they lose all their apparent meaning. Which is why I feel we'll never achieve what we call (Strong/General) AI, or if we do, we will find ways to be unimpressed by it...
> Most other languages I know of only have a single type for a variable (and if you want to pattern match you must give each case a new variable name).

FWIW, Go also changes the variable's type in type-switch cases: https://tour.golang.org/methods/16
What the heck does this have to do with eugenics or feudalism? If you want to practice horse archery, all power to you, but you better find the money to pay for it. It's inane to claim the right to be a horse archer with government support, or blame the lack of means for a good warhorse on increasing inequality.
Now, if the government/society at large feels our light cavalry reserve is critically low given all the Canadian heavy infantry, it would be a-ok for the society to subsidize aspiring horse archers to a necessary extent. Then, and only then. Otherwise, you are free to pay for it yourself - all power to you!

The same exact reasoning applies to having children. I don't see any good explicit reason to produce more children across the board, in fact I see the reverse (be it global warming and the per capita emissions in the first world, the recent electoral successes based on the plight of poor workers suffering due to globalism, automation, whatever); plus there's also plenty of willing immigrants that would solve the governments/societies problem, if there even was one. So, the government has no good reason whatsoever to subsidize child-making. If someone wants to do it as a hobby, all power to them!
Go-kart company loses case against Nintendo, ordered to pay over $605,000
Anyone else getting horrible battery life under heavy use? Doing Xcode builds that aren’t crazy I’ve seen crazy stuff like a 1.5 hour total battery on my recent flight.
Exorbitant "speaking fees" are a questionable practice in the US. The same goes for "book deals" which are too rosy to be later borne out by sales.
I would argue against graceful shutdown. Your server and clients need to be robust against legitimate failures like a crash on the other end or the network going down anyway, so what's the benefit of introducing yet another code path, and even worse: a code path even more rare than a cut connection?

In any distributed system, you must assume unreliability in its components, and design around that fact.
> In 1991, the people you might have conversed with on Usenet were a lot similar to you.

I'd suggest you missed noticing some of the more divided corners of Usenet back then. Consider (admittedly an extreme example)

https://groups.google.com/forum/#!searchin/soc.culture.yugos...
Zero Hedge Permanently Suspended from Twitter for ‘Harassment’
Waiting for this forum to get to its norm of ignoring politics, as if remaining ignorant of the scheming of the social class with a monopoly on violence is ever a bright idea.
Um.... contributor, meet open source project. We’re glad you’re here...
Nope. This is not how casting works in TypeScript. To get an unsafe cast you have to go via the ‘any’ or ‘unknown’ types.

e.g.

‘foo as unknown as Dog’
Here's a documentary including the original 1968 documentary of the experiment on army officers:

https://www.youtube.com/watch?v=1qNK3dQES6I

It's pretty hilarious (if you understand Czech). The officers are issuing non-sensical orders, can't stop giggling, can't put on masks, get into conflicts.
Quake 3's Fast Inverse Square Root
The SHA-2 checksums to verify packages against are delivered as part of the (signed) package index (as the article alludes to).
I always assumed there was a lot of talking. Most politicians are inclined to want to help businesses anyway, as they provide jobs and generate tax revenue. If the lobbyist can come in and say “here’s what the cell phone providers nationwide need to stay in business and continue to generate good returns to shareholders and low prices to customers,” then that’s a powerful message - especially when the counter-argument is a pile of faxes and postcards from constituents that don’t tell a coherent story.

The money certainly doesn’t hurt, though.
Hmm? All DVI is digital (except for the analog vsync line).
2.4GHz 8-core, 64GB, 2TB, 5500m 8GB, external LG 5k display, no fan problems
See https://news.ycombinator.com/item?id=22206663 for discussion.
Actually this cast is safe in TypeScript, additional variables are unnecessary.

The statement ‘const d: Dog’ and the expression ‘d as Dog’ are equivalent w.r.t. type safety. The compiler will error in both cases the if the value is not a Dog.
It's not entirely for lack of trying on behalf of prosecutors. The courts have narrowed the definition of bribery.

https://www.lexology.com/library/detail.aspx?g=c6c23d55-f451...
Its name is novel coronavirus or more specifically "2019 novel coronavirus (2019-nCoV)". There are many coronaviruses that just cause colds. There's also SARS, MERS, and now nCoV that are a lot more deadly.
This is great. We can all run private Kubernetes pods and share over Wireguard.

This will only ever apply to corporations right?
While it may not be reasonable as a business owner, I don't think wanting to enjoy your work is nuts. Seems totally reasonable to consider if you have enough options.
"Extremely harsh" is entirely different from "malicious or harmful". Again the conflation of these is one of the root causes of what we're seeing today.

People who use the term 'toxic' like this are people who subscribe to the mindset of "I'm being prosecuted because someone is saying something I don't like".

People seem to have forgotten that having free speech necessarily means tolerating speech you disagree with, speech you find objectionable etc. Blanket labelling anything outside one's bubble as 'toxic' and refusing to engage in any dialogue is exactly how polarisation begins.
> In MIDI 1.0, all data was in 7-bit values. That means musical qualities were quantized on a scale of 0 to 127. Features like volume, pitch, and how much of the sound should come out of the right or left speaker are all measured on this scale, with 128 possible points. This is not a lot of resolution. For some really sophisticated listeners, they can clearly hear the steps between points.

This is extremely misleading. Sure, the velocity input into your synth is going to be at 7-bit resolution, but at soon as the synth has it, it can play anything it wants at whatever volume it wants to based on how you have configured it. There's nothing about the external 7-bit implementation that is really limiting the dynamics of the synth itself.

Higher resolution timing and a greater amount of 'awareness' about the features of the device at the other end so as to facilitate automatic mapping of controls from surfaces to synth parameters is what I would find more useful.
I think maybe owning your own business isn't for you then. Which is fine. Me neither.
You can read about his tech stack here[1]. Curiously, his "About" page loads fine. He is using a Django REST API with DynamoDB and the "whole site is hosted serverlessly on AWS Lambda."

1. lucassimpson.com/about/
Did you try turning off Apple Music in Settings? I just did that, and all mention of Apple Music goes away from the Music app, including in the search results.
> if iPad could view and edit files from, say, SMB server....

Try ‘add server’ in iPad’s “Files” app?

http://osxdaily.com/2019/11/04/how-connect-smb-share-iphone-...
Of selling the .org registry?

Pro: ICANN can make a shitload of money.

Con: .org domains get a shitload more expensive.
There are some reports of this week's macOS 10.15.3 update drastically reducing performance in 16" MBPs, which previously crashed under load: https://mjtsai.com/blog/2020/01/28/macos-10-15-3/#comment-31...

If this is due to the processor being overstressed, Malik's fan issue may be related.
The word you're looking for is "invaders".