skysight-inc/HackerNews huggingface dataset:
a dependent typing engine is exactly how I was thinking of representing this - i.e "x: int => x + 1" would have a type signature of "x: int => x + 1". Further compositions would stack. If I e.g. converted the Collatz conjecture to a function I would get the following signatures:

- collatz(x: 1) => halt

- collatz(x: int where x > 0 && x % 2 = 0) => collatz(x / 2)

- collatz(x: int where x > 0 && x % 2 = 1) => collatz(x * 3 + 1)

I figure that if I extract out recursion like this (as recursion seems to be the only thing that makes a computation potentially undecidable) and bubble the branching up to the signature as a form of pattern matching, then the signature becomes something you could potentially use to figure out if it is decidable. The issue I'm stuck on is what approach to take to build a deduction system for calculating whether continuing such a sequence from any value in the allowed input space would halt - obviously at this point in time the collatz conjecture is an open question but we can also construct functions using the same notation that we can intuitively determine will either always halt or only sometimes halt, so there is surely room for the existence of such a deductive system. I just don't want to spend a year learning about e.g. category theory or natural deductive logic just to find out that this problem cannot be effectively expressed in such a system.
I find your comment rather frightening.

And in a way: Spot on!
> 3. Prove it, and I'll give you a raise

This is a managerial failure in my opinion. Manager/company is proving that they are not doing their job by saying that.
It's not a place to stay, although most of the places are always like that.
Microsoft bought a pirate Arabic font because they would not pay the orginal owner- Boutros Fonts, his asking price, and got away with it.
This looks interesting. Is it basically a hosting site you can pay for with crypto?

This makes other things possible: anyone can pay for it using crypto etc?

I can imagine some use cases, but since you've been thinking about this a lot longer, can you say a little about:

1. Use cases

2. Long term vision for different paths along which you might see this evolve?

Thanks in advance
The reason it's funny is because there's an element of truth to it. Just like with most of the politically-based comedian routines over the years.
> At least Apple never tried to force-update the machine I was using in the middle of an important client pitch, unlike other OS vendors I could mention.

You left out the part where you ignored ample warnings that a reboot was needed for days in advance.
This also happened to me at my current employer. In fact every year they review all employees salaries compared to the market rate and compensate for any difference with a raise. This was in addition to the yearly raise based on a performance review. I think companies serious about retaining talent are starting to employ this practice.
The audio quality from this simple mechanism is really pretty impressive:

https://www.youtube.com/watch?v=TUp4Sse9pgk
ES2017 Object and String Extensions
My point was that it is not high in the world of software development. There are ranges much higher than the GP's stated $240k. I work in an industry where that is the case (finance).
> the United States as a whole is depicted as evil by default

So true. The USA is viewed worse than China, Russia or Saudi Arabia.

I also see a lot of it on HN.
With marketing, cultism and people who has to somehow auto convince themselves and others about the reasons they have to pay more for the same thing PC owners have?

Are companies/people using Windows or Linux feeling less reliability?
And more importantly, do they get to do work faster or not?
shrugs

Honestly I have never seen any drama from Pakistan that matched my expectations of due process.

The rebuttals and speculation are mildly entertaining, and the finality of their court garners no respect from me either way.

If the whole case hinged on the font actually existing in the wild in some capacity but the probability that it was on someone's computer at that point in time, yet some obvious to me possibilities were never even brought up, then all I can say is "lol, Pakistan."
You need a bank account or credit card for paypal.

I guess you can pay for this anonymously.
> How do I verify that the host is executing my application correctly?

You can't verify what an individual host does. So you can either upload your application to a single host that you trust to run it (like everyone has been doing happily for decades) or you can write your application to be Byzantine fault-tolerant and upload it to multiple hosts.

The key things that Codius provides that make this possible are:

- Host provides the hash of the manifest which shows exactly what it's running down to the container image hashes. -> This removes trust from the uploader. So I can upload a BFT application to 10 hosts and you can convince yourself to trust it if you can convince yourself that the code is legit and too many of those hosts won't collude. That's not possible with traditional hosting because the uploader generally gets admin rights at ALL hosts they upload to.

- Standardization, so you can upload to many hosts without speaking a dozen different APIs.

> How do I make sure that a host is billing me the right amount of money?

You pay when you upload and your client is enforcing a certain max rate. The host could turn off your contract before the agreed-upon time so if you're worried about that you could only pay for e.g. two hours at a time using some cron job.

In practice, a lot of this will come down to host selection. If a host has been legit, reliable, etc. for years, it's unlikely to suddenly decide to screw you out of $10. That's why we think host trackers like codiushosts.com will play an important role. We're working on building our own host tracker as well.

Edit: Fixed typo.
Python3 is pretty stable, no?
FTA:
> absolute bastards like Turkey’s Erdogan and Hungary’s Orban.

I wonder what Viktor Orbán has done according to Doctorow to be put in the same ballpark as Erdogan.

From https://turkeypurge.com/ :

Turkey’s post-coup crackdown:
151,967 dismissed / 140,452 detained / 79,774 arrested / 3,003 schools, dormitories and universities shut down / 5,822 academics lost jobs / 4,463 judges, prosecutors dismissed / 189 media outlets shut down / 319 journalists arrested

since July 15, 2016 / as of June 25, 2018
Why your brain never runs out of problems to find
That seems extremely quick in this sort of space. This isn’t fixing a bug in a shopping cart or some “silly” web app. This is code upon which millions of lives will ultimately depend.
I spent double to get a commercial LG OLED retail display without smart features, and I'm delighted with it. But commercial displays generally don't offer 4K, or HDR, which home theater users have been told to want - or even CEC which is actually useful.
5% CoL is insulting when CoL goes up less than that? Maybe what you mean is that raises when you are promoted are not high enough?

During your first 5 years or so you'll probably get good raises as you gain experience and increase the value you provide to the organization. Past that, unless you're top 5% and negotiate well, you'll probably stagnate a bit in the pay department (stagnate at a very good wage, that is). In my experience, at least..
Amazon: stop giving dystopian facial recognition tech to the government
Ew vice.com
Sure, it also depends what kind of car you're driving, how much traffic there is, how far you are from the grocery store, etc. etc. The original parent point I was trying to clarify is that transportation impact on the environment for most food products is low on the list of things we should be worrying about.
>This is as true for some of us Pakistanis judging to the west through our cultural lens.

Am I? Well, media curbs were then and now, but have you noticed a very apparent change in tone?

Yes, there were already quite a few private medias by late Musharaf, but back then news section was nearly the same all across them. Aside from the usual aha, aha, nod, nod, in news coverage of the junta, they just varied in kinds of entertainment content.

But once Mush was gone, it was only then for the first time in decades that news became somewhat resembling what they are supposed to be.
That's where my federated Reddit alternative idea would come in. Each forum would be hosted by the community that uses it, and the centralised site would only act as a feed for them with a shared login system.

Something like that seems like the next logical step after Reddit, and the way to make separate forums the main way of talking online again.
Not sure if you'll see this, but - maybe you should see if you can find an IPv6 datacenter/hosting provider within short throw (tens to hundreds of miles) of the peering center, and VPN all your traffic!

(Hm. Bandwidth costs might throw that idea out the window, but it might be absolutely worth it for gaming - or maybe you could sign up for game server v6 alpha/beta testing, heh)
This is why you need loyalty in the guards.
To be fair this is true of any mass media - radio, television, etc. To a degree, books (aka printing press - check out "yellow journalism") as well. Marshall Mcluhan talked about "hot" and "cool" mediums, and I think the internet may be some sort of mutant hybrid (too weird to die), but, there is definitely somthing about TV /internet being more "mind controlling" than books.

https://www.quora.com/What-did-Marshall-McLuhan-mean-by-hot-...
> The new system refuses to serve hosted image content to non-trackable clients (ie, you need img.png?sid=valid_sid to get image data). It also includes some rather hostile tracking technology, I forget the details but it was described in /r/privacy somewhere.

imgur.com is still the more friendly alternative, as in, you can still get a direct link without tracking information with relative ease. Probably only a matter of time though.
All statistical learning, which neural nets are a form of, use the iid assumption. See https://stats.stackexchange.com/questions/213464/on-the-impo...
How to build an effective saas behavioural drip campaign step by step guide
I can. Just imagine someone talking about getting icecream and giving them the quote in response.

After all we're talking about job loss, which can and probably will hit most of professions at some point in the future. The gp seems to want us to speak out about that? Maybe like this:

> First they came for the Loom Weavers, and I did not speak out —

> Because I was not a Loom Weavers.

> Then they came for the Factory Line Assemblers, and I did not speak out —

> Because I was not a Factory Line Assemblers.

> Then they came for the Truck Drivers, and I did not speak out —

> Because I was not a Truck Driver.

> Then they came for me — and there was no one with Work (Influence) left to speak for me.

where 'they' is either the robots themselves or the ones controlling the robots, and work is inherently worthy or necessary for a human to live. (and without work you are without influence on what happens)
>Humanity needs to abandon ... the fallacy that heteronormativity is more correct, rather than merely being more common.

There is good reason to suspect that heterosexual behavior is strongly correlated with the ability of a species to survive. Of course, not all members of a species may see survival as a desired goal.
If you go down into the replies, you’ll find the author saying “I am unprepared for people who don't understand jokes.”
Discussions of this sort are often confusing. When one talks about using Redux or some javascript library to do "state management", I always wonder whether one is talking about application states (i.e. states originating from business logic but unrelated to UI) or UI states.
Can you explain how any of this pertains to a stability problem?

Cherry picking features added to each release is... a weird argument in this regard.
I would like to plug notabug.io It isn't my site but I believe in the tech (peer 2 peer with voting done through crypt) and the philosophy

"I think all censorship should be deplored. My position is that bits are not a bug."

— Aaron Swartz (1986 - 2013)
I'm occasionally boggling that there's no electric farm equipment, since it at least suffers from one fewer problem than electric cars: you're mostly driving around in a finite area. You might need to plumb a dozen or so charging stations at various fields, and have the equivalent ability to essentially carry a five gallon jug of electricity to a tractor in a field when you run out accidentally, but you're not driving 200 miles to an Ikea on the spur of the moment.

Besides the lack of consumer demand (farmers have other things to worry about), I think the other thing that makes the farm market slow to adopt electric is that the market is, erm, slow. People are constantly buying new cars. Some people drive a new car every year, some people drive a car for 10 or 20 years, but I'd guess that most people get a new car every 3-7 years. That means, firstly, that a lot of people have bought a new car since they first started getting good; that also means that an electric car only has to last 3-7 years to meet most people's expectations, and your car will only be 3-7 years out of date when you get a new one.

I would guess the average farm tractor in the fields today in the US is 20-30 years old. You've got some really new ones with GPS, autopilot and satellite TV, sure, but you've also got some 50-75 year old tractors which are still doing just fine. I used to rake hay with a little Farm-All my great grandfather bought back in his prime, which is still going strong today, and I bought a used Cletrac from '45 to use around my woodlot.

This creates three problems for the prospective electric tractor manufactures: not a lot of tractors are sold each year, so you're fighting for a chunk of a very slow-moving market; prospective buyers are going to be asking themselves "will this tractor outlive me?" so you need to have a compelling story on how those battery packs and motor bearings are going to last 50 years, or be easily replaceable; the technology is still rapidly developing, so you also need to explain to the prospective buyer why it's is worth buying an electric tractor now, instead of waiting 10 years to buy a more mature electric tractor.
One-shot Docker containers with Serverless
Show HN: Karma.link – Bridging the gap between blockchain and classical systems
I think the best takeaways from the SO survey come from year-over-year analyses. You can watch JS explode in popularity over time, and see how quickly languages and libraries get adopted.

It would also be really nice if the "popularity" metrics that OP mentions (i.e. preferred language, least preferred language, language most used at work, etc.) could easily be grouped by "Developer Type". After some quick googling, it has become apparent that the data from previous years is available to download, but it would be nice for SO to show that data in the blog post.
Hi HN, we're the team behind karma.link.
We love Ethereum and think it's a great technology.
However, integrating conventional applications with Ethereum-based blockchain networks is hard.
This is why we created karma.link, a small RPC server for business applications that bridges this gap.
We aim to demystify the technology and enable companies to take advantage of it in everyday business.
It's still VERY early stages but we've taken the leap and open sourced our MVP.
Any and all feedback, here or as Github-issue is much appreciated.
If you want to show your support, go ahead and give our repo a star. Thank you.
Uneditable, but obviously this was not the issue. Disregard. :)
There is only one issue I'm having with macOS or Mac OS X today, they still use 10.x and they had three wonderful possibilities to switch to 11:

Lion: Darwin 11. (Also leaving behind PowerPC)
El Capitan: Simply remove the 10.
High Sierra: Sync with iOS 11.

But Apple didn't do it.

On a serious note:

The other thing I really disliked was FileVault 1, which based on a sparse image file and was an horror to backup. And in Panther it was at first extremely unreliable. I think I lost some data back then. FV2 based on CoreStorage was much, much better. Which came with Lion btw.
If that was sarcasm, I can only assume you've never attended a wedding of any sort before :D
1) Manspreading and mansplaining are two light examples of calling for male harm. Add to this many of the SJW's call for safe space where white males are banded.

2) There is the war against boys. The whole thing comes down to maleness is bad: energy, competition, etc. I wish I could find the quote by the british author who sat in on a class where the boys were. https://hellogiggles.com/news/teachers-treat-boys-and-girls-...

3) Actually I'm worried about incels and the lost generation and all that. I said I was thinking about. I'm married. My wife and I sit on the sidelines hoping the whole system doesn't crash. The difference between a 1960's MGTOW and now is that these men could buy land and establish a private genetics homeland. There goes your social cohesion.
Agreed. Regarding why folks might not want to upgrade: for me the main reason is legacy hardware not performing well with newer OSes. For example I recently upgraded a 2012 Mac Mini to High Sierra, and the experience was unacceptably slow. Switching back to Lion, the overall experience feels snappy again. This has happened to me on both Macs AND iphones over the years. At least on a Mac it’s a little easier to hold off.
Lakestar Is Said to Be Raising Largest-Ever European VC Fund
The sun produces a full spectrum of light, like a blackbody of a certain temperature. The atmosphere then selectively absorbs, scatters, or reflects a portion of it. That produces the Earth daylight spectrum, which varies by season, latitude, and time of day. It doesn't ever match up precisely with the absorption spectrum of plant pigments.

A grow light can produce the exact wavelength of blue light most readily absorbed by chlorophyll, and the exact wavelength of red light most readily absorbed by phytochrome, and the exact wavelengths of other hormone/signaling photoreceptor pigments.

The grow light produces exactly the light that the plant needs, whereas the sun throws out a lot of energy that the plant cannot use effectively. If we had a material that could absorb two green photons and emit one blue photon, that would improve the photosynthetic efficiency of sunlight, but for now, it's still easier for us to turn green light into electricity and power a blue LED.
Doesn't the err, multireddit (?) system work for that? I recall that was a thing on the old one at least.
Exactly for the same reason we are giving a one week/month trial. In case you are not satisfied with our services, you can stop making the next payment.

If you are going to start a new association with any service provider, you will have to trust them without any prejudices.

This is 21st century. Why would a service provider not provide good service. Do you think it is possible to scale a company by providing poor service? I don't think so.

Customer acquisition cost are increasing day by day and it will be impossible to stay profitable if we keep on losing customers due to poor service.

I'll prefer to have 2 satisfied clients instead of 200 dissatisfied one's.

Do give us a try with a positive outlook.
Wow, didn't know about System76, up to 32gb of ram and the best choice of hard drive I have seen. But they don't offer windows? I'll search for a review and add it to the list.
I think the way that job seekers/employers go about getting jobs/filling positions attributes to the huge turnover rate.

It seems to me that in the past you had an "in" - someone that told you about the opportunity and primed you for the position. Also, they probably talked you up and set expectations when recommending you.

Today, hiring is closer to tinder than a blind date. You send a resume, you talk to some people for a few hours and you are expected to make a decision based on that. There is little emphasis given to how good a fit will be. Personally, I have walked into interviews where they were so eager to give me an offer that they didn't even bother to give me details on the position and the environment.

Getting a job and finding out that it's not what you expected 4 months in is disheartening. But employees and employers alike are guilty of not looking at this as a long-term investment.
I just miss the days when they named the OS releases after kitty cats. Snow leopards are adorable, but I don't feel nearly as much passion for a beach I've never been to.
If and when that happens, perhaps we'll consider switching, but as with other issues like Brexit, you can't just replace a huge amount of established infrastructure overnight.
Discord is basically the latter, aka Reddit for chat rooms/IRC equivalents. Slack is pretty close to that idea too. So if Reddit got into that market, there'd be real tough competition, even before taking the decentralised/federated stuff into account.
This kind of thing: https://www.independent.co.uk/news/long_reads/democracy-is-o...

It's not quite so advanced in violence as Turkey, but it's definitely along the same path.
sysvinit is a strawman.

the real choice was between upstart and systemd, and upstart was clearly superior, especially for common use cases.
For some subreddits, the up/down point system can be pretty useful, there will some substantial comments that genuinely have better (or at least more) content than other comments.

But for the majority of subreddits, I have it sorted by newest comment first. I don't understand why social media sites today are moving away from that, 99% of high-scoring user-curated content just means it's a particularly popular or inciteful comment.

It doesn't promote good discourse if out of 10 comments, the one that naturally floats to the top is the most inciteful one.
I don’t think people really can feign ignorance. What did we think was going on? FB built this huge free product out of the goodness of their hearts? Did nobody stop to think about how Zuck became a billionaire and pays all these employees?
The graph part is pretty cool. Is it doable to use this graph for any kind of data? Or maybe someone know a tool to trace similar graphs into a terminal?
I hear a lot of that, but when comparing the US to the rest of the West. To say that they are considered worse than those 3 countries might be pushing it..
Area there any programs (bootcamps, schools, etc.) you recommend? Or do you prefer college degrees?
Is it hard to police? Put stories in to an advertising bidding queue, buy the story you want to advertise in; probably decreasing cost starting at 5x average for the sub (or something like that). Queue items get flushed to the site after a timeout (few minutes). Advertisers police their own ads, they pay up front but can remove ads from a story.

Advertisers is such a system will be rewarded for targeting appropriate subs, they get lower costs, less competing bidders.

Advertisers could even virtue signal on predicted negative stories, "we too think Hitler should have kicked back and smoked a bowl, fellow kids".

Seems like there's a million and one ways to do similar: giving advertisers control (and using timed-bidding to push revenue).
Apart from developing Facebook integrations for Work, I have never once used Facebook to sign into a site and do not allow anything to rummage through my contacts and "discover" things.

So I'm confused as to why this is a necessity. What services do you use that won't function without your Facebook account?
Using Micro-Front Ends to Permanently Solve the Legacy JavaScript Problem
Try reading his post again.
Why do you hate that even more?
As a user of the latest versions of both macOS and Windows, I'll still take macOS any day. At the moment it is their hardware I am frustrated with, not their software.
If I understood correctly, you are taking the opposite view from the parent post?
Steve Jobs Traced Out the iOS and MacOS App Store in 1983
> mandatory workplace political education

Also popular in these parts.