skysight-inc/HackerNews huggingface dataset:
> Which deep properties have you got in mind?

TLC is a model checker can check most properties expressible in TLA+, which are more expressive than any base lambda-calculus theory (e.g. it includes temporal refinement properties). See my overview on TLA+'s theory: https://pron.github.io/tlaplus

> in real implementations you mostly simply enumerate models, and backtrack (maybe with some learning) if you decided to abandon a specific model

So not deductive. You know that because DPLL does not directly yield a proof of UNSAT.
Maybe they'll pollute search engines a bit less now.
Yes - this is my main concern about moving a website from a fixed-price service to S3+CloudFront.
It's still not bad for me, still above DuckDuckGo. But I live in Malaysia, and so I tend to get less results relevant to my area, for example, searching certain kinds of acronyms. I might have to resort to Bing soon though.
Basic volumetric - which is what the smaller providers can't handle, AWS can eat easily.

I don't believe I've been charged for this type of attack. The one you should look out for if you are new to AWS and trying to do this "trick" is L7 repeated downloads of high-file-size content to consume your budget rapidly.
Should work a bit better now
I tried using duckduckgo but gave up after I kept getting irrelevant results for simple queries
Right next to that copy icon is a pencil - the edit icon.
I get it. Don't feel guilty! Sucks that he died so young :(
There is no way to be getting both of them wrong but not be getting one of them wrong.
There are several reasons I’ll never touch a JB product:

1. I hate the idea of paying for the thing I write code in. I may not be a FS nut, but I’m a big believer in supporting open source by using open source.

2. IDEs tend to be optimized for the write path, when it’s the read path that really matters. Giving people too many tools to rush through writing code is a bad idea. That’s basically how Java became unusable. Writing code is bad. The less code you can write to solve your problem the better.

3. Most of the people I admire at work and in open source don’t use an IDE. Clearly, an IDE is not a necessity to being a great programmer, so why shell out money for one.

4. Not being able to use my text editor I’m a terminal is just a nonstarter for me. It’s immensely convenience, and some workplaces can’t even handle local development because of monorepos.

5. IDEs rob you of the knowledge of the underlying tools, locking you into an ecosystem that you can’t take with you all the time.

6. I’ve worked in plenty of places that didn’t have JB stuff available. Never worked at a place you couldn’t use vim or emacs.

My philosophy on text editors is that you can get 90% of the benefit of an IDE with way less tooling. I use vim, ALE, and fzf/rg and I’ve never felt the least bit slowed down by my tooling.
Job openings were a leading indicator in the last recession, see "Planned Next Three Months and Current Job Openings" in https://www.nfib.com/assets/SBET-December-2019.pdf (I ignore planned as it seems noisier). There has been no substantial decline since 2010. The decline in recent months is bigger than in 2017 but could still be noise.

The yield curve is relatively standard economic news: https://www.forbes.com/sites/greatspeculations/2020/12/31/th...

Unemployment is used to define the recession so once that starts increasing again the process is already well underway.

I agree though, predicting a recession is like reading tea leaves. The data is so fuzzy and updated so infrequently that it's useless for practical decisions.
IIRC people used to look at things like electricity and energy use to determine real Chinese GDP growth, but I would imagine this has become less useful as the Chinese economy transitions away from heavy polluting industry and towards higher energy efficiency.
I've used Linode in the past but most of my non-GCP workload is in Digital Ocean now. It's just simply cost. I have some one-off services that run async and need RAM. It's much cheaper on DO.

I keep everything directly user-facing (ie, must-be-always-available) on GAE. Which is expensive, but nobody has to wear a pager.
Snowmobiler finds family of five stuck in frozen wilderness
Does anyone use Julia in production?
Too bad their lite mode doesn't support region setting.
Obituary?
While I’m glad they reverted, the doublespeak is absurd. As if they didn’t know users would hate it. User experience had nothing to do with this. It was all about revenue. The main question after this is what user hostile move will they attempt next?

Without major changes all over the company I don’t see how Google will get better.
I'm not sure a test is the best idea for sorting responsible voters because it would encourage game-playing and cheating. I would go by the quantity of taxes paid - it's hard to game and it is morally right that taxpayers should have more say in government for which they pay. I'm not sure what level of taxation would be appropriate to earn a vote though.
Sure the fed is doing repo market operations (the overnight lending you talk about), but the vast majority of that money is going to bond buying. 300 billion (or some gigantic number like that) has been infused in the econ. This is much of the reason stock market does well. Since money doesn't go to consumer price inflation, it goes to a different kind of inflation, inflation of real assets, like stocks.

People do know why there is less liquidity there. Something like the repo crisis doesn't happen out of the blue.
You start using GCP/AWS/Azure, you're going to start using managed databases, security groups, etc. These are really nice. They can save you a lot of time as a startup. ... They are incredibly difficult to migrate. If you use terraform, it does support GCP/AWS/Azure/DO/Vultr, but you'll have to rewrite everything for each provider.

For really simple providers (just a VM; in AWS, just EC2) you can still write all your own Ansible/Puppet/Chef (I recommend Ansible) to setup your servers for you. You can do your own databases, but there is complexity in scaling, multi-read only workers, etc. Managed solutions are nice in how they handle that for you and you really only need to do off-site backups. But the advantage is, once you have it all written and figured out ... you can move it anywhere.

As a startup, you want to get everything fast. So you're going to get locked in (most likely). That's fine if you start making money. If you want to start cutting costs later, it's not really going to matter who you originally started with. You're going to be rewriting a lot.

There are a TON of tradeoffs going in either direction. Linode/Vultr/DO really appeal to people self-hosting or startups that have infrastructure people from day one who can stand up things, platform-independent, from day one.

DO has started offering managed databases and load balancers. Now we see Linode offering DDOS (maybe saving you money from paying CloudFlare)? Everyone wants to get to the point where they can at least offer the minimum AWS/GCP/Azure stack (web + DNS + load balance + firewall + database .. maybe throw in some managed k8s like DO is doing now?)

It's really all about tradeoffs. What time do you want to put in now so it's easier to migrate later?
On iOS it supports Sign in with Apple.
The vast majority of Chinese do not eat bats or other wild game either.

I don’t know a single Chinese person that has eaten bat before, and I’ve been going to the country every year for 20 years now.

It’s only because China has such a large population that even 1% is 10 million people.

If anyone is sick, I ALWAYS see them using a separate set of chopsticks to get food, and they usually will put it in a separate plate.

You eat with family and friends and a sick person would take extra precautions to not infect them.
All of them have both automatic and add-on DDoS protection, for example of branded offerings (which doesn't cover all of the built-in protection):

GCP: https://cloud.google.com/armor/

AWS:
https://aws.amazon.com/shield/
yess, but then the numbers that power quantum physics stop working. something about the renormalization group?

My incorrect understanding is something like: quantum models imply a uniform layer of “virtual” particle/anti-particle pairs popping in and out of existence. but if the space they’re in is curved like general relativity describes, then the pairs don’t find each and annihilate each other reliably and all your math trends towards infinity instead of towards zero. or something vaguely like that.
The people who choose not to vote deprive themselves of the vote. Do you trust them to do so?
Also as a biologist,finding life on other planets..no matter what the form...would be mind blowing as fuck to me. Sorry you're so jaded.
And those two facts are related. Quora actively drives casual users away with the forced-login behavior. So the only people on Quora are the people with strong incentives to do so... that is, people who are being paid. Marketeers.
I agree, but he was kind of an asshole. Apparently he was pretty sexually abusive to the women who worked for him at Twitter and got fired for it.
Fun fact that I’ll shorten: (vine creators) all met at 1600 Vine in Los Angeles with Twitter execs. Creators asked Twitter for money because _we_ we’re getting offers by competitors to become exclusive to their platform, Twitter denied paying up, and all creators moved to other platforms. It only took a few months for the user base to die out.
Imagine the strong selective pressure as humans moved to larger social groups and agrarian societies. These were ruled by strongmen interested above all else in most cases in collecting the highest taxes from a compliant population. Anyone too fierce, fearful or combative would be ostracized at best, killed at worst.

Even today, prisons and mental institutions are filled with non-conformist, anti-social people who in many cases are not allowed to reproduce.
I am uninstalling all my blue light filter apps straight away
Late reply but thanks for that, I'm a casual reader of SSC and its satellite blogs but hadn't come across the Scissor one before.
That is fine. The idea is that those responsible for paying for government are the ones who have a say in how government operates.
Use a different GC, like e.g. the ZGC. I don't see any hangs anymore.
Please explain more? What do they represent it as instead?
Having spent a lot of time writing terraform tracking updates to dependencies and version pinning have become a constant task. Terraforms "default" behavior of pulling the latest version especially with the 0.11x to 0.12x migration has caused a lot of time spent pinning and checking for changes in modules.
Comparing death rates per disaster, per capita, between now and 100 years ago, is wholly nonsensical. Biomedical technology is immensely more effective now, than 100 years ago. It is not a 1:1 comparison. What that curve looks like, I don't know, but it's not a fair comparison to draw ratios like that. Don't get me wrong, I'm not supporting the hysteria here, by any means, or at least, that is not my intent... but c'mon, let's be reasonable and think about this.

Diseases aside... to direct some attention to the other part of your message...

Yeah CO2 fuels photosynthesis, but when most of the light is blocked by smog and smoke, what then?

First of all, light is needed for photosynthesis, I'm sure we all can agree. But, when plants are in the dark, they actually release CO2. Actually, they release CO2 in the day time too, because plants also respire, they breathe oxygen, and release CO2, and when there is light, some of that CO2 can be used to make energy; they are efficient that way. Further, about half the CO2 that they consume during the day, is released at night, and the rest is converted to energy, or wasted, etc...

Just dumping more and more CO2 and acting like, fuck it, man, whatever, it's plant food... knowing these facts that I expressed above... Think.
Huh that is a fun fact. Crazy how one bad decision can just destroy your company.
If you’re referring to my use of “toxicity” I definitely don’t mean that. In fact I support the crazier subreddits (you know which I mean).

And I agree it gets way overused by many. And maybe toxicity is a stretch for reddit front page but I think you still know what I’m talking about: the shallow, mindless/hivemind garbage. It brings down everything and everyone else to primal attitudes and people go straight for the shock value in order to get internet points.
> no one seems to know why there’s less liquidity there

It's because JPMorgan Chase and friends think there is too much risk of intraday bankruptcy right now and no one wants to be left hanging on their loan.
There are actually fluoride-free "natural" toothpastes that have unfortunately been growing more common. As one might expect, they are of dubious effectiveness.
Maybe the reentry is the real value you get from the experience
This is largely because up until 1976 the Mormon church didn't allow Black members into its temples or to receive the priesthood (which is an essential step within Mormonism).

Imagine joining and/or believing in a church that said "because you are black, you can't go to our glorious temples that we talk so much about. And you can't go to the highest form of heaven because you are black."

This is literally the way it was (not exaggerating whatsoever). Luckily the NCAAP started to attack the church since they were one of the most blatantly open racist institutions going into the 1980s. The leadership of the church realized they wouldn't win this fight and changed the rules.
From what I can see this is the single highest grade viral research facility in the whole of china. There isn’t another with the same status.
I don't think it's a good approach to pitch yourself as a "X" competitor. It immediately draws the comparison. Folks that are already happy with X will most likely stick with X and folks that haven't tried X yet are now drawn to split their attention between your app or service and X as they decide which to invest their time and energy into, assuming they get what X is all about in the first place.
Okay I didnt see that. But why is this necessary? What was wrong with the text box that opened what you would expect - the box filled out with the url of the page you are on?

In my opinion this is still a gentle push to encourage users to just type in a search query instead.
Maybe those that pay them have a different opinion.
The Great Heavy Metal Hoax (2018)
Yes: you cannot DIRECTLY edit the URL in the navbar.

Nor, for that matter, can you click, ctrl-A (yes, Virginia, I have and use a Bluetooth keyboard). Instead it's click, then Copy Icon.

Utterly blinkered.

Oddly: Incognito mode is not (yet) crippled in this manner.

Don't get me started on pull-to-nuke-whatever-you'd-been-composing-or-losing-your-place-in-infernal-scroll
I use emotional memory.

Examples:

Was it to do with climate change? Check the emails to my sister.

Was it some geeky thing? Check the emails to my brother.

Was it to do with teaching? Check the hyperlinks list that I created in MS Word (Outline view).

Was it ego-boosting? Check my HN comments.

Was it to do with other interests, such as shares, bridge, Twitch, solar, …? Check my Chrome folders.

Was it political, e.g. Trump? Check my MS Edge browser bookmarks.

Was it software related? Check my Facebook "Saved" list.

Was it biology-themed? Check my Facebook posts.

Is it a link needed daily? Make it a shortcut on my Edge/Chrome start-up page.

This gives a number of categories that are easily remembered, because of the emotional connections, and can be readily searched.

Lastly, I mostly use Chrome, because if I don't explicitly save a recent interest, I can quickly find it with Chrome's History (Ctrl-H).
Cost and ease of development by not throwing thousand of options in front of your screen.

Last time, I checked GCP costed me $26 (+ hidden charges) for the same I could get on many other places for $7. Some of them provide instant customer support too and are better because it's not an outsourced customer center in India or other places.

Check out:

vultr: https://www.vultr.com

Scaleway: https://www.scaleway.com/en/

OVH: https://www.ovhcloud.com/en/

DO: https://www.digitalocean.com

Some prefer managed infrastructure and want to write code. Though, you can do that via GKM but prefer more straightforward approach.

Nanobox: https://nanobox.io

Heroku: https://www.heroku.com

LastBackend: https://lastbackend.com

ML/AI

Paperspace: https://www.paperspace.com

Flyodhub: https://www.floydhub.com

Colocation for those who have big infrastructure needs and developers will cost them less.

Equinx: https://www.equinix.com

Datafoundry: https://www.datafoundry.com

Disclaimer: not associated with any of them. Have used some of them and for others, heard great things.

You can easily go lower for less support and most likely a shit interface with some reliability issues.
In other words, an obfuscation of functionality that clearly shows their attempts at behavioural conditioning.
There were other examples, but figuring out how to deal with state is the most arcane and mystical aspect of haskell.
Yes, it is - I develop Cursive and I don't work for JetBrains.

That said, even though Cursive is third party, the way that IntelliJ is designed means that language extensions all tend to work in consistent ways. Rather than totally reinventing the wheel, I basically plug into standard IDE workflows for different types of extensions, and make them work for Clojure. This means that Cursive is able to feel like a JetBrains product, although sometimes less polished because I work on it on my own.

It's one of the things I love most about IntelliJ, all the support for different languages basically works in the same way and it's very easy for me to pick up a new language if there's support for it.
No it doesn't have multi line results as far as I know.

Thanks for clarifying.
Amazon LightSail gives you 1 CPU, 1GB RAM, 40GB SSD and 2TB transfer for the same price.
I actually prefer JetBrains Rider these days. Works great for general C# development, cross-platform, and doesn't thrash my disk like crazy.

Granted, I just spent about two years doing Java dev in IntelliJ and recently moved back over to working with C#. I'd gotten pretty used to working with IntelliJ so that probably colors my viewpoint a little, but the JetBrains IDEs do have some features I really like - the class structure pane, for example, is really useful.
I think it's pretty much spot-on.

People try to summarize their thoughts, but if they are not good at it the summary ends up being "We're pretty cool, not like those other non-cool people, and we stand for good things". And then, having arrived at that thought, they express it using the words they have heard before in similar circumstances.

And boom - pretentious mediocracy seasoned with hollow platitudes!
It almost feels quaint but very comforting. I wonder if there will be a pushback against companies with lots of investor money. It seems they are all doomed to grow quickly at any cost, shady or not.
AWS charges an arm and a leg for outbound traffic, inbound traffic is free. Volumetric attacks are all about overwhelming your inbound; if AWS will swallow that at their ACL layer for you, that's seems pretty useful, and shouldn't generate billing.
This just worked, I like it. Thanks!

https://developer.gnome.org/gnome-devel-demos/stable/dialog....
True. That's where a lot of the quality effort should go. Also keep this part as simple as possible.
... if it obeys the holographic principle.
Hacker: ping -t 1.2.3.4

OVH: go into lockdown!
OTOH, it's tricky to direct your inbound to AWS without involving them in your outbound...
The tons produced by aviation are produced in higher concentration in air, and produced nearer to the atmosphere at high altitude, making them more dangerous than the tons produced by human breathing. You can't just compare the total.
More like- how often do you edit a URL in the bar on mobile? It's a pain in the ass.
What's the paradox there? Google has its own review system for restaurants / hotels / etc., so they can definitely survive TripAdvisor and Yelp disappearing. They'll just collect the data themselves.

For Quora and StackOverflow, they can (and do) index personal blogs etc., too. Google is a search engine; they don't need a single fixed third party to be the first search result to all questions in a category.
I have to disagree strongly with point 2. IDEs are much better at the read path than simple text editors are. Critical to reading code quickly is being able to navigate it quickly, answering questions like "What are the subclasses of this?", "Where is this called?", "What are the methods in this interface?", "What does super do?", etc. Grep can only take you so far. Language server protocol is definitely improving things, but it still can't answer questions like "What is the chain of function calls linking the creation of this object to its eventual use?"
Yeah, it’s just objectively better imo and it addresses GPs wish for a 64bit process.
I don't know what the legal definition of theft is, but to me if you take something without permission (even if it is just a copy) it is theft. Of course, I'm nobody, so it doesn't matter what I think. However, if we all acted like humans instead of lawyers (which by definition are no longer human), I think most people would agree with the above definition.
In terms of running a data lake or keeping stuff for a long time, it's great, but of course they're banking on you moving a bunch of data to AWS to either train ML off of (compute costs) or keep it there and rack up storage space charges.
Did you intend to include public companies on your list?
It's really scary. And it's a shame Firefox is so slow on mobile...
If you wish to retry anytime in the future, you can use the bang commands to search elsewhere whenever the results aren’t satisfactory. I usually start with DDG, then if needed, I move to !s (for startpage) and then to !g (google). This does take more time, but for me it’s worth not having to use Google as much as possible. I’ve also become a bit wary of Startpage after it was recently acquired. There are many other alternatives too, like Searx, for example.
Nah, Pintrest is somehow amazingly good at offering similar content. People must love making those boards because I get good enough results that there must be a lot of users doing good work in categorizing and organizing those images.
Somewhat related: paper.css[1], a stylesheet for getting that rough look in your html components.

[1] https://www.getpapercss.com/
I get why they would do this if they have online services that they're shutting down, but it seems like the games ought to easily have offline modes (from the screenshots for Tetris Premium, I don't see any obvious online features). Even if they're losing the license, it doesn't seem like they should have to force the app to check in with a server, or push an update to kill the games, especially if the user paid for it.

From one user review:

> Hadn’t played for quite a while, so was surprised when they announced that after April 2020 the game wouldn’t be "available to play". Turns out they wrecked it a while back by making it so you can’t play offline (why? - for years it worked fine offline).
Wait....Is this the account of THE Cliff Stoll? Author of “The Cuckoo’s Egg”?
That transition is still a ways off.
When will we realize that adwords and everything it inspired was a wrong turn for the internet?

I’d much rather pay a monthly fee to get the services I want.

I understand that Google and Facebook have gone too far down this path, and they will say such a service is not as profitable, but ultimately their business model seems unsustainable. People search for the truth, and while you can sell anybody anything, the truth will prevail.
If you live long enough, you will know most ideas are rehash of previous ones with increased complexity and different driving force culturally.
Was the WeWork failed IPO the RIP Good Times[1] of this boom?

[1]: https://venturebeat.com/2008/10/10/the-sequoia-rip-good-time...