skysight-inc/HackerNews huggingface dataset:
Wow, just learned of Svelte from this. After reading their explanatory blog post and coming upon this blurb:

That all changed with the advent of hooks [React and Vue],
which handle state in a very different fashion. Many
frameworks started experimenting with their own
implementations of hooks, but we quickly concluded it
wasn't a direction we wanted to go in
...
We can just use the language. Updating some count value — and
all the things that depend on it — should be as simple as
this:

count += 1;

That's super exciting to me, as it puts the emphasis back on solving the task at hand and instead of framework nuances around state management. Will definitely be keeping my eyes on it.

https://svelte.dev/blog/svelte-3-rethinking-reactivity
Either you show that your statement P is equivalent to another known independent one or you need to produce a model of P and a model of not P.

The two main techniques to produce new models of ZFC are inner models, that is submodels of a model, for example studying the inner model L (Gödel's constructible universe) is how the consistency of the continuum hypothesis, the generalized continuum hypothesis, the existence of Suslin trees etc. was shown. Looking at L also allows one to conclude that the axiom of choice is consistent with ZF. Another commonly study inner model is the so called HOD, and there's a whole area, "inner model theory" that essentially tries to construct canonical inner models for some statements.

The second big way to produce a model of ZFC is by forcing. This is a very versatile tool that allows to extend a given model of ZFC by adding a new set to it (for example by adding a lot of new reals numbers to a model of CH you can make CH false). Forcing is how the consistency of the negation of CH and GCH was proved.

An interisting example is the negation of AC and its consistency with ZF. If you happen to live in a model of AC every forcing extension will still be a model of AC so it seems that our previous techniques are powerless. But actually what can be done is to look at a carefully chosen submodel of a forcing extension that still models ZF but in which AC fails.
Conviction requires 2/3rds of the senators present. Removal from office is a possible punishment, as is disqualification to hold office. Either of those requires a simple majority vote, following conviction.

For impeachments, the Senate is a court, they aren't jurors, but triers of law and fact, per Rehnquist.

http://theconversation.com/when-a-chief-justice-reminded-sen...
That's also how I remember the XT (~8086) I got in the 90s. When I typed or clicked, the response was instant. But that was about it, sometimes the HDD didn't work for weeks because I forgot to properly "park" it before turning the computer off. So I had to boot from floppy disk. And that was slooooow... Probably that's one core difference to today's computing, batteries are usually included, systems can run for months or even years without maintenance and crash much more seldomly. In the past people often had to wait for the computer to work again...
kubernetes the hard way (part 2)
As a person from Europe, in the hometown of DriveNow, which now they are killing to be absorbed by the former car2go, now Sharenow app, I really don't see them succeeding in Europe either. I used DriveNow a lot, mostly because of their packages and the better app and UX, but now that they merged, the prices are insane compared to SixtShare and the usability just seems very bad. It's a shame that before there was more competition (even now in Germany SixtShare seems like the better choice), but now that BMW and Mercedes joined forces, the new prices make the service useless.
All in the name of "liberty" for businesses, so they can vulture on the weak (the consumer). Land of the free, indeed.
The department I work at needs to interference with a third-party very frequently and they are Union run. They are the source of much of our pain and frustrations.
Why have Dems "shot themselves in the foot"? Because you're a Trump supporter and don't like that he got impeached?

You're going to have to elaborate a bit more if you're going to make such bold statements pretending to speak on behalf of all or even the majority of Americans.
> I could go on and on about the horror that is typescript

As someone who has seen great improvements in delivered productivity and quality across an entire organization, more or less due to Typescript alone, I would be eager to hear what your complaints are.
Pretty much everything: the flickering and the altered map with misaligned dots is the most obvious change, but it's missing all the different value bonus items, the iconic sounds, and lots of tiny graphical touches like ghost eyes facing the direction they move in, or up and down sprites for the pac.
In short, it's severly cut down on all features, and poorly coded to boot (mrs. pac-man shows you can do better than this).
I wonder how this is not big news/political issue over there.
I've recently saw a documentary on Seattle and all those addicts in the streets. Now reading this just fit the picture. How could this come so far? This sounds like some 3rd world dystopia stuff. Is there some national effort to fix those conditions? I mean this is the USA. You can't take this as normal.
On Combining Stuff
It gets worse than that, by Easton's theorem, except for two mild restrictions provable on ZFC, the function that sends a regular cardinal to the cardinality of its powerset can be anything
Let’s all go to Mars (2015)
Partisanship is a hell of a drug.
>Safari and Firefox both block many third-party cookies by default (which is why I had to change Firefox’s privacy settings to get this experiment to work), and as of today Chrome doesn’t (presumably because Chrome is owned by an ad company).

Wow. I am very strongly considering switching to Firefox now, just from this paragraph.
Most placebo effects are modest and the ones that aren't are usually mixed in with regression to the mean effects(which are usually pretty modest). So OP is implying that if an effect is especially large it's less likely to be placebo.
Because / is floating point division, and infinity is a defined value in floating point numbers.

Try it again with div for integer division.
Huh weird, seems highly rated, too. If it was loud in addition to the ozone smell and there was definitely no ionizer, I wonder if the motor was faulty.
To be honest the problem here is the question not the answer. It’s a bad question and shouldn’t be asked.
This is what mobile first design gives you
In mobile it might be welcome
On desktop or any big screen environment this is just silly
The quality of Microsoft's own documentation has also fallen considerably; the latest nail in the coffin is that docs.microsoft.com thing that started to replace MSDN several years ago, that created tons of ridiculous fuckups in the "migration process". While doing that they also "open sourced" their documentation on GitHub, which to me sounds more like they're just trying to rely on free labour from the "community" to fix the mess.

One of the more memorable WTFs I've seen is this, which is still wrong as of this post:

https://docs.microsoft.com/en-us/windows/win32/api/wininet/n...

Compare to the old version of the page on MSDN:

http://web.archive.org/web/20080828050103/http://msdn.micros...

See what's missing? The newer version is not the correct one... in "migrating" the document to the new site, for a reason that completely defines all rational explanation, the return type of the function declaration became void. There are plenty of pages on the new site with this serious error, and they've remained unfixed for well over a year. People report such problems on their GitHub, and they get fixed --- individually --- as they're reported, but it still boggles the mind how such a blatant and widespread error could go through (and the old, correct, content deleted flippantly) without someone in power shouting "STOP!":

https://github.com/MicrosoftDocs/windows-driver-docs-ddi/iss...
>France does well in terms of GDP per hour worked

The official hours worked figures in France are severely underestimated IMO. For all my career everybody I know worked more than the supposed 35, 39 or 40 hours your contract specifies.

All timesheet software I've seen asks you to input your time in fractions of the official work day, not real hours.

My guess is only workers who really are paid hourly and thus have to badge in and out have their work hours counted correctly.
fwiw this describes my experience of interviewing at Databricks
When we say that a statement P is independent of ZFC what we're really saying is "if ZFC is consistent, then P is independent of ZFC (hence both ZFC+P and ZFC+not P are consistent)".

This is the only sensible way to interpret claims of independency, since if ZFC is inconsistent it just proves every statement so there's no independent ones
Damn you! You made me blink and then lol :-)
Also air pollution is usually highest near freeways and plants which are also notoriously poorer areas.
There's also Win32s for writing 32-bit applications in Windows 3.1! It could be done because Windows 3.1 in 386 mode uses a 32-bit kernel that saw relatively few changes between 3.1 and 95. The main difference between 3.1 and 95 is that 3.1 uses a single 32-bit task for all of the GUI, but there is really a lot of 16-bit code in Windows 95 (unlike NT for example).

/me feels an urge to read Unauthorized Windows 95 back to back.
In my experience, people who have been experts on JS before TypeScript became a thing hate it. - It doesn't give them any advantages, while severely limiting their options and workflow. For newer developers with background in other languages it is quite nice though.
There are bad companies and there are bad unions.

That being said, all a union is is workers collectively organizing to resolve the power imbalance vs. their employer.
On the other hand, they're easy to open and repair, and it is the user who decides what software they are allowed to run on their computer, unlike anything that iOS dev team got involved with.

(Oh, and don't forget that basically all older iOS devices contain a local vulnerability which cannot be fixed.)
There is an interesting cultural dependence here. I live in England and we have very few wooden houses. I have always assumed Jesus's "carpentry" to refer to building furniture. It simply never occurred to me that he might be building houses out of wood.
sure, was just matching what the author said in their example. 100% agree no need to use obscure words
There’s three possibilities, although I’ll warn you now that none are great.

1. In an attempt to improve perceived performance on initial load a decision was made not to load all content in at once. In the case of a Twitter thread containing potentially hundreds of items that’s reasonable, for product descriptions less so.

2. The widget being used to display a product description on the product page itself is also used elsewhere on the site, but in a context where space is constrained to fit a grid. They got round that with a read more link.

3. Sadly the most likely for product descriptions, in an attempt to determine customer interest an arbitrary cut off was chosen for how much of a description is shown. Metrics are then tracked on which descriptions are expanded, and taken as a proxy for customer interest in those products.
> we have access to decent translation services: surely it can’t be all that much work to translate the issues?

If the translation services are great it wouldn't matter but I personally have never seen an useful service that translates technical talks well.
nice, quick intro in to how this crap works. combining DNS blackholing, plus adblockers and firefox or brave will make the biggest difference. :)
Thanks, removed.

I’m sort of surprised by that since my memory is that infinity isn’t a real number, rational, etc. That is, does infinity in Haskell obey some algebraic laws?
What Makes the Hardest Equations in Physics So Difficult? (2018)
If ever you read french, here is my tuto on Feed43
https://rsscircus.com/transformer-une-page-dactualites-en-fi...
I can't find the link to the actual study. What I'd like to know is whether there was any research into the actual causal relationships (such as the other study that was linked with pollution particles found in brains), or if it was just statistical correlation between places with high pollution and places with high levels of depression and suicide. If the latter, it could well be a spurious correlation (e.g. pollution happens in big cities, people in big cities tend to have more stressful jobs, stressful jobs cause burnout and depression...)
Having the same feeling when playing many AAA rpgs, maybe except the Witcher series or the titles from Obsidian. And, I used to spend 100s of hours trying to complete every possible gameplay in FO2.

What I really enjoy now are smaller indie titles with shorter gameplay and more focus on artwork, like Journey, Little Nightmares, A Way Out, Night in the Woods, Vanishing of Ethan Carter.
This is what happens when front end is marketed as "easy to get into".

I have 2 acquaintances who work in the medical field ask me about how to pivot to frontend web development. When they asked me about it, I told them that a modern frontend developer needs to at least know one of the major frameworks(ReactJS, VueJS, Angular).

They replied to me in surprise. "You mean CSS and HTML, right?"

That one made me mull over if I should get out of frontend web development altogether.
Air pollution linked to overpopulation.
Overpopulation linked to high birth rates.
So, in conclusion :
Depression and suicide linked to high birth rates
Right - you can't use drug tests to unfairly weed people out of employment, then list drugs as the cause of unempoyment and poor life outcomes.
Exactly my reaction. I do think that you can create stunning animations and for that you need some expertise but animations are the "the basis" for a complete and successful front-end.
As a side note, since TFA mentions you can't run 16b apps on 64b Windows, I'd like to mention that otvdm/winevdm actually allows you to do it by running Win16 apps on Win32 using Wine!
This is nonsense, as anyone who’s spent significant time in Germany, Switzerland, or Scandinavia knows instinctively.
What am I missing? Their status page says "This is fine".
Show HN: Aical – Voice Calories Counter
> I could go on and on about the horror that is typescript

In his talk Predicting the future of the web at the last ReactiveConf, Richard Feldman (not himself a typescript guy, but an Elm user) quoted an interesting statistic that most of developers who try typescript never go back to writing plain javascript. I do not remember where that statistic was from, but can attest that with me it is the case. So much for the horror that is typescript.
How about you configure your system that you don't get those "million permissions dialogues" (you must copy/paste a lot...), and then the rest of us will have to just confirm temporary changes like these?
The saving grace of Typescript is that types are optional. If types were mandatory for everything, it would be very hard for me to get a buy-in.
> The HomeKit Open Source ADK is an open-source version of the HomeKit Accessory Development Kit. It can be used by any developer to prototype non-commercial smart home accessories. For commercial accessories, accessory developers must continue to use the commercial version of the HomeKit ADK available through the MFi Program.

So only the "device" part, sadly not the "controller" part. So you'll still need a iOS device to setup stuff in your house, I tried it yesterday with only my iMac to no avail.

But still it's a step in the right direction.
So how do people without phones participate in society? I don't use a google account on my phone, so that means no App Store. I'm trying to one day get rid of my google account too. It doesn't cause me many issues in the UK though I can't use things like Uber, and that's no loss to me.

How would I get on in Denmark?
I played ET as a kid when it came out and then many years later. It was a massive disappointment when it came out - it made no sense, and of course it had those infamous pits. When playing it as an adult, I realized it wasn't the adventure game it looked like (and arguably ought to have been) but rather a fun little puzzle game. An interesting novelty, and flaw for a mass market mainstream game, was that the printed manual was an integral part of the game. Without the manual to look up the cryptic glyphs that would appear on screen, the game truly made no sense.

So most of the ET demographic (young kids) played it without really playing it... wandering around what seemed like an adventure world (a la 2600 Superman or Raiders), not even noticing the glyphs, and certainly not working out the glyph puzzles using the book.

ET really wasn't that bad of a game once you RTFMed. Definitely not the worst. The 2600 had so many awful games that were worse.
Why is it bad to ask about the actual experience someone had with something that I will be hiring them for? That makes no sense to me.
Considering my email address is the gateway to basically every online internet service I use, and that Google owns 30% of transcontinental internet infrastructure, I've just had the very scary realisation that Google has the power to silence individuals off the internet at will.
Ditto. Also my DNS service runs on GCP and I don't see any problems with it either.
It is down in some regions. I can access only with US VPN.
How to Tell Your Employee He/She Smells Bad
Don't think, just consoom product.
That's cross platform for Windows, Mac and Linux, but what about Web, Android and iOS?
That's the stupidest barrier I have seen being proposed to potentially good software.
I will figure it out.
Windows 3.1 apps are somewhat cross-platform because they can be run with Wine on Linux.
Except the internet it seems.
Which company was it, Samsung?
Then don't. It's really that easy.
Google is having service distruption across services
Without these secret psychological tricks, Success with women may NEVER improve
Seems unlikely. In 2018 Democrats ran on the promise of holding Trump accountable, quite a few new seats obtained on the promise of impeachment. The House represents the people. The Senate represents land. The House should be partisan. That's their job. And why they're up for election every two years.

The constitution requires senators to take an oath when sitting for impeachments. That oath includes one of impartiality. Two senators, including the majority leader, have announced they are expressly not impartial. The majority leader said they are working in total coordination with the defense's lawyers. And that it would be mutual assured destruction to have witnesses.

A trial without witnesses, or documents, before a body on oath of impartiality, triers of law and fact.

A sham you say?
Infinity is a valid floating point number in the ISO standard.

However integer division by 0 isn’t. div 1 0 will fail.
no, these are chord progressions using standard notation in jazz lead sheets. they both show a version of a very common and foundational progression called a "two five one" or ii-V-I.

the first shows this progression in the key of F minor (really, F melodic minor if you want to get into it).

the second describes this progression in roman numeral scale degrees, useful for transcribing this progression to any key.

either are going to be pretty much second nature for all players except for those at the beginning stages of their playing.

ø = half-diminished, or m7b5, comprised of scale degrees 1, b3, b5, b7

-∆ = minor-major, or mM, comprised of scale degrees 1, b3, 5, 7

alt = altered, or altered dominant. this type of harmony is ubiquitous in jazz since the 60s. one of the most straightforward ways to look at this is through melodic minor scale modal theory. the "locrian" scale in this mode, or mode built on the seventh note in the (ascending version of this) scale, gives scale degrees:

1, b2, b3, 3, b5, b6, b7

or, in the language of the upper structures used in jazz:

1, b9, #9, 3, #11, b13, b7

note the presence of the 3rd and the flattened 7th - these are the core elements of a dominant chord. all of these other notes, with the exception of the root, are "altered" e.g. raised or lowered by a half step from their original position, relative to the major scale.

this mode is often referred to as the "super locrian" mode.

there are dozens of options for voicing an altered dominant chord, "alt" is very general notation. when a player sees this, the context, their ear, their experience, whatever other information there is in the song, will inform what they actually play. at this point is where getting into some listening would be quite helpful!
True, I had my setup done fps style. Most of my commands were within finger reach of wasd. When i first learned the software, there were no commands set to hotkeys. It was a lot slower using menus or toolbar buttons.
It's not unusual for a new game to have dlc available at launch which is the say the game is split into pieces and monetized that way. A new game will have different editions ranging from 60 to 80 bucks and 2-4 dlc at launch and later for 10 - 20 bucks each.

I guess the maximum spend you could end up with is $100 to $160 depending on quantity of dlc and original purchase price.

Call of duty ghosts has a pack with the game all the dlc for $100 now.

https://store.steampowered.com/app/255163/Call_of_Duty_Ghost...
You can definitely write Cantonese so I'm not even convinced you are correct.
Many - if not most - of the residents of inner city slum areas were raised by single mothers who had them very young without the means to support them. They turned to drugs and gangs. They never graduated high school. In short, they never had a chance.

There is not much the government can do to fix this. One of the few things government could do to help - increased police presence and general law enforcement - has been rejected by inner city politicians. Police often find themselves at odds with the political leadership of major American cities. It's a shame, but that's politics.

Ultimately it's a cultural issue that the people themselves need to figure out. If they stopped having kids so young and women weren't forced to raise their children alone, things could improve.
I guess 2023 came early.
CyanogenMod lives on, in the form of LineageOS.
K vs. Coq as Language Verification Frameworks
Isn't Snowden's book literally his auto-biography? How exactly does it contain classified material?
> TypeScript slows down a project. Nobody seems to ever point out what benefits it supposedly offers.

Types slow you down a bit at the start, but speed you up forever after that. Untyped projects are fast to whip out, but slow piles of undefined behavior forever on. Oh and add unit tests, without types, and all you have is a checksum.

> And I think it's only popular because of the influx of backend developers coming into the frontend.

That's not the only reason why it's popular.
> speed limits will top out at ~100 or ~110km/h.

It's a little better nowadays in many western US states, 75-80mph limits are common on rural interstates.

We also have lots of roads with literally nothing and no one for, in some cases, hundreds of miles so it really makes no difference whether there's a speed limit or what it is.
Yeah, Typescript does slow a project down.

It's not even about using types. Sometimes you get stuck trying to resolve Typescript issues that are not part of your core problem.
I find stadtmobil to be the cheaper alternative and better.
This quote is from 'personalization' site. The behavior is not documented very well.

Aito is Bayesian system, and it uses the average behavior as 'prior' for personalization. So if we don't know you, we assume you to behave like the average user (who might like bacon). Once we get to know you better, we will recognize that you have distaste for meat product, and rank them lower.