skysight-inc/HackerNews huggingface dataset:
You might like a Satisfiability Modulo Theories (SMT) solver such as Z3.

https://github.com/Z3Prover/z3

It has bindings for other languages and is able to make some rather sophisticated arithmetical and logical deductions in an often pretty efficient way. I've used it successfully for parts of puzzle competitions and CTFs (and I'm really only beginning to scratch the surface of what it can do).

You can read more about the options in that area at

https://en.wikipedia.org/wiki/Satisfiability_modulo_theories

which also links to the related tools in

https://en.wikipedia.org/wiki/Answer_set_programming

https://en.wikipedia.org/wiki/Constraint_programming

These systems can feel pretty magical and are getting more powerful all the time. (Of course there are cases where there is a better algorithm that you could find, perhaps a much more efficient one, and using these solvers will be asymptotically or worst-case slower than it had to be given more human insight.)

Some of these could be overkill for your application, and Z3 doesn't have a Javascript binding, so I guess it's not as helpful for web forms.
About half of Americans OK with DNA companies sharing data with law enforcement
It indicates a mocking, over-the-top tone to indicate the high level of contempt I have for my originally-stated paraphrase (and the people who have caused software dev decisionmaking to be that way). So yes, I think it does add to the discussion.
> do one thing when field a is null and field b is not

And that would have been a good example! contrary to the one in the docs.

Pattern matching for checking fields of things of the same type is a good use. Pattern matching when checking your parameters type? bad.

> The nice thing about it is the compiler can assert that your match is exhaustive

If you pass a new Shape object for which you forgot to implement a new case in the pattern matcher, you just get the default case, which is wrong, but the compiler can't know that.
Now have the function argument ask for something that implements IArea interface and if you don't implement getArea() in your new Shape class, the compiler will know.
In large measure, you actually can't, since there's a good chance those repos are behind HTTPS-only these days, and those versions of Git will be linked to ancient versions of OpenSSL that won't even talk to modern TLS implementations, the two being unable to agree on a common ciphersuite.

Beyond about 10 years, you usually end up freezing old binaries in place along with old data in order to continue manipulating it anyway.
I’m not going to read this 229-page doctoral dissertation book for two reasons.

First, it is too long to be practical. Please don’t push the doctoral things on me, we all know that 99.(9)% of what we do in js is not a rocket science. If you want me to feel stupid before someone more educated, fine, I’m okay with that. But even if that’s true, people love to experiment and find their best ways to do something. Also it’s not me who implemented coroutines in Lua this way, it’s PUC Rio guys who made it looking at Scheme. I trust them better than a committee that required 30(?) years to make something bearable without transpilation from the future and hundreds of polyfills.

Second, I’ve asked this question before, and it was browser guys who said that they are not willing to do that, because the legacy is real. And webassembly will not support that neither, because it works in a browser and should obey its rules. Whatever that dissertation concluded, it is committee+browser decision to strip all possible source languages from having such coroutines when targeted at webassembly. It is simply not fair, freedom restricting and has nothing to do with someones educated opinion.
Oh, yeah I'm OK with Firefox including some blobs from the platform provider.
>Mobile browsers don't have extensions, except for FF, which almost no-one uses.

I use FF on mobile and love it.

I find mobile web pages with ads unbearable. I intentionally disable Chrome on my Android phone as some apps disregard my default browser preference (Google news).

I generally prefer web pages (on mobile) rather than apps so I can turn off ads. I don't really see the attraction of apps, especially when they have ads as well.

Yeah.. maybe I'm an outlier. :/
There are lots of things that appear to be true and aren't, and there is a long way between observing something that appears to be true and proving it mathematically.

Your comment is misleading because it implies we should all have been assuming this based on the evidence you state -- and we certainly should not have.
It was edited since initial publication.

I don't think the new text changes anything, though. a) If that new text tries to paint the picture that this isn't sponsored content or might have bias, then why did they even mention that disclaimer? b) Which exact legal entity or subsidiary was "officially" sponsoring the trip isn't really that relevant when they are so tightly connected in brand and organizationally.

They could have simply started the article with: "This year Bosch invited us to CES fully covering our attendance cost."

or alternatively later on "while Bosch sponsored our trip we still had a really hard time getting a demo for ... because of ..." (e.g. too many people)
I missed the last bit. History is so full of surprise like the future.
Retina AI | Santa Monica, CA | Full-time Onsite | https://retina.ai/careers

At Retina, we use data science and machine learning to deliver a customer playbook for consumer brands.
We do this by predicting individual-level customer lifetime value and using that to empower business leaders
to drive consumer engagement, acquisition, and growth.

We are venture-backed, and looking for A players. For more on what we do, see our blog https://retina.ai/blog/

- Forward Deployed Data Scientist https://retina.ai/positions/forward-deployed-data-scientist-...

- Client Partner https://retina.ai/positions/client-partner/
First, construction and automotve have been around for over a century, and they definitely suffered through growing pains in their discipline - there are boondoggles galore in the engineering and infrastructure space, and for the same reasons as bad software - a lack of clear vision and product fit.

And of course secondly they are subject to a much more rigid set of constraints to define success - primarily the hard laws of physics, chemistry, and human physiology.

But the key difference hands down is the raison d'etre - the demand for cars, buildings, bridges, roads, airplanes is self-evident.

Almost no software rises to such an elemental need in our world. The ones that do (Linux, avionics firmware, etc) don't run on Agile.

The rest: who really (really) cares?
This is much like the current BAT model on Brave. Although it is also as based as a way for users to gain revenue. Problem is what would entice a large enough population to donate? Aside from charitable causes and tier systems.
> A total of 625 arrests were made for alleged section 127 offences in 2010 – a number which had ballooned to 857 by 2015.

There's a very low bar to being arrested in England. The arrest rate isn't important, it's the conviction rate that you need to be presenting. Also, the law is developing (because that's how a system with case law works) so you need to be showing what's happening now, not ten years ago.

That last link isn't a great example. She engaged in a long running campaign of harassment, using two twitter accounts to harass and defame someone, including leaking financial and medical information. There's a reason the Daily Mail isn't a reliable source for wikipedia. These conversations always seem to place the right of some cunt to behave like an utter cunt above the rights of all the people who have to interact with that person to be protected from protracted campaigns of harassment. The UK and EU sees protecting the rights of others, protecting them from harassment and defamation, to be a legitimate aim.

Here's the Crown Prosecution Service page for communications offences committed on social media: https://www.cps.gov.uk/legal-guidance/social-media-guideline...
> I've never met a non technical person who prefers Firefox.

I know plenty of non technical people here who like and use Firefox as their main/only browser by choice. The Firefox UI is fine.

Your concerns about compatibility are valid though. I've not run into such issues myself and people around me neither (except for Jitsi Meet, which works on Firefox but not optimally. They are going to fix this though.) but I know they exist.
Unless they're A) very large, and B) selling commodities, a company that works with one party will not hired by the other party. The two parties have two completely different sets of infrastructure.
As long as web developers continue to create (app-)sites that only work in the latest versions of Chrome(and Chromium-ish) browsers, giving users little effective choice over what browsers they can use, this sort of abusive behaviour will continue. The sort of "feature-racing" that Google engages in is ultimately harmful for the open web. Mozilla struggles to keep up, Opera surrendered a while ago, and more recently, Microsoft seems to have already given up completely.

I feel like it's time we "hold the Web back" again. Leave behind the increasingly-walled-garden of "modern" appsites and their reliance on hostile browsers, and popularise simple HTML and CSS, with forms for interactivity, maybe even just a little JavaScript where absolutely necessary. Something that is usable with a browser like Dillo or Netsurf, or even one of the text-based ones. Making sites that are usable in more browsers than the top 2 (or 1) will weaken the amount of control that Google has, by allowing more browsers to appear and gain userbases.
Your first link literally say it's not a crime.

> please report non-crime hate incidents,
>The US skims some of the best students and programmers from around the world, but also people who are equivalent but cheaper, and also indentured.

Exactly. The latter needs to be shut off.
I concur, you'll either have the power working to make your computer/VR/network run - or not. And it's the people that have the control over that power delivery that are going to have the real power (as they always did). Who is going to restructure / rewire / reeducate Vladimir Putin (or the like), hmm ?
That argument held for many technologies in the past. e.g. to figure out your location, you had to be able to operate sextant. In the early days of the automobile you had to have considerable mechanical skills to keep one running. Cameras required special skills. And not very long ago, you needed quite a bit of skill to run a computer. Now almost everyone carries a computer in their pocket, which conveniently doubles as camera and sextant and more.

A server is also a mashup of functionality. I can’t see any reason why it cannot be made as easy as a smartphone sometime not too long from now. And making things easy and inexpensive enough can also create a market, even if there didn’t appear to be one.
No, it isn't. You can't be "in on" a properly constructed election system, because all relevant steps are open to the public for any interested party to watch. Which is exactly the problem with digital voting: They can not be transparent while also preserving secrecy of the ballot.
Well, CEOs may be inherited from non-optimal initial conditions of early ancestors and simply haven't been replaced by a better competitor yet. Or they have been and we don't understand that yet. Naturally occurring genomes encode for processes that result in all sorts of things that don't actually have to occur. The appendix, the frenulum, most of the DNA itself, as far as we can tell. Nature's full of random dead-ends that keep propagating because the system hasn't gotten over the barrier of the next local minimum yet.
Kind of like when your car splashes into a puddle and somehow some of the water drops make it onto your windshield.
VMs with JIT like the JVM are only ever really fast/competitive with C in small numerical micro-benchmarks where the code can be hyper-optimized.

Most code will be considerably slower due to a lot of factors.

Java in particular is a very pointer-heavy language, made up of pointers to pointers to pointers everywhere, which is really bad for our modern systems that often are much more memory latency than CPU constrained.

A factor of 2-4x to languages like C++ or Rust for most code seems plausible (and even low) unless the limiting factor is external, like network or file system IO.
Sure, but what thieves actually do is cut your cable/phone line, thus disabling most cloud surveillance systems.
Physicists determine the optimal soap recipe for blowing gigantic bubbles
They do help library writers, and therefore turn large and complex programs into shorter programs.
C# is an ECMA spec. Albeit a spec that is largely driven by MS and often lags behind implementations of .Net framework/core.
Nah, guaranteed memory safety is actually one of Rust's main selling points
What makes something like AWS lambda complex? I feel lambda is one of the easiest and fastest way to get something out the door.
It is hard to follow how to start. Do you know? Seems reach the FPGA board but do you buy it say from digi-key then find ... I am lost.

Need those 1970s FYI things. There is newbie. We are all newbie.

But the idea of openness is great. Just not sure this particular one. Still they have a lot like VM, various social channel.

Just no door in.
> "Some Rioters lack a sense of appreciation" (in 59 reviews)

This phrasing immediately struck me as odd so I went looking for an actual review:

'Some Rioters lack a sense of appreciation. Some Rioters, particularly those who have never worked a "real job," do not seem to appreciate what Riot offers them.'

Smells like astroturfing.
Their App Store wasn’t for phones. It was for PC.
I don't have any actual knowledge of the effects of this in India.

However, I think that when a member of the general public makes sweeping statements like "the entire exercise didn't solve any problems" it's only flaunting prejudices. If you work at a job related to infrastructure, the details would be incredibly boring to the public, and certainly aren't shared. But you could see something was double or half the year before, and it would mean infinitely more than a million people parroting what everyone always says because they always think the same thing.
For most software development work a bootcamper is just as likely to be a solid team member as someone with a CS degree after a few years of good industry experience. They key issue isn't that they are bootcampers but that they are fresh bootcampers with no more senior people around to guide the project or mentor them. (similarly a fresh CS grad is fairly worthless in serious production work and will not improve much if they don't get the opportunity to work on serious projects with great sr devs and leadership invested in mentoring them)
I've been stuck working on a problem for the last two weeks, I know this by the lingering feeling of dread, and anyone can tell by the empty squares in my commit heat-map. How can metrics help me make progress, except to tell me to try something new: Read papers, study similar solutions, reach out to other that can help. Nothings has worked so far, but it does not deter me.

I did learn a curious fact about the productivity of the most prolific writers, musicians, comedians and other creative professions. Count the number of words written, notes composed and new jokes, then divide those by a reasonable number of working hours, let's say 5 days a week with 8 hours of work over the productive period in their life.

Unfortunately, I can't find the exact numbers anymore, but it was staggeringly low, something in the vein of 1 word written per hour, 1 note composed per day, and one new joke per week.

Sure there are things to be learned from data, just not always what fits the agenda of the managerial class.
Ever met a normal person... They have no idea what an expert is like. For them, easily ranked = source of expertise.
One of the issues was that the app needed to be installed outside of the App Store. It seems that by being an app and not a website another hurdle was introduced.
And if you know what you're doing and have a rep at Synnex or Ingram thats willing to play along, you can really get things cranking.

I sold over 2 million dollars worth of Intel SSDs to Amazon customers in the span of a week once. Intel was running an extremely nebulously defined promo for 'new' customers where resellers could get 90% off disty price on enterprise SSD.

I uploaded all the eligibles SKUs to amazon at like 15% off list, wrote up some really gross python scripts to manage orders between amazon and synnex and to submit the deal registrations, and then hit my 6 months sales quota in an afternoon.

The double bonus was 6 months later when I then registered for all the backend spiffs. The backend rebate on some of this stuff sometimes exceeded 10% of list price. To date it's the only deal I've ever put together that had more than 100% gross margin.
let's have memory sockets behind the cpu motherboard area !
Allocator underneath is keeping track of freed memory, so next allocation has high chance of being squeezed into memory region that has been used before. It's obviously not as good as say GC that relocates after sweep, but at least it doesn't leave gaping holes.
Maybe I've missed this, but why do they need a particularly large LRU cache? Surely this isn't all one process, so presumably they could reduce spikes by splitting the same load across yet more processes?
If there's an example of getting great game performance with a GC language, Unity isn't it. Lots of Unity games get stuttery, and even when they don't, they seem to use a lot of RAM relative to game complexity. Kerbal Space Program even mentioned in their release notes at one point something about a new garbage collector helping with frame rate stuttering.

I started up KSP just now, and it was at 5.57GB before I even got to the main menu. To be fair, I hadn't launched it recently, so it was installing its updates or whatever. Ok, I launched it again, and at the main menu it's sitting on 5.46GB. (This is on a Mac.) At Mission Control, I'm not even playing the game yet, and the process is using 6.3GB.

I think a better takeaway is that you can get away with GC even in games now, because it sucks and is inefficient but it's ... good enough. We're all conditioned to put up with inefficient software everywhere, so it doesn't even hurt that much anymore when it totally sucks.
fresh bootcampers with no sr devs to guide things. If you have no real world expertise then it is that easy to screw things up, apparently.
"Tracking purposes" is such a weasel word, when we're really talking about device management in an enterprise setting, and this code only gets activated if the root/administrator user has installed a token file on your computer.
> One good case for cloud-linked would be when someone breaks in and steals the DVR.

That's a pretty uncommon edge case considering that it's usually easier to disable the camera to begin with, e.g. with a paintball gun, than to track down and remove a DVR which could be in an unknown and arbitrarily well-secured location within the building -- or even outside of it. Just because the video storage isn't in the cloud doesn't mean it can't still be offsite.
I hoard data like the rest of us....

And more seriously, I have had recently had to refer to a contract from 2002, which I didn’t properly file a paper copy of, but did have in email; and things from 2007 and 2009 several times (the more recent, the more often).

I have had no use for emails older than 20 years (except nostalgic value) but there is no logical cutoff.

For the same reason I keep a complete backup of my 5TB disk, rather than only the 250GB I know for sure that I’ll need - deciding what to keep is actually more expensive than keeping it all.
The Chrome whitepaper is written in a way to make you believe there is only 8000 possibilities.

But read carefully what they say; they say there is only 8000 possibilities if the crash reporting functionality is disabled (not by default).

Otherwise the marker is a huge differentiator (I haven't seen any duplicates personally)
Will the government move to rule adblocking illegal?

In other words, make obligatory "force-feeding" of content? As in, people won't be allowed to close their eyes or cover their ears? Good luck with that...

On a less serious note: "If you outlaw those who block ads, only outlaws will block ads."
All I’m saying is the optics are not good. This is the kind of code you could show a jury. A high schooler who took “intro to CS” could understand what it’s doing.

It’s literally a conditional attached to a list of strings comprised solely of google advertising domains and hosts that distribute scripts from those domains.

When you’re talking about anti-trust, it doesn’t look good. Will this be a nail in the coffin? Unlikely. Will it help Google with its legal trouble? Definitely not.
Because they think the stock will tank after IPO and before their shares vest?
facebook has taken to in-lining the ads to the feed so i assume making the ads part of the content without any visual/semantic differentiation that an adblocker can use.
You have a good point. Companies often use a stocks run up to issue new stock. Many have all the paperwork done so they are ready to issue the stock in no time once they decide to do it. Tesla needs a lot of capital to produce their cars. I bet we'll be hearing about a new stock issue relatively soon.
Of course form is very important. If your deadlifts are "extremely dangerous" and can potentially cause "life threatening injuries", then yes, take a good hard look at your form and work on improving it, staying away from heavy weights until you get there. But the idea that most people have form bad enough to seriously injure them isn't my experience at all. Deadlifts can be done safely, and having good form isn't some unattainable, Mt Olympus feat.

I'll leave these here as I think they're both relevant to your point, in different ways:

* https://www.youtube.com/watch?v=NgK6Y1j7ACA

* https://www.youtube.com/watch?v=ZhOQCwJvwlo
Yeah... after more news has come out it looks like this was quite buggy. Not to mention they had two months to build it.

https://www.nytimes.com/2020/02/04/us/politics/iowa-caucus-s...
> I have a feeling you haven't used SQL databases very often.

No, I've not. I just never liked the way it worked so I have to honest and open about my prejudice.

> This is exactly the kind of thing that [...] noSQL databases do poorly.

That's really not true. I've built web apps that do pretty much exactly what that voting apps does and I use CouchDB to do it because it was built specifically for this kind of thing, and it makes it very easy.

That's not the same as saying SQL won't work. Or even that it's a bad choice by design if it's what you're familiar with and good at using it.

How much time have you spent with CouchDB?

I do know that those coming from a long history of using SQL dbs often have a hard time using CouchDB. I had a hard time with SQL, so maybe it's a right brain/left brain kind of thing. Or maybe it's just not really wanting to learn a different way to do what you already know how to do with a different tool.

I chose to use a hand rolled flat file database early on (around 2000) as a backend for my web apps. When CouchDB hit v1.4 I switched to it because it worked very much the same as my db and offered a lot of advantages. It's gotten a lot better over the years since too.

So yeah, my view comes from a different perspective.
uBlock would not stop an ad that loaded as an untracked first party jpg file.

It's entirely possible to insert first party ads based on what might be interesting to someone reading that content without user tracking.

It's just less profitable.
the solution is to modernize and stop having ridiculously archaic caucuses