skysight-inc/HackerNews huggingface dataset:
I'm talking about when someone decides not to confront potential criminals because they might get sent to prison for killing someone when they accidently usetheir pistol instead of a taser.

Look, I'm no fan of the police, and often find myself in disbelief when police officers are acquitted (or not indicted) for what can only be described as murder. But the Oscar Grant shooting was clearly a mistake, and whether or not the officer should have been convicted, that kind of conviction will definitely put a damper on officers' willingness to confront people.
The funny thing is that, to me, the NYC system seems to work so much better than San Francisco’s, based on my usage of it. And NYC also has a much bigger police presence than San Francisco, which results in it feeling like a much safer city.
Please let me know what's new so that I can update the chart. Dumping into an issue will do, and then I can worry about getting it into chart format.

https://github.com/beyondgrep/website/issues
I've never worked in the industry but I've been casually studying about it for the last 10 years or so. I'm well aware of the roots of our current agriculture system stemming from the dust bowl. I've spent a good amount of time trying to understand the history of the subsidies that shaped the Ag industry.

The fact of the matter is that our modern farming practices are way too short sighted. Topsoil erosion is the easiest thing to point to to identify that something needs to change. Things like monoculture issues, herbicide issues, pollinator health, are all things we should take more seriously but nothing is as concrete as the argument that we need to maintain our soil better.

Small scale forest farming practices have shown that there's alternative methods to produce high yields off the same land with better practices. There's a multitude of simple techniques like hugelkultur that seem like amazingly efficient ways to improve yields. Salatin's work has highlighted some potential ways to incorporate more biodiversity on the farm to maintain a healthier long term ecosystem. There's been meaningful traction with hydroponic and vertical farming practices.

I'm certainly no expert in what the actual solution is but whatever we're doing now is unsustainable. Much of it originates from the abused and malformed subsidies that over-emphasize food security over health or environmental issues. High Fructose corn syrup and ethanol being perfect examples of the stupidity of our current strategy around agricultural subsidies.

The government already pumps a tremendous amount of money into the agriculture industry. We should just do it more deliberately and thoughtfully.

Sure, prices or taxes will likely go up. By how much is the real debate but ultimately I'd say whatever the change is it's probably going to be worth it. Modern farming practices is right up there with climate change as an existential threat that we should not neglect and saddle future generations with.
The BART police are afraid of being falsely accused even when they are in the right, because of the legacy of the Oscar Grant case, so they are overly timid about confronting criminals.

The police were wrong in the Oscar Grant case, but the consequences for public safety have been very negative as a result of the public reaction.
> thinking you're not winging it is the most severe way of winging it

Only if you either have no objective feedback on your actual performance, or you ignore such feedback when you get it.
All chemistry is ultimately quantum, same with rocks and everything up to celestial bodies (meaningfully, the moon Hyperion decoheres). For most of calculations though classical models are good enough, vast majority of chemical reactions behave as if molecules were newtonian springs. When people talk of quantum effects in chemistry they really mean it. In case of photosynthesis the basic molecule's efficiency was found hinging on stuff that is very quantum. This was described by Gregory Engel et al. Alan Aspuru-Guzik interprets some of what's happening as a realization of quantum computation running a tree-walking algorithm.

The wider conclusion is that living organisms do evolve around quantum effects (if the molecule existed a priori somehow) or maybe even evolve to the point of reaching and then harnessing them (making the molecule).

Now to what's Penrose about. Seldom anybody actually reads the guy or know the context. He was after the computational theory of mind. Not necessarily looking for a theory, but sneering at one big non-theory. This is in context of the 80's with unhinged stuff coming from the AI community (same as today). He was wondering if brain could really be this reducible and a known model of computation (he hasn't done a good review) from the physical point of view. For him a full logical reductionism necessiated excissing the measurement problem (the basic point goes back to Niels Bohr who thought biology cannot be entirely physics because of this). So he proposed a crude version that fleshes out measurement as a real physical process. His idea has the main upside of removing both quantum and AI mysticism.

This received angry and mostly off-topic response based on caricature summaries like elsewhere in this thread. Of course lending themselves to such caricatures says a lot about writing if not the ideas, but it's an honest try that ain't entirely silly and without upsides. The microtubules guy is someone else who Penrose was just happy to see come and collaborate with later. He'd be happy with any kind of other stuff, such as from the original article. BTW the author is Philip Ball, a long time editor of the Nature journals, and he's got a new book out about interpretations of quantum mechanics that is really superb to anything else on the market by far (that is could be better but isn't worthless).
The question you should be asking is: What are the odds that some random vocal sound might be interpreted as "liberty" by a human brain that is primed by talking about that subject?

Odds seem pretty good to me.
Millions in gov't subsidies, a major bailout in 2009 that saved their company, non-stop threats of closure and ongoing clawbacks of manufacturing. And in the end... up and out.

Obviously it is GM's prerogative and can do as they please but it is time for politicians to stop falling for the folly. Just like your stocks and mutual funds - diversify your industries and don't rely on one big player.
The privacy feature of Taler is similar to the CryptoNote unlinkable address, but without using the ring signatures. I'm working on an open source payment system similar to Taler https://github.com/MixinNetwork
Synthesizing Environments
There are other mail providers out there besides protonmail that use standard interfaces by default (e.g. imap). startmail, mailbox.org, runbox, mailfence, etc.

All of the problems you described are from protonmail trying to do things their own way and ignore what everyone else wants/uses.
> Possible, but is that then a runtime option in the WASM header? How does it know if the program needs the cost of retpoline or not? And how can a program ensure that it's getting such mitigations when it needs them?

You're looking at it the wrong way. Untrusted code doesn't have a "I pinky promise that I'm safe" bit they can twiddle in their header. If the code running is untrusted, it doesn't get to make that decision, all code under that context needs to be retpolined. (V8 already does this https://chromium.googlesource.com/v8/v8/+/7d356ac4927e9da3e0... )

> The JIT has no insight into the app's malloc/free usage, so no, it can't. There is no system allocator in WASM, just a big chunk of linear memory that the app does whatever it wants with.

It can retarget the code so that the virtual base address of the linear region isn't fixed. That's about all ASLR does anyway.

> For an actual case study in why this is risky all you have to do is look at OpenSSL's heartbleed. If it had been using the system's malloc/free (which WASM doesn't have) instead of using its internal free lists then heartbleed largely wouldn't have existed on platforms like OpenBSD.

You can implement all of the malloc protection strategies that OpenBSD uses in user space. It's completely legitimate to use your own malloc in those circumstances, libc's malloc isn't magically special, and it makes sense that they'd want to rely on memory allocation with additional guarantees than libc gives you. OpenSSL's sin wasn't re-implementing malloc; it was re-implementing it poorly (and not bounds checking input from attacker controlled packets).
I used to ride it every day for my commute (which was for.. 3 years?). Now it’s only a couple times a week.

Maybe it’s just the stations I frequent. Still, compared to a place like NYC, it’s a joke. No wonder delinquents raid entire train cars.
> Software changes too fast to make a static snapshot of it.

Architectures don't really change that fast or often, except maybe in the initial phase. That's why most UML diagrams are a waste, they are concerned with low-level details like classes or internal interfaces.
I’m glad that there are Morons like you in the worls to help skew down average intelligence.
Not the internet per se, scams are all over society. It's sad but true.
I think about this question a lot. I think the article (and Borges) touch on the core issue: abstraction. I find that many of my employees find it very easy to program based on their lived experience programming similar tasks, but hard to take a step back and answer the question "What is the appropriate generalization of what I am doing right now?"

My hypothesis these days is that a strong autobiographical memory has little to do with programming. Rather, a good memory for semantic information as well as the ability to creatively rotate one's perspective seem to be much more important.
How does a machine proof check a psychology study? Or a drug trial?
I had an idea and made a proof of concept for a framework based on ontology language that generated both cloud resources (AWS cloud formation, with the plan to target similar infrastructure description languages) as well as a set of code snippets for CRUD operations to be deployed to those resources. The nice part was that you'd have all your types and data flow modeled in a source-controlled set of repos, and you could generate and publish up-to-date system diagrams at any level of granularity you wanted. Seemed cool but I never got around to doing much with it.
Straight from someone on a team there. Sorry I can’t be more specific.
So let’s see, you downloaded the files from their server, now they have a unique id for each user and they can track you more.

Most commercial apps aren’t going to give you access to the source control.
Is that the ugly one where you have to download huge regions to offline just to look at where you at right now?
> But my domain model is...

No it isn't. That's the model for the representation of the actual domain model. The actual domain model may well be "idk everything" (then you're SOL) or it just may not be formalized (then you might want to fix that).
Twipe – Create digital newspaper editions readers love
I, and I think probably many others, would disagree. Tolstoy is a lot of things, but to-the-point is not one of them.
> If the court allows the definition of 'trust' to include "a company gatekeeping developer access to their own operating system" when that operating system represents a much smaller share of the market than the next biggest competitor.

You're talking about two different markets, the devices themselves and the app distribution.

Suppose there are many truck manufacturers and none has majority share, but only one makes diesel trucks. Then that company gets into the market for diesel fuel and makes it so that customers can't use any other provider's fuel in their trucks. They've just leveraged their diesel truck monopoly into a diesel fuel monopoly.

Your argument is that they don't have a truck monopoly, because other people make lots of gasoline powered trucks and electric trucks etc., and truck buyers could reasonably choose them instead. Many of them do. But those aren't relevant when we're talking about the market for diesel fuel. You can't use gasoline in a diesel truck. You can't use an Android app on iOS or install iOS apps on an iPhone with Google Play.
Sidenote: does anyone know why all these cancer scripts use this approach of using an initial Javascript payload to create a `script` tag, instead of just being a `script` tag directly?
Hyperdimensional Computing Nanosystem
Narita Express is among the expensive train in Japan though. Narita Airport to Tokyo station cost JPY2820 (~$25).

130km/h is the maximum speed any train can operate on a line with level crossing designated by Japanese law. But in Japan a lot of train can maintain near maximum speed throughout its journey, unlike what I have seen in the Europe.
Same is true for San Francisco.

Criminals have more rights than children.

Or taxpayers...

If we are to have a functional civilization we must remain open but also learn how to say no to unacceptable behavior.

Especially the egregious. Like you see everyday. People littering, shooting up and shitting on the sidewalk.

Meanwhile our legislators are passing laws to limit the amount of restaurants in certain neighborhoods. Or trying to ban companies from having their own cafeterias.

It's the ideology of 'sounding good'.

Empiricism needs to take its place.
A good alternative to the current system of pre-publication peer review would be post publication peer review. The former, or one pass editorial review, is how scientific publication worked almost universally pre WW2. There are many scientific disciplines where everything important happens in preprints and publication in a journal is for archival purposes more than communication. Economics, Physics, Mathematics, Political Science, Genetics and Genomics, every discipline with substantial coverage on SSRN or the arxiv works on post publication peer review.
Most people's ISP these days is AWS/GCP/Azure, so that's not an option for most anymore.
Sydney Uber driver found guilty over passenger death
It's true though. Do you ride BART or live in SF or Oakland?
Yeah, there was a recent Twitter survey on this issue by an SF Examiner reporter:

https://twitter.com/FitzTheReporter/status/10620929010002042...

Wired also mentioned that women in NYC pay on average $26-50/month extra for safer means of transit:

https://www.wired.com/story/nyc-public-transportation-pink-t...
open question! :)

We could at least have the data and the statistical analysis (code) accompany the paper.
While you are in an enclosed train car? Good luck getting away.
A lot of tools exist for generating UML from code (and some for generating code from UML).

I've never found any of the generated UML to be helpful (too big, too many details, and too much effort for me to simplify). Funny enough, Visual Studio cut out the builtin UML designer from VS 2017.
How long does it take you to do those 300-1000 cards per day? I'm finding I'm reviewing at about 9s/card lately
Machine checked proofs only work for deductive, non-experimental disciplines. You can't use machine checked proofs to tell if a drug is effective or not. Human referees have to be involved no matter how advanced the AI is.
> I'm talking about when someone decides not to confront potential criminals because they might get sent to prison for killing someone when they accidently usetheir pistol instead of a taser.

I mean, same idea. If a police officer is not confident they can dependably discern the difference between a gun and a taser, BART is definitely safer without them.
The Chinese are so advanced... I get the feeling with how rapid they are that we're going to be following in their footsteps rather than leading.
Dr. Seuss Cartoon with the Caption 'Waiting for the Signal from Home' (1942)
I'm all for this. What changes do you propose, how do you intend on carrying out those changes so that the execution matches the intent, and how can I help?
It's trying to solve the problem of having to involve a 3rd party in on-line transactions. Chargebacks are expensive to deal with. Jurisdictions are expensive to deal with. Standing up a multinational e-commerce site requires a lot of lawyers and accountants.

Will the risk presented by crypto always be greater than the risk of involving trusted third parties? Maybe. Maybe not.
And those prices would be reduced even further with a lower rake or storefront alternatives.
Prior to nullptr, generally I used literal 0. In those cases which require disambiguation, I used (void * ) 0.
> while the wealthy will easily be able to afford the kind of lawyer who can get [..] more reasonable terms.

That will be the case with any effective punishment. You can be sure they'll fight points just as hard. Ofc still way better than a flat fine.
I would love a design IDE!

*Edit - off topic
People have been trying to set up web-based academic publishing for at least twenty years, and they've failed. The obvious explanation is that it does actually cost money to publish academic research.
paying for peer review doesn't make much sense because the time required is highly variable.

Paying per paper maybe not, so maybe paying per hour makes sense?
The article neglects to mention one of the more interesting detours in Varoufakis' professional life: his stint as in-house economist at Valve Software.
http://blogs.valvesoftware.com/economics/it-all-began-with-a...
Our better still, a fictional Constitution for all humans on Earth.
One thing I can think of is trying to avoid caching.
It is open source. It is distributed and everyone can join. But it turns out that it is centralise and mainly controlled by one hardware firm (ant miner 90%) and basically controlled by Russia and china (> 50%).

The whole thing has to be rethought.

Internet is now a monitor mechanism using social credit. Free what free. Free to be controlled easily.

Better work on something really free, not just software free to be copied and use against humanity.
Literal zero in a pointer context is interpreted by the compiler to mean "the null pointer." The compiler then compiles the null pointer into the code.
> So let’s see, you downloaded the files from their server, now they have a unique id for each user and they can track you more.

Which you can verify they aren't doing if they provide the source code. Or the non-Apple app distributor could verify that they aren't or otherwise sandbox the apps they distribute to prevent that from happening -- another advantage to competition.

> Most commercial apps aren’t going to give you access to the source control.

For something like that, why wouldn't they? Especially when there is a specific reason to, because it's something people are unusually privacy-sensitive about.

And it's not as if a community-developed Pornhub app that did would be accepted into the App Store either.
Backcountry offline navigation in rural South America is far from what most people are using a mapping app for, though.
A simple out of the box solution is intercropping. The loss of a single crop in a multi-crop system is not a ruinous loss compared to monocropping. It also reduces the requirements for pesticides and fertilizers if done well.
Ah fair enough. I guess this limits the PR system to just fixing typos. Still it seems almost all of the value is in providing really easy and up to date info to everyone. Awesome work.
Yea I'm in SF not sure how long I'll last.

It's a cess pool. Criminals have more rights than children.

There was a crazy homeless guy who would shit everyday in front of a school in Bernal. The police couldn't do anything about it.

You are completely right about the fear of political fallout for wanting to uphold the law. It's sad.
I like Arc42. It is aimed at documenting technical architectural decisions, the whys and constraints (budgetary et c) that lead to a particular design.

It also outlines the main boundaries, the key interactions.

Architecture should not be about the details. Rather it should be like a guide so that the developer can look at the source and see for themselves.
dnschecker.org says it doesn't
Apple does not hold a monopoly, Android is the dominate platform. To use antitrust law you must first prove a monopoly exists, then prove the monopoly is being used in anti-competitive ways.
The most direct way to do this would be to legalize sites like Sci-Hub. It's hard to argue you're performing a valuable service when you have to use legal power to prevent others from doing that service for free.
Police acting like the armed anti-violence guards they should be is pretty low on the objectionable list that people have with police I would imagine.
I don't understand this article's(2015) graph extrapolations going back downwards on gains that are certainly not going away in future processors iterations.

Clearly some curves have kind of flat lined but aside from the power consumption one which could logically go down and definitely has in terms of power/transistor ratio, the other ones are not going down any time soon for sure like the graphs suggest.
The undergraduate logic programming course I took used Learn Prolog Now! which is available online for free. [1] I found it to be pretty straightforward and helpful.

[1] http://www.learnprolognow.org/lpnpage.php?pageid=online
I clicked "single player", watched "generating maze.." screen for 10 seconds, closed the tab. Not willing to wait that much just to try something out.
If publishing can't come up with a solution to limit cost and open up access, there are already online models for open publishing.

An online taxpayer-funded archive could be created/designated by statute. It would require that such articles be published there (before and after reviews). Publishers would pay to have access; their prices would reflect that cost and a cost-plus profit. Privately-funded org's could decide which game they prefer.

Make a fine memorial for Aaron Swartz.
Agreed. You have a right to self-defense.

But I've met people out here who do not believe in self-defense. Somehow in their theoretical mind they believe any form of violence is evil. They also believe people who believe in self defense are evil too.

The lunacy has no end. But my stay here sadly might...
Well, it was a snarky and belittling article at least.
Hmm, yeah, privacy isn't what drives adoption. I think a more interesting approach is what the D.Tube founder is talking about around money as a source for curation not labor. Interview here (https://youtu.be/fhMo0pBkA2A) warning very long.
This implies it's rational to fear for your freedom as a law-abiding person on the basis that a true criminal was convicted. That makes no sense. By that logic we should be against letting police arrest these robbers anyway, because if they did, all of the non-criminal commuters would refuse to enter BART for fear of being charged with robbery.
That's because it's illegal to carry them pretty much anywhere in public.
I'd say the safest thing is to call the number on your bank statement or the number on the back of your card.
This is a chicken and egg problem. If you want to support the ideas OSM represents your only course of action is to do so. Complaining that people aren't using it is a defeatist attitude.

And in any case, a lot more people benefit from OSM than you know. Consider that it's not just a website with a map on it, but a downloadable map you can do whatever you want with. There's no other free & public source on geography that even comes close to OSM's detail. And OSM is genuinely better for end-users than Google Maps in many respects.