skysight-inc/HackerNews huggingface dataset:
"formal logic ... deals with rigid, all-or-none concepts"

Von Neumann only had knowledge of classical logic, so he was not aware of fuzzy logic, logics that deal with infinite truth values, and other non-binary logics.

By recognizing the above named inadequacy in the formal logic that he knew, von Neumann was unwittingly standing on the threshold of a new field. If only he had asked the right question (ie. what could a non-binary logic look like?), a first rate mind like his surely could have made some significant progress.
The Opportunity Atlas
I agree with you completely.

I mean, they want you to write "expect(some_thing).to be_true" and even more ornate stuff.

I mean, why not "expect(some_thing)" or "expect(some_thing==true)"?

Rspec, Cucumber, etc. do have matchers that are helpful and more concise than idiomatic Plain Old Ruby but some of them are so basic and yet so ornate that they really seem like some kind of a joke.
None of those are distant benefits.

The person who dies for “ideals” are mostly driven by false claims[0] about the nature of the afterlife.

Improving your child’s outcomes is a biologically preset desire.

Saving for retirement is still ultimately in one’s immediate self interest.

Producing theoretical research has the immediate benefit of recognition in their fields and the possibility of a “lottery win” outcome.

Saving for retirement is
>We’re in a much more precarious place financially now, after a few non-spreadsheet-related surprises, but we’re still determined to make whatever decisions we can to improve our lives.

This, imho, shows the issue with basing life decisions so relentlessly on personal data no matter how well collected. Either the unexpected catastrophic scenario hasn't happened so you don't hedge for it or it has happened and you hedge too much on it happening again. Just like basing stock decisions on the recent past is great right until a recession or bubble hits to wipe you out.
> According to three former N.S.A. operators who spoke on the condition of anonymity, analysts spent almost a year finding a flaw in Microsoft’s software and writing the code to target it.

So we spent significant government money finding and and developing an exploit for the CVE. Yes, someone else could have found it too/instead.

But what if instead, our government had spent that significant money finding the exploit... and getting it patched for everyone. Would that not have made us all safer?

We are choosing to fund an enormous "black hat" operation, when we could be funding an enormous "white hat" operation instead.

Theoretically, there is a government policy that it is the "default" to disclose any vulnerability found by national security, with a (secret of course) process to go through to argue that a vulnerability should instead be kept to be weaponized.

I am dubious to what extent that has actually changed practice at all. The times the vulnerabilities were kept undisclosed would of course be secret, but in theory all the times an NSA-discovered vulnerability was disclosed should be public record somewhere. I haven't seen such a list, not sure if anyone has tried to make one or if it's available at all. Theoretically the government policy is that disclosing vulnerabilities should be the standard and default behavior except in unusual circumstances. I am dubious. And it is putting us all at risk.

> One month before the Shadow Brokers began dumping the agency’s tools online in 2017, the N.S.A. — aware of the breach — reached out to Microsoft and other tech companies to inform them of their software flaws. Microsoft released a patch, but hundreds of thousands of computers worldwide remain unprotected.

The scandal is that they tried to keep this vulnerability to themselves until they realized it had been stolen. If they had disclosed it to vendors when they found it, there would have been that many more years for patches to be distributed.

Instead they not only kept it secret in the vainglorious belief they had the power to keep it secret, but wrote the exploit that was then leaked, providing a powerful off the shelf exploit now available to anyone. Sure, someone else could have done that. But it was our tax dollars that actually did it. I'd rather have my tax dollars patching vulnerabilities than writing weaponized exploits for them.
Being childless and alone at 50-70 sounds like heaven. Old people hate being visited by their grandchildren.
Hong Kong and Shenzhen showed what quality early childhood education looks like
Funny you mention flat earthers, I think it's because of social media that the number of times they're mentioned dwarfs the actual number of flat earthers alive today by something like a few hundred thousand to one. Just one example where something gets blown way out of proportion.
Yeah, my point is either that or genocide; people won't voluntarily cut down on consumption, both because of strong desire to maintain quality of life and because a lot of that consumption actually is life-preserving. Think proper nourishment, sanitation, life-sustaining medicine.

I agree with your proposed alternatives - I was responding to parent's idea that we should "cut consumption and production".
> users of Go are peons who can't be trusted with sharp implements.

Pike himself is a user.
Claim:
https://www.scribd.com/document/411427794/Apple-Versus-Wheat...

API:
https://developer.apple.com/documentation/applemusicapi

And it's not that Apple is selling the data. It's that Apple is allowing the data to be made available to developers who are then selling the data.
If it helps any, the earth is probably not dying. There have been mass extinctions, climate change, etc before.

After we cut our own throat as a species, Mother Nature will deal herself a new hand and continue her game of solitaire without us.
For what it's worth, I completely disagree with this site. Even if you only look at Linux as a kernel, one can compile it with whatever combination of options one likes.

But Linux is an entire ecosystem, not just a kernel. One of the advantages to the openness of the Linux ecosystem is that there are usually at least two options for whenever there could conceivably be a choice. I like that opportunity for customization.

When people say Linux is not about choice, I usually find it's because they're defending systemd. I'll be the first to admit that systemd has some good ideas. But I don't like how it spreads like kudzu across the system until common, low-level programs depend on systemd and systemd depends on their own versions of those programs instead of relying on a commonly agreed upon interface.
I feel fairly safe in the assertion that DOS was simpler than Windows 10.
the idea is that the energy used is from renewable sources, so you get carbon-neutral fossil fuels.
I think it's more likely that the particular Vulkan games they tested are GPU-bound, so a slower CPU won't have much of an effect on their framerate. I mean Doom even runs at 60 fps on current-gen consoles' low-powered CPUs.
Alloy comes from the Z line of “systems are basically giant relational algebra problems”, while TLA+ comes from the LTL line of “systems are basically giant temporal logic problems”, which leads to a lot of fundamental differences between them. They also had different design philosophies: Jackson wanted a language that was easy to build tooling for, Lamport wanted a language that was easy to express complex logic in.

One consequence of this is that Alloy is a much smaller language: you can fit the entire syntax on a single sheet. It's also much easier in TLA+ to write a spec that you can't model-check, while with Alloy you have to be actively trying. It’s also impossible to write an unbound model in Alloy, so you’re guaranteed that every spec is over a finite state space. Which gets rid of the common TLA+ runtime problem of “is this taking a long time because it’s a big state space or because it’s an infinite state space".

Re tooling: Alloy converts to SAT, which makes model checking much, much faster. Specs that would take minutes to check in TLA+ take less than a second in Alloy. Being able to model-find as well as model-check is really nice, as is the ability to generate multiple counter/examples. The visualizer is really useful, too, especially for showing counterexamples to nontech folk. But the thing I honestly miss most when working in TLA+ is the REPL. It’s not the best REPL, but it’s a hell of a lot better than no REPL.

Okay, so drawbacks: Alloy doesn’t have an inbuilt notion of time. You have to add it in as a sequence sig. This means you can’t study liveness properties or deadlocks or anything like that. It also makes simulating concurrency awkward. This isn’t a huge problem if you have simple interactions or only one structure that’s changing, but the more “timelike” the problem gets, the worse Alloy becomes at handling it.

Less fundamental but still a big problem I keep having: no good iteration or recursion. Transitive closure is pretty nice but it’s not powerful enough. For example:

sig node {edge: set Node}

Is N1 connected to N2? Easy, just do `N1 in N2^.edge`. Through which nodes does N1 connect to N2? That's much harder.

The biggest problem with Alloy adoption, though, is social: there’s no comprehensive online documentation. If you want to learn it you have to buy _Software Abstractions_. Fantastic book but not something that’s especially convenient, and it doesn't cover newer features. We're working on changing this, but it will be a while before we have comprehensive online documentation available.

Which one is more appropriate to use really depends on your problem. As a very, very, VERY rough rule of thumb: TLA+ is best you're most interested in the dynamics of a system: the algorithms, the concurrency, etc. Alloy is best when you're most interested in the statics of a system: the requirements, the data relationships, the ontology, etc. My standard demos for showcasing TLA+ are concurrent transfers and trading platforms, while my standard demos for Alloy are access policies and itemized billing. You can use each in the other's niche, too (see Zave's work on Chord), so it's not a stark division.
GörüNTülü Sohbet Odaları
Yes. My point is that there's no way of quickly getting to "produce and consume less" without dropping a lot of bodies, so that path isn't helpful.
The methodology seems highly questionable. From the actual study (https://www.apa.org/pubs/journals/releases/psp-pspi0000187.p...)

"Social class was measured in three ways. To indicate subjective social class, participants saw an image of a ladder that 'represents where people stand in your country.' and selected the rung on which they felt they stood, relative to other people in their country"

"However, when difference scores were used (or the alternative joint-testing procedure), the conclusions were not so straightforward. Here, we found support for Hypothesis 1 only in the case of subjective social class. The difference score approach also showed that education and income were negatively associated with overconfidence, directly contrasting the results generated by the residual score approach."

So it's not so much that people from a higher social class are overconfident but that overconfident people appear to be from a higher social class due to their methodology and downstream assessment confirms their methodological bias. It's quite incredible this received as much attention as it did. Also this sample is limited to Mexican small-business owners applying for loans.
Unfortunately I can't take the writing of someone that suggests people listen to Stone Temple Pilots seriously.
Are those successful DSLs just texts with editor UI? Or they are something like block diagram?
There are entire websites dedicated to it, and the photographers/subjects willingly provide the data to companies like Facebook and Snapchat under permissive licenses (read the TOS!) in the US.

I am not sure the contrast between the US and China is quite as stark as you imagine.
Automation usually reduces the number of jobs, but increases the pay of those jobs which remain.
Show HN: Pixelcheetah: Analytics Using HTTP Requests
It would be nice to see some technical documentation on exactly what's being looked at, but I doubt it's available given that it would just allow users to game the system.
I submitted a post earlier this morning that was flagged, this YouTube video is relevant. Here's the text of that post:

We're looking for people with the audacity, the gumption, the gall to save the world. We're looking for people to join an ambitious project ---regardless of technical aptitude --the most important quality being bravery--·--- , a project designed to save the world, a project that has been in development for over four years. We are currently readying a presentation for a cloud funding campaign, We do not wish to publicly provide more information than this. If you think you might be interested, email (using the email address within my profile) me and I'll provide more information, but please keep the information private even if you decide that the project is not for you.

Looking especially for lisp programmers.
Thanks for your replying!
Yup, I need rename this LOL
Thanks!
Most people who have workstation malware are unaware of the fact that they have workstation malware.
Tell that to the parents who tried to bribe their kids' way into college. The fact is, SAT prep costs $0. You'll notice that kids growing up in trailer parks magically don't have these hurdles when their parents are recent immigrants.

Edit: To add some clarity about what I am saying: Preparation can certainly improve test scores. For example, I did poorly on the SAT verbal because I didn't even have the vocabulary for many questions. I was even, I dare say, unpracticed at reading. Actually preparing would have improved my score.

Also, some "professor" doesn't have access to special mind altering techniques that other tutors don't have. Teaching and test prep is not rocket science.
I have no doubt it's not the end of life on earth - the earth will recover and life will continue for another 3 or 4 billion years, probably.

I'm more concerned about the short term - i.e. what will happen to us and our children and future generations.
I live by a similar mindset, but I do not think it should be like this. It feels like shit, that I have to think of other humans with such a distrust and fear. I'm very envious of homogenous cultures like Japan where you can leave a bike unlocked outside of a store you're shopping at without it being stolen within 10 minutes.
I think I do. The yellow pages never ran out of power, and wasn’t influenced by a spotty internet connection.

Same thing applies to paper maps.
It is a word
Sky CREDIT SOLUTION, the answer to all your credit isuues
For 5 years I have experienced different forms of hardship due to the Eviction and late payments on my report, with my credit score at 532, Its been difficult for me to get a home for my family, I love my family so much and I will do anything for them, after reading several reviews on trulia about this credit repair company SKY CREDIT SOLUTION, I gave them a try believing that they will get the job then and yes they did just that. At the moment my score is at 782, the evictions and negatives are gone. Guess what? They even added some positive trade lines to my report. I want you to contact them , they can help you. Here is their contact Email: SKYCREDITSOLUTION247@GMAIL.COM TEL: (620) 399 6316. thanks
Thanks for your opinion!
Actually, I cared about the size of images but I think I could do more efforts on it!
Next time, I’ll try to do so!
Guillory settled dispute over YC's Cruise at $1bn in 2016, it's now worth $19bn
This is like asking "what insurance do you have?" Some people will carry health, auto, life, home, flood, and earthquake insurance. Some people opt for some or none, depending on applicability.

An insurance broker will happily talk you through what each gives you, and what is most relevant to your co, but it will almost always include GL (general liability), E&O (errors and omissions), and some sort of "cyber" (to pay for resulting damage from hacking). Expect other flavors of insurance to also be applicable.
It’s so weird to me that more than half the answers here focus primarily on computing and programming. I mean, this is a tech-oriented community, but surely our experiences of the 90s and of the present day weren’t limited to tech.
Maybe they are GPU-bound precisely because the CPU-intensive parts are so well done with Vulkan?
Hm, I might need to register the company in Germany, then — Switzerland needs a partner living there. While Panama would be perfect for privacy, living and running the company, the few dedicated server providers I saw do not come close to the price to performance ratio I found in Germany.

I really wanted to live where the company is registered, though, to make things easier. Might look into getting in Germany through Portugal.

Thanks!
I love his books...
Being tutored one-on-one by someone with enough education to be a college professor is about the most intense education a youth can get. It's vastly more intense than the same time spent in a class of twenty or thirty students.
Last release, I was unbalanced on the back end. This release is different. The work changes. Do I lay people off and rehire each quarter based on business need? (No.) do I tell business we can’t do more valuable work while less valuable work is happening?

I have a budget as a manager. I can’t always just hire more.
> If we were able to run without JavaScript and have basic use of websites again...

I think that ship has sailed..

We should work to build secure sandboxes instead.
Arguably it's harder to connect back to a C&C server if the serial-connected computer is airgapped, but other than that I can't think of anything.
As someone who does a lot of WP at their day job and has looked into other platforms, plugins like Gravity Forms are indispensable. It is nearly feature complete at this point and I have full access to the underlying code for any customizations in logic or design.

Some hosted form solutions offer features like basic e-commerce which is useful, but then doing something after a submission is almost impossible or everything is in an iframe so customization is limited.

If someone could port gravity forms to Craft, I would likely switch all new projects before the end of this year.
The causal model is that clean energy R&D causes better low carbon technology/energy, which is what most experts agree with. The reduced price increases demand and adoption, which in turns lowers emissions.

How R&D makes carbon taxes more acceptable: One economic model suggests that "if a carbon tax imposes a dollar of cost on the economy, induced innovation will end up reducing that cost to around 70 cents".[72] Given that political acceptability is mainly a function of cost, making clean energy cheaper might make carbon taxes more likely.

We need carbon taxes - there's no question about that. I used to think they're the best policy on the margin, but they do have drawbacks- one being political tractability, and now I've think increasing clean energy R&D is more effective and should be prioritized.
Midi 2 adds some much-needed features (per-note pitch bend, for instance), but what I expect to happen is that the major manufacturers are going to only implement the parts they care about.

I'd kind of like to see MIDI replaced outright with something built on a somewhat different (less piano-centric) abstraction; something more voice-oriented rather than note-oriented. Instead of having some number of fixed pitch notes that you turn on and off and settings that apply to all notes, you have voices that you can control independently (set volume, filter cutoff, control the envelope, disable and enable, and so on). You can do that now with the one-note-per-channel trick or MPE if it's supported, but it's kind of kludgy and only works with synths that are multitimbral to begin with.
> If you're a millennial/gen Z, and you're more skeptical of a market-based solution, the Green New Deal

Does anyone here who has looked even a little bit into this “bill” think it will solve even a fraction of our problems without creating 100x more?

This is an honest question. I feel like I’m on crazy pills when I talk to people about this. 10 trillion dollars? 1/3rd of all the money in the entire world?

I mean, it doesn’t even consider nuclear energy...
> In this context, the effective discontinuation of the White House press conference was inevitable. For better or worse, the president talks directly, unfiltered, to everyone. That's the real doomsday machine if put into the wrong hands.

Interestingly, that shift seems to have happened everywhere, not just in politics. Many companies have also realised that they don't need to go through the media/journalists any more, and started advertising directly to their customers/users/fans too.

Wonder if there's a term for that sort of social shift?
Except for the fact that the lawyer above is correct in their interpretation of the law, and you are wrong. You don’t get to decide that laws you disagree with are ‘pet’, ‘novel’ and go against ‘settled’ law. You’re trying to couch your opinion in certainty that it doesn’t deserve - again, because your interpretation of the law is wrong. You should even have a clue that the DoJ understands this difference, because they specifically allege that Assange helping Manning steal further documents constituted ‘solicitation’. Another clue should be the fact that the articles criticizing this charge, and original Obama era decision not to prosecute the violation, are based on the ‘chilling effect’ that it causes, not that no ‘solicitation’ occurred.

If you’re still confused, here’s a short clip from the aforementioned show discussing that it’s wrong with soliciting sources to steal: https://youtu.be/VSPhYdxSTRI
Show HN: Linkstore – anonymously store and organize links to your fav content
I'm sorry this weighs on you.

FWIW: https://news.ycombinator.com/item?id=19838229#19843507
> If a study doesn't replicate because society has changed, and so the results, then that study cannot be used to infer things about current society.

Not necessarily, again it depends what you mean by replication.

For example in the case of the bystander apathy experiment where they used smoke, do you have to replicate the study exactly as it was done, i.e.: is smoke essential, or would some other sign of threat also do?

This is why I chose that example, if right after 9/11 you tried to replicate that particular study in the US and used smoke, it probably wouldn't replicate, because people would have been recently and strongly primed to react to smoke as a threat.

I think people are over-interpreting the replication failures sometimes.
So you eat unripe (green) bananas?
Technologically, it seems to be pretty speculative and hand-wavy. Consider:

> One thing we do know about quantum computers is that once we can get them to work, which is no small task, they will be unbelievably fast and increase available computing power by orders of magnitude compared to traditional computers

> The near-future world of Fall is full of familiar buzzwords and concepts. Augmented reality headsets, next-gen wireless networks, self-driving vehicles, facial recognition, quantum computing, blockchain and distributed cryptography all feature prominently.
Could you give an example of non-sexual harassment you've encountered/are aware of?
Show HN: Displayplacer – macOS cmd line util to configure multi-monitor layouts
My wife was driving in the carpool lane with our infant daughter asleep in a car seat covered by a blanket to keep the sun off of her.

A cop pulled her over for illegal use of the carpool lane. It's a completely understandable error since the car appeared from the outside to have only one occupant.

The point is that errors happen with all methods of enforcement. But when we talk about automated systems, somehow the standard is set much higher, so even one driver falsely accused is too much.

Since the tradeoff to minimizing false positives is greater injury and death, it matters that we get it right.