skysight-inc/HackerNews huggingface dataset:
This largely sums up my experience with Alloy and TLA+, as well as when I favor using one tool over the other. My formal education included classes in Z, so the spirit of Alloy always made sense to me and it's usually the tool I start with (I tend to see systems problems as relations, the tooling is fantastic, the REPL is very useful, counter-examples help illuminate the problem space, etc.)
When my problem is strictly algorithmic or it's all about the evolution of state spaces over time (especially concurrent states over time), I lean towards TLA+.

When my problem is strictly a state machine, I usually write out some combination of a Parnas table and a statechart, and then encode the table into Alloy.

I have a little tutorial I use to teach teammates the basics of TLA+ and Alloy, which takes about two hours to get through. I find that within a week of using Alloy, folks are dangerous enough to get value out of it.
Without the Scottish or London leave voters, we wouldn't be leaving. The proportions varied across the UK, but it's the UK people that voted this way.
"just PII" was a bit too strong, but this is how GDPR defines personal data, which is what it regulates:

> ‘personal data’ means any information relating to an identified or identifiable natural person (‘data subject’); an identifiable natural person is one who can be identified, directly or indirectly, in particular by reference to an identifier such as a name, an identification number, location data, an online identifier or to one or more factors specific to the physical, physiological, genetic, mental, economic, cultural or social identity of that natural person;

Identifiable is core to this definition. It's important to note that it's taken so far that it's enough if others can establish the link, which is why things like IP addresses or photos fall under it, even if I as a website operator can't just go ask ISPs for the user behind an IP.

> with on demand wipeout.

I keep coming back to that: GDPR only has something I'd call "on-demand wipeout" if your only base of processing is "I've asked the user for consent", because they can revoke said consent (or if you kept data without justification of course). If you need the data to fulfill a contract, you can store it as long as that's still true. If you're legally obligated to keep records, the person can't just request you delete it. If you can argue a strong overriding interest to keep some data, you can keep it - although that one is of course open to interpretation when your interest is actually weighing higher than the persons interest (an example might be fraud prevention records)
Link to Telnet BBS Guide > Downloads Lists page[0]

[0] https://www.telnetbbsguide.com/lists/download-list/
the percentage is meaningless out of context. you cannot say what is a surge if you don't know how stable it was before and how stable the equilibrium is.
I'm a remainer but there's more to it than that.
Yep, it's awful - they really do need to fix that issue on them. I've happily bought every revision of the RPi and use them in a multiple places for different tasks, so it's not like I'm too critical of them. I've had them monitoring my UPS, time servers, pi-hole, amateur radio, retro-gaming, etc. The GL AR150 is a smaller form factor than a standard RPi and compliments it brilliantly when travelling.
Yes, but can only be used to contact to certificate authors about certificate-related matters.
It seems to me like I am missing something: In most practical cases, the differential equations are solved numerically anyway. Why add the extra step?
Any idea about the crime rate downstairs versus upstairs?

(of course normalized by #people)
DevTools – My Favorite Tips and Tricks by Tapas Adhikary
What we really need is cap-and-trade for offspring. Everyone gets one each (so two to a couple), and if you need more, you can buy permits from someone who doesn't, at market price. That adds an economic incentive to have fewer children!
I'm no neurologist, but I can picture a brain retconning the OBE as a reaction to the knowledge that time had passed when you didn't perceive that it did.

https://en.wikipedia.org/wiki/Retroactive_continuity
Scanning the website, it looks like it depends on you having populated the user's Facebook, Instagram & Twitter profiles in order to use those services. If you have an email address, it'll use Gravitar, and if you have none of the above, I guess it does nothing?

Given that Facebook already takes a full copy of all of my contacts (I use WhatsApp) I'd really rather not spend the effort curating a more detailed database linking phone numbers, email addresses and real names to various social media profiles, for the benefit of Facebook.

I realise this app, and Casey, are not responsible for the actions of other apps on my phone, but second order effects should be a real concern for any app that claims to be privacy focused.

I realise that's probably secondary to the claim that it's supposedly privacy focused, and relying on your contacts not being privacy focused in order to be effective.

All that said, and I apologise for raining on the otherwise sunny parade, this looks like a beautifully executed app, and I will be purchasing it shortly, mostly because I have enjoyed listening to Casey on ATP.
Yes. The "Once we leave the EU the US will give us a way better deal that the one they have with the EU&UK today" - ENDLESSLY keeps being trotted out.

No indication as to why the US would want to do this. Trump's spent years whining about how NAFTA is a problem - and he's just going to hand a better deal to the UK?

The only thing both sides can collectively agree on, is that our politicians are shit at negotiation. The difference between the sides is that one of them is insistent that post-Brexit our world-leading negotiation abilities will bring us milk and honey.
Tildes is new, still a bit small, but seems nice.

The docs give a nice rundown of what's important to Tildes. https://docs.tildes.net/

(I have some invites available if you need one.)
Pre-GDPR Sony’s terms claimed a very wide scope of data collection (“content” of the device the headphones were connected to) without opt-out UI. It appears that the terms have been narrowed now to cover only the technical attributes of content, such as codec. Is there now a way to opt out of data collection?
OK I suppose that is more likely, but I still think this is easily-avoidable through process. If you're closely-enough involved with a ticket that you were going to be the one merging it, I think it's reasonable to expect that you have an idea of things that have happened in the story.
Cultural hegemony at its best.
You might not mean to, but this is a prime example of a straw man argument.

The article does not suggest that the UK won't be able to trade with anyone once it leaves the EU.

Your rebuttal is extremely convincing, but it's refuting a point that you artificially engineered, rather than the original premise.
You're using "directly" to mean something mysterious. Tea brought to India by non-Chinese traders speaking non-Chinese languages was referred to by a non-Chinese name. That is not an example of direct contact with China.

And as you'll see if you read the links posted variously through this subthread, the word for tea which English derived directly from contact with China (in very southerly Guangzhou) was "cha". That word was quickly replaced by "tea", derived from Dutch.

The Dutch word was derived directly from China, but, as you note, from the language spoken in a different region.
> Every single company on that list deserved to die.

Hi, I'm Brent Ozar, the cofounder of the first company in the list. (Ah, the joys of alphabetical sorting.)

I've written a big long post[1] about why we stopped selling to the EU, but here's the short story: the EU only represented 5% of our revenue, and for that small of revenue, I wasn't prepared to risk the GDPR's fines if any one of the third party tools we use had a problem.

During our GDPR prep with our attorneys, it was completely clear that the third party app ecosystem was in no way ready for GDPR enforcement actions. For example, we use WordPress and WooCommerce to sell online training classes. I'm a database administrator, and I know dang well that WP and WC aren't encrypting student data at rest, nor do they encrypt the other fields where people put student data - let alone how some of the plugins handle student data by storing it in the posts table, which was never designed to handle that kind of thing. If I had to face EU officials, I could never say with a straight face, "Oh yes, I was completely confident in WordPress's abilities to keep customer data secure."

I have confidence that someday, apps like WP and WC will have a better GDPR compliance story that doesn't just meet the bare letter of the law, but also the spirit. When they do, I'll be all about selling to the EU.

I'm doing the preparations that I can - for example, we've got a Privacy Policy that lays out our interactions with other partners, and lets EU folks request their data & delete it.

However, this is just the life of a small bootstrapped business: sometimes, you gotta make choices to focus on your best customers. 5% of my customers were threatening me with regulatory action that might result in huge fines if I let a ball drop. Unfortunately, I only have so many hours in the day. If I have the choice between doing regulatory paperwork for 5% of my customers, versus adding more value for 95% of my customers, I gotta make the obvious choice.

[1] https://www.brentozar.com/archive/2017/12/gdpr-stopped-selli...
I suggest just to use pihole at home on a rpi device. Granting a new and small company may be orders of magnitude worse than giving info to the 'evil' unicorns. The big fishes are continuously monitored by a wide community and from the governments as well. I wouldn't give such a private information to anyone not proving that all my private data is treated as it deserves. The only way I can see this happening would be to have them release everything to the Foss community.
If I understand correctly, you don't need to think these two (or more?) selves as mutually exclusive. It's just that when in certain contexts, e.g., when one is setting the alarm, this self has the appropriate conditions to be the dominant one (the laziness feeling bundle is not yet present). The other self, the lazy one, is still there, but its voice is not strong enough to overpower the first.

By contrast, in the morning, the reverse is also true, only this time the lazy voice is completely empowered by the comfy environment -- the other self just not having enough power to break through through the thick wall of comfort attached feelings the body is experiencing at the moment.

To put more simply, both (or more?) are there at the same time. but one is active, the other latent.
The problem with deinstitutionalization and modern therapy is the assumption everyone can be treated. While that's more true than ever, a significant proportion of the mentally ill do not respond to medicine or therapy.

We need to bring institutions back for those we cannot cure. Jail has become the treatment center of last resort for those too dangerous to themselves or others, because we closed all the secure psychiatric centers. There's not enough room in jail either, and judges aren't keen on incarcerating people long term to protect them from themselves. So these people end up on the street.

Besides the drug addicts, of which treatment is also a problem in the US, this is why you see so many crazy homeless people.

Institutions might not be a "nice" place to live your life, but it's a hell of a lot better than living on the streets
How would you go about "circumventing" pi-hole? I do not allow DNS requests going towards Google's DNS servers by firewall. The only option would be to use a DoH but it is also blocked on standard ports. The only option is to use a non-Google associated IP with a non-standard port which is not worth it at the scale of Google.
A bit like how Britons say "tea" not "black tea", even though it's a kind of tea that a Chinese tea-drinker might find a bit unusual.
I consider self-distancing to be one of the things I'm relatively good at. I've hardly ever successfully meditated, though. Furthermore, the article mentions a couple of other techniques that appear to reliably help with self-distancing.

I'm sure meditation helps, but I wouldn't rule out other options for achieving this particular goal.
We are reading a lot about Huawei lately and it almost all seems to boil down to how "evil" their business practices are. Is this WSJ in the Overton window spinning a manufactured consent?
Your right its not 2x the work, it is much more.

Speaking from about a decade of experience with progressive enhancement and all the other things. It is 'much' more. There is an expectation of equivalent functionality/experience in these cases, and you just can't spread your resources that thin to get half a product out that works without Javascript. You're literally development a completely independant application that has to sit on top of another application. Everything comes out 'worse'

These days we invest in ARIAA and proper accessibility integration and if you run without Javascript that is going to get you next to nothing in a 'rich' web application.
Can 10k brains and an AI called Rose predict the price of Bitcoin?
> I lived in Paris for over 10 years, and a good deal of my social circle comes from the catacombs.

Are you ... friends with dead people?
I don't think it's over yet. I'm hoping for Labour to collapse and a real socially progressive, centrist party to emerge.
I think right now renewable energy with storage and improved grids provides a better carbon reduction per dollar than nuclear. There is also a pretty big potential for saving energy, for example for AC. We need to be at net zero in ten to fifteen years. Building reactors takes a pretty long time. I don't think we even have enough qualified personnel to build the huge number of reactors we'd need to replace fossil power plants. Solar and wind seems like it needs less expertise, but I'm not an expert on this topic.
The Boomers are finally reaping the fruits of selling out the West to the entire world.

Now they double down and engage in SJW instead of focusing on retaining manufacturing capabilities.
Brexit already costs the UK massively. The pound dropped from $1.50 per pound in 2015 to $1.25 per pound in 2018. That is almost 20% destruction of wealth.

https://qz.com/1626291/the-british-pound-is-on-a-record-losi...
This is terrible advice, because it makes people think they did "enough" themselves to combat climate change when dropping animal product methane to 0 would not even be close to enough.

Remember, 100 companies are responsible for 71% of climate emissions. These need to be dealt with, swiftly.

https://www.theguardian.com/sustainable-business/2017/jul/10...
Some without knowing it unfortunately. My eldest child worked at a nursing home and there were situations where lucid consent was not likely in one or sometimes even both of the people involved.
Quality isn't the end-all be-all. Engineering is about understanding tradeoffs so that you can actually have a profitable business. It has always been tightly coupled with business. You can't build a bridge if no one wants the expense. Government is OK to regulate outcomes (like bridge can't fall down) but it's not OK for it to start mandating that every bridge must be a suspended bridge.
I noticed this a while ago. I can't see any reason besides Google finding a nice submarine for getting everybody to leave location services enabled constantly. As Bluetooth slowly becomes ubiquitous, eventually everyone will need location turned on 24/7.

Google clearly wants this, but can't do anything overt about it without attracting bad press. So they attached location permissions to a new technology they know everybody will use eventually.
> And this is the reason that composting never took hold in antiquity

I rather doubt that is they reason why in the past we didn't decide to throw our dead in what is essentially a rubbish heap...
Am I understanding correctly that they found they can give you this chemical and then if you experience negative things you won’t remember them (or you will but without negative connotations)?
CLI for streaming digest calculator – Insert into pipe, get the digest in tty
> Implementing some well established algorithm like Quicksort is not engineering.

How about when it involves getting the best possible performance out of the given hardware architecture?
Looks like this is from 2018, and has had at least one follow up: https://thespinoff.co.nz/the-best-of/09-03-2018/the-mystery-...

It's an interesting story though - thanks for linking it! Not... extraordinarily surprising, but interesting.
Using words like skyrocketed explicitly take the increase out of context. These kind of alarming articles give climate deniers ammunition in the future when values have doubled and the equilibrium remained state.
>And you pay for the lawsuit out of your own pocket.

Only if you lose.

> very expensive legal battle

EU ≠ USA

>That same government that regulates your business.

So what? If you have a grievance with an entity, that's the entity you have to fight a lawsuit against.
because bad "traditional" engineering isn't taking lives or casing financial loss and poor health?

The article was a "lets take an ideal apple and compare it to a rotten organge"
User Testing vs. Usability Testing
Brexit is boring. UK politicians are stupid. Why do they spend so much energy on something that won't help them? I'm sure the UK has bigger problems than highly educated french people coming to London or supporting their neighbouring countries with some minor EU fees.
Watch out for job offers that claim to do SRE but secretly is just a unicorn of old-school operations AND on-call shifts AND writing various code for that NEXT-BIG-THING project.
> If such a "universal rich text edit" web component comes out, have web components then succeeded?

I think (but this is my interpretation) that GP meant to assert by saying "Web Components failed" that no such component will ever come out, because Web Components cannot properly solve that use case. I haven't delved into it deeply, but my intuition is that, indeed, quite a lot of ceremony would be needed to integrate such a component into a larger web app, regardless of whether you use a framework or which one.
Would love to see similar in-depth analyses for Windows and MacOS. 25% perf loss in everyday work is a lot.
There should be more cheap single room occupancy apartments where the mentally ill can live with state support.
How do you justify having kids (also unsustainable if everyone did it.)?
The first year of BYTE is amazing but over time in all of those computer magazines there is a shift from hobbyists and doers to just consumers.
Speaking about safety, the problem is that most companies don't want to allocate time and resources to it. E.g. security is often at the bottom of the budget list. You can't really blame the programmers/engineers.
Ads of today are much more invasive. And even the articles themselves today are often ads in disguise or direct copies of press releases. Haven't read a computer magazine in at least a decade, but this I would read.
I am amazed on how weak the accusations are. A ringtone? Some guy who thinks he can patent the idea of a camera attached to a smartphone?

A hitpiece like this could have been written about just about any big tech company. And it is leaving out the story of how Huawei committed its true crime: That within some fields (5G notably) it is today a lot more advanced and cheaper than its competitors.
Logical fallacies in software engineering – AMBlog
Seems kind of like how Mac handles this.
What was the "cited reason"?
I didn't mean to imply that it would be cheap or easily or that we shouldn't push for cultural changes. I only meant to point out that there is a lot of low hanging fruit that does not require significant cultural changes.
Show HN: Best places to start your own company
Using the NMI (non-maskable interrupt) on an Apple II is so wrong! The disk software relied on precise timing of instruction sequences to read and write bits on the disk. If you have interrupts going, reads will fail and writes will corrupt the sector being written and possibly the next sector.
I don't think easier and simpler are necessarily aligned. Ancient hunter/gather life could be said as simpler, but also could be brutally difficult compared to all of the modern luxuries.
Are these still active? How many people actually use them? I'd love to join, as my first internet encounter was in the windows 95 era.
I think software development is a wide range of things, all the way from hacking on WordPress plugins to safety critical software. "engineering" comes in somewhere on that spectrum. Some software development is engineering, but not all is.
>Institutions might not be a "nice" place to live your life, but it's a hell of a lot better than living on the streets

Given the choice between being locked up indefinitely in a quasi-jail with a bunch of crazy people or taking your chances on the streets, what would you choose for yourself? Are you certain?

We don't need institutions, we don't want institutions, we need properly funded community care. People with severe and enduring mental health problems do far better when they have a stable home, meaningful activity and a sense of autonomy. We can provide those things far better in the community. Long-term institutions only offer "out of sight, out of mind" for the rest of us.
Methane dissapears in 8 years.

Who gives a fuck.

You spend a 100 billion $ stopping a years supply, all that work is for nothing in 8 years time.

The world has gone mad.

How about we do something crazy like continue on improving energy creation and use and stop the FUD for the unclean masses to pretend hell still exists and god is angry.
What a powerful piece, poignant in its prose.

The human brain is the most complicated thing in the known universe and keeps its secrets well hidden. Genetics and neuroimaging have shown how remarkably complex and interacting are the biopsychosocial causes of mental illness and that there will likely never be magic bullets. Drug companies have stopped looking for them.

This paragraph summarizes the issue of mistreatment of the mentally ill in the US perfectly:

Why is it that the rest of the developed world gets this and what makes us the laggard outlier? How can it be that the richest country in the world is most neglectful of its most vulnerable citizens? The simplest answer to this complicated question is the misplaced US faith that market forces are always the most efficient vehicle for solving problems. Adam Smith—the father of modern economics—knew better and strongly supported the role of government in providing vital public services undervalued by the market. Privatization of mental health has resulted in too much treatment for the well; cruel neglect for severely sick.

The path to improvement is a political one, lobbying the ones in power on behalf of our powerless mentally ill. We need to end their silent suffering.
Just outlaw animal husbandry and meat sales or apply high enough taxes to meat, and meat consumption will become small enough to be irrelevant.

People can be vegan just fine, it's only a matter of habits.
9/11 was definitely the turning point - the end of optimism. I never expected that the world would not have recovered 20 years later.