skysight-inc/HackerNews huggingface dataset:
My phrasing could probably have been better there. Do you have any ideas for improvements?

The salient detail is not that you (or at least the verifier) can't reach in and look at the internal bits, but that if your goal is re-use then almost by definition you want to be able to take a whole spec, class, function, ..., and drop it in a new environment without having to wrap it in too many shims and modifications.

Going back to the programming analogy, if the typical way a class was used was by picking and choosing half the private members to reflect over then that would strongly indicate it was a poor abstraction for the current use case. If you wanted to build a system using classes like that as your primitives then you'd incur a lot of development overhead from the impedance mismatch between the thing you want to build and the blocks you're trying to compose to build it with.

TLA+ is a little mathy right? Let's tackle the idea from a different perspective :) The idea behind composability as used by the author is that you want complex specs to be describable as simple functions of simple specs -- C = f(B, A) where f isn't too distasteful. We don't just see that idea in programming and formal models; famous math problems often have that flavor [0], and in general it's pretty common to want to know what you can build from a set of blocks or to design blocks that can build lots of things. The insight the author had is that some things aren't cleanly related in _that_ way even if as humans we can "intuitively" see _some_ kind of a connection.

Drawing a parallel to the real world, if you had two blinker systems (including power and other garbage) each adhering to some kind of blinker spec (always on or off and with some kind of guarantee that you'll keep alternating between those), you'd have a devil of a time composing those two blinkers to create a system of two blinkers which were in sync, whereas with a different set of building blocks it could be easy to create the desired result. The problem you uncovered isn't that the real world is hard to compose though, but that your chosen abstraction didn't fit the problem very well.

[0] https://mathworld.wolfram.com/QuinticEquation.html
Sure. There are a handful of cameras that support a feature called HomeKit Secure Video (HSV). If you buy an HSV camera and you have an AppleTV, you can configure the camera to detect people, pets, and vehicles, set activity zones, and some other features. All the processing is done securely using the ATV's CPU, and anything you choose to record and save is encrypted and stored in iCloud. You do have to have a paid iCloud account to record the streams.

This is a super slick feature that not only "just works," but AFAIK it's the only security system with object detection AI that doesn't do it on the vendor's servers. This saves incredible amount of upload bandwidth, since you are only storing the segments of video that trigger detection. Plus, no one else has the decryption key to your video.

Also, IIUC the HomePod and maybe even HomePod mini can act as HSV hubs as well.
Well, redacted isn't impossible to get into.
My biggest concern is the screen size. Does it get in the way?
If you run AGPL licensed software you must be prepared to distribute it to its users.
isn't the whole purpose of using Auth0 so that this stuff never happens?
There are about 100,000,000 pets in the US.

Apple just printed a $B business by figuring out how to monetize pets.
I don't swype, and I get my passcode wrong on iOS all the time. It doesn't register the first press if you do it too quickly.
Interesting. Meanwhile, some ski areas in the US have transit to take people across the parking lots to the resort entrance.
Show HN: Mongita is to MongoDB as SQLite is to SQL
imagine living here
Wow. You've jumped to so many conclusions here.

First you assume the family is poor. Second, you assume the laptop was _accidentally_ broken. Third, you assume the family has no other computer.

From what evidence do you draw ANY of your conclusions?

Plenty of rich or middle-class individuals steal things. It's not just the poor.
Really, at this point the only things keeping me from replacing my everyday-use personal laptop with an iPad Pro or iPad Air are:

- The lack of a true development environment local to the device

- The lack of true background app support for things that need persistent connections (ssh clients, etc)
I don't understand why you are being donwvoted. Your comment is true in every way.
Very good question. Here are my hypothesis, feel free to punch me ;

1) Their unions are actually some form of inneficient brokers who fails to truly represent them politically and change the system in their favor. Instead, they simply take a cut on their paycheck, and treats them like factory workers while they should be treated as knowledge workers. Even if nurses and teachers are super important, we treat them like cogs in a machine and fail to frame their role as an investment in society. They are ''cost centers''.

2) The north american medical system (US and Canada) might differ in their funding, but are very similar in their organization compared to European models. Its all about the physician-patient relation, the former being all powerful and the later being a moron. In Canada, they are actually not employed by the state, but are in fact their own small businesses. Oh and they have de facto state monopoly on crucial medical tasks, making every other actor their economic bottom bitch.

3) A huge number of people who choose the job are very empathic-saviour types, and actually are professional martyrs who must endure poor working conditions to save others otherwise they would be bad.
My issue is that an $800 iPad Pro with keyboard and pencil ($1200 including the accessories) should be in a whole different class in terms of productivity than the $329 base iPad. But it's not. They both do the same thing (good for consumption, decent for creativity, pretty crappy for productivity)
They aren't. The tag generates and broadcasts a public key that is rotated every 15 minutes. A nearby "finder" device receives a broadcast, encrypts its location with the received key and sends it with a hash of the public key to Apple's anonymous location directory. The owner (who keeps the same key pair rotation algorithm running from the same seed key) can look up a bunch of key hashes for a range of 15-minute intervals and then fetch and decrypt location payloads. No device or account IDs are transmitted in the process.
How loud does a computer fan get when running at 100% fan, with a high pitch almost like a drill, in your experience?

I've just tested with a sound meter app on my phone; granted this isn't the most accurate way of doing it.

Silent in my room: 30db

Fan on while running and GPU is activated: max 90db.

I wish a computer manufacturer could guarantee what you're saying, because I could get a letter from my ENT doctor, take precise measurement; and sue the manufacturers for damaging my hearing.
Thanks, about 15% of the links to bookshop.org goes to a 404 page as they don't stock used books and don't have all the books Amazon does. We are working with them to find a way to make our system smarter, as right now they block our server from even checking their site for a 404.
My iPad is covered in fingerprints all the time, even though I don’t use it all that heavily. They are visible when brightness is low, as well as when it reflects surrounding light at particular angles.

I was considering getting a paper-like screen protector (which can also make drawing with Pencil more comfortable) but I’m torn on the issue. On one hand, fingerprints are annoying, and thoroughly cleaning the screen is a hassle since not using any protector I have to be mindful of having a rogue speck scratch it permanently. On the other hand, a screen protector negatively affects image reproduction, and a poorly designed one could imaginably leave permanent marks on the underlying screen through its use.

Does anyone have experience using paper-like screen protectors with iPad? Can they leave marks?
Hi, PSF director and PyPI maintainer here! Happy to answer any questions about this role.

This joins our other open position for a CPython Developer-in-Residence: https://pyfound.blogspot.com/2021/04/the-psf-is-hiring-devel...
The new iMac can also go up to 2TB SSD.
> huge, enormous, gargantuan benefits

Would you mind enumerating them? I have an idea of what they are but curious about other perspectives.

My sense is that code sharing is not that common between a Typescript frontend and backend. You mostly need generated request/response data types but I don't think there's that much shared behavior because you can't import any of your backend-y logic (database, auth, external APIs) transitively into your frontend.

I think primary gain is what you've hinted at: 1 ecosystem and it's easier to onboard fullstack devs.
This is my pet peeve with many software developers. They develope software like a photo lab technician develops a roll of film: Let's see what result we get now, if it is problematic move to the next thing.

I think bot good engineering and good desin practise is the opposite of developing a picture. It is really iterative process, trying to factor in as many of the important aspects as possible and try to get the one solution where all of these aspects don't fight each other, but strengthen each other.

Many software developers I met are just focused at what framework/language/design pattern/etc they are going to throw at the next problem. Of course that is all exiting, but what if the thing you are tackeling could be solved so much better, if you just killed your darlings and tried to find the best solution?

Sure you cannot learn $framework you were curious about on the way, but finding elegant and good solutions is itself a skill that needs training.
Give us a gd monitor in that form factor already!
Fair enough, you have a good point! My goal was to address this to someone who's considering starting a new job there maybe or who is curious about how things are internally but doesn't have visibility into it. Lots of people said they found it useful but I can certainly see why this can rub people the wrong way, and that's fine. If this helps at least one person, then I think it was worth it :)
One thing I notice is the amount of "brainwashing" that goes on in this industry - and please please this is not to say nurses and teachers are fooled - more that "hey you are in a glorious profession so talk of compensation will only cheapen it so toil away". Still very weird. Given how unions are not squashed for N and Ts Id have thought there may have been more room for better bargaining. Especially if the COVID season did nothing to improve their appreciation I am worried very little else might!
Hardware is nice but FiiO is really bad at software and drivers and support. You can get a good look at that in their forums.
George Floyd
I wonder if Apple has access to APIs that they will not provide Tile.

If so, they might be in a legal grey area.
Was there no option to continue using MySQL, keep migrating more things off of Oracle, keep paying 50k for 10 years, then decline to renew after your 10 year contract was up? I'd think you'd end up saving the man-hours of migrating back to Oracle and you'd be in a better position in 10 years to not have to renew the license.

All new projects/projects that are being migrated are now managed by Department Y. Eventually Department X has no more projects. Department Y and Department X are staffed by the same people.

Seems it'd be hard to actually enforce the "discounted price of 50k was only valid if we agreed to use Oracle in every new project in our department."
This is only possible with resource aware types, it would be nice to import a function with resource constraints such as constant time, etc.
If you (probably in this case "you" means some government) actually tax the daylights out of oil, then your population will riot, remove you from power and reverse the tax before it has had any meaningful impact.

"Gilets jaunes" riots two years ago were caused in part by a relatively minor fuel tax increase. Actually taxing oil so much as to significantly reduce its consumption would be a huge impact on population and cause much larger resistance, probably violent.
https://old.reddit.com/search?q=youtube+shadowban

https://old.reddit.com/search?q=youtube+ban

Far from exhaustive, I'm sure this happens quietly to many more small creators who've crossed the wrong invisible line, asked the wrong good-faith question, or gotten too close to a forbidden subject even while covering something else entirely.

But it should be clear even from what little's made it to be documented that what YouTube will suppress has already quietly dipped pretty deep into your personal overton window, if you ever even pretended to care about real free expression.
They do it to keep headcount down, this is just abuse. Feds have their rules because of past abuse. This should be added.
I am not a heavy Discord user (so there might be options around this?), but when I have used it, it seems like every person on the server is in every channel. I feel like that would be absolute chaos at a workplace. Not to mention the unless notification customization that would have to take place.
My friend in SF is working on https://reactivecomments.com/

It's a drop-in comment service in the cloud based on Remark42
The way to respond to inaccurate claims is with accurate information. You can do that without insinuating.
Wood is a renewable and carbon neutral energy source.

OP is right that it's dirty as hell, by modern standards.
You believe in freedom for who, exactly? Freedom for the users of software? Or freedom for corporations who benefit from denying access to the source code of that software?

The Free Software Foundation exists to protect the former at the expense of the latter.
And a jack headphones port :)
Wonder why they don’t offer the calibration on macOS. Would love to calibrate my external monitor.
Sorry I should have been clearer. I think implicitly I was referring to compensation too. My (possibly naive) line of thinking is that companies are getting away with this "abuse" due to a high supply which in turn is fueled by low wages?
I'm guessing this was related to the Auth0 problem?
Disqus -> qusDis -> cusDis -> cusdis

I hope that's not too close to the original name
Didn't know that. Ridiculous indeed. I mean, it's one thing with the curved back ones (I kind of get that it would be a bit awkward), but these new ones are similar in shape to their $5000 standalone monitor, which supports both their stand and VESA mounts, I believe.
Hey, writing can be very therapeutic indeed!
[dupe] https://news.ycombinator.com/item?id=26880262
"Sounds like you enjoy the taste of boot" is trivially against the site guidelines regardless of what view the commenter holds or how right they are or feel they are or you feel they are. Anyone can see that, no matter how passionately they hold their opinions.

HN has had tons of comments about police brutality including tons from what I assume is a similar view to your own. For a while it was by far the most-discussed topic on HN: https://news.ycombinator.com/item?id=23624962.
Still, you could burn that fuel in a power plant instead of e.g. natural gas, and that would offset much more CO2 than what you can shoot into space. It's just not an efficient use of energy, and any large quantities energy saved or not generated has a pretty direct impact on the CO2 that we could not produce.
iOS/iPadOS only kill background processes if they're resource hungry and competing with another resource hungry frontmost app and resources are running low.

Anecdotally, on my iPhone 11 Pro Max w/4GB of RAM it's very rare for apps to get killed while multitasking. There's been a few times when I've brought forward an app I used multiple days ago and it's still running exactly where I left it.

Based on that, with these new models having 8GB and 16GB of RAM processes getting killed should be pretty rare. On top of that, it's highly likely that virtualization apps would be given increased protection from getting killed due to their inherent extra overhead.
So far, it is losing its first mover advantage. We'll see what happens when they eventually release their very late Android app.
Thanks :), we have another two you might like:

The Best Books On Parthia And The War with Rome In The 1st Century BCE
https://shepherd.com/best-books/parthia-and-war-rome-1st-cen...
Show HN: Tool to pick a GCP region considering carbon, price and latency
Not just this, but our immune system recognizes phages and removes them from the blood stream quickly. So you would need a lot of phages to see some value
I don't want your personal information, you're not in the audience I target, and that's ok.
Great! Read here why it is needed: https://news.ycombinator.com/item?id=26033052

Disqus.. the dark commenting system.
Chat App Discord Ends Takeover Talks with Microsoft
It's no longer built around terraform. It uses the cloud provider APIs directly now.

See native provider.
Sorry I haven't gotten to that topic yet, and no recommendations. I did add it to my list to work on :)
Careful. The paper [1] has a single author with the claimed affiliation "Cardiology Division, Veterans Affairs Palo Alto Health Care System/Stanford University", and it has been "published" in a controversial journal called "Medical Hypotheses" that explicitly does NOT perform peer review. The claim that it has been "published at NIH.gov" is also close to a lie, since it is simply available through PubMed. This is almost like claiming something has been "published by Google" when it can be found via its search engine.

Quote Wikipedia (the article about this "journal" is worth reading in full):

"Medical Hypotheses is a not-conventionally-peer reviewed medical journal published by Elsevier. It was originally intended as a forum for unconventional ideas without the traditional filter of scientific peer review, "as long as (the ideas) are coherent and clearly expressed" in order to "foster the diversity and debate upon which the scientific process thrives." The publication of papers on AIDS denialism led to calls to remove it from PubMed, the United States National Library of Medicine online journal database. Following the AIDS papers controversy, Elsevier forced a change in the journal's leadership. In June 2010, Elsevier announced that "Submitted manuscripts will be reviewed by the Editor and external reviewers to ensure their scientific merit". [...]" https://en.wikipedia.org/wiki/Medical_Hypotheses

[1] https://pubmed.ncbi.nlm.nih.gov/33303303/
I always think about Richard Feynmans take on awards and honors whenever these things get brought up: https://m.youtube.com/watch?v=fes-kqRDRoY
It does chew through a fair bit of your IT budget though, but yeah no doubt its a cool device.

But, for the asking price of the iPad Pro I'd rather get a nice PC laptop with latest gen Ryzen and Nvidia hardware.

Guess I'm just not in the target group for the iPad Pro.
To be fair, I think everyone always thinks about that regarding the incumbent(s). Xfire / Ventrilo / TeamSpeak all likely seemed like a daunting adversary at their peaks.
> A few monopolistic corporations having dictatorial power over key technologies is a dystopian nightmare.

These corporations are eating the world. They need not keep their source code closed, we're all employees, generating revenue for them.

One of the only reasons to keep source code closed is to retain your competitive advantage. They need not that when there's no competition, or a very slim chance of some appearing one day.

I'm joking, but it sounds a bit more true than I expected. Also, mind you, I'd rather have them publish code than not.
I've been both a professional software developer and a professional software designer, and I always thought the two jobs were more alike than they were different. What is design? Solving a problem the best way, given a desired outcome and a set of constraints. What is engineering? See above. The tool set is the main difference, but the tool set is the least important part of either job.
Possibly off-topic, but the "a bug is cheaper to fix the earlier on it's discovered" idea came from a since-debunked bit of research, and even if it were true in 1995, has since become untrue through tech advances in how we execute modern deployments, e.g. if I commit a bug in my UI, fixing it in production is the same process as fixing it in dev, just pushing a commit.

I wish I had a citation, but my google-fu is getting circumvented by "error" and "cost to fix a bug" being too related.
Tool Links Email Addresses to Facebook Accounts in Bulk
yes, i've heard at least a variation of that explanation before, and it made sense for the first few iterations of idevices, but not so much anymore. apple devices are among the most powerful personal computers ever available. it really shouldn't be that way at this point.
you forgot something,
low-cost, low-power, low-accuracy battery monitoring is like pretty much the most solved problem ever.

low-cost & low-power & high accuracy, not so much
Yeah, but it is not so brazen, as there are more levels of indirection. This is way out of touch form the people involved in this
> I don't believe this is a realistic take on open-source. ... The challenging part is making that a project where active development is actually happening.

Well, yeah, that’s just the most obvious gut reaction everyone has when they first hear about open source software: Why in the world would anyone put work into software that’s free for everyone to use? My impression is that open source advocates have put tons of work into explaining why this can and does actually work and can result in software that’s better than proprietary alternatives.
While this is true, the reason is not called out: CDK simply generates a CloudFormation Template, and thus uses CloudFormation for state management, rather than using the cloud APIs directly.
Which YouTube would turn around and censor
Probably that's the reason there isn't one on iPad. Let that sink in. There's no calculator on a $1000+ 'Pro' device.
Spotify will fail like Sirius/XM did. Sure, they'll exist and some customers will pay the premium but the podcasts will be largely irrelevant. Joe Rogan has already basically dropped off the radar, just like Howard Stern did. And the artists/hosts who take the offers to go private/exclusive will become less relevant.
That seems completely unfounded. Citadel benefits from payment for order flow from retail traders. They do not gain by scaring them away.
So I've been mulling this stupid thought for a while (and disclaimer that it's extremely useful for these outage stories to make it to the front-page to help everyone who is getting paged with p1s out).

But, does it really matter?

I read people reacting strongly to these outages, suggesting that due dilligence wasn't done to use a 3rd party for this or that. Or that a system engineered to reach anything less than 100% uptime is professional negligence.

However from the top of my head we've had AWS outages, Gmail outages, Azure outages, DNS outages, GitHub outages, whatever else. All these hugely profitable companies are messing this stuff up constantly. Why are any of us going to do any better and why does a few hours of downtime ultimately matter?

I think it's partly living somewhere where a volcano the next island over can shut down connections to the outside world for almost a week. Life doesn't have an SLA, systems should aim for reasonable uptime but at the end of the day the systems come back online at some point and we all move on. Just catch up on emails or something. I dislike the culture of demanding hyper perfection and that we should be prepared to do unhealthy shift patterns to avoid a moment of downtime in UTC - 11 or something.

My view is increasingly these outages are healthy since they force us to confront the fallibility of the systems we build and accept the chaos wins out in the end, even if just for a few hours.