skysight-inc/HackerNews huggingface dataset:
There are plenty of more neutral and thoughtful comments taking the side of the lab leak theory that don't end up in a downvoted or flagged state. The GP comment obviously broke the site guidelines, for example with gratuitous flamebait.

https://news.ycombinator.com/newsguidelines.html
This made me think that I can’t be the only one who so desperately wants a sandbox game akin to Sim Earth where you manipulate plate tectonics among other Earthly things.
Pardon my ignorance but why does it matter that you're using RPC/graphQL or REST based service, isn't the underlying protocol still HTTP? So this spec would still be applicable, right?
Kaseya was tipped by white hats of vulnerability in advance
The article is blocked behind a subscription prompt for me, but it's implemented in a silly way that's trivially by-passable. It's just some js code that checks if you've scrolled past a limit and scrolls you back to the top if so. Anything that removes js from the content defeats it, including Firefox's built-in Reader View.
Thanks for the insightful comment; makes good sense.

Could you kindly share your view on the security implications of this approach - in particular with reference to the security context outlined in section 5 of the IETF draft:

> For idempotent request handling, the resources MAY make use of the value in the idempotency key to look up a cache or a persistent store for duplicate requests matching the key. If the resource does not validate the value of the idempotency key prior to performing such a lookup, it MAY lead to various forms of security attacks and compromise.
Why GitHub Copilot Won't Take Our Jobs
But if you include a real DB on your business logic testing, that's not unit testing anymore, is it,
Look, I think the main disagreement here is that you don’t seem to consider spec inference as part of the program synthesis process, whereas I do. Your position may very well be correct from an academic point of view.

From my perspective, spec inference from informal spec is the main thing to solve. Because for formal specs, I’d just be programming in a declarative language to create the formal spec.

Spec by example won’t scale because you can’t provide examples across the entire domain for apps of real world complexity.

Once spec inference is solved, then you are just left with a search problem. I understand that the search space is freakin huge but I’d still say the latter problem is easier to solve than the former.

And I’d guess that the problem of inferring a spec from an informal description is what requires AGI.

I hope this clarifies my POV. I don’t think we disagree, we just have different perspectives.
>Unit testing. Problem is that if the error is uniformly distributed then each unit test only has a 1%-ish chance of finding the bug. We need to test a lot more inputs.

Not if you're writing your unit tests correctly. Thought should go into what you're testing. It might be true that you're going to find an error in 1% of cases, but you shouldn't be shooting random shit into your test. Or in other words you should "constrain" your "random test". I find it difficult to think of a situation where you actually don't know any helpful mathematical properties of your code - since you've obviosuly written the code with an intention to perform some function. There may be good reason for doing this stupid rotations and powers etc. But at the end of the day there was some non-code motviation for writing this code and that is what you should be thinking about when writing your unit tests.

What the cross-branch testing gives you is an assurance that your code is as broken as when you started. Now, think about what is happening here when you test across branches, you have your golden reference model (which might or might not be right) and you have some python packages that you hope are doing a better job than you at constrained random testing. In fact, their odds of hitting that 1% are no better than your unit tests.

I actually think to some extent testing against your previous implementation has value above the unit test - because my experience is that the first person to write the code probably thoroughly manually tested it and didn't convert all those tests into unit tests, and therefore your confidence in the original implementation is higher than revisions, but the lesson to learn from that is to make sure when you first implement something you push as much of your verification into unit tests.
Archived link: https://archive.ph/TaNEI
I’m actually shadowbanned, so all my comments are automatically flagged.

My opinions are an “inherent flame war”, according to HN mods — even when I state them calmly and carefully cite sources.

It’s not that individuals on HN believe this individual comment is bad — the leadership of HN is trying to silence my views to shape the community’s thoughts.

I continue to post anyway, to slowly spread awareness of how HN uses shadowbans to suppress “wrongthink”.
Because we measure everything using short-term values

Generational thinking is something most of us are bad at but it's something we need to strongly emphasize going forward.
I suspect the OP meant to say charge instead of cost.
It is blocked in the UK, but only using the usual 'good enough' quasi-voluntary measures that cover the bigger ISPs. It's accessible through my more hacker-friendly home broadband.

Hilariously, it's also available through JANET, the British universities' networking system. So essentially every student and researcher in the country has access from work...
You are not alone. It’s what I wished Black & White would have done.
This still strikes me as a hardware device telling me what to do. I wish we would just consider (optionally) removing things instead of requiring the user to take more actions or read more disclosures.
Also, if you care about such things, you can just uninstall the app, or, you know, pay attention while using it.

These techniques are obvious. If you don't like companies nudging your behavior in a certain direction, just uninstall their apps and delete your accounts when you notice them doing it.

Leaving your account active in Facebook, Instagram, and WhatsApp makes it more attractive for your friends to make and preserve their accounts there.
> Given how hostile it is, it seems unlikely we'll go back anytime soon

You're going to be really happy about this then.

We're going back to Venus!

NASA just chose VERITAS and DAVINCI+ as a one-two-punch combo for Venus.

Just in case you aren't familiar with the missions,

One is a descent probe + communications relay (DAVINCI+) that is supposed to last 63 minutes from the top of the atmosphere to the bottom, and bring modern spectroscopy + imaging to bear on the atmosphere. They particularly want to investigate trace gas elements and the presence of organic compounds in the atmosphere. As it descends, the probe will also be taking high resolution snap shots of the tessera with a modern-ish (emphasis on the ish) camera right up until it is destroyed.

The other one is an orbiter with the goal of making the highest resolution map of Venus possible. And acting as the basis for future missions. They'd also like to monitor the atmosphere to characterize any variations such as the surface emitting water (could there be underground water on Venus? Probably not, but who knows?)

Based on overheard watercooler chatter, it appears that one of the concerns that drove NASA to give both Discovery slots to Venus missions is because of the potential loss of institutional knowledge. The people who helped build and run Magellan are retiring, and we haven't sent anything there since. It's important to capture their information and train the next generation on Venus so that we don't lose hard earned lessons.

IMO, Venus is a really important planet to study because it helped us to understand global warming and planetary dynamics. A better understanding of Venus means refinements to our atmospheric models for climate change.

It's more important than Mars, potential for life or not.
Of course Apple doesn't say that explicitly. That stance in implicit in Apples refusal to users to install without Apple's knowledge (i.e. use other app storea) and their many measure to force apple product users to pay for amy software features or services outside Apple's ecosystem.
End to end encryption is great for messaging. I fail to see the point of encryption for sharing social media posts with friends.
Smart idea to utilize the new grouping feature! One thing I didn't realize until recently, you can click on a tab group name to collapse/expand the whole group.
People who tout this don't understand the probability of bit flips. It's measured in failures per _billion_ hours of operation. This matters a ton in an environment with thousands of memory modules (data centers and super computers) but you're lucky to experience a single ram bit flip more than once or twice in your entire life

Edit: there's some new (to me) information from real world results, interesting read. https://www.zdnet.com/article/dram-error-rates-nightmare-on-...

Looks like things are worse than I thought (but still better than most people seem to think). Interesting to note that the motherboard used affects error rate, and it seems that part of it is a luck of the draw situation where some dimms have more errors than others despite being the same manufacturer
San Francisco Organized Shoplifting Surge Prompts Target to Cut Operating Hours
Please don't break the site guidelines when posting here. It only makes things worse. I realize it's extremely frustrating when you're representing a minority/contrarian viewpoint and it feels like the majority is not only wrong but ganging up on you. But there's not much that can constructively be done about it other than to patiently present your substantive points (or, failing that, ignore).

https://news.ycombinator.com/newsguidelines.html

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
Time to Say Goodbye – Enzyme.js
This really strikes at the core social/philosophical divide: should people be free to choose to destructively engage in addictive goods and services?

Ultimately we're not free if we're not free to destroy ourselves if we so choose.

It seems that most people want to burn huge amounts of their time consuming ad-laden social media, just as they did with ad-laden tv before it.
Presumsbly, you'd start in the upper atmosphere and work down. Airborne equivalents to algae?
I think it's true, just meant to be a little less literal. Things like communicating over the internet, taking notes and yes, automation are all useful. However, when they start, the UX is academic and inaccessible to a "normal person". The arg is that it takes ~10 years to construct the correct abstractions so that the normal people can do those useful things.
Without using Copilot, I can search the Internet for help, find some source available code, take it verbatim and place it in my project. For most licenses, this is a violation if I ever externally ship a product from this code, and for some licenses, it is even a violation if I only expose it as a service over the Internet. A succinct way to rephrase this might be "theft".

Using Copilot, I can do the same (GitHub acknowledge that according to their testing, verbatim reproduction happens ~1/1000 times) and not even realize it. How am I as an end-user of Copilot supposed to vet its output to protect myself from unintentional but very real theft?
Things I've read about the Soviet Union was before Khrushchev moving into management was perilous. You didn't get fired if you (or your boss) effed up or lost a power struggle you got shot.
Yup, could not agree more.

My approach with Linux has been to not even try to make the Linux desktop try and compete with macOS or even Windows. Instead, I really like the "OS as IDE" approach, which has caused me to settle into using most of the Suckless stuff -- dwm, st, dmenu. Live in your terminal and keep each application's function and jurisdiction as small as possible, and Linux is really great. For programming. Only.
Well need to fund innovative ways to recycle plastic. In the future it will be very problematic as it's number is increasing. Great effort.
Would you swear on your life it wasn't named after Dr. Frasier Crane, esteemed psychologist of the Pacific Northwest?

I didn't think so.
Oddly enough it was around 2005 that I was using one platform at my workplace (Windows) and another at home (Linux). And I've used Apple II, MS-DOS, 68k Mac, etc. I decided two things:

1. Any time spent learning the "innards" of an OS, would be spent on Linux. Most of that learning has resulted from tinkering with the Raspberry Pi.

2. All of the software that I use on a daily basis would be platform independent, especially my programming tools.

As a result, right now I have the luxury of being ambivalent about platforms. I actually spend remarkably little time interacting with the platform, mainly setting up networking when I get a new machine. I can choose a new computer based on ergonomics and cost. Windows happens to have the best touch screen support right now, and refurb'd computers are not intolerably expensive.
>> Are you laundering 5 lines of code? Probably fair use.

>The amount of copying does not matter for a copyright claim.

This is incorrect. The amount of material used is the third factor in a fair use test. There are other ways it comes up as well (e.g. damage calculations).

>> Are you trying to launder, or is it unintentional?

> I'm not a lawyer but in the US, Copyright is a strict liability statute which means intent does not matter.

In this context, this is incorrect as well. People seem to be misinterpreting laws pretty badly, so instead of explaining how to apply here, I'll give a simpler, analogous context:

https://en.wikipedia.org/wiki/Online_Copyright_Infringement_...

In this context, it depends on a lot of things, such as direct versus contributory infringement. This would likely be a contributory infringement case, where intent is almost a requirement. https://www.legalmatch.com/law-library/article/what-is-contr...

Keep in mind these are all factors. They matter, so they'll help swing a case one way or the other, but they're not something you can bank on in isolation. That's what will make for interesting case law.
Your proposal would require another violent revolution to implement.
Sideloaded apps on Android have needed to ask the user for permissions since day one. This is not (necessarily) a feature of the store.
The toll of July Fourth fireworks
What about an EFF store that only allows strongly vetted open source apps? Wouldn't that allow users to have more security and more privacy?
Well somehow you turned a technical conversation towards yourself and your own problems so you're probably just an insufferable selfish asshole.
Previous discussion on the original article (447 comments) https://news.ycombinator.com/item?id=27456500
Parent commenter didn't mean rewrite SQLite in X but rather the project author write the articles utilizing another (probably an easier to work with) language as they're showing the algorithms behind SQLite rather documenting codebase.
Pretty much everyone can afford a car these days. You're probably thinking of a new car.
Can't read. Does it cover the following:

* Computed GOTO

* Arithmetic IF

* Indentation based syntax

* M-exprs

* The Glasgow Haskell Compiler (I was going to write "The only thing that hurts more than the Glasgow razor gangs", but that's too cheesy).
You should definitely try the newer Bang and Olufsens, if you‘re into high-end audio - like the Beolab 20 or Beolab 28. They‘re incredible, and actually compare favorably to B&W or KEF in the same price range. The laptop licensing shenanigans are awful though.
I very much agree with this.

I run a Mastodon instance for myself and some friends. It's got about 250 accounts total. The hosting costs are about evenly split between myself and friends willing to throw me some money via Patreon. It is not making me money and I do not want it to make me money because then it would probably require a lot of my time to deal with moderating it. I don't want to have to do that or hire anyone to do it.

I run it to have a space that's free from the bullshit corporate social media does in the name of "increasing engagement" to make more profit off of ad views. I like that I can visit my instance, catch up on the local timeline and the stuff I'm personally following, and then be done with it for most of the day, versus opening up a corporate site that's had tons of very smart people sink a lot of time and effort into figuring out how to keep me there for hours on end, whether or not I'm better off for it.
sideloading also disallows stores like f-droid.

The same argument could have been used by microsoft a long tjme ago to lock machines to windows and kill linux. It would not have worked then, it should not now.

What apple does is basically avoiding competition. That's not fine when you have 50+% market share
> Colonizing other planets doesn't make much sense to begin with yet. We don't even colonize Antarctica, and it's a paradise compared to mars.

The unique characteristic of a colony on Mars, Venus or another planet would be that it is not on planet Earth. Antarctica on the other hand has to compete with all the places on Earth that are a lot nicer.
@synergy20 Sure :) you can try our free version, if you want.
Looking forward to your next bootstrap project.
Most Google services are blocked in China.
neat idea, but it doesn't respect pinned tabs, and the UI is buggy. uninstalled for now.
There is a tactic (in Lean) called library_search. I'm not sure it's as smart as you'd like? But it is useful.

https://leanprover-community.github.io/mathlib_docs/tactics....
Have any launch discount?
I use the Tree Style Tab addon in Firefox for exactly that purpose. The addon doesn't have the concept of named groups, it is just an extension to organize tabs in a tree... but that's more than enough.

Starting with a keyword search on the parent tab, all subsequent links are opened in child tabs that can be expanded / collapsed. When collapsed, the parent tab's title are the keywords, so it's a nice visual way to have the whole sub-tree "filed" into a single named entry.

There are even a couple extras that allow me to long-middle-mouse-click a parent tab, and it unloads from memory the whole sub-tree. It's a pretty neat addon!
Question: if the really good ideas sell themselves (e.g. JSON as a data format), then does the presence of a Hype Cycle count against the goodness of an idea?
Your computer would not be moist enough to be attacked by these bacteria
The answer was good, but just to clarify a touch more... The software inserts the space, not the French speaker. I teach in a university in France and repeatedly instructed students to stop typing that space until a few told me they literally can't unless they switch languages in Word.
Tell HN: Long Term Suicide Planning
I took major steps towards completing suicide back in 2018 and have held on since then. Things have deteriorated since then. Afraid to go but it's time. I pray for forgiveness.

If I'm crazy, I want to die. If I'm not delusional, then humans are truly shit (e.g. reddit [reddit is a ycombinator alum 2005/2006] stalking in 2009 and dozens of incidents since) and I want to die.

Fuck you, reddit scumbags and your Putin worship from long ago. Creepy ass scumbag fucks with data and algos. Good riddance. Get me off this ape planet.

Au revoir.
User ‘JoshTriplett’ here suggests using forward error correction (FEC) in RAM:

https://news.ycombinator.com/item?id=11604918
That argument is in infinite wrong loop, it seams like a justification of rapist with kind of Stockholm syndrome.

Fair use can be drill down to following, a very simple exploit question.

Would you work for free, if someone would earn million on your own work?

if (answer===yes) {

"then let me employ you I have few ideas and I need free work that could make me wealthy."

} else {

"if no then your entire argument is pure hypocrisy, trying to justify wealth built on exploit of others"
}
Agree also. I do a lot of Linux dev work and use basically vim and tmux. From macOS!
I think that sideloading represents a greater security threat in terms of what the sideloaded app can do, but it's counterbalanced by the number of users sideloading - especially if sideloading is designed to be a highly technical process, the number of users doing it is going to be quite small. Even now very few Android users sideload.

By contrast, third party app stores could open an entire one-click universe of privacy abuse. Even if individual apps can't do as much damage, the overall footprint is much larger as the information that's accessible is scattered across a far wider spread of companies/developers by giving them access to users who don't possess the technical aptitude to get themselves in trouble with sideloading.
This does not solve the problem.

If sideloading is available, there will be a nonzero number of developers who choose to provide their app only through sideloading, and eschew Apple's App Store.

Some of these will be doing so merely so they don't have to take the extra effort (or pay the extra money) to submit apps to Apple. No malicious intent, but they still won't be reviewed, so unintentional danger can still get through.

Others will be deliberately avoiding Apple's App Review so they can steal your passwords and spy on your banking apps, or hell, just install a rootkit if there's one available at the time.

And still others will be trying to create commercial-grade apps that provide full functionality, but can violate your privacy without asking permission because that's their business model (particularly Facebook and Google).

And some of these will replace apps that are currently available from the App Store, with all the protections that entails. Particularly Facebook and Google.
They were apparrantly working on a patch. The interesting question is whether they had reason to assume the software was compromised. If so, they should have informed their customers.
> a lie that could really and truly end lives

Lies don't end lives, people do. You can't say that a lie "caused" someone to do something. It may have influenced them, but they are ultimately responsible for their actions. More generally, I don't think we should be in the business of policing second or third order effects. Responsibility ultimately ends with the perpetrator of an action. If someone lies to one (or many) people, and some of those people go on to murder: punish the murderers, move on with life.

> Doxxing

Not sure what's wrong with this TBH - publishing public information shouldn't be a crime. Some sites have anti-doxxing policies, some don't.

> Calls for violence against individuals

Direct threats of violence are already illegal. People that make them should be arrested.

> Child pornography

Already illegal - find and imprison the pornographers. We already do rather a good job at this.

> Dangerous medical misinformation

In addition to the obvious idea that people are responsible for their own worldviews, any process to distinguish "misinformation" from "information" requires an oracle that everyone can agree to trust. We have no such oracle.

> Copyrighted information.

Reproducing copyrighted material is already illegal and pretty well enforced.

> mostly as a ruse to keep from having to invest in any kind of monitoring of their services.

Why do you think it's OK to impose these costs onto businesses? Why should companies who effectively provide a digital bulletin board be responsible for policing its contents? Why not have... you know... the police be responsible for policing? Then you can clearly and directly send any complaints about their effectiveness to your local representatives, who will actually be empowered to do something about them.
"I want a device that has a single trusted root that takes a hard stance on all apps"

Every corporate IT department configures windows this way