skysight-inc/HackerNews huggingface dataset:
Having written test cases for a similar semantic program analysis tool, I agree: Integer overflow is a very likely cause for such "obviously correct but actually wrong" program invariants. The C semantics can make this problem even worse since signed integer overflow is undefined, leaving the user of such a framework to the mercy of the design decisions of the creators of the framework regarding undefined behavior.
I would say that people use Excel because they don't understand how to set up a relational database. It's usually non-technical users that set up Excel, then at a later stage I get asked to create a proper database from it.
But how do you know "what people claim against who does what work" unless in the most shameless examples: anyone trying to steal credit may be in a better position to do so without counter evidence.
One of the options I would suggest is to add the possibility to type the end bracket or parenthesis before the included code,by doing some kind of conditional forward lookup
The salt is stored in a Postgres database and we run a daily job that generates a new salt and deletes old ones.
The reason you use CSV is that you want to use it with software that ISN'T Excel. Otherwise you'd just use .xlsx. No other software uses this convention, and it's not correct CSV.
https://typing.io/ This is pretty similar I think, used in the past. Can use your own code with the paying/subscription
Idk, if you just denote your statespace with the types and then have all your code essentially perform case analysis then it's quite simple...

There are some tricks that you need to express more complicated computation but they get more attention than use.

Also there is the whole type theory rabbit hole that you'll fall down a few times until you understand where you want to be. The trick is to accept that the model is a simplification and rather than being as precise as possible find out where you can get away with simplifications.
Down-voted as it is factually incorrect. See comment by reportgunner below.
This comment can’t be read, perhaps use code block formatting, or remove the http and domain info, so we can see what you mean? The link is getting truncated when it displays.
> There's a bunch of removals and updated pre-reqs

My understanding is that the Python versions that don't support asyncio have been removed, which should make the codebase cleaner and easier to maintain. So it's actually a pretty big deal.
You are right, although we might be able to make it lossless in practical terms with probabilistic approaches like combining multiple algorithms, selecting the hash length, and using heuristics to pick the most likely source.
No, there were fuzzily-separated groups of humans on different continents. There was still some interbreeding across continents.

The Americas may have been clearly separated for a while, but they have done so much interbreeding with people from other continents since 1492, that the common ancestor is more recent than that.
Beeb (Visual Studio Code Extension for BBC Micro)
> buying food which was produced and delivered close to you by large, complex and very inefficient industries.

Hmm. I wouldn't use the word `inefficient` so heavily. They are really good at bringing you some kind of products, not the home grown quality kind though.

> This system spends incredible amounts of resources (time, energy, labor) which you can save by simply growing your own food.

No, growing two potatoes only or a bunch of tomatoes take up time blah blah scale blah blah time money salary blah blah.

I am hooked anyway, I always wanted to try to grow something and if filling up an ikea bag with dirt and some seeds is enough to watch green stuff grow I'll be happy to try that as an hobby !
Right, that makes total sense yes. Thanks.
You've immediately jumped to the absolute extreme opposite in terms of automation, excluding all of the middle options that would be better than they are today, and the result is... honestly, I'd still prefer your fantasy example to what we have today.

Last time I renewed my drivers license, I had to visit the DPS (Texas separates licensing people and cars, so DPS is for people) three times. In person. During a pandemic. Because of failings on the part of the DPS. This is typical.
As long as these practices are normal, encryption services need to be expanded and cooperation with sate actors should be minimized, preferably use platforms outside the EU.

The only defense against surveillance of communication channels is to make it technically impossible. Respecting privacy may be a misnomer here, they just have to adhere to EU law, which probably leaves room to let state actors continue exactly as before.

edit: "no mass surveillance without limits" titles techcrunch. As if the "limits" could make mass surveillance acceptable. This article is "fake news" in the original sense, because they actually reduced barriers for mass surveillance.
Bing mobile app (Android) backend leaked 6.5TB of user data in September https://www.wizcase.com/blog/bing-leak-research/ "The exposed data includes: [...] Search Terms in clear text, excluding the ones entered in private mode [...] Location Coordinates"
Crazy. I fought the DoD on this some time ago. I didn't win, but I didn't lose either. I stalled them long enough to get out of the military. My commander said, "Are you afraid we are going to clone you?" to which I responded, "No sir, you should be afraid of cloning me." We both laughed because he knew it was true.

Anyway, my argument at the time (90's) was that insurance companies were already using this data to retroactively cancel peoples insurance policies when they end up in the hospital, to avoid paying patient bills. I did not trust the DoD to protect and not sell this data, so my commander had me submit a FOIA request. It went all the way to Al Gore and back down. I ended up with boxes and boxes of paperwork that amounted to statements more vague than you would get from a car commercial.

Do not give up your DNA. Once others have it, it's forever out of your hands and will end up in the wrong hands.
These are the types:

https://twitter.com/ReviewResist/status/1313159455543001089

I take it seriously when people fly the Nazi flag.

And I should have said I want a camera for if I'm attacked while voting.
Lyft adds free Grubhub food delivery to Lyft Pink membership
Very cool, I'm also more interested in the "retype a novel to get better at writing" rather than "typing fast", but as I'm French, I'd love to type some french novels. Would you be able to add a simple DIY mode where I first copy-paste a text (for instance that I get from Gutemberg), and then it is either stored locally or uploaded to your server, so I can type it?
Thinking of it as payment for helping to train an algorithm and it makes much more sense.
I personalty use both types. IDEs have their place. So do the 'minimal' editors. The biggest gripe I have with modal editors like vim is they seem to adhere to the path of most surprise instead of least. With most IDEs they try to get you into moving text into a file quickly. A modal editor you first have to learn how to just change modes. I can not number the amount of times I started typing and had the conclusion 'I have no idea what I just did to my document and what state the editor is in now'. Which is maximum surprise :) I get why they were made in the first place. They are a thing of teletype machines. Yet we keep this mode style editor around. It is interesting. I personally am kind of stuck with this right now due to the way my work manages machines. So I am stuck with whatever the box has on it. So minimal customization is allowed.
How ironic that you say that in a forum that censors speech it does not want you to hear. Yup … just like this. Yes, you are the badies, mods/admins.
I don't accept their credit card machine offer for that exact reason.
> Starting from now users should expect more frequent releases of major versions as we move fast and break things to bring you even better experience.

How can frequent breaking changes be a better experience?
Rewards are good, I get about $10/mo. I also like Bing because it brings competition on Google. The results are good for nearly everything I search for.
This reminds me of the games you can play flipping signs in relativistic equations when you make v > c. You can interpret those in a lot of fun ways too.
They're really good with the cybers.
we have a live demo here where you can see exactly what we offer with our own website stats: https://plausible.io/plausible.io

otherwise i've published a comparison with Google Analytics: https://plausible.io/vs-google-analytics

and a comparison with Matomo: https://plausible.io/vs-matomo
Depends on who is doing the writing on the wall. Lately it mostly seems to be graffiti artists.
Yes, and I'm sure people will be using it in 2077 as well.
Hey I'm glad you asked! It's the way Nextjs handles urls with more than 1 param. If I prettify the URL then for some reason the page can't access them. Don't know if they've improved on it yet (or, who knows, maybe I'm just using it wrong) but it'll be fixed eventually.
I'm happy that I put off upgrading my pc long enough to skip a RAM generation.
another example is master detail horizontal layout, more convenient than constantly switching back and forth between the app and a browser.
Google got fined for just setting the default search engine on Android as Google. At least you could change it. Meanwhile, Windows 10 uses Bing in the search bar and there’s no option to change or disable it.

It’s pretty irritation when I search for a specific file that I know exists on my computer, but the search bar decides to search Bing for results instead.

The only way to disable it is to edit the registry (!), which I recommend doing because now results from my computer are delivered instantly instead of having to wait for Bing to load.

https://www.howtogeek.com/224159/how-to-disable-bing-in-the-...

People say Windows is more user friendly than Linux. I beg to differ.
How Advanced WMS Benefits Warehouse Operations?
Not disagreeing, but you need a means of taking enforcement action. Legislation is meaningless without enforcement. Millions of people live in places that are for all practical purposes, towns, but without all the trappings of a town like a municipal government, local PD, fire department, etc. and rely on the County for these services. That’s hardly an edge case.

Fire breaks are good if you can get them and maintain them, but you’re probably better off addressing that and other factors through the Insurance market.

You also still need to actually maintain the forests to reduce risk. That means allowing some fires to burn so there isn’t a massive fuel build up, and removing dead trees which will burn and explode instead of leaving them as mulch. You still need a market based solution to encourage people to cull the woods near their property though because sometimes the only thing keeping responsible property owners from culling the woods near their property lines are their own neighbors who outvote them when it comes to making a decision. California is very democratic like that.
> You need to get a job to make money so that you can spend that money on buying food which was produced and delivered close to you by large, complex and very inefficient industries. This system spends incredible amounts of resources (time, energy, labor) which you can save by simply growing your own food.

Are you sure about that? Intuitively I would expect commercially-produced food is far more efficient than everyone growing tiny amounts on a balcony.
Then you're probably familiar with the 24 frames per second cinema standard for projecting films. Except each frame is actually projected three times, leading to a shutter speed of 72 frames per second. (In reality there are far more options today with IMAX and video tech, though.)

Even though there's only 24 images on the film per second, this triple exposure results in a smoother experience for the viewer. This is due to how critical flicker fusion works (a.k.a. persistence of vision). [1] (Though another reason for doing it is simply so that the film won't be burnt, since those xenon gas projection lamps run very hot.) See also beta movement and phi phenomenon. [2]

These physiological phenomena are of course very important to consider when making VR devices and games.

In order to create the effect mechanically in the film projector, each frame has to be stationary before the shutter is opened. If not, all you'd see is a blur. Thus, when the film is pulled forward, the shutter blocks the light from projecting the image onto the screen. In fact, during some half of the movie, people are actually sitting is pitch black darkness. Think about that next time you go to the movies! ;)

Please note that peripheral vision has a higher sensitivity to flicker than foveal vision. I'm unsure how interlacing affects that, though, if applickable. This effect might also be different on video systems where various forms of interlacing may or may not be used.

[1]: https://en.wikipedia.org/wiki/Flicker_fusion_threshold

[2]: https://en.wikipedia.org/wiki/Beta_movement

(Please excuse my lack of sourcing. Most of this is off the back of my head, and from books I am no longer in posission of... But the Wikipedia links should give you a good start.)
Python 3.9 Released
For anyone who's been looking for a simpler Task Queue for Django, check out Django-Q [1], it's been working very nicely for me. It doesn't have all the bells and whistles of Celery but it's very simple to get up and running using the DB as a broker and comes with periodic tasks out of the box.

[1] https://django-q.readthedocs.io/en/latest/
Definitely not millions, more like mid 10s :-D

A good rule of thumb for valuing a SaaS is to take trailing 12 months revenue and multiply by 2-5 depending on the growth potential of the the business.

In this case it was at the bottom end of that scale due to signups having slowed to a trickle.

I valued it a bit more since it has a huge list of past customers. My hope is that once the updates are completed I can convince at least some of the to resume subscribing by a tasty "6 month free" type offer.
Will we get performance increases, and how big will they be in the average case, not for some specific codes with low cache hit ratio on large datasets, and attributed solely to bandwidth increases and not architecture IPC improvements?
Those links are over 200 characters long, and just look like escaped JSON, so I don't think it would help much. You could just click on them if you really wanted to know the details, but I think the question is pretty clear regardless.
On https://haveibeenpwned.com/ you can search for your (or any) email address. You can setup notifications.
The analogy with music is interesting. Superficially, the musical activity which looks most like typing is simply playing an instrument. And sight-reading does feel a bit like typing. But I wonder if he's talking about transcription in that quote. One can sight read complex music without learning anything about it if they happen to just be a good sight reader. But transcription really does force you to pay attention to structural nuances you otherwise wouldn't get just by listening to a piece of music.
Same here, I'm running an FX-8370 and DDR3 now, going to build a Threadripper + DDR5 late next year, hopefully.
Hey thanks -- this will be super useful!
+1 for their low cost search APIs

Years ago, I used Google’s search API (written by Nelson Minor). When they canceled the service, I started using Bing search APIs, and never looked back.
Nvidia releases technology to compressing video using neural nets
Building a Homelab VM Server
This looks promising, I've been looking for a hosted blog solution (just bit the bullet on Ghost). Any chance of previewing what a finished blog actually looks like?
Add a "suggestion box" (link) on your website so that you keep your idea funnel alive. ;)
It has changed a lot and is about to change again. There is a level squish coming soon to prepare for changes that will make it much easier for new and returning players to level up and enjoy the game. The current system is a little overwhelming to some. The new changes should be live within a month or so. The release date slipped a little.
You are very patient. I'm not sure about skipping this generation, because who knows when we will get ECC UDIMMs for AMD cpus. It could be late 22 or or even mid 23.
wow, is there a video of this? sound really interesting
Yup. I don't want headphones with Alexa. I'm not bringing any Amazon spyware into my house. I don't even care if it could be disabled, because saying "no" to such things is usually made to be intentionally miserable until user accidentally clicks "yes", or a software update accidentally turns everything back on.
> I got hooked on growing food for my family and me. It is really magical if you think of how much you spare our planet with growing your own food: You need to get a job to make money so that you can spend that money on buying food which was produced and delivered close to you by large, complex and very inefficient industries. This system spends incredible amounts of resources (time, energy, labor) which you can save by simply growing your own food.

I mean, I know what the author is getting at here, but that's...really not true at all as written. Comparative advantage is a thing. And also, large agribusiness and monocropping and industrial farms exist because they are stupidly efficient. They have a lot of drawbacks and problems, but efficiency is never one of them; if anything they're too efficient. In the past we used far more land per person to grow food, and spent far more of incomes on food. That's still the norm in some countries.

If we're trying to minimise resource usage and maximise efficiency, it's obviously better to have people focus on app development, doctoring, food production, clothing production, etc., and trade, than everyone split their time between all of these. I'm going to spend a lot more time, energy, and labour growing my food than an industrial farm would, much like the workers there would spend more time trying to debug a malfunctioning cache invalidation scheme than I would.

Of course, all of that is irrelevant. It's a cool project and a cool idea; I wish them every success. It's just that the intro wildly misses the mark in terms of describing the advantage. People want to grow plants, it's a fun hobby, growing your own food is fun, this is great. Efficiency shouldn't be our only goal in life, it's totally fine to grow some potatoes, and I bet they're delicious.

...you're just not saving the planet. Which is fine!
Thanks, looking for a solution on the vendor end, not on the end user side.
Did Slack ever had a data breach for example?
It kind of reminds me of PCPartPicker, but for gardens.

You already have "build guides" with those lists (just let people vote and comment on them maybe?).

Now you need to add a "Garden Builder" tool that accounts for geographic region (biome?) and plant compatibility?
If the things it's breaking are old cruft that only lead to a worse experience.
Twitter building ‘Birdwatch’ to fight misinformation by adding context to tweets
Link to ruling : http://curia.europa.eu/juris/document/document.jsf;jsessioni...

And from what I read the summary is wrong.

This ruling applies to all EU+UK (including post Brexit for now) states but was requested by UK/France/Belgium lawyers initially.

This ruling also seems to mandate that all EU+UK states cannot keep metadata indefinitely/permanently unless it's highly targeted (as in "individually targeted"), within a judicial framework and only for specific high security issues.

So it doesn't forbid mass surveillance per se but only seems to mandate that they can't keep the data forever unless strictly necessary.

Some could even interpret this ruling as permission to do mass surveillance as long as they don't keep the data for too long (a year? 10 years? it's unclear)
"Like all weaponized drones, a human operator must make the decision to shoot or not shoot."

Stated like one of the Laws of Robotics.
You’re putting words in my mouth. I just made a general statement about what it takes to get a partnership with a med-large tech company where there are strong cultural biases toward build over buy.

I have no idea if Sonos’ products are trivial or not. If they’re just off-the-shelf-ish audio equipment and good software then maybe.

Bose definitely not because their R&D work is legendary. Hence why Apple bought them.

The movie studio thing isn’t as doom as you’re thinking. It’s just Apple writing checks and getting put their name on stuff. This isn’t Apple disrupting Hollywood or anything, they just need exclusive content for Apple TV+.
serious q: encryption challenges the authority of government and the power of its leaders. Why would they willingly give up this power, when they can manufacture consent[1] via a perpetual state of war[2] ?

[1] https://www.google.com/search?q=manufacturing+consent
[2] https://www.google.com/search?q=perpetual+war
It took me about six months to feel really comfortable after working on toy projects and libraries a few hours a week. I published a library that is still being used by others after only 2-3 months and looking at it now I still think it was done relatively well, though it was basically a simple wrapper. I began by reading the entire "Learn You a Haskell" book which is probably the best introductory book I've read about any programming topic, and then most of Brian O'Sullivan's "Real World Haskell". There are better sources than the latter now, which was outdated at the time (~2014). Of course, focused full time or at least half time it would not take nearly this long for a team to come up to speed as long as they have at least one really strong member from the start. I'd say people could become productive in a couple of weeks in those circumstances; which is still much longer than pretty much any other language that is actually used in industry.
There's definitely a steeper learning curve to modal editor, that's for sure. And vim is pretty bad at communicating what state it's on, especially with the default config.

But my point is not so much about modality (I used emacs for a very long time before switching to vim) it's more that the parent seems to really like this kakoune editor, so why wouldn't he just use it full time instead of switching constantly?
Hey! Just fixed it and it's deploying the new version :) Thank you for your feedback, I really appreciate it!
ISO 27001 specifically mentions it
QAnon Supporters Aren’t Quite Who You Think They Are
The URL parameters are:

{"bookTitle": "The Call of Cthulhu", "displayTitle": "The Call of Cthulhu", "language": "English", "bookId": "5f468ca35e91c10be0883a57"}

Why do you need all the others besides "bookId"?

Changing "bookTitle" and "language" don't seem to do anything. Changing "displayTitle" does change the displayed title, but why can't you get that using the bookId?
Why do they specify that two of them split only half of the prize, versus just that all three share it? Does anyone care _how much_ of a Nobel prize you have?
Does any know how much energy a GPT-3 question like this consumes? It's awfully long, and probably highly paralleled
Yeah, but to the casual user like me, that's going to help with load times... go from 2 seconds to 1 second.
I like to grab RAM towards the end of the generation, so far it has been the best bang for my buck (for my personal computer). From the production estimates, looks like I'll jump into DDR5 at the end of 2023 or most likely 2024