skysight-inc/HackerNews huggingface dataset:
Oh very good!

I started a repository for TLA+ modules years ago that I was hoping would turn into something like this [0]. Like many projects I never took it very far but I've been using formal methods in practice for a couple of years now, might be worth revisiting...

[0] https://github.com/agentultra/software-spec-library
I'm guessing you haven't seen the new data types?

- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
- https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
That’s only if the marriage is based on love and actual understanding. If it’s a mail order bride situation, then racism absolutely would exist.

An old co-worker of mine that we all disliked would constantly call his Vietnamese wife is “war bride.”
So happy the Mini didn't get discontinued as nearly everyone was assuming, with zero updates in three and a half years.

Interesting it still seems visually identical to the last one. So while iPhones change their "look" to be recognizably new as a status symbol (e.g. the notch), nobody seems to care about that with their iPad. (I mean, I certainly don't.)
Depends a bit on which specific workflows you're using Google Voice to enable, but as someone not living in America (so don't have access to Google Voice), I can give you a succinct answer to that: No.

If I want to be able to answer phone calls on my PC, my only options are either an SIP softphone, or a Mac/iPhone using Continuity.
1. not all minority feature commits are config disableable

2. focus - kernel keeps accumulating abandonware code for gimmick features/drivers
And use what? Windows 10? That's like using FB as your operating system.
That's the exact type of problem we're trying to solve. For me, I can't tell you how many times I need to remind my son to do chores, homework, take meds, etc. Not to mention how many times my wife has to remind me to drop off clothes for donation, take this to the post office or what have you.
I was looking for the justification of the word dramatic until I realized it's written by Apple itself. For such a headline I would rather see an independent reviewer, or editorialize it to reduce the drama.
I don't have an answer for that as I just looked at Deno for the first time but I do find it interesting that Deno requires Node.js as a prerequisite.
One day people will realize that control over encryption keys means nothing if you don't have control over the application using those encryption keys.
Worst compared to what? Microsoft gained its original OS dominance with MS-DOS when the primary competitor was CP/M.
A Photographer’s Quest to Discover His Nubian Ancestry
Automating Email
Swapping out a select few of Google's products isn't the same as "living without Google". Until you've blacklisted their entire netblock range from your usage[1], you don't realize just how many tendrils they have in every aspect of your Internet experience. And good luck getting around the other tech giants' oligopoly of the web as well[2]. The Internet isn't a fun "wild-west frontier" anymore, it's now completely commercialized into a handful of super large silos, with mostly no way around them.

[1] https://gizmodo.com/i-cut-google-out-of-my-life-it-screwed-u...

[2] https://gizmodo.com/life-without-the-tech-giants-1830258056
Whitman Senior Assessment
Advertising. People buy large SUVs because of advertising, and American car companies advertise SUVs because they turn more of a profit with larger vehicles than smaller vehicles.
tl;dr - refreshed cpu, slightly higher rez display and apple pencil(the older variant that charges through the port) support + apple's pricing strategy continues to follow whatever data mined processes they've discovered.

then again nothing in the ipad lineup really even has a competitor anymore
You don’t pull your iPad out constantly around your friends and hold it up to your face.
c.f. o-rings
It becomes mandatory and the "social credit" system follows shortly thereafter.

You stop being an individual and become a cog in the national machine.
Most cities don't need cars. It's already like this you don't need to go to the future.

Suburban layouts were actually the new thing that came after cities. The reason why we need cars is because of suburbia. For suburbia to function you have to live very far away from work and in very very low density neighborhoods where public transportation is virtually impossible to build. See Los Angeles.
The reason I used the library analogy is that at least where I live, library's are only run by the state.

And literally the whole point of this conversation is that Facebook has a monopoly on locally targeted online marketing, they're not stopping you from advertising on Myspace, what's stopping you from advertising on Myspace is that it's pointless.

Sure, technically Facebook doesn't have a 100% perfect, totally clean monopoly with literally no competitors, but that doesn't mean that them owning a significant majority of the targeted local advertising market isn't a monopoly problem and shouldn't therefor be legislated against.
Ask HN: What is the best laptop one can buy/build to replace a Mac?
My father is used to Mac and Mac os, but his 2011 MBP is running a little too slow for him (think generic development on Intellij IDEA and some gaming)

For ~1500€, I want to give him a new, powerful computer that is not plagued with issues like new Mac books currently are.

I heard thunkpads were great, any ideas?
Then everyone gets MSG if the chef wants it. Chef is not telepath.
[Premium Article]
A lot of the mini’s are used at kiosks etc with attachments and stands. I wonder if Apple sees that as the primary buyer?
Calling Out an Employee’s Offensive Remark, Without Starting a Fight – NYT
I can’t imagine using the iPad without the bezels.

With a phone you grip the phone by its back, so you can go bezelless without impacting visibility and causing too many phantom screen taps. With a tablet, however, you will usually grip it by its sides. Having the bezels is almost a necessity here.
Is it not worth Linux running on mainframes because mainframes are expensive? Is it not worth Kerberos being free software because the only real users of Kerberos are enterprises?

Computing freedom for anyone is computing freedom, and contributes to a norm of user control instead of service provider control. This step is a very small step, and it only affects a few users. But it's still a step in the right direction.

(Something self-hosted like IRC is a much better step, and I'm glad there are free software/on-prem direct Slack competitors now, too. That's also a step in the right direction!)
Apple updates $499 iPad Air, $399 iPad mini ahead of services event next week
Most Amazon Brands Are Duds, Not Disrupters, Study Finds
> > Will it work on my son when I tell him to put on his shoes because it's time to go to school?

> That's the exact type of problem we're trying to solve.

I can't imagine a more wrong solution to that problem.
But dumping is also against (American) antitrust laws.
You see things like this, and people like Tashpolat Tiyip in China, and it is scary how an authoritarian state can come down on people who seem to be no threat in any way, and in fact are working to help people or the environment in the state.... and still they're persecuted.
it actually says "regulated customers"
That is why people from AKSW Leipzig built a similar thing for PHP named Erfurt (https://github.com/AKSW/Erfurt) for their semantic wiki OntoWiki (https://github.com/AKSW/OntoWiki).
I have an ipad Pro which I use for work (diagrams, mind mapping, documentation, Skype calls, jira notifications etc) and fun (YouTube, games, audio books). I could definitely live without it but it makes the above mentioned activities much easier and enjoyable... I'm mid 30s
Not to mention two Apple Pencils, with different 'new' iPads working with different editions of the Pencil - these new devices announced today won't work with the refreshed Pencil announced last fall...
Remarkably similar, yes!
Viral on Internet
Want to became Viral on Internet??
Post content Here also

https://www.viral.bid4sale.com/
I'm curious what statistics you are looking at.

I honestly would be shocked if rural regions were growing in Canada, and the stats you were looking at were more a story of urbanization taking over formerly exurban or rural small towns in a metro region. I guess the oil and gas regions might be an exception there.

https://www.statista.com/statistics/271208/urbanization-in-c...

From my perspective, the Golden Horseshoe from Toronto to the Niagara region has been intensifying non-stop for decades and is unrecognizable from 30 years ago. Skyscrapers and condos in former low density suburbs inside the greenbelt, and townhouses and plazas in former farm communities outside it. It's now almost continuously developed down to Niagara Falls. You might have called them rural two decades ago but at this point they're solidly in the GTA.
Bugs in code happen. You don't need write access to cause irreparable damage when the app you're working on has it.
Chips-as-a-Service Business Model
nothing beats an ipad for media consumption - best combination of grippability,speakers and screen bar none. literally no one else is close in the market.

i stopped using anything but an ipad for media consumption/talking to family after i bought one
There is probably a ton of room for improvement and disruptive innovation in public transit, in terms of improving speed, available endpoints, etc.

It's true public transit will never really be valuable for extremely rural areas, but we should be working to ensure that in anywhere there's a significant quantity of people, that public transit is the cheapest and most convenient way to travel. Public transit isn't going to win by banning cars, it's going to need to win by improving lives.
The green new deal comes from a place completely detached from reality rather than anything remotely feasible.

Remember, the green new deal not only included destruction of all fossil fuel industries (aviation, non electric cars, trucks, trains, etc) but it also included provisions for people who weren’t willing to work (used to be in the FAQ).

It started as a plan to completely restructure the US into the most socialist country on the planet with an energy economy based on technology that doesn’t exist all in the next ten years.

Politics is not about foisting your vision onto everyone else, despite the current rhetoric in the US.
Agreed, this just reads like an ad.
The US is an extreme precisely due to these social and emotional reasons. It's shocking to me how this article fails to mention even once that a lot of post WWII suburbanization was due to white flight. The article states:

"Millions of soldiers had come home from World War II to overcrowded, run-down cities; their new families needed a place to live."

"Overcrowded, run-down": who all of a sudden "overcrowded" these cities? What's a "run-down" area? We can win WWII but not fix a broken roof? The issue was not so much lack of affordability or too many people, what meant was cities / neighborhoods with more black people. Those highways were not built immediately post WWII, but later, to separate black neighborhoods from wealthier areas of the city, in the post-civil rights era.

Suburbanization accelerated not directly after WWII but with government-mandated busing of school-children. If you didn't want your daughter to go to school with black boys, you went to the suburbs.

Architects & urban planners played handmaiden to white flight, destroying the fabric of cities, and generally harming the environment in the process. Precisely due to their active participation in this cluster- they tend to whitewash the history, move the timelines a bit etc. hoping no one will notice.
They seem to be popular with wealthy university students for taking notes in class.
The complete checklist for debugging neural networks
I'm 28 (just outside your demographic) but I have an iPad Pro 12.9" as my main driver and a 27-inch iMac at home. I am a software engineer by trade but I don't have time to do that outside of work so that's not a concern. I carry the iPad with me throughout my house and use it for just about everything. I also take it with me to the high school classroom where I volunteer teach computer science. All of their assignments are online so it's super easy to access them via the iPad. Could I replace my iPad with a MacBook Pro? Sure. But the iPad is smaller, has touch, and does everything I need. Not sure if this was the answer you're looking for but I figured I'd chime in.
I wouldn't say "nothing"–it's certainly not complete control but it reduces the attack surface. I don't control the proprietary password manager I use, but the fact that I control the encryption keys and they don't means I'm less vulnerable to attacks on their service infrastructure.
In NYC the extreme density is currently spreading out to Jersey, Williamsburg and Long Island city. high rises are going up in all of these areas at a rapid rate.

> People still need to go to work during the day and eat around the same time, etc.

Off the top of my head I can think of a few ways this problem is currently being solved:

1. Many restaurants are changing their business model to cater for entire companies.

2. Seamless and Square have enabled restaurants to operate with smaller storefronts or no storefronts at all. They prepare as much as possible in warehouses outside of manhattan and use their storefronts for the final assembly.

3. I recently signed up for a startup, Mealpal, which allows you to buy a preset number of meals per month and pick them up at any number of restaurants. No lines, no waiting, just walk into the restaurant and pick up your meal.

Startups have been addressing urban needs faster than rural and I don't see why that is likely to change anytime soon.
Fascinating Facts You Never Knew About the Titanic
Nitrates are unhealthy, even if vendors are intentionally misleading about celery.
Often what gets overlooked is the sad state of public transit even in Tier 1 global metropolises. There are far too many annoyances and outright hazards in using public transit, for individuals much less whole families with kids to boot, to list here.

So families even in Europe are opting more and more for SUVs and larger vehicles in general -- which was a total surprise to me and caught me unawares, I have to admit.

Hygiene, safety - from both the riff naff & new developing security threats, peace of mind, convenience, dependability [1][2][3] and more rider options are all major pain points.

Unless cities opt for a class-tiered approach to public transit -- the likes of first class carriages and premium waiting rooms at transit terminals, of yore -- and make public transit safe and even enjoyable to regular people I don't see this trend reversing.

[1]

BART announces what caused massive morning power outage last weekend

https://abc7news.com/traffic/bart-announces-what-caused-mass...

[2]

Single Computer Switch Failure Triggered Saturday’s BART Shut Down

https://sanfrancisco.cbslocal.com/2019/03/11/computer-switch...

[3]

BART still unclear on cause of service outage, waiting to hear from tech support

http://www.sfexaminer.com/bart-still-unclear-cause-service-o...
Kinda sad apple doesn't offer more storage for ipads when they want to replace light computing with them...
I know a few private charter pilots who are massively excited this morning. The iPad Mini is the only iOS device that is big enough to use at arms length, small enough to fit in a cramped cockpit, and approved by the FAA. They use a handful of apps during flight for planning, weather, approach data and whatnot. There has been a lot of fear among the local pilot community that the Mini would be discontinued. While the device might not be mainstream, for their admittedly specialized use-case, no other computer will do.
I actually thought similar after my current experience
I'm 24 years old, work in software. Neither I nor any of my friends uses a tablet for work or pleasure.

We use Ipads for pleasure. It's more pleasant to browse the net on the couch than sitting at a computer.
Trading privacy for survival is another tax on the poor
they’re reasonably common in universities nowadays for handwritten note taking. i’d expect to see at least one person other than me who has one in any reasonably sized class.
Or better, no screen size choices.
My girlfriend uses her two ipads (mini I got her a few years ago and a pro 12.9 I got her more recently) mostly for reading books. The libraries she has memberships with offer online book borrowing, so she'll open up the app and just start reading things on her book list.

Otherwise most of her consumption is either watching videos on a larger screen that's easier to carry than a laptop, or drawing on the pro which is honestly pretty fun to do.

I've been meaning to pick up an ipad or a surface in the next year or so just for doodling / mock up functionality as well. reading ebooks on a tablet or leaving documentation open on them while working on a laptop is honestly kinda nice.
It's pretty clear many customers don't want control, they want features, and irc lacks those.
Watching downloaded video on an iPad has made cross-country plane trips nearly tolerable.
I've always wanted a 'Wikipedia for formal proofs'. It's never materialised though, sadly.

I would've expected such an online Encyclopedia to form around Coq or Isabelle/HOL, as these languages/assistants seem to be the most popular.

Unfortunately, I've never seen enough momentum behind one proof language to give a wiki a chance of becoming something substantial.

It seems the formal proof community (which is already small) is so spread out over several languages, that it's hard to get the fire burning.
I mean, what else would you expect from a press release announcing a product release by a company? An engineering spec?
I mean do you really think NCAA basketball games are just a random coin toss? If that were the case wouldn't more than 1 16 seed have won a game? Wouldn't more lower seeds have won the whole tournament? In that case theoretically every team has the same chance to win it all yet the lowest seed ever to win was an 8 seed.
Utrecht shootings: Hunt for gunman after attack on tram
> My employer would sue me immediately.

This is the first time I'm hearing about something like this. Why would your employer sue you?
It's worse than that - the title says "a few", which is basically always less than ten. If it said "quite a few", it would certainly be accurate. If it actually said "few", it wouldn't be as bad, though still misleading.
Sorry, I reformulated the findings for easy consumption. Why is it confusing and not an improvement? Ask 10 people what speed is 89% slower than 100 mph. See how many give the article's intended answer (53 mph).
You should look at brands like Garmin and Polar, then. Samsung and Apple put these bright, colorful OLED panels on their smartwatches and drain the batteries too fast. Garmin in particular does a good job of building smartwatches with almost all the features of a Galaxy Watch or Apple Watch, but with a lot more battery life because they aren't wasting so much energy on the bright, pretty screen. Instead, they focus on lower energy LCD panels with backlights. The reason they do this is largely because they are fitness and sports focused and you don't want your watch dying on a two day hike and leaving you stranded, but in day-to-day activity I love having that extra battery life. It makes the drawbacks of a less vibrant screen totally worth it. I still get all my emails, texts, calls, music, etc. except I also get sleep tracking (because I'm not taking it off every time to charge) and less stress.
I agree, but only because of the names: they all use the "iPad nano", i.e. iPhone.
Migraine Remedies That Are Proven to Work
If you want to dive into the bitcoin internals there is this Python library that implements a lot of the protocol stuff using only the standard library https://github.com/mcdallas/cryptotools
Well the first question is, what did they try to stop?
I'm not sure how you are judging "activity". I suspect you are talking about chatrooms. In this sense, yes, IRC probably would look pretty active - it is built around the concept of channels, the majority of which tend to be public. XMPP is far more diverse, rooms are spread across multiple servers with no central way to list them. A project that aims to spider the network and help find rooms is at: https://search.jabber.network/ (note that this doesn't currently index jabber.org, traditionally one of the larger hosts, due to a technical glitch I believe).

My mention of thousands of servers is not related to public chatrooms however. There are a bunch of public servers which you can register accounts on, but many more private ones (that federate) run by businesses and individuals and other organisations. A quick shodan search reports 55,760 unique IP addresses speaking XMPP publicly on port 5269 (the default federation port): https://www.shodan.io/search?query=port%3A5269+http%3A%2F%2F...
Arguably you could group them as Pro and Consumer.

- Pro: iPad Pro (11" and 12.9" - FaceID, Bezel-less)

- Consumer: iPad mini, iPad Air and iPad (TouchID, Bezel)

I don't see how this differs too much from Steve's approach?
Right, the encryption isn't based on the password, but on encryption keys that are only on your devices. If you want to add a new device, you share the keys from one of your other devices to that new device. But just being able to log into an account (say by having the password) on a new device doesn't give any way to get the keys/read the encrypted messages.
I'm older (by nearly double), and I see releases like this and I think, hmmm... do I need a tablet. I could... nope, nothing[0]. I can think of a single use case where I need a tablet. For any other use case, I either have laptop, phone, or even just a sheet of paper.

[0] Ok, there's one use. Media consumption, but a $35 kindle tablet takes care of that for the rare (ie: airplane) times I want media on the go.
I find this highly annoying as it's my issued computer at work, but it took me like one day to get used to standard ctrl + [ as an alternative
I moved from Florida to Austin, to a neighborhood abundant with cedar trees and I went from never having seasonal allergies to owning every single allergy-mitigant device in existence (neti pots, hepa filters in every room, etc).

I honestly don't know if I've had a day without an allergic reaction in the last decade (the time I've been in Austin). My sinuses are a complete mess and I have to eat low inflammatory diets, give myself allergy injections, pop sudafed, etc.
While I can understand to some extent that Electron receives a lot of heat, people really should stop arguing that "Slack bad -> Electron bad".

I can run Discord and vscode on my machine just fine, with plenty of editor tabs/server tabs open. While Electron surely has its issues, Slack being terrible really shouldn't be blamed solely on Electron.
I think a large part of it may be that people are still inventing the languages and we haven't seen enough industry adoption to settle down on a handful of good ones.

We're still in the Cambrian explosion of new ideas and languages.

The best way to get to the future you want is to keep using them and convincing others to join you!