skysight-inc/HackerNews huggingface dataset:
What I'm saying is that linear logic is exactly a technical exploration directly pertinent to the questions Quine and Dummett considered. And who cares if the paper is specifically about Quine and Dummett? What's the point of resuscitating such a dialogue without informing it of modern developments? To do so seems like frolicking in the graveyard. But much like philosophy of mathematics (with some exceptions like [0]), philosophy of logic to me at least seems like it prefers dusty bones to fresh developments (if 40 years is fresh...). At the very least, modern logic and its myriad connections to other fields could shed light on whether it's even worth bothering to adjudicate the interplay of Quine and Dummet's metaphysical arguments. They might be completely irrelevant at this point in our understanding except as historical footnotes.

Linear logic is in many ways a logic of logic. Both classical and intuitionistic logic can be decomposed into finer components in linear logic, which distills logical ideas into purer components of philosophical interest, like the exponentials. The links between linear logic and processes like computation makes it a much more interesting starting point for a discussion of metaphysics and logic: Its technical results tell us that not every bespoke Broccoli logic makes sense, that one can directly study the conditions of possibility of logic. It even has connections to fundamental physics [1].

> It's trivial that we can construct a plethora of axioms with their own definitions, the problem remains: to even adhere to those definitions one is exercising another intuitive logic—even in the case of computation which is an engineered construction to proxy this very intuition, otherwise we would have never been concerned with the linear properties necessary for computation to begin with.

How are we to investigate this intuitive logic without probing the technical structure of logic and finding out what is really its essence? It's not, emphatically not trivial that one can cook up a bunch of axioms. Logic doesn't come from axioms, I think we agree about that, they are just an exigent way to surface it. There are most definitely inappropriate formulations of logic. For example, S4 is an OK modal logic of necessity and possibility but S5 is hardly a logic at all because it doesn't have cut elimination, the technical correlate of deduction.

I think this attitude just serves to marginalize philosophy of logic. Technique and philosophy must be in dialogue or both will be marginalized.

[0] https://www.urbanomic.com/book/synthetic-philosophy-of-conte...

[1] https://arxiv.org/abs/0903.0340
having some shared understanding of when people work or take time off is certainly a good thing

Could make a web page that is like an In/Out board[1], but looks at the person's git commits (plus Slack, etc.) to map out when they tend to be active.

1. https://cloudfront.zoro.com/product/full/Z-_Ntvfo5oz.JPG
> It will append 'a' to data[index] then increment index.

Of course, you can always do stupid stuff to make life difficult. In C++

int data[100];
memset(data, 0, sizeof(data));
int &index = data[0];
data[index++] = 'a';

Which cell is the ++ applied to, data[0] or data[97]?
An underground data center would work if hurricane safety is your top concern. In any case a location on land is probably cheaper to rebuild.
But it's not even independent green developers, it's everyone. Chai, mocha, jasmine, jest, should, expect, lab...omg do we really need another unit testing library? Sure they are all slightly different but there is no reason they all couldn't be condensed down to one or two libraries. Shall we list all the reactive UI frameworks? Or routing frameworks? Everyone is at fault here.
this seems a far worse solution than pushing for a standard of encouraging apps to support --no-color

I think there are FAR fewer people who want it off everywhere by default than people who want it off occasionally

having all the arguments to your app be handling via dash args EXCEPT the one for color is non-standard, harder to explain in the docs, introduces an inconsistency to how your app is controlled, etc., etc...
Try "right-arrow" (you can keep it pressed). Sounds stupid but it used to be an issue for me and now I can watch lengthy videos in a minute, a bit like how one can go through a book quickly by flipping pages and going back to the interesting bits.
You passed up a leadership career at a defense contractor to read some books you could have read at home? Sounds like they recognized that this person they hired wasn't all that and decided that rather than fire you and risk a lot of paper work they tucked you away knowing that you would quit eventually, this is often preferable to termination. The odds that your lack of productivity went unnoticed is slim, they noticed. I've been in a similar situation, the appropriate action and the path worthy of leadership would be to self seek out innovations and begin drafting proposals for business process improvements. You might have actually been stealing time. What were your interactions with your direct supervisors like, what would you talk about?
Binance made more money than Deutsche Bank last year. They funded growth with an ICO.

> What's wrong with US Dollars?

It's not a good store of value over the long haul:

https://visual.ly/community/infographic/economy/purchasing-p...
Propublica published a story this past February recapping what's known and debated about the Cuba "problem": https://www.propublica.org/article/diplomats-in-cuba
Kinda. The community of lower back pain sufferers continues to shop for ex-Dotcom-bust aeron, because the product actually works: its a damn fine chair.

E-Bikes coming into the 'cheap as chips' bucket because of a dotcom oversupply, thats good for any city which has 2-stroke fuel nightmares. I've been in China before and after the e-bike craze, and the difference is marked.

Its better with e-bikes.

But as signifiers of 'it was a craze' -sure, Tru dat.
You can get some off of Alibaba. Been Krasnow's blog might help you a bit https://benkrasnow.blogspot.com/2017/10/fast-partial-refresh...
"Intuitive" being another word for "subjective."

The experience of truth and logical consistency is entirely subjective. We can build networks of concepts that trigger the experience in ourselves and in others, but that doesn't make them objectively true - it makes them subjectively persistent and shared.

We acquired a cat recently, and it's interesting that her experience of basic spatial relationships is very different to ours.

She doesn't have the same experience of physics that we do. She sometimes gets confused by inside vs outside, and her experience of moving objects seems to be different to ours. She also gives the impression of experiencing hands and feet as disconnected objects, and not part of a gestalt "human".

We have no guarantees that from an alien point of view, our own experience of physics and of relationships doesn't have equivalent limitations. If the limitations exist, we're not aware of them. But to the extent that our cat's view of the world is probably recognisable by other cats, she's not aware of her limitations either.

It's more of a stretch, but not impossible, that our experience of logical abstraction and consistency may also have limitations. There may be non-human viewpoints where the basic subjective qualia of truth and consistency are more coherent, reliable, and inclusive than our own.

None of this can be proved, but it seems optimistic to me to believe that our version of logic is as good as logic can possibly be.
Hence the hard swallowing.
I tend to only remember it's around time for the yearlyish performance review if I'm starting to get the itch again that my experience and expertise aren't getting market-rates of return. It's sort of code for, "Hey, can I get a raise before I get irritable and start looking for something else?"

Maybe that wouldn't work everywhere, but it's tripled my starting salary.
People in those markets usually aren't comparing their offer with local competition, the job market for remote workers is worldwide. Many companies do pay remote employees based on the value they bring to the company regardless of where they live so they are the competition.
As a manager I appreciate all these tactics from my team members. Committing to a system like this facilitates communication and can greatly reduce onboarding stress and friction for the entire team. Thanks.
Language.

The class action was done via antitrust mechanisms as I understand it[1][2][3]. If you want to assume that a class formation is a union, albeit a temporary one to effect good, I FULLY support that. This is how a union should work. It should come into being frictionlessly, and upon completion of its mission, or a specific timeout, it should be destroyed.

Otherwise we get the rent seeking behavior, corruption, etc. which appears to be the normal for unions.

[1] http://www.latimes.com/business/technology/la-fi-tn-tech-job...

[2] https://www.cnet.com/news/apple-google-others-settle-anti-po...

[3] https://www.nexsenpruet.com/insights/criminal-antitrust-expo...
They also collected as many postcards, maps, personal photos as they could, to build up photomosiac maps and models of the beaches.

Anthony Beevor talks about a lot of this stuff, as does Carlo D'Este and others. Great reads.

(my mum was an art college student at the time, and amongst other things she was drawing maps. My Aunt was doing technical drawings for the mulberry harbours. Everyone pitched in)
Go has been out for almost a decade and they’re still working on the package management story.
Please stop linking to this paywalled site. Thanks.
She can handle her own life -- she can turn a creep down, strike up a friendship, or start a romantic relationship. None of those are your business, unless one or the other initiates force.

As for the use of toilets -- isn't the US in the midst of a transgender-driven tumult to make every toilet available to any gender? if Americans built toilets that are individual instead of rows of see-through stalls this transition would be easier. You could direct your ire to that, instead of bad-mouthing someone who was tasked with making life easier for conference attendees.

Spare us the unappealing, self-indulgent angst.
Put on your descriptivist hat, it's just the way things are now.
The specific part about interpreting laws says

> The Court of Justice arbitrates on Community law and pursues a particular, but no less rigorous application of multilingualism. ... each authentic text is considered independent for the purpose of interpretation by the courts and despite being translations, judgements and other documents are deemed to be authentic only if they are the language of the case. On the other hand, as none of them prevails and they all have the same meaning, whenever linguistic divergence or ambiguity arises, the European Court of Justice consults all the texts of a given instrument on a routine basis. Interpreting the intended meaning of the single instrument is given priority over any linguistic discrepancies and this is why revisers and translators of the European Court of Justice need to be lawyers.
I just finished reading the new book on Theranos.

I’ve seen very similar things at other science based/biotech startups. In particular, over-promising and misrepresenting the state of development. Quite often these companies are funded by traditional tech investors who don’t know how to do DD on science-based/biotech startups.

The difference with Theranos is that they messed with the FDA. They did consumer testing, and publicly raised their profile to the point where they couldn’t be ignored.

If they hadn’t started doing consumer testing with a device that essentially doesn’t work, I doubt we would have heard of them.

Most of the investors would be happy right-off the investment. Even with Theranos, I believe it’s only the smaller investors who are making a fuss now. Larger investors know the money is gone, and there’s not much point in suing.
Endorsement Request for Cs.SE (Software Engineering)
Thanks for sharing this! I didn't realize this project existed.

I have lots of questions now, like why this isn't using the zeromq based protocol, so I guess I will need to spend some time with it.

It does look like it closely overlaps with what I was describing. I didn't realize overriding/extending the http api was even a thing that could be done so I just used zeromq for my own purposes :)
Very jealous. There was a defense contractor in my city I admittedly applied to out of undergrad mostly because I wanted to peruse their library, mostly texts on discrete maths. Glad you could discover your interest in the subject.
Back in the early days when silicon valley actually made silicon, they realized that batches would be effected by the local farms or if someone didn't wash their hands after using the bathroom.
> Fast internet everywhere - 100Mb/s+ cable, 5GHz Wifi, 4G cellular

I used to say that. Now I live in a rural area, and the fastest speed that's even available is 5Mbps (and the uptime isn't great). My house also has zero cell service from any provider.

It's also a bit presumptive that everyone can afford a 100Mbps connection. The last place I lived, it was like $120/month for 100Mbps. Not everybody can afford that.

That being said, has anyone out there come up with creative solutions for working remotely on a crappy connection?
Utility tokens are fine. They are just a waste of time in most cases, since they introduce a complex mechanic that is only needed for the purpose of monetizing the platform growth (therefore everything needs to be a "platform" where there are these security-like things moving around).

I think a lot of the scare about securities is going to go away and a market will evolve with proper jurisdictions that are friendly to this.

Keep in mind that most so-called utility tokens today fail the Howey test and 10 get issued every minute. Yet no one will list a self-proclaimed security token. The big difference, I think, is that the perception of wrongdoing is very different, even if the wrongdoing itself is very similar.
> The government isn’t that great at secrets.

I'm going to make a leap of faith, and say you're an adult in the US.

The fact that there are some US adults not aware of the massive scale secrecy, of the Manhattan Project, is genuinely embarrassing.

For a more recent example, see the NSA circa-Snowden.
Britain probably has terminal cases in prison hospitals. Ian Brady, one of the "moors murderers" and the Kray twins come to mind. Both had people outside pleading their case to be released to die in family. I think Brady died in a secure hospital.

So.. The UK is an OECD country. I think this does happen, albiet at a lower intensity than in the USA
What keeps people highly coupled with could provider is not where their code is running but rather other "here only" solutions like custom DBs or infrastructure.

You can rewrite code deployment script for any provider in few days worth of work, but switching between other tech stack will be near impossible.
If all of AAPL stock is tokenized, and someone hacks a custodian of say 30% of AAPL, is the hacker now owner of 30% of AAPL?
> imagine if we had thousands

First you spoke of 50, then 500 (web sites), now thousands (yet you only managed to name 6).. this is starting to resemble reductio ad absurdum.

You haven't really made a convincing argument for why we might have excessive variety, such as an unusually low barrier to entry compared with other open source tools.

Moreover, I'm pretty sure your arguments could also be used in favor of federation, rather than centralization.
To strike fear into the hearts of those still in the dark about MKUltra.
That web UI will be interesting to many, I'm quite confident - and considering the exodus that's recently happened, people are looking for exactly those kinds of upper-management-friendly interfaces for VCS.

I was just wondering... maybe put a few screenshots on a landing page along with a "coming soon"... could solicit some feedback, and capitalize on the current trend of looking for alternatives.
Paraphrasing that economic philosopher Inigo Montoya ... You use that phrase "negotiated voluntarily" ... I do not think it means what you think it means.

Right to work laws limit the power of unions to form labor monopolies, opening up the market for labor. You may form a union or not. You may join one, or not. But you can no longer coerce someone to pay dues/fees for something they do not wish to associate with.

That is, fundamentally, the breaking of a monopoly over labor. Everyone has an inherent right to negotiate on their own if they so choose. Or not, they can join the union if they so choose. But they are no longer coerced into funding activity that they may not wish for on their own behalf.

Right to work does exactly what it says on the label.
Ah, great, another company that wishes to profit off content while attempting to wash its hands of the implications of that content.

Offering something for sale on a platform, or store, or "aggregator" as we're now calling it, is endorsement. If you take their money, you take the rest.
The difference between fraud and development is a very small one. As Telsa motors will show in the next 9 months.
Why not just increase L1 Cache size, and avoid off-chip references? Sure, non-volatile isn't met, but as bang-for-buck, the win would be many hundreds of ns better surely?
What are the alternatives of which you speak?

Which part of kubernetes is "developed with the intention to eventually get you to use the hosted version"?

Offering software for free, software that is widely adopted cannot be based on the motivations you propose, unless there is a grand conspiracy of cloud providers for which I am unaware.
I'm not suggesting that CVS to Git is easy. I'm just saying that Github doesn't present any kind of barrier to adoption of Git (in any project, not just OpenBSD).
Can someone explain why an airline wouldn’t buy an A380 even for $80mm? Difficult to fathom that there isn’t a route or operator that could benefit from the massive capacity offered by a second hand a380, even with the higher fuel costs. Are there known deficiencies in the first few batches of A380s for the unit cost to have doubled in the last decade?
> The WWDC, sacred nerd summit of Appledom, is where they announce things like a new “night mode” for the operating system and try to convince programmers that Apple Watch matters.

Bloomberg got an honest laugh out of me.
ICU4C has quite a bit of cruft at this point, so the useful subset is perfectly reasonable. You can always add anything to these layers you want, but it's really not worth the effort.
> - e-ink displays are incredibly fragile.

hmm, i have the opposite impression. compared to lcd, eink displays seem pretty robust.
>”It's not a good store of value over the long haul”

Well sure, but no one is storing their wealth in USD. You use it to purchase assets. What store of value can you purchase with BTC without first converting to USD?

>”Binance made more money than Deutsche Bank last year. They funded growth with an ICO.”

Concentrated more wealth, you mean. What, exactly, did they contribute to the economy? At the very least, banks provide liquidity. The furthest I can gather of any crypto company mission is “make money”.
Another fantastic remote only company is Moon Studios, the creators of Ori And The Blind Forest.
Anorher fantastic remote only company is Moon Studios, the creators of Ori And The Blind Forest.
When I first read this, I thought how come no one thought of this before? It feels like common sense.

Dumb question (potentially): will this make code that is not inlined, calling a function many times, often, run a lot slower?
Propaganda works on different principles than persuasion. Repeat stuff enough and just about anything starts to sound reasonable.

This is used by just about everyone, "Save the Whales!" and "Think of the Children!" are calls to action without support. They boil down to "Do this!" as a slogan and it works.

Propaganda can also frame issues, saying "Job Creators!" ignores the demand side of the equation. Without revenue companies will fire people, but the people doing the firing are still defined as "Job Creators!" Use automation and replace 1/2 the workforce with robots and their "Creating high paying jobs in automation!" It's not about changing people's minds it's about changing how people think.

Trickle down at least pretends to have an argument. This is closer to a religious. "We must appease the people on high that make everything work, (with tax breaks or whatever)"
I think it's safe to assume that all of us are going to be cashing in on that "may you live in interesting times" curse.
Dismissing Unions assumes you really know all the reasons Unions might object. You go directly to 'taaaking our jooooobs' without even reflecting once on the other concerns.

BTW, if people don't have jobs what is the economy? we were told a few years back that with the decline of manufacturing the jobs were in the service industry. Service, like y'know, staff on the underground?

Maybe, the path out here is to keep them working and paid, but have them do other things?

Unions are not bad. Sloppy critique of unions because 'story' is bad.
Ersatz Free Trials – Bitsplitting.org
> What keeps people highly coupled with could provider is not where their code is running but rather other "here only" solutions like custom DBs or infrastructure.

I agree, and the advent of k8s adoption is one less thing that locks you into a provider.
Does this mean adult content is now allowed on Steam?
I'm still shopping for a good Aeron chair... I had one years ago and it was the best thing I've every put my tooshie on. Joke aside, a damn fine office chair.
Soon enough, potentially, tokenized securities that represent shares of anything you can think of.
You seem to imply that k8s somehow means having all your hosting and deployment provided by Google, which seems pretty fallacious.

Insofar as it gets people to use GCP, it's not necessarily very useful in that regard. Other replies have pointed out that k8s provides a useful abstraction above multiple cloud hosting solution providers. I'd like to add several reasons.

1. Alternative solutions exist. For example, Docker Swarm. It seems to me that Swarm, otoh, is too inflexible for mainstream popularity (?).
2. Alternative hosting solutions exist: why GCP and not, say, AWS?
3. Some companies build on top of the main k8s features and provide their own solutions tied to their own offerings, obviating the use of GCP. For example, rkt and OpenShift.

So even if Google is the dominant interest to the extent that k8s would fail if it stopped its contributions to the project, it is not obvious that Google will be able to capture all the value that comes out of the k8s project (of course, it expects to capture enough of it to make fiscal sense)
I have some core from the seventies on a shelf. I often wonder if the residual magnetism is readable.
Please stop making these comments. If you don't like the site, don't comment.

@dang
In this case the point of the licence is that the original author knows they have done something terrible and/or inadvisable (probably out of desperation), but still... The code worked once and it might be useful to someone else in a bind, but the author absolutely does not want anything to do with whatever new problem it was leveraged against, or the fallout if this time it doesn't work.

A licence is not provided with free software in order to convince you that you should use that person's code. It's provided because some people are just shirty enough to steal other people's work, claim it for themselves, and then eventually sue the original author for copyright infringement.
Who's surprised? I don't think most people are surprised, but rather frustrated and disenchanted about medical technology and medical innovation outside of university.