skysight-inc/HackerNews huggingface dataset:
Sure Datalog is a query language, but Prolog isn't.

I object to datalog being viewed as a subset of prolog, other than for historical reasons. It's just not useful as both languages differ significantly in philosophy, properties and implemenentation.

Datalog program equality is undecidable btw so while it's certainly more amenable to correctness proofs than prolog (which isn't at all with it's undecidability and implementation definedness everywhere), you'd still want more restricted logics for that.

Which isn't to say that's a bad thing, often times you want that power, and you don't need the correctness proof.

Fun fact, DLLite can tell you that the shin bone is a bone, and it can do so 10 billion times a second, and verifiably correctly so ;)

Edit:
Some systems that arguably implement a superset of Datalog, but for which their Datalog subset is not a subset of Prolog are
LogicBlox, Datomic, Datascript and TriQ-Lite.
Zero viable ideas? Renewable energy, electrification of transport, carbon capture via machine and/or natural (trees). These are all possible and doable if it were not for the political atmosphere around the problem.
Except prompt spam is a real issue too. Very quickly you can end up like Windows' UAC that basically trains people to blindly click "yes" on any dialog they see. Putting a permission prompt for every tiny little thing a browser can do isn't a good experience for the user, and most people will have no clue what "allow access to canvas/audio api" means.
Profiling Elementary Cellular Automaton Rule 30 for O(n^y) where y
There should be some review process for these .christmas articles. I get it - creating tons of articles quickly is hard, but the core message should not be incorrect.

I tried to look up a github reference on the page, so I could send a PR to fix the linked article, but it is not available.
The Third Wave of Internet Exceptionalism (2009)
Should we all go remote? Is 9 - 5 job an evil that makes us all burnt out? Well yes and no, I don't think so about all companies. Here are some things that I learned during 5 years of work on a 9-5 job, what I learned from it that I use in my freelance career.
30% of the Internet already uses IPv6.
NAT is obsolete and was never supposed to be used for security anyway...
That's like saying, oranges killed citrus fruits.
Every relationship needs to have trust,balanced equality,never have to hurt your love by any kind of cheating being micro or what's ever, so also needs to have openness and accountability.happy home is how we maintain the trust between us.A pattern of not hiding, being accountable and openly builds the trust.You deserve to know the truth, save yourself time and emotion wasted on a cheating partner,mine abandoned me on a sick bed for some reasons that baffled my understanding after i hacked her phone. I found out she has been sleeping with my best friend. To confirm for sure your partner is cheating,I ll suggest you employ the services of a certified ethical hacker I know. He offers a wide range of discreet hacks,You would be surprised how much information you can uncover from a spouse phone.Contact at (collinshackworld @ g mail . com)OR text +1 (4 0 9) 9 9 9 3 4 7 7, he is a reliable hacker,tell him i referred you, i know he will help you.
Title is _extremely_ misleading. I'm sick of this needless clickbait backlash against literally anything.
Asimov had a great factual article based on that point: "The Planet that Wasn't"

http://geobeck.tripod.com/frontier/planet.htm

[A favourite of mine as it was the first 'adult' science article I read when I was a very young kid].
I would see it more as to dividing your wiring into segments with breakers in between so that one rogue device doesn't bring down the whole network.

Seems a good thing, to me at least.
The Day by day Chop: Qualifying specials, absolutely free company p
But like they said, it comes with a ton of caveats. DynamoDB is one of the most confusing technologies I have ever used.
I'm wholeheartedly supporting the archival effort but was wondering exactly the same thing about the person communicating with Verizone. Her argumentation comes off as quite immature, and she's not making much sense with all that rambling.

Saying stuff such as this sounds pretentious and will unfortunately only get laughed at by anyone in the corporate world: "So the best thing Verizon could do, since they are just going to throw us all into the trash anyway, as we aren’t important to them, is let us get our archives any way we can.

The terms of service really should not apply to people who have been told, we’re gonna delete you from existence. If it’s lawful for us to get them from you, in broken buggy and virus ridden state, it’s just as lawful for us to get them ourselves."

As it is right now, she's just not doing any favors to the archivist community out there. Perhaps someone with proper communication skills and better nerves should take up that role? This is not a time to play a martyr and throw a fit while expecting Verizon to meet you half-way.
Pictures of fully grown silicon crystal ingots always impresses me:

- https://ars.els-cdn.com/content/image/3-s2.0-B97801280358180...

That narrow section at the top is where the crystal started growing from, and holds the entire ingot during the process, while it's being pulled up from the molten silicon and crystallized as it cools down.
For example, NextJorunal is using it for React SSR [1]. There are other companies using GraalVM's JS engine for similar functionality.

The Dutch Police is using GraalVM's interop between Scala and R for their data science [2].

I'm sure there are other projects which explore the benefits of having a polyglot runtime, would love to hear about those efforts.

[1] https://nextjournal.com/kommen/react-server-side-rendering-w...
[2] https://vimeo.com/360837119
"DynamoDB uses synchronous replication across multiple data centers for high durability and availability"

This does not seem scalable for OLTP type load on some busy store. Again I think you'll be way better of money wise hosting your own database on real hardware either on prem or colocated
Centrifugal force is a fictional force it's due to centripetal acceleration

https://en.m.wikipedia.org/wiki/Fictitious_force
I like Architect serverless - https://arc.codes. A .arc file is way less boilerplate than a serverless.yaml and it outputs full CloudFormation. Also has awesome async middleware (heads up I wrote the awesome async middleware).
Interesting taking the answer to question 3 and then to contrast it with https://en.wikipedia.org/wiki/Fall;_or,_Dodge_in_Hell
"But we need to figure out the tooling and ecosystem story to build, verify and update container deployments securely."

Already done: Solaris zones. Available in the SmartOS distribution near you. Combine with OS packaging, imgadm and vmadm commands for maximum impact.
Social robotics with Bertram Malle – podcast episode
pseudointellectuallity: the post
Get 5 Steps Closer to a Better ERP System
Over 4 petabytes 8 years ago
Absolutely agree, I tried it out for a short personal project and was disappointed with the bad documentation and even worse libraries that I found. I'm assuming large companies have their own internal libraries/ORMs for this, and that's how it is intended to be used.

In terms of the actual technology itself, it's very interestingly built, and as the poster above me mentioned, with a ton of caveats to the promises it makes.
What are your options for cognitive enhancement?
We decided to keep the content in a private repo until every article is posted.

If you could share what you found incorrect, we are happy to update the article accordingly
Nice proof that serverless might be great for projects with a couple of endpoints.

In real life projects, you get a ton of YAML spaggetti boilerplate code and when you hit the endpoint limit on your deployment you will need to start splitting your code over multiple deployments. Compare this with other frameworks where you can actually program your URL router (Django, Rails & co) and it's definitely a step backward.

When you've past the PoC stage, DynamoDB is the first thing you want to replace with PostgreSQL because you need data integrity and migrations. But that's not your only problem ....

When endpoints depend on each other, then it becomes pretty tricky to deploy, cause you'll need to wait until your first endpoint is deployed before you can deploy your second endpoint. So, you're out of the nice "immutable image deployment" paradigm, which means that your frontend code will have to support both old and new versions of each endpoint, just like your backend code will have to support both old and new data structure versions in DynamoDB, as the deployment of a chain of endpoint will take a while and will not be done atomically. This will slow down development velocity for sure.

If you intend to make a real life project live over many fast iterations, then isolating yourself in a proprietary framework like serverless is the last thing you want to do in my experience.

So yeah, for a two-endpoints "Hello World" project where autoscaling is valued over iteration speed, then serverless and dynamodb might be a solution to consider, as long as you're willing to isolate yourself in proprietary frameworks.

That said, you can have autoscaling with iteration speed using open source frameworks anyway (ie. with GKE) so why bother with serverless at all ? Anything you can do with serverless can be done better with k8s and any actually powerful framework such as Django, Rails, Dancer, perhaps even Laravel, CakePHP or Symfony if PHP is your thing.

But let's face it, 99.999% of projects don't need more than 99.9% of uptime which is extremely easy to achieve with a single dedicated server, which gives you a lot of hardware for cheap (unlike AWS). Once you've outscaled a RAM128GB dedicated server then it's time to consider extracting parts of your app into something like serverless.
WSL1 itself is a recycling of Arcadia... with the UI bits and binder removed.

(Android compatibility subsystem for Windows 10 Mobile)
Jobs' personal falling out with Sculley is well-documented, not least in the Isaacson bio. Now I suspect there were also hard policy disagreements behind Jobs' departure which haven't got enough attention (I think that NeXT is probably very close to what Jobs had wanted to do as an initiative inside Apple, while the more conservative Macintosh II "Big Mac" is what Apple did instead) but the personal drama was quite real.
SEO is overrated. Focus on high-quality content that people want to link to.

Case in point: I have a podcast (in German) whose name is a common German phrase ("Gar nicht so einfach", which translates to "Not that easy"). In SERPs for that phrase, the first few results are usually dictionaries, but my podcast's site (https://xyrillian.de/noises/gnse/) usually appears around 7th or 8th place still on the first page. This is without me doing any SEO, and in fact, without keeping up a regular schedule. >_> But the few episodes that there are have been reviewed overwhelmingly positively, and that appears to be all it takes.
Costing for cloud solutions is often not trivial, and a single overlooked parameter can do you in.
I at least blame Google partially for having quotas and spending limits set to unlimited by default.
I taught at a 'for-profit' college. They're predatory disasters
Inside The Mind of a Productivity Master
this, and i don't even do data science. look at k8s vs all it's smaller siblings: minikube, k3s, etc. i know what i'd rather use in production if i'm a small team. bonus points for ansible scripts in the standard package that i can customize.
This strongly reminds me of the plot of Death Note
I wonder what the trend is over smaller time scales (e.g., just 2019) instead of over a 14 year period. The title really should be “Since 2005...”
Replace rsync with OS packages and you got yourself a deal and a half.
Is Internet Exceptionalism Dead? (2010)
Not the OP, for me what I am looking forward is a systems language with automatic memory management, in the same vein as Modula-3, Active Oberon, D or System C#.

Swift fills that slot, but only on Apple platforms. Linux hardly has portable support even for file access and Windows will get supported some day, and most 3rd party libraries assume Apple anyway.

D has a great community, but still found lacking in some areas.

.NET AOT compiled with the learnings taken from System C# (7.x - 9) is the closest for my daily coding activities.

Ideally Delphi like with automatic memory management.

Or maybe having a Rust IDE with visual representation of lifetimes would already be productive enough.
https://twitter.com/AlexanderGerko/status/120376567837901209...
Release announcements are here:

https://lists.zx2c4.com/pipermail/wireguard/2019-December/00...

https://lists.zx2c4.com/pipermail/wireguard/2019-December/00...

https://lkml.org/lkml/2019/12/8/257
Disabling a captcha and removing a quota for a captcha are two separate things.
>When you've noticed your wiring has become a complete mess of knots, just put it in a box so no one will trip.

On the other side of the coin, putting stuff in boxes is the essence of architecture. CPU opcodes? Boxes. Compiling readable code into bytecode? Boxes. Objects? Boxes. Functions? Boxes.

Sure, it can be abused. There might be spaghetti in those boxes. The spaghetti should be chopped into digestible chunks (smaller boxes!). But putting it in a box makes that an implementation detail. Putting stuff in boxes is still progress.
That said, northern EU is the place where people don't remember exactly how cash looks like since everything is paid either with card or using an app. But northern EU is population-wise a rather small market.
relevant xkcd: https://xkcd.com/123/
You also cannot fully implement libc in ISO C, without using either language extensions or an external Assembler.

So I guess it is not a "low level"/"systems".
checksums are a thing, as well as package mirrors or outright holding onto the file and checking in a binary.

There's loads of ways to know what you are using without needing to strip mtime's from zip files.
And then add PySpark on top of that. Couldn't leave my last job fast enough when they decided to use Hadoop/PySpark when the largest incoming files we received were at most a few GBs.
The science behind giving good gifts
During my school years every child in Poland knew that name because growing a salt crystal using this method was part of the 6th grade physics curriculum.

I failed because I procrastinated and apparently you can't grow such a crystal overnight.
The same applies today for nodejs and go, but the same was happening with python, ruby and perl libraries in the past.

However, this only shows that standard distro packaging approach is broken or was broken all the time. First, if you want to distribute you application (or library) via distro packages, you'd either have to build them and publish on your site or have to go through long mailing process to satisfy distro specific packaging guidelines and hope that your package will end up in standard (or extended) distribution. Debian is also notorious for "reviewing" and modifying source code, without contacting authors (remember Debian SSH fiasco).

I had, not once, unpleasant experience with this process.

Today, things are much easier - pack your whatever and put on dockerhub, maven or github. No middleman and no headaches just to reach your users. Sure, there are drawbacks (like mentioned in article), but we'd have to leverage things like GPG and proper package signing. Now, that is totally different story, because cryptography, even the basic one, is PITA for most developers and users. You can't have both :D
Arrow Optics
What goes for journalism these days: clickbait headline, "research" based on out of context 4 year old interviews + expert opinion of people who similarly have zero understanding of the business, literally not get a single thing about the company right, but, hey, clicks!
I know you're taking some flack for making it about age, but I do think there's some merit there. I'm 34. I feel like I'm in the middle in terms of software developer / sysadmin age. Lots of bright minds came before me and there are lots of bright minds out there right now in their early 20s.

A key difference is I can remember a time when network connectivity was flaky. When it was hardly a given. Even when it was available, the download times alone could often constitute a large part of the overall build time.

I think that we have all become complacent with regard to internet connectivity and service availability, but I think the younger you are the more complacent you are likely to be. If github.com goes down entirely, let's be honest - there are a lot of Jenkins builds that are going to be in the red.
There is a problem with human nature.
We think mostly about ourselves.

Most of the people who don't care at all, won't be alive to see what their careless behavior caused the planet.

Even if billions of people will decide to change their lifestyle for a better planet, the change should come from governments, by setting laws and making it an emergency.
I don't think it's fair to blame containers for that. Just because someone programs a shitty product in Visual Studio, does not mean it's a problem with Visual Studio.

What containers does beautifully is dependency containment. I make something and put it inside a container, with the exact dependency it needs and it'll work alongside other containers with a program that might have a different incompatible dependency.

What we're seeing is not so much that developers suddenly decides to throw best practice into the wind. They just do not have to put the same amount of effort into fixing the broken process exactly because we have dependency containment. I believe we would see the same mess without containers, and the process change that would fix one would fix the other.
Just write your own node project and deploy it on heroku if you want autoscaling

One routes file is infinitely easier than dealing with an abstraction over API gateway across multiple environments

Scripted “cloud formation” for your MVP? Just skip it
Makefiles are too low level to be convenient for anything other than simple projects on one platform.
Just playing a devil's advocate here. The way archivists are downloading the data can be said to disrupt the services, which is mentioned in the terms of service:

2. d. viii: "interfere with or disrupt the Services or servers, systems or networks connected to the Services in any way."

I'd also like to point out that the apparent spokesperson Brenda Fowler said in her open letter to Verizon, that "If the problem is that all our attempts to rescue our archives in the time we have left is causing an overload or strain on your servers, then stop making us HAVE to work around the clock, and GIVE US MORE TIME. ..." Probably not the wisest thing to say right now.

Also, archiving the groups with automated tools is against the Use of Services rule, that states the following:

2. e: "Use of Services. You must follow any guidelines or policies associated with the Services. You must not misuse or interfere with the Services or try to access them using a method other than the interface and the instructions that we provide. ..."

As I mentioned in another comment, I really support the cause and am a big fan of archiving myself but it's unfortunately quite clear that Verizon is right at calling out the violations of "terms of service".
I call Musk a charlatan because he tries to pass himself off as something he isn't. His physics and engineering knowledge is nowhere near the level he boasts about, and he often states things that an SME would find laughable were they not eaten up without question by so many ill-informed cultists. It's dangerous, and unfortunately it's probably going to result in even more harm to people before he's reigned in.

And to clarify, the SSA folks I was referring to are against these types of constellations particularly in the context of the speed and lack of oversight (and no, FCC/ITU spectrum approval has nothing to do with oversight and regulation of the physical objects in orbit) of these ventures.
Well, to be fair, it was already pretty straight-forward to run WireGuard in production (if your distribution of choice has a WireGuard DKMS package). What I'm more excited about is more people building products on top of WireGuard, thus making it more accessible for the non-sysadmins out there.
Containers are great, for example, to internally deploy some internet-facing web component your company wrote but they are not that great as a mean of generic software distribution. But things get complicated when to build the first type of containers you usually need software from the second type. In my case I just mirror good/proven docker images in my internal repo(s) and rebuild images from scratch in the most reproducible manner I can find when the software is badly packaged.
How it fares against IPSec?
Behind the Scenes of Advent of Code
No.

I think I have never run `sudo make install`. Things I install come from package managers. Docker or a VM is used to test other software.

And of course trust is important, but if I encounter things like `curl | bash`, my trust is lost.
You should look at Elastic's job postings, those are all remote and the devs I've met from there, while sociable, are not social butterflies. Also, Raiffeisen and several other banks have positions listed that may be what you are looking for. Most other companies that aren't startups will probably want German language skills.
No, the models are running in Colab - but in the end-user's account - so each 'run' costs the lab 6GB of internet egress when the model is downloaded from GCS to the Colab VM.
If you can build on your distro of choice, you can rely on the same security audit and process. Keep track of the packages you link against and include in your image, and just rebuild your images when a new security update comes along. Then you replace the running one.
How to Create a Simple Image Slider with CSS Only
Actionable Guide for Referral Marketing
what does this mean for users of wireguard? An explanation for linux noobs?
Show HN: Tiny, fast, and free API to geolocate IP addresses
I like CDK because:
1. it's type-checked (using your choice of language/compiler)
2. modularity is done using in-app code, rather than extending serverless with plugins in javascript
3. i think cdk scales better to projects composed of multiple stacks
4. it's somewhat testable
And now we have azure arc...
Yes I can't quite remember why I couldn't get it to work. I want to make something where this is valid, but couldn't manage it:

def foo() -> OneOf[Bar, Baz]:
if blah():
return Bar()
return Baz()

def bar_to_blah(bar:Bar) -> Blah :
...

def baz_to_blah(baz:Baz) -> Blah :
...

one_of_bar_or_baz = foo()
blah = one_of_bar_or_baz.match(bar_to_blah, baz_to_blah)

but the critical thing is to get a type error if you add another case to foo's return type, or change the generics to different types.
Spark doesn’t have a hard dependency on Hadoop. Spark doesn’t have a storage engine, but you don’t necessarily need one.
Just build your own. It's not that hard.

Before containers we would script the install process using Ansible. With containers we script the install process using a Dockerfile. If you know how to do one, you know how to do the other. Just don't be lazy and use unofficial images created by people you don't know or trust. Just like you wouldn't pull any random role from ansible-galaxy. Or pull a random guy off the street and ask them to provision your infrastructure for you.

Then all you have to do is just rebuild your images every week and you're set. All we had to do for this was have our Jenkins build pipeline run weekly & have it pass `--pull --no-cache` to `docker build`.
For those who may nbot be familiar with the term: From Wiki:

Ego depletion refers to the idea that self-control or willpower draws upon a limited pool of mental resources that can be used up. When the energy for mental activity is low, self-control is typically impaired, which would be considered a state of ego depletion.