skysight-inc/HackerNews huggingface dataset:
Oh no, not at all. The context is the whole problem, because this is an awful analogy. Maudlin confuses "I think this proposition is false, but I don't know how to prove it." with "This proposition is neither true nor false and I can prove it.", and he does it because he doesn't know what Gödel's work is about.

(Also, "I don't know a proof" is only equivalent to "There is no proof" if you're a pompous asshole that thinks you're smarter than everyone else. Learn some humility, Tim Maudlin.)
Cloud moves slowly because you don't want to force users to redeploy and, once racked, those boxes stay there for a good couple years. In-house ever-expanding large installs are much more agile. Look at how Google adopted POWER, to how Cray is offering ARM nodes in their supercomputers.
Stand up and Stretch
This is common sense, and standard practice. There is not need to use an ambulance for everything and is not even advisable always.

Ambulance drivers are customed to drive fast and ignore any red light; they have accidents also. To expose yourself to an increase in the probability of having a car crash because you had a minor injury, or one that is stable and can not really benefit of the specialised services provided by the ambulance, is stupid. Each case is different and must be treated individually.
In a world of 5K displays and Apple's insistence on smoothness, this GPU just won't work.
Can't say there was too much criticism on this review.
Discussed yesterday (382 points/276 comments):

https://news.ycombinator.com/item?id=18376287
You need to expand from uni-variable logic to holistic human interaction to understand it.
Putting aside the fact that Bernie isn't a democrat...

Most of those in government (just to make abundantly clear I mean both parties here) are there because they want power and money, not because they have principles.
It would probably give us some new insight on what computation actually is. Our inability to formally proof class separation suggests we're missing something.
>With HT disabled, cache per logical core doubles (because there is only one) and cache misses go down.

This is too naive to look at in such a way. Yes if there is less scheduling on the core (less concurrency) the likehood of misses is lower, but the idea is to pay less for each miss doing effectively something else meanwhile instead of being stalled for memory.

>Now that we mention it, I wonder if HT can be enabled or disabled per core.

OS scheduler can do that. Normally the guidance for hyperthreading is: consider each "thread" as a separate core. If an OS chooses to use one core at a time and not schedule anything, the hypertrheadind won't be used. That is imagine logical core0&core 1 represent the same physical one, if the OS schedules only to core0, hyperthreading is not in play.

Notes: controlling scheduling on linux is done via taskset. And cores info is available via "cat /proc/cpuinfo"
> I could have just as well signed by another individual's name.

So you change one vote while taking the risk that you won't be able to match their signature under pressure, or that their signature will already be there because they've voted already or will find yours when they vote later, exposing your scheme. With that chance of failure, is the ten years in jail worth it?
I actually think this is what Oracle intented: Broad support for Java. They will probably be able to extract some service fees from a huge professional market. Much better than have developers fleeing in all directions and being left with a dying platform.
I bought a mac mini ten years ago (for about E400?). It still lives on today as my parent's desktop. I passed to them many years ago and not one problem. Fantastic machine.

However I cannot justify the prices they're asking for these ones. I'm looking for a new machine for myself now, but no way will these be considered.
That has always been Apple's MO. Ever since their "Think Different" marketing campaign, where they realized they can convince the sheep to follow if they associate with the brightest minds and celebrities (e.g., put an Apple logo next to Einstein, next to an astronaut, etc.) without actually offering a better product.

It's always been a fashion statement to own an Apple product...

What bothers me is how the technical community, both software engineers and academics, have fallen into this trap.

A new Win10 pc is a much better development machine. Sorry, but I do prefer to Think Different and don't care about what is fashionable, but make my choices based on specs, utility and value.
It does if they enforce their non-discrimination policies. The oppressed need jobs too.

Also, news media's love of simplification has really twisted people's view of states other than their own. Georgia is about as "blue" as California or New York, but most of it is concentrated in a few counties in Metro Atlanta amid 159 state-wide. People mistake resolution for politics.

If an alleged "blue" state had as many counties as Georgia, those county election maps would look awfully red too. But since they don't, the counties that lean D take up more space, and the extremes on both ends are attenuated in a larger pool so red doesn't look as red.

The south in particular is notorious for having lots of counties. It was a way to get more money during Reconstruction. There's a reason the most prosperous former Confederate states have more counties even if you exclude those formed post-Reconstruction.
Linux compatibility in IncludeOS
Do the people downvoting this live in NYC? It has massive infrastructure problems.

I took njtransit every day for the last 3 years. It has massive delays, cancellations, derailments, manpower shortages, etc, all the time. Probably at least twice a week you should expect a major delay. (an extra hour kind of delay)

The Subway also has major problems. It's falling apart, chronically late and costs a fortune. But there's no money for fixing it.

They're shutting down the L-Train next year, the main train you take from the most popular places in Brooklyn.

Commuting in NYC sucks and you shoud expect it to get worse.
The implementers of voter ID laws have said explicitly that their purpose is to suppress votes[1]

1 https://imgur.com/a/LGTGcZT
Slightly off topic but is there cloud Mac/Xcode that I subscribe to for my occasional App development?
Well, you know, we waited years for a new Mac mini replacement, and we got one that is very disappointing on the low end, very expensive on the high end, no clear future support, missing features from previous iterations, but hey, it’s amazing machine because Apple finally graced us with it and I got it for free, so let me overlook that 2500$ price tag.
In the US the normal procedure is to call 911 as an ass covering exercise.

There’s a lot of downsides to that when a true emergency isn’t happening.
> Would you rather MS told you which extensions they think you should use?

Actually yes. Unopinionated systems leave me too much choice, and lead to a fragmented community.

One practical example are keyboard shortcuts. With VSCode I'm never too sure if I used the right ones, or if some plugin is messing with them... Where as for Jetbrains IDEs I'm certain that code formatting is Ctrl+Alt+L and I could tell other people that ask me.
> Some people say that if you voted or not is public record. Yes it is public but there is a difference between 1 click and jumping through some bureaucracy to find that information.

Would you call that bureaucracy an important feature then?
Gather | Mid-level Engineer | .NET + Azure | ONSITE London/Bucks/Herts UK | https://www.gather.tech

We're a _very_ small, friendly, early-stage software development team with a range of clients. Most work is web app development / CRUD.
Software development offices based in the London area.

We're looking for a motivated, friendly software developer of medium (2-4 years) development experience to join a very small and tight-knit team on both existing and green-field development.
Whilst we're not tied to .NET, existing projects are using that stack. Azure and front-end chops a bonus!

Initially ONSITE; once proven, home/office work is possible (with office days perhaps ~1/week). Lots of room for growth.

Contact us through https://www.gather.tech/contact-us
I agree as well. In a talk the creator of Asana said something along the lines of their goal is enabling others to do good and do so more effectively. Software is pretty amazing.
We know of plenty high profile cases already of people voting in the name of deceased, etc.
What I understood is to add labels to e-mails and archive the emails that match those labels immediately. That way, you won't get any notification for those emails. Instead, you can open the emails whenever you want. Here it is: https://cl.ly/122f791d609c
Is it "paid" if you have to return it after? Presuming "lent" is being used in it's ordinary meaning...
no, but the other 5% of people who have been obliterated in a car crash would like for one of the EMTs in the vehicle to be a combat medic I'm sure.
It’s hilarious how often this exact comment gets made in every single new apple product thread everywhere.
You could add an eGPU over TB3.
John Taylor Gatto (1935-2018) – America's Courageous Teacher
A Final Proving Ground for Guide Dogs to the Blind: Midtown Manhattan
> $2499 (much of which is the SSD)

Where 'much' is approximately 5-10%.
> much of which is the SSD

A 1 TB SSD is on the order of $150.
Win10 is known for autoupgrades now. It’s another thing than just telemetry.
Dezinformatsiya, FakeNews, AI and Information Weaponization
The Soft Power of Decentralization
Only a bunch of tone deaf assholes would think this is a good idea in this political climate. What a nice way to make it easier for other assholes to find out which political "tribe" someone belongs to and discriminate against them when it comes to getting a mortgage, employment, admissions to schools etc. Nice going assholes, you made the world just a little bit worse.
How is this statement accurate?

> which would cost $2499 (much of which is the SSD)

A 1TB SSD is maybe $200 retail?
Submitting to the (future) status quo is very different from saying "I support whatever the outcome is" though.

Unless you mean "support" as in "I will respect whatever happens", in which case I agree. But that applies to voters as well, and pretty much everyone.
What does “Front end Performance” mean?
It started in philosophy, but it has spread to the CS field. I doubt most developers I work with would understand the word, but it's relatively common if you work in certain areas (the Semantic Web, for example, has https://en.wikipedia.org/wiki/Web_Ontology_Language)
Codeless testing for APIs
Right. I guess, for me at least, before it might have existed to an extent, but since machine we’re good value and it was celebs that did the marketing, this didn’t bother me much. Now it seems to me like they are desperately trying to push those things in crowds where I do not want to see being corrupted like this, namely the technical community and engineers.
Playing devil's advocate to your devil's advocate play, isn't it better when a tech giant opens up a new campus in a not-so developed area? This brings new jobs, raises equities, increase resources, etc. We're talking places like Austin TX, Portland OR, etc. They are at a sweet spot today. They should stop here.

Because there's a fine line where it has to stop otherwise it becomes a disruptive machine like the Bay Area and NYC.
The Best Minecraft and Raspberry Pi Resources
> Can someone explain how the necessity of residential address is handled for homeless people

I assume, the same as it is handled here: "Screw you."
JavaScript Playing Cards Part 2: Graphics
Does anyone know of similar technology for the inverse? Saving cold from the winter for the summer? With hotter summers and more extreme temperature swings to be expected, it might cut costs on running the AC's
But is this a paid review? He was lent the hardware, which means he had to return it after he had made his review. While there’s certainly some conflict of interest there, I don’t know anyone that would consider that a payment.
> OS scheduler can do that

True, but the scheduler can't tell the CPU to allocate all of the partitioned cache to a thread if it the silicon thinks it belongs to another logical core, so you end with effectively half of your cache dark. If L1 and L2 are pooled between the logical cores, it makes no difference, but I'm not sure how HT behaves WRT to partitioning caches on current generations of Intel parts and I remember it used to be like that (because I turned off HT on a couple dozen boxes to improve single thread performance, which was what was bothering me).
I get more tired having to piece together the world on a topic via the Internet when no book exists (or I don't know one).

Just because the density is better doesn't mean every book is dense.

In terms of memory, I keep notes and titles in Goodreads. Over time I may use a more durable store but I enjoy Goodreads.
nix-env -i is slow because it has to evaluate every package definition. nix-env -iA is way faster.
Lack of GPU wasn't OP's gripe.
You don't, really; there's so many major stakeholders that have an interest in raising or lowering Tesla's stocks, both of which will spend millions to get articles like these published - and shills / trolls to bombard the HN comments with remarks supporting or going against the article and subject.
True, I used to go out of my way to find unbiased and honest reviews from "real" people that weren't "seeded" by manufacturers.

The problem is that many others did the same, so these honest reviewers gained followers, that gave them exposure and eventually they get approached by the PR departments which would like to "lend" them top end review samples for an undisclosed amount of time. Well before the press NDA, of course.
Lately I find myself buying paper magazines again.

That being said the new Mac Mini does seem like a great product.
I started on Fedora Core 4 as a tween, and finally became a packager this year. Its been a fun journey and I'm looking card to the next decade!
I really wish that devs out there, including the HN community, give PCs and Windows another chance.

The PC specs are amazing, value for your money is excellent, the OS is beautiful - the biggest obstacle now is so much open source documentation explains how to install or build on a linux based machine, ignoring the Windows users and making them feel like sh*t for working on a Windows box.

If more dev's offered docs around building/compiling on Windows, and Windows support, that would be excellent...
>Number one — and this is a big one these days, especially for this product — is that it’s not any less useful or versatile than the outgoing Mac Mini, including the generous assortment of ports. If the previous one served a role for you, the new one can probably do it just as well, and probably better and faster, with minimal donglage.

Wow. This is what it's come to. "It hasn't gotten worse! Yayy!"
and its pointing out the truly obvious as well...
Infosys Launches Open Source DevOps Project
What is this post actually saying? Get to the point bro
I thought that's what the official language extensions are.
Where did you get the idea that unions in Europe are company owned? This is ludicrous on its face.

If you're refering to the concept of the German Betriebsrat[1] that has nothing to do with being owned by the company, but with union represenation in the high echelons of big companies.

The entire idea of an union being company owned would pretty much render such an entity useless.

[1] https://en.wikipedia.org/wiki/Works_council
I don't think it's fair to suspect Marco being paid by Apple, he's far from a shill. See for example [1][2].

[1] https://marco.org/2017/11/14/best-laptop-ever

[2] https://marco.org/2017/11/24/fixing-the-macbook-pro
Ahh ok, thank you! Hmm yeah, I'd never heard of all that https://en.wikipedia.org/wiki/Ontology_(information_science)
A Protocol for Packet Network Intercommunication
I think it refers to the fact that if you configure it on Apple.com, a 2TB SSD adds +$1,600 to the price tag.
It's accurate maybe not according to the market in general, but it's how the pricing on the BTO works. I tried building a similarly specced Mac Mini just now and upgrading to the 1TB SSD is +$600, whereas 2TB would be +$1,400.
At this point I'm inclined to think you'd be more likely to get bogged down for decades bikeshedding behind proposals in a standards consortium that has no actual power to enforce them, and the results would be a horrific mishmash with terminal second-system syndrome...
Getting ‘screeched in’ in Newfoundland
(7) LinkedIn
TLDR - Overpriced. Buy something else.
Seems a nice effort, but the "necessarily infringed" seems awkward (if there's a license, there's no infringement!). Has it been reviewed by an IP lawyer?
I prefer AGPLv3 on my software because I've been burned by non-GPL software not respecting my wishes and I don't want any of my users to suffer the same fate. Calling it nonsense is short-sighted.
Maybe https://www.macstadium.com
L1&L2 are exclusive to each designated core. L3 is shared (hence my very 1st question); also updated the info how to force scheduling on your own.
Is a minimum viable product enough?
This is a good illustration. People should look at it not only from their personal POV, but in terms of general policies regarding population size...

There are parts of the world (for example, Africa) where population has been increasing ridiculously fast for decades and the estimates are that this will continue. A lot of this is thanks to the financial support from the West.
When there's news that the population of Japan is decreasing people talk about it as if it's a catastrophe. But Japan is very densely populated right now and I think they'll be fine either way (maybe some short term economic struggles, but they won't go extinct).

These topics can be politically taboo, but they shouldn't be. These issues are too important and long term effects can be catastrophic for the environment and the general quality of life on Earth.
The quite I remember from The War Game is:

"the sound of the blast from a thermonuclear bomb has been likened to that of an enormous door slamming in the depths of hell."
A 2500$ windows desktop will give you.

1. A much better discrete GPU which can run titles in 4k.

2. Ability to run games cause windows has DirectX.

3. Ability to run Linux natively using WSL.

4. Expandability - You can add components like more RAM or an additional GPU.
English is easy to learn if you just pronounce it like it's written and how it was pronounced, you know
It would be $3500 with GPU, so I'm glad.

Don't need GPU for typical coding.
FCPX BruceX
Configuring a mac mini on Apple.com now: +$600 for the 1TB, so, 40%. I'd say it qualifies as "much" :)
Sure, we just use SV as a great example of places located in the middle of nowhere with tones of potential for Tech Giants. Look at the FB campus in Menlo Park, the median employee age is 28 years old. Now look around the campus... it's a giant swamp and there's a free way. That's it... oh and it's next to East Palo Alto.

Young talented folks came en mass. It does work to open a campus in the middle of nowhere. Why Tech giants still go to large and expensive cities? It doesn't make any sense but to satisfy a few folks who for the most part share an apartment with roommates or rent a studio in downtowns making 6 figures.
There is a fixed amount of oil in the earth. The next barrel of oil is always harder to get at than the last. The USA had a major technical revolution in getting fracking to work, and the price of oil got high enough for it to be profitable, and we did something amazing and are pumping a ton more oil than we were previously. Eventually that frackable oil will run low again too. The price of oil will go up, making perhaps new reserves proftable, maybe those won't be int he USA, or maybe solar/wind will be more attractive than oil at that point.

it is unknown! but we certainly shouldn't make long term 10-20-50 year plans on the assumption that the USA will be energy independent due to oil.
So it's mainly theoretical ?
The first point speaks to the "reduce" in the phrase "reduce, reuse, recycle". It's not so important where your washing machine was made, more important how you make use of it - e.g., do you run it at 40 degrees or 30? Etc. Other examples are using dryers when you could just hang things out to dry.
Cons: Windows update.

I'll pass.
"...cost $2499 (much of which is the SSD)"

The cheapest SSD I can find goes for €129.47, and it doesn't seem to get up to much more for consumer SSDs. Unless this SSD has some crazy specs that I'm missing, it seems seriously overpriced to me.
What OSes are better for a "Home Theater" TV computer?? That's a serious question; I recently replaced a creaking old Mac Mini (that couldn't do 4K) with a new Dell, after going a little bicurious with respect to Windows 10 (for software development work)... and, surprisingly, it's a complete and utter shitshow.

I was astonished, actually; I had assumed Windows would be better than macOS as a TV computer, other than integration with Apple services (Apple Music, my kids photos as screensaver).

Nothing could be further from the truth. It's a shitshow. 100% of Windows media players are garbage (VLC included, and there is no Movist). They can't play high-bitrate video without stuttering (on way better hardware), they show some ungodly mishmash of scaled UI and tiny unreadable UI on a 4K TV, for each player you install (about 10, so far, for me) you have to google for an hour to make sure they aren't malware (and of course almost all of them nominally are, trying to install all sorts of insane adware shit during the install phase, although that is par for the course on Windows)...

It's been 2 months and I saw the new Mac Mini and despite the 200%+ markup on storage I couldn't help but think Hmmm....

My TV also has at its disposal Xbox (OK but not great), PS4 (pretty shit), iOS (Apple TV, pretty shit), and Nintendo Switch (has no TV computer features at all, basically).

So what OSes are you talking about? Linux?? Android?
ΜTorrent 3.5.4 Build 44846 Crack with Mac Download 2019
I bought a 2016 13" MBP to use it on an external display. It only works well on 2.5K. Always consider the GPU nowadays.
Well everything gets turned into paperclips eventually...
There's nothing wrong with electric kettles, in fact they're probably the most energy-efficient way of boiling water.

I've taken to boiling the required amount of water in the kettle when I boil rice or anything similar. It's much faster, too.

It's also a good idea to boil a full kettle once in a while, and pour the remaining boiling water you don't need down the drain. It helps break up fat deposits and kills bacteria that cause bad-smelling drains, and the environmental impact is much less than using drain cleaner. And for the love of your drains, don't pour grease in there!
I bought my first-ever Mac just over three weeks ago, a refurbished Mac Mini (2010 version, with Core 2 Duo 2.4GHz, upgraded by seller to 8GB and 240GB SSD and High Sierra).

Pretty happy so far.
Ask HN: Can we sticky a reminder to vote?
I'm sure most people are aware, but it'd be nice to have a reminder for the large contingent of american voters on the site.