skysight-inc/HackerNews huggingface dataset:
Both Prolog and Haskell make memory management really hard, and without good memory management you can’t reason about the run time of software.

Of course the solution is to learn a lot on the low level details of the compilers for these languages, at which point it’s not easier than imperative coding.
What's stopping you from doing that? This is open source work, they are not being paid to do this so you should not expect everyone to do work for you, for free :)
KEMTLS: Post-quantum TLS without signatures
Unfortunately, not much advice to offer there- I haven't spent much time in VRChat actually chatting.

Another place you could ask might be the r/virtualreality or r/oculusquest subreddits, which are quite active. Adults do have conversations in VRChat; the YouTuber Syrmor runs a "Humans of New York"-type channel of his encounters:

https://www.youtube.com/channel/UCV8Qe8z3RDLiAV7E0WP7-Fg

This one is particularly poignant, and surreal:

https://www.youtube.com/watch?v=UMoLKLM8SMg
Hmm. My Dropbox Pro subscription renewal is coming up.

Is there an alternative to Dropbox that isn't iCloud or Google Drive? I would like to pay for Tarsnap but I don't understand 250 picodollars / byte-month.
It's worth noting that almost anything with a magnetic field can interfere with a pacemaker, for instance induction hobs. Given the pervasiveness of, well, magnets (!), it's probably worth investing in pacemaker research which takes this into account ...
It is nice until you start to write device drivers. I participated in porting it to an educational platform in Uni half a year ago, and the bit fiddling with MOD and DIV was really a pain.
It very much depends on the city. London has excellent public transport (and is horrible for driving), other cities are much more mixed.
When Google's AI (=RNG) decides to terminate your account (maybe you typed a few too many comments on YouTube, this has happened to people), you'll lose every service for which you used Google to sign in with.

Also, the usual tracking stuff.
What programming projects have you completed in the last 10 years?
US grid will see 80 percent of its new capacity go emission-free
Exactly. Consent must be freely given to be valid under GDPR. Here is some analysis on what this means by the European Data Protection Board:[0]

“ 3.1 Free / freely given12
13. The element “free” implies real choice and control for data subjects. As a general rule, the GDPR prescribes that if the data subject has no real choice, feels compelled to consent or will endure negative consequences if they do not consent, then consent will not be valid.13 If consent is bundled up as a non-negotiable part of terms and conditions it is presumed not to have been freely given. Accordingly, consent will not be considered to be free if the data subject is unable to refuse or withdraw his or her consent without detriment.14 The notion of imbalance between the controller and the data subject is also taken into consideration by the GDPR.”

[0] https://edpb.europa.eu/sites/edpb/files/files/file1/edpb_gui...
Cool, my work is done ;) Will come back to this page in the future, really like the click and you copy the svg feature.
The UK took a wrong turn when it gave the police their own extra-judicial justice system.

The system of police cautions, warnings and fixed penalties allow the police to administer punishment with none of the due process that a court would provide.

The idea of a "police caution" is a misnomer that implies it's just harmless warning, when in fact it can affect the course of someone's life many years later.

Furthermore, people are blackmailed into accepting these cautions under the threat of going to trial and potentially receiving a more severe punishment after conviction.

Even more outrageous is the retention of records from the PREVENT programme and "non-crime hate incidents". These are people who have not even committed a crime or been arrested.

The whole system stinks, and given that most people manage to avoid interaction with the police it is sadly unlikely to get the scrutiny it deserves.

The outrageous behaviour of (some of) the police during recent lockdowns actually gives me a little hope, as it as drawn widespread attention to the way they routinely abuse their power.
Google Map of Videos Posted on Parlor at the Capitol on Jan. 6th
I'm trying to read your comment charitably but I just can't find a humanising reason to post this. Because it's kind of unfair to assume you have a poor reason to do so, perhaps it would help me and hopefully other readers if you explained your line of thought here. Why do you want to know this?
Yes, this makes perfect sense. If we get a middle ground solution, it will be good. De-escalating looks good on paper, but we are dealing a monster here; When i say abusive, it is not like martin scorese or tarantino films level. It is beyond that. I like your idea about "nanny" but withstanding this person might be asking for lot from a nanny.
Is there an oauth provider that offers what mobiles have started to do with permissions, where "deny" just gives empty data to to the requesting application instead of actually rejecting the claim?

It'd be nice to see Google offer something like that.
Data is from this large list that is still being updated: https://www.tommycarstensen.com/terrorism/index.html
i switched to microsoft 1Drive a long time ago, works seamlessly on windows
Editorialized title. The actual is:

Life Saving Therapy Inhibition by Phones Containing Magnets

The article is about the iPhone 12. Just pointing out that magnets aren’t specific to the iPhone.
Follow-up question: are they notifying the scooped contacts that they now hold their personal data, as required by Art. 14 of the GDPR? https://gdpr-info.eu/art-14-gdpr/
Looks like it's based on search queries:

pandemic 5847

lockdown 5847

testing 5847

vaccine 5847

covid 5843

stock market 5843

jobs 5843

president 5842

mask 5840

travel 5839

spread 5837

economy 5836

quarantine 5836

unemployment 3045

coronavirus 2822

death rates 495
Check out https://koofr.eu/ Disclaimer: I work there :)
When state surveillance is not enough and “involved” citizens start to roll out their own. Don’t forget to “cancel” everyone on that list and keep the society divided for as long as possible.
I use SyncThing [0]. It can work without a server if your devices are often up at the same time. Otherwise you can get a small cheap server from the provider of your choice to suit your needs.

[0] https://syncthing.net/
> If they only pay for software plumbers then obviously they will get more plumbers.

They pay for plumbers(+). Seriously. Even intensely creative and curious folks must pretend to be plumbers in their workplaces to appease project management derps. The stuff that makes one have job satisfaction often gets done without asking for permission and without allocated time/staff/budget.

(+) Nothing against plumbers. Many have more lucrative and intellectually stimulating jobs than software engineers.
I left dropbox when they changed the full page upsell to "dropbox business" so that I couldn't easily figure out how to skip it and get on with my work.

I had a paid pro account at the time.

I actually had a conversation with a product manager; I checked the yes you can contact me when I cancelled my account. They simply refused to admit that an upsell was a advertisement and that disrupting my workflow on my paid, professional account for an ad was wrong.

The other interesting thing about that conversation, they could not understand how a sole proprietor would see no benefit from collaboration tools and kept making up bizarre scenarios where I could use them.

I actually asked them if they were a product manager or a salesperson at one point.

To Dropbox's credit, that product manager didn't try to retain me, they were genuinely trying to figure out why I had quit; they just couldn't grok the reason.
I am really happy with Nextcloud!
I am not so sure if oauth is to blame alone. I mean, it is a technology that lets you control what you want to share. However, engaging in business with a partner who decides to change the rules, is something I see a lot more critical.

So maybe the lesson should sound more like

- 'Don't use Dropbox for anything you care about' or

- 'Don't do business with large corporations for anything you care about'

To clarify, I am not saying it to protect oauth (in its current state I am not a particular fan of it), but to show, that the technology doesn't change by itself and that someone decided to change it. So the company who decided to execute this unethical change should take its share of the blame too.
The reason I say it has nothing to do with programming is that none of all of these tools that make you rely on this stuff NEED to do so. They chose to. But they don't need to. This is an implementation detail that is entirely orthogonal to the rest of the task of programming.

Superfluous, and could be replaced at any time.

And I note you immediately jump to the conclusion that I am too stupid to know these things that you know because you are clever. And that is EXACTLY the problem.
I'm currently using onedrive for business (5$/month for 1tb, exchange and some other office goodies). I can highly recommend it, the privacy probably is not perfect with it being a Microsoft product after all. But the apps are superb and Android/iOS photo upload are a big plus.
Yes, talk about missing the lede.
The only commonality I see beyond the timeframe is that nearly all of the tweets have the word 'death' in them. :/
Intellawatch – Cyber News Collector
do you mean OpenID? I guess oauth is OK for signups if the tokens were expiring. But usually you naively give the credentials to a new startup, only to find out they abuse them months later.
Oh my! We were exactly like this many, many years ago. See reply to this thread[0].

The way I view it is frictions and impedance mismatch. People lived in several universes and there were many "taps on shoulders". Data scientist tries to work on a project but the system upgrade messed up their compute environment and their GPU isn't working anymore. Data scientsits ssh'ing into a "powerful workstation" to have their notebooks run on more RAM or more powerful GPUs, having a certain convention to start their notebook servers with specific ports.

Building models and then wanting to show results to the client and asking a colleague. Set up a VM on GCP, write a small application, scp the model to the machine, create an environment with the same dependencies to load the model, set up authentication on the machine. Email the client. Client doesn't reply in time. You have a bunch of VMs.

Meanwhile the data scientist has produced another model with a notebook and they want the engineer to deploy it. Others want to reproduce it but have the same trouble with running the notebook (libraries, etc.).

A complete mess. We ended up building our platform[0]. We wanted our PhDs to do what they were good at, and we wanted to handle a lot for them. In the same time, we wanted our more engineering inclined colleagues not to do that work themselves, and we let the platform do many of these things (building images, deploying, scheduling notebooks, etc).

- [0]: https://iko.ai
The History of Work in India.
Yeah like there's 20 years of programming language research that studies exactly what this person is talking about.

Graphical programming languages, removing barriers to learning, etc. They've been chugging away for decades and visual programming, Blender, Blueprints, Scratch, etc are all we got out of it.

Does the article writer just think research doesn't exist? That CS sprouted from existence fully formed as a web browsing experience?
Benefit comes in multiple forms. There's the benefit you get
when finishing a project, and the benefit of gathering
experience on the way.

In the end that's the way we learn and improve: by pushing the
boundaries into unknown territory instead of always going with
the methods that have already been working. To actually be
sufficiently motivated to dive into a new hard area, having a
goal is important, even if it's unrealistic. And when the time
comes to actually build something serious it's good to be aware
of what to expect and be familiar with the tools.
I like https://tresorit.com. It's end to end encrypted. Doesn't work as smoothly as Dropbox, but worth it IMO.
The phrasing of the article specifically invites relativistic thinking by starting from a premise that's obviously untrue for some, or even most, readers without long-term medical conditions.

In fact, when I first read it, it half-convinced me that I was sick too. Where were those unlimited spoons when I overslept, decided not to shower, put on a pair of dirty socks and sprayed them with deodorant because there were no clean ones left, got to the office an hour late, failed to complete any major task all day, fell asleep on the train and missed my stop, got home an hour later than I should have, ate half a tub of icecream and some raw carrots instead of cooking dinner, and went to bed leaving two days worth of dishes in the sink and still having no clean socks?

I'm still unsure whether I'm an unusually low-spoon individual, or whether the author thinks nominally healthy people are doing better than they really are, or whether there's actually something wrong with me, or what's going on.
This is great. I read all three articles.

It's amazing how difficult it is to encode rules for dealing with natural language, considering how easy it is for a person to resolve ambiguities, misspellings, and the like. Of course, we forget how much knowledge we have encoded in our own brains.

I'm trying to do named entity recognition for chemicals and materials in quasi-natural language texts that we've developed over many years at work. It's brutal.
The anti-automation argument isn't that automation is bad, and grueling labor is good. The argument is that being forced to change careers can be - depending at which age it happens for a person - anything from taking away significant amounts of wealth to complete impossibility. When you change careers, you usually start at the bottom of the ladder. Past a certain point, such switch is not recoverable, and best you can hope is that your children will start a good career early and won't be themselves forced to switch careers later on.

If automation didn't involve pushing people into deep poverty, it wouldn't have as much opposition.
The point is, "/usr/local/bin" is an artifact that made sense on that system, and that system alone, but we started using it elsewhere, and not it is so firmly established we do not dare to change it, even though it is a completely arbitrary choice with no relevance to modern systems.
> Stop trying to assemble a fully functional car with no understanding of the fundamentals and then getting frustrated that car assembly is difficult.

Most of these people find driving hard. You have to put the liquid in the hole and turn the key and keep pressing the floor-thing and hold the circle thing all while looking out the window to make sure no one gets in your way and the car stays on the hard paths.

What they really want is to just be able to jump in the back seat and state their destination then go back to chuckling at tik-toks and messaging friends until they're there. That's the kind of car assembly they want, complete with the commensurate salary and benefits. Is it really so much to ask to have that delivered to them?
Tech Conferences are for networking not for knowledge
Looking up stackoverflow is harder than learning a programming language?
There is still One Drive if we are taking about the big guys.

You could also look into seedboxes.
And as we know, people never misuse academic words outside academia.

>It truly is about how many masculine-coded expectations trap men in harmful behaviors and patterns.

That's the motte. The bailey is using the term to sell expected patterns and behaviors that are not necessarily any less harmful, just more desirable to the person doing the talking.
For what???
It's slow and hangs up/freezes quite a bit due to the exotic decision for the ui to be rendered on a common thread.
Europe's biggest shanty town without basic necessities
I'm working on a Creative Card Game, a card game in the tradition of Magic: the
Gathering, but one that is managed and created by its community of players.
Players create the physical cards, including the art and themes and every other
aspect of a card's physical form.

The mechanical aspects of cards, for example their rules text etc. are generated
by a program called the Rules Engine. Players can download a copy of the Rules
Engine and ask it to generate cards, then they can choose the cards they want to
make physical copies of. The game is played with the player-created physical
copies of the cards generated by the rules engine. The Rules Engine is a free
download and the total cost of playing the game is the cost of the materials for
the physical cards. There is no possibility for anything like microtransactions.

Players can "register" cards generated by the Rules Engine with the community of
players. Once a card is registered, it can be used for "official" games.
Official games count towards players' standing, a karma-like metric that
measures their influence on the game. Players also gain standing when their card
designs (i.e. the art they create for physical cards) is appreciated by other
players. Standing is calculated so that being good at the game and creating
beautiful art for physical cards increase a player's standing by equal measures.

Players with higher standing can eventually make decisions about the nature of
the game, e.g. they can change rules, change or ban cards, change the amount of
standing earned for various reasons and so on. The only person who is allowed to
change the code of the Rules Engine is, well, me. As the creator of the game I
have veto power over any decision I think will harm the game. On the other hand,
I have no power to make any decisions on my own- I can't change rules, ban
cards, etc. I am only the Maintainer of the Engine.

The source of the Rules Engine is kept under a proprietary license, to make it
harder for people dissatisfied with decisions of high-standing players (or the
Maintainer) from endlessly forking the project, causing the community to
fragment into camps playing mutually incompatible clone-games, a situation that
I believe would be detrimental to the game. Players remain free to create
whatever physical cards they like without invoking the Rules Engine and to play
a game with whomever accepts to play with them. However, the intention is to
have a "core" game that is the same for all.

The game is associated with a decentralised online marketplace where players can
sell their card designs in exchange for standing, or real money.

This is a long-term project. I've been working on and off on this idea for a few
years now.

Oh and I'm also doing some research for my PhD of course. But that's of no
interest to anyone :)
Clickup vs. Trello: Detailed comparison with pros and cons
Those numbers are for all bank offices located in the Bahamas, most of which are foreign bank branches. The numbers in the row "By type of bank - Domestic banks" [1] appear consistent with the article.

[1] https://stats.bis.org/statx/srs/table/A5?c=BS&m=S&p=20202&o=...
Only a fool would use twitter. It's a place where anything you say can and will be held against you in the court of public opinion FOREVER.

If you must use it, then read-only mode should be sufficient.
Leave the contributions to marketers and narcissists chasing likes.
It's both. But it's definitely an argument I've heard used against increasing automation multiple times including in historical contexts, so I'm unsure why you are saying it is not.
A new online poker platform made for home games.
The PNC has been challenged in the past for holding on to records that legally should have been deleted.

If I put my tin foil hat on for a moment, I wonder if this "mistake" was a way of getting rid of some records that should have already been deleted.

Doing it this way, and publicly admitting it, might have been deemed safer than clandestinely deleting the records and then getting caught in a security audit later.
I write code for a company worth hundreds of millions every day, with a world-class user rating. I don't use the command line at all.

I CAN use the command line. I know very well how to do it. I have done it for decades. But when I program for iOS, I don't need it. The tooling is good enough that I never need to. So I don't.

There's no reason this couldn't be the case for other environment too. There's nothing magical about iOS other than that Apple actually values developer convenience and put the effort in that others are unwilling to do.
I got that now, I misunderstood you, apologies. I was just really excited to share this knowledge!
> keep the society divided for as long as possible

There can't be unity with fascists. They don't respect the values and rules of a democracy.
Yes it does seem too good to be true, but remember only the
Apple laptops currently have a touch bar so applications must already support user interfaces that don't require the touch bar.
Not at all. At home I have a cheapo Adafruit RTL-SDR ($22 at Microcenter https://www.microcenter.com/product/463176/adafruit-industri...) running on an unused Gigabyte Brix. At my parents' I have a similar SDR on a Raspberry Pi. They're both indoors on the highest floor.

I have a LimeSDR as well that I screw around with sometimes, but really any basic receiver will get the job done.

I'm planning on checking out adsbexchange and FlightAware based on the comments.

The setup on the Brix: https://photos.app.goo.gl/dJmvM3R9u3eGpggP8

Project Loon balloons on Flightradar24: https://photos.app.goo.gl/b8wDkTn6XaRmUWGw6
> FYI - never use oauth to log into anything you care about.

Or, "Then create a password and revoke oauth permissions from the provider"
Closed source browser, skip it. Open source Brave still being a thing.
Curious choice to focus blame on the people investigating and not the people making literal death threats...
Freedom of speech != freedom from consequences of your speech.

It's not like somebody hacked someone's private messaging system. If you put the world on blast with your dumb ideas, I don't have any problem with others pointing it out.
Maybe it's 4am and I ought to sleep, but I'm having trouble understanding this article.

Is this phenomenon the same reason some PC game engines render objects in alternating reverse order each frame, rather than something theoretically more optimal like depth-sorted? I understand that in the case of 3D graphics if the textures don't fit in the GPUs memory, FIFO ordering will cause ALL textures to be ejected every frame as you cycle through the same objects in the same order, whereas reversing the order every frame means just the same batch of overflow textures "at the end" will get ejected every other frame.
https://siteguardian.dev an elixir/phoenix micro-saas that is intented to be an all in one website monitoring solution:

- SSL monitoring (Expiration, security and best practices)

- Domain registration monitoring

- UpTime and performance Monitoring

- API/Content Monitoring

This has been a great trial using the PETAL stack and I'm really impressed with the development speed and results I can get.

For anyone interested, right is on Beta and available for free for two domains.