skysight-inc/HackerNews huggingface dataset:
I am certain not a SAT specialist and it is a very frustrating technology. There is little literature and it is very hard to figure out what it means in concrete cases.

But this article is way above all that I read on this subject. Many thanks!

Just an example: "Modeling has lots of interesting constraints, one of which I often hear and I am confused by: that it should minimize the number of variables. Given the above, that SAT solvers can be seen at as partial evaluation engines that thrive on the fact that they can partially evaluate and partially backtrack"
Bill Clinton acquittal: Echoes of a sex scandal 20 years on
Your submission link 404s. I assume this is the correct repository? https://github.com/lusocoding/dotnet-newshit-template
So you're arguing that a set can exist even if its elements don't? Because we can surely give a unique description of the set of real numbers (the unique complete ordered field up to iso) and this description forces it to be uncountable
This is kind of what I was thinking - or even that the plane is not just too early, but too small - there was talk of building a stretched A380.
No that is not what I am saying. I am for the ban of this app since they already block less offensive things like porn.

It would be double standard to allow a muslim app to control real human beings but block porn.
Since this seems such a roundabout way of calling eval, does anyone actually use this?
<link rel> is for a single resource, .well-known is for a whole site.
> A LOT of people want MySQL over Postgres because of ignorance

or you know, for multi master cluster pretty much out of the box. Gallera DB.
It gives you great things, like being able to visit places with different climate and nature and culture.
Indeed, only so much can be done to improve v8 in this regard.

Tracing and other dynamic analysis can do a lot to improve the quality of generated code -- it's effectively a realtime PGO. On the other hand, there's a substantial activation energy in the form of the initial lex, parse, AST generation/manipulation, interpretation and dynamic analysis, re-optimization, etc. that can all be handled ahead of time, albeit with less information to optimize.
The `Link` header exists which is the moral equivalent of the `link` element in HTML. That way you can express link relations on resources whose representations do not have hyperlinks. Example:

HTTP/1.1 200 OK
Content-Length: 153054
Content-Type: image/webp
Link: <http://example.com/mediterranian-2019/olives.webp>;
rel="next"; title="next image in album"

See https://tools.ietf.org/html/rfc8288
Interesting assertion, do you have any facts to back it up ?
How to raise money before launch
It doesn't require Google. It's a service offered by Google that requires the caller to identify themselves. It could be done by anyone, but probably easiest if you have a VoIP line handling the initial call and then redirecting the incoming call to your primary number if the caller is verified (like Google voice). I've only seen this on Google Voice, but I'm sure it's a common enough solution.
Most of my rocket-science knowledge is from Kerbal Space Program, which I also recommend to anyone with a passing interest in space :)
That’s so stupid (this video). What’s the point of this? A cringeworthy individual who thinks he’s so right about how the questions of an application are so wrong. Really?
It's a single article claiming a magical preventative for something that plagues a lot of people. As a rule of thumb, you're safe if you ignore those as the hogwash they usually are.
I recently stumbled upon these slides for an introductory course on C, memory management and computer architecture from a programmers point of view (https://cs.nyu.edu/courses/spring17/CSCI-UA.0201-001/resourc...)
Dark money is pushing for a no-deal Brexit. Who is behind it?
It was common to allow a three wheeler on a motorcycle licence. The UK used to have a weight and engine limit and gave us Del Boy's Reliant Regal[1] and the Robin. One or two places, possibly including the US, required a motorcycle licence meaning you couldn't use a three wheeler on a car licence.

More a relic of licencing history stemming all the way back to Morgan 3 wheelers and similar from the 20s and 30s[2]. Morgan actually recently re-introduced the classic 3 wheeler. You still find licence, tax, and insurance advantages to 3 wheelers despite them bearing little resemblance to the vehicles that led to the category.

That said, the Smart car was a huge hit in Europe for size, parking and convenience so I don't see why a 3 wheeler couldn't still work.

[1] https://en.wikipedia.org/wiki/File:Trotters.jpg

[2] https://en.wikipedia.org/wiki/Morgan_3-Wheeler
Where are you getting that they ceased completely? This is a large company who has a vetted history of absolutely zero ethical accountability. The reasonable thought is that they learned to hide it better, not that they stopped doing it at all.
Isn't the captcha data used specifically to train that AI? That's what they did with the old one at least where it was used to train machines to read.
>The limitation of message history isn't so bad; it's at least better than IRC.

Many IRC channels have logs that go back decades.
Yes. And also potential terrorists. So they'll have to investigate the stupid people who happen to access such propaganda. And so they'll be convicted for wasting the taxpayer's money.

Hence why we dislike this law.
Apple Restores Google and Facebook Certificates
Not trolling but a real Questions.

Under what scenario would Memcached be better than Redis in 2019 if you are starting new?
InfoFlo Pay offers cloud-based invoice management system to create and manage highly customizable invoices. Click here to find invoicing software for small business!!
https://infoflopay.com/
If you’re in the US: do you want legislation to happen federally, or at the state level?

It all depends on the scope of the legislation. I have a small business that sells food EU-wide, and that’s only possible because the law is aligned. It’s enough work to get certified as organic once. To do it 18 times over would be prohibitive. Same with packaging and labeling, T&Cs, payment systems, etc.

Other whole areas have stayed national, such as criminal law or most social issues (gay marriage, abortion, unemployment benefits, defense, pensions).

I can’t see a discernible difference in how much of the legislation I like that correlates with where they originate. Or, if anything, it seems like EU stuff tends to be more pro-consumers. C. f. free roaming, passengers’ rights in air travel, car emission standards.

The EU is actually somewhat more responsive if you want to talk them, if only they constantly feel threatened in their very existence.
InfoFlo Pay offers cloud-based <a href="https://infoflopay.com/">invoice management system</a> to create and manage highly customizable invoices. Click here to find invoicing software for small business!!
You're right, I stopped watching for about 20 seconds in, it was cringe-inducing.
... and if you want to get even more out of tiddlywiki - get the iOS app QUINE which creates a native format on the small screen : > best note taker ever !

Cheers
John Newell
Sounds like you're inciting the parent poster to commit a crime.
As pointed out by some of you, this looks more like permutation of sequences. Also, since a symmetric cipher is used, I'm surprised the author didn't mention Black and Rogaway [1].

Their algorithm is a permutation (int -> int) that works on a domain of any size up to a limit. A typical application for this is encrypting credit card numbers so that the ciphertext still looks like a credit card number (non-trivial because the size of domain isn't a power of two) or efficiently shuffling sequences, randomly in appearance but repeatably if you know the seed.

For instance, this is used by Masscan to randomize the order in which IP addresses and ports are scanned [2]. I've built a Python package that could help you use this algorithm [3] (mostly for fun, but maybe that's useful, let me know :)).

[1]: https://en.wikipedia.org/wiki/Format-preserving_encryption#T...
[2]: https://github.com/robertdavidgraham/masscan/blob/6c15edc280...
[3]: https://github.com/bbc2/shuffled
Rick Dalzell
This book can help with getting into the right mindset: https://www.amazon.com/Joe-Celkos-Thinking-Sets-Management/d...
Robots can't own property, as they are not recognized as a person.

You may sell to someone represented by a robot, but you're not selling to the robot.

When using a vending machine, your making a trade with the vending machine company, not the machine itself.
ANA operates the 777 on those routes, hell I've even seen it flown on Tokyo-Hiroshima and it was full. A case could certainly be made for the A380 on Tokyo-Osaka.
Yeah, it's called private development. Just look at Brightline. Or privatized railroads in Japan. Most of the profit comes from owning real estate (usually the railway stations) redeveloped into business and shopping centers, which thrive because of easy access to transportation. This real estate pays for itself, subsidizing the train operations which might be unprofitable by themselves.
TablePlus – Native GUI tool for relational databases (2018)
Maybe stuck-in-the-mud naysayers. Threads make it possible to track multiple conversations in the same channel in a sane way.

Anyone who has used IRC when there are two simultaneous but separate conversations happening in the same channel will know how shit it is.
Ah, I understand now. As some anecdata: here in Singapore (a country I think is renowned for it's multiculturalism, but correct me if I'm wrong), practically every important form, from opening a bank account to renting a condo to filing taxes with the government, requires me to select my race from a list of "Chinese", "Malay", "Indian" or "Other". In Thailand, it's normal for people to specify their race and religion on their resume.
This is super cool! By any chance have you seen Dave Ackley's Movable Feast Machine and related projects? He's working on some similar ideas – cellular automata with different classes of cell that pass local state around to build large-scale systems.

Here's "demon horde sort", which is a kind of stochastic self-healing bubble-sorting automaton: https://www.youtube.com/watch?v=lbgzXndaNKk
How does Cilium compare to HA-Proxy or Traefik? Are they operating in the same realm or is that on another layer?
Sigh. We changed this so long ago yet people repeat this over and over again. Do you use the Tor Browser? Please show me a site on Cloudflare which uses CAPTCHA on Tor.
I would have disguised as a robot and sent them a picture of me.

Ironically sending a robot picture is the best proof that you're not one, since robots don't have a sense of humour (yet).

Wait; lightbulb moment; someone has to run a NN against a dad joke DB and learn AI to crack some (like the generated face stuff).

Well this is the internets and all, so I suppose it's been done before but no one would admit to owning such a big enough dad joke DB...
Stopped to watch one take off from Heathrow yesterday.

They're iconic but then so was the Concorde - being iconic is not a substitute for being commercially viable.
> the main app isn’t web based.

Source? I heard this from the developers directly.

> For the same reason that monospaced fonts are the correct choice for code: so text can line up.

This isn't a requirement for code. Coding in variable width fonts actually works fine.
>Classical measure theory lives in a model divorced from physical reality.

Everything in mathematics is divorced from reality. Unbounded integers are divorced from reality. (Once you move beyond naive realism, bounded integers are divorced from reality, but that's a deeper philosophical debate.) The only question is whether these models are more or less effective for their various theoretical and applied purposes.

> There are better approaches to measure theory which live in different "foundations". For example, you can build measure and probability theory based on the locale of valuations on a locale instead of a sigma-algebra on a topological space.

Better by what definition? According to the practical needs of students, pure and applied mathematicians, etc? I've studied some topos theory and know a little bit about locales from the Topology Via Logic book, but it's hard for me to see that as anything more than a fun curiosity when considering the practical needs of mathematics as a whole. In my mind that kind of thing is much closer to navel-gazing than something like measure theory.

> It is really not the most straightforward approach.

The onus is on critics to do better. Dieudonne/Bourbaki made a valiant and elegant attempt even if they intentionally snubbed the needs of probability theory. And "better" will obviously be judged by the broader community.
I hate it because I always have to solve lots of storefront or traffic sign images as I have disabled third party cookies because I do not want to be tracked by Google all over the web.
I sit corrected! Though it’s a tiny amount.
>Nationalism is the problem behind that, not the solution for it

I dont think nationalism plays into this. If we didnt have a supra national body with that kind of power we wouldnt have article 13. Quite a few of the regulations where proposed on national levels first, like the link tax in Germany, and rejected there. It was similar with providers being forced to collect your browsing history. The constitutional court ruled it illegal in Germany and it was then proposed via the EU and enacted there.

I see absolutely no reason to enforce any regulation that is not aimed at enabling a united market across the member states. The EU is an economic union not a United States of Europe.
the VR and AR technologies were reserved for the scientists, health practitioners, and military commands. However, the commercialization of these revolutionary innovations proved a remarkable step as users and developers warmly welcomed it.
You can also read this article Transforming Industries with Augmented and Virtual Reality Technologies: https://mobinspire.com/blogs/transformation-of-industries-wi...
"Facebook app has a big enough surface that it makes sense to have different rendering strategies for different use cases."

That's an odd statement. Playing mix-n-match with rendering strategies without a very clear UX justification for doing it is an invitation for designers and mediocre product people to indulge themselves at the expense of the overall UX.
A large part of his article seems concerned with the deficiencies and the lack of rigor in first year calculus textbooks. But I think, pedagogically, isn't it appropriate to introduce a subject intuitively and hand-wavingly, before proceeding to a more rigorous treatment? There's a reason students learn calculus before analysis.
I recently moved under the Heathrow flight path (maybe 25km away), so I'm delighted to hear this news. Hopefully the 747 is heading the same way.
Extracting Multiple Bits per Request from Full-Blind SQL Injection
because, like most people on here, you talk about socialism without knowing the first thing about it, like an idealogue.

If you're the product of the US education system then I can't really blame you. The the meanings of well-established political terms are completely warped into something else over there.
Well, the European rail networks are pretty dense and interconnect dense regions comparable to the US east coast at least from Boston to Virginia and west into Pennsylvania. Somehow they also work in less densely populated regions like France and Spain, so extend the comparison westward to Chicago and south down to Florida and Texas.
Shin-Yokohama, Shin-Osaka, Shin-Hakodate are the typical examples. Going from Tokyo to Yokohama center is usually faster on a conventional train.
> The biggest problems I've had in projects has always been of techical nature

In my 15 years in web software development, my experience has been exactly the opposite. In fact, all the technical problems came from people problems.

"Empathy" may be too narrow or too loaded a word, but I agree with the idea here.

> people failing to understand problems of techical nature

You may be illustrating the problem yourself here, if you'll allow me to be a bit presumptuous.

It is the technologist's job to prevent failures of understanding. Believing that everyone else thinks/feels exactly the way you do is often how misunderstandings happen.
The maps look surprisingly like Doom levels :)
Well yes obviously they had printed out an online form. But they made her fill it in. Thats the funny bit. And yes its clearly to do with employees not quite knowing what to do with the paper version and so just shrugging and say yep you'd better fill it in anyway. Thats all pretty obvious. Its still interesting though, as a little slice of corporate anthropology.
> It's no wonder that when everyone's horizons end at their national borders the supra-national body will operate under too little scrutiny.

This is not necessarily true. The early United States had a relatively weak Federal Government precisely because States had quite a bit of scrutiny. It's only after the past 100 years that the U.S. Federal government's power has increased substantially.

The point I'm trying to make here is that a true union among states is not easy, but it does not necessarily lead to undue power over the long term. We'll all probably not live long enough to see how it plays out in the EU, but there is precedent for this type of coordination throughout history.
Has it been a good experience for you? What are you using?

My point was just that even if something is provided to the customer for free, doesn't mean it's easy to produce. That causes a lot of the issues my non-tech friends have with understanding the scope of work. Just because social media is free and easy to set up as a customer doesn't mean developing a social media is easy at all.
Yes, I misused a term of art, thank you for the correction. I meant only to distinguish modern engines that rely on runtime profiling, from the wholly static approach in this post.
Extremely evil? For links with text summarization algorithms that extract a sentence or two?

As I said in another post, as if late 2016 (the latest article I could find), no analyst could determine if YouTube ever made a profit, and there's some suspicion it still is losing money because Google won't break out its earnings in quarterly reports.

And YouTube one could early at least offers a system that lets content creators takedown content, or monetize it.

In light of this, the Chapter 13 stuff is vast overkill, and quite obviously, regulatory capture.
Cool! - I'm thinking there must be some fun way to use what people write, like use the most listened to text as presets when selecting different people.
So, like DOS 3.3 to 5 to 6.2, and Windows 3 to 3.1, to 95 to 98 to 98SE, to ME, to XP, to 7, to 8 to 8.1, to 10?

I think I was using floppies until Win 98?
This is well explored space in more tradtional storage land. Look in to cumulative distribution functions. This is going to show you your workload distribution and effective “working set” to optimize for in a time period. This will get you to a place where youre optimizing total cost vs performance as a function.

Youll also want to be cognizant of convex “shoulders” in the distribution that will trip up naive optimization algorithms. I do t have the link offhand, but search for hill climbing in relation to CDFs. Some related work might be in the relatively unexplored “cache insertion” problem area. Check out TinyLFU as an example of knowing what to cache being more beneficial than what to evict.

For more advanced techniques look in to some of the published work from places like Coho Data. They had a great paper back at usenix 2015ish around optimizing placement in dynamic workloads across different storage media.

And lastly experimentation is great to prove a hypotheis, but not the most effective discovery. Youll want to get representative workload traces and use those to replay/simulate against different constraints. Check out Fio and its IO trace capabilities for an example.
Humour is fine here so long as it makes the audience think. Which the comment did.

If mainstream systems suggest that a human is acting like a robot, then what is a robot and what is human? That's pretty profound.

It seems that we're nearing the point that anyone who thinks and acts rationally and contrary to consumptive norms is indistinguishable on a coarse scale from a logical machine.
> Well, when an EU directive agrees with you and overrules your national elites, of course you are all for it; and when it's the opposite, it's "them shady eurocrats"...

Some people just want these important decisions done at the national level, hence Brexit.
> More importantly, tying Bakersfield, Merced and Fresno into the Bay Area and LA regional economies would be great for all three.

One the one hand, that's true. On the other hand, the more stops you add to your high-speed train, the less high-speed it becomes. One of the great things about the Paris-Lyon TGV mentioned in the article is that it was very purposefully built to bypass all other settlements. Slowing down, stopping, letting passengers disembark and board, and starting up again would really eat into the time budget.
Having worked with three large JSON http microservice based projects in the past, I abhor the day they got popular. Relative productivity has definitely gone down due to the project overheads caused by them.

Not saying microservices don't work, they are great for specific use cases, but 9/10 people just want to microservice everything just to say they use microservices.

> If you're USPS and you're providing an address and ZIP code resolver

Not sure I see your point with this example - isn't a resolver like this just a fixed database of entries?
I really don't understand the backlash. It's a simple, 3-question application designed (presumably) to find ambitious people that, for whatever reason, don't have access to the YC network. It's not a treatise on why "family isn't important" or "why you should throw away everything to chase the Silicon Valley dream".

If your response to these questions is to make an angry 4-minute video ranting about how these questions indicate a "lust for Mammon", perhaps consider if you are the intended audience.

I'm sorry, but I have zero association with Silicon Valley or Y Combinator and I find this video completely absurd.
Both the A380 and 787 are able to maintain higher humidity in the cabin, which helps a lot during long flights. You don't get as dehydrated and you're more likely to be able to get some decent sleep.
No. I never said anything about being against a walled garden (I love my iPhone).
How is that a downside? I use slack for personal and business and there is a pretty clear separation based on community.
Not if Google has collected enough other identifying information about you to determine whether or not you're a robot.

But I'm kinda hoping that the reason I keep having to identify cars and store fronts is that my refusal of third-party cookies is causing them to have no idea who I am. But that might be the optimistic view.

In any case, I wouldn't mind if sites stopped using recaptcha.
What an unfortunate attitude. You chose to live there and that noise got you a bigger house, you’ve sold your right to complain.

The A380 is not loud on take off - are you sure you’ve got the right plane?
One thing about the "gifted program" I may have failed to mention, is that it's a free space with lots of different activities and variety of teachers to support them (and not only in STEM). That is what I would like to see replicated without pre-filtering. It's the opposite of "jam everybody together" (which I agree does not work). Aptitude is not craved in stone, aptitude can be shifted (for some, for the generally healthy kids) given the right ecosystem.

Tangent - if you haven't read Holt's "how children fail", it's a must-read (for teachers and parents alike).