skysight-inc/HackerNews huggingface dataset:
This isn't an area that I study, directly, but I've had some experience with other robotic automation systems on a small/medium scale.

Maybe this is common and my experience is at issue, but I found the grid design with the "workers" on top to be really interesting.

My most direct experience was with a tape robot. This wasn't a run-of-the-mill backup library for a small DC, but a huge room on half of a floor of the datacenter that had a 6 axis[0] "bigger than an average adult man" one-arm robot that is usually seen in an automotive factory. It moved on a track the length of the room, grabbed tapes from a library and inserted it into drives; all of which were attached to a mainframe.

This was done with so few sensors, that the tape robot couldn't tell if it successfully grabbed a tape or missed it; indication of failure wasn't realized until the drive reported no tape present when the operation completed.

When it missed, the tape often ended up in the track where it was, sometimes, destroyed or could cause other forms of major malfunction.

Dealing with products of varying sizes, sensors to detect the successful retrieval of a product seem like they'd be necessary no matter how things are setup, but by designing it with the robots on top, a failed grab, at worst, results in the product remaining somewhere near where it is, or in the wrong bin -- but not stuck in the way of the track.

Coupled with sensors to detect "when the product was 'lost'" or where the product was failed to be retrieved from, the system could attempt to "retry the operation", avoiding operational shut-down/having to rely on the skill of operational staff to identify a failure condition early enough to prevent problems.[1]

[0] I think, not positive

[1] There's a study out there regarding factory automation that appeared shortly after Elon Musk gave up on "fully automated production" that talks about how bad people are at responding to "rare conditions" in an automated factory, resulting in costs that often outweigh the benefits of removing people from the process -- this sort of design appears to try to address some of the major things.
Why is the interface to a third party library not to be analyzed?

I'll have to use it anyway so this way at least I can be more sure when calling the API what I need to pass or not.

I mean all of that applies to any library you ever import. You still have control over it in the means of commit hashes etc, so it won't randomly break. So it makes sense documenting the API for yourself if there is no documentation.
Or how about compensating the user when their software crashes?

It's not such a strange thing given that they paid for the software.

And if sending a crash report means receiving money, then more users will send them.
There wasn't general agreement either. There was a propaganda piece architected by Peter Daszak (Leader of EcoHealth Alliance, who Fauci's NIAID contracted with for gain-of-function research at WIV after Obama banned it), signed by a few scientists, and The Lancet published. The "general agreement" many folks may be thinking of is the general agreement amongst mainstream and social media that a lab leak shouldn't even be investigated and anybody that suggested doing so was a maniac.
What's unethical about GitHub?
There is https://listudy.org which offers spaced-repetition based chess training. I really wish the project received more contribution though.

https://github.com/ArneVogel/listudy/
My favorite part was the wired LAN port on the dock.

They didn’t mention it but I assume the OLED would be more power efficient.
> C is simple language

Except for, you know, all that Undefined Behavior stuff, which makes it practically impossible to write correct programs even for very skilled developers, or the lack of abstractions, which makes it hard to safely re-use advanced data structures.

"C is a simplistic language" would be more accurate.
The Secret Life of Machines is a brilliant classic, and it’s great to hear Tim Hunkin’s behind-the-scenes memories.

Also great is Tim Hunkin’s Secret Life of Components which he released on YouTube earlier this year https://www.timhunkin.com/a241_component-videos.htm
Practically speaking, that's the only approach that can.

Although it's often hard to tell, most software developers aspire to being treated like professionals rather than specialized serfs, and part of being a professional is accepting responsibility for your work.

Of course it doesn't preclude holding their employers responsible as well.
In Sweden the topic that you can safely talk with strangers about is weather. People feels that it is a safe topic, each person may have their opinion and you can talk about it for as long as you want. (Swedes talk politics, or course, but they want to know you before getting into that matter).

I hope that some old weather talk can help to improve the United States coffee discussions.
> End result is everything gets boiled down to its rawest, most accessible elements and everything feels samey.

This is basically what is referred to in the industry as "high concept." https://en.wikipedia.org/wiki/High_concept

Bob Iger, Ex-CEO of Disney, was a big proponent of high concept movies. You can read more about it in the screenwriting book, Save the Cat. https://www.amazon.com/Save-Last-Book-Screenwriting-Youll/dp...
How is a day job passive income?
btw, its 2021.
https://github.com/Componolit

Let us see what they have, using formal verification (Ada/SPARK).

- JWX is a library for handling JSON data and more. It is implemented in the SPARK programming language and has been proven to contain no runtime errors. As a result, JWX is particularly suited for processing untrusted information.

- The RecordFlux specification language is a domain-specific language to formally specify message formats of existing real-world binary protocols. Its syntax is inspired by Ada. A detailed description of the language elements can be found in the Language Reference.

- Formally verified, bounded-stack XML library

This is just Componolit.

Let us check the F* language:

- F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code. This enables verifying the functional correctness and security of realistic applications. The main ongoing use case of F* is building a verified, drop-in replacement for the whole HTTPS stack in Project Everest. This includes verified implementations of TLS 1.2 and 1.3 and of the underlying cryptographic primitives.

---

Given the above, what exactly do you mean that it does not scale?
I mean it is what the bilionaires do and look where it got them. Seems our ancestors built a society that rewards it - and maybe we're in a place where it is unfixable due to the inertia of power.

So yeah.
"4chan was always this bad" is a surviving meme with no merit.

10 years ago you could have a thread without /pol/ buzzwords coming up. 10 years ago the snarl word of the day was "hipster" for god's sake, you can look back through the archives and see the decline.
But what if your program's performance is to 'determine when a worker has outlived their usefulness and needs to be let go?' (FTA)
As one of the developers of this patchset, here is my simple answer: try it. I'd love to see it.

I know Rust; I don't know Frama-C or Idris or Ada. What little I know of Ada indicates that it doesn't actually solve the problem because it doesn't have safe dynamic memory allocation. Ada advocates have told me I'm wrong and there's some new thing (inspired by Rust) that does this. Maybe! I'm not sure there's any benefit to the world in arguing it; someone skilled in Ada should just write something and show how it would actually work.

Write a kernel module with any of those techniques, send in a patch, and see what people say. Any effective means of making the kernel less buggy is great. It doesn't have to be Rust.

I claim that Rust is effective because, well, those patches are there, and frankly I haven't been doing any work for this project in almost a year and we're getting so many enthusiastic contributors. So, apparently, a lot of other people also know or are willing to learn Rust. Maybe it's actually better than the alternatives you mention; maybe it just has better documentation. I don't know. I'm not claiming Rust is perfect, just that it's empirically likely to solve the problem.

If you can get together a community of folks who can do any of these other approaches, that would be fantastic. Try it!
> But if analytics is helpful, (...) [opt-in telemetry] would be horrible too

I don't question that analytics can be helpful. I do question the degree to which it is, relative to other methods of gaining the same insights (such as better QA, user panels, surveying people, etc.).

I also don't think it would be horrible too. Inconvenient, yes. But horrible? People used to ship working software before opt-out analytics became a thing.
I love the Ethernet port. Normally everybody follows Apple in the fight against number of built-in ports in general, and in particular it's very rare to have an Ethernet port on a mobile device which can be extremely limiting.
Hear Hear! Solidly agree. You'd be amazed how much can go into "simple" resampling... if you care about being accurate, anyway.

Though... and I say this with a mischievous grin, as someone who writes signal processing code (specializing in audio) for both leisure and employment, I've been wanting to get Audacity squarely in my emacs, and just go nuts, with both mathematically cogent improvements and plenty of unnecessary petty stylistic refactoring, for YEARS (decades).

Now, perhaps I have some protective cover. ;-) (unless Monty beats me to it...)
Did the SoC get upgraded?
Good catch. I assume the first number includes mostly children since Delta is mostly spreading through schools and children won't get any vaccine.
How do you make money on twitch? Programming streams?
How? And even if, would that be a bad thing?
The difference is that ICBMs, cruise missiles etc. are in the hands of major organized militaries. The article doesn't complain too much about organized militaries using drones.

In 10-20 years, "small killer robot swarm" will be achievable for a single individual. It won't be as terrible as a world war, but I'm not looking forward at extremists randomly blowing up people with lightly modified COTS drones.
Those original consoles are becoming more rare, you could have probably sold it for close to what you originally paid for it, exactly because of that older SoC!
It's effectively the same.
Also, you're not 12. My kids were enthralled by the recent movies (yes, even Solo) in a way that you and I can no longer be.
I came to the same conclusion about passive media in general. Spending time, yet gaining nothing but being filled with others' mediocre thoughts describes it well. I'd rather spend that time building things, advancing our society's technology and productivity and at the same time being rewarded for my efforts.
Unlikely stuff will always happen with enough use. There are billions of lines of code in the world. There will be enough copyright violations. Even on single multi-million line codebases, there will be violations.
> Looks like a pretty even split unlike what this report from the UK shows

Israel's overall vax rate is higher than UK, so that would be expected to a degree.
I'm not sure what you try to proof with your picture and kaspersky.

>There is an unbroken contiunity of CheKa/NKVD/MGB/KGB/FSB

Same could be said about OSS -> CIA right?

>Kaspersky's Advanced School of KGB graduation

Then this can't be an official Name right?
I heard the movie was basically ready to go when someone noticed how similar the story was to Starship Troopers. They had to get the rights just to avoid a lawsuit. I'm not really sure I agree on how similar they are.
Why the Internet Is Vulnerable
(1) 1000 shots is aspirational for that thing's barrel but nowhere near enough to realize its potential (super cheap compared to a missile but good enough velocity to midcourse intercept IRBMs if not ICBMs)

(2) The hypervelocity projectile itself is in "development hell"; they gave up on fielding it from a conventional gun on the Zumwalt class destroyer. It also defies "cheaper than missiles".
How's that passive? Genuinely curious.
And to be fair, he even concluded with "I'm still supportive of lots of GPL work, but I don't think the restrictions helped in this particular case."
Subscapes – Breakdown of a Generative Artwork
I agree. Unless theres some hidden changes like an upgraded/faster SoC, battery etc. Also, is the screen still 720p?
Open-plan office noise increases stress and worsens mood: we’ve measured effects
Probably by reading HN all day ;)
Defenitely, the startup media understandably gives attention only to the huge successes, which makes it easy for new founders to compare themselves only to the outliers, which is unhealthy.

Creating a lifestyle business supporting 10 families is a huge success in iteself.
> in film, you start with the best and make your way down to the worst

only if you take imdb top films ranking...

take a tour through Kurosawa or other Japanese masters, get deep into korean cinema, lose yourself in the Italian masterpieces, and jump into French movies as soon as you can. You'll get challenged, immersed, and amazed again!

You'll see that you really start at the bottom and move upwards

Criterion and similar alternative streaming platforms sound like where you should be spending your time, instead of amazon prime ;)
I'm confused about the status of this study and the ELO graphs. The post gives some detail about the methods for measuring intelligence, but stops short of describing the sample group and calls both IQ 100 and IQ 120 groups "hypothetical". Are those graphs real data, or just descriptive of the authors' current hypothesis?
I imagine the majority of those that don't fail aren't exactly on easy street either.
Meh. Let me guess: you live in USA. You're obliged to justify all this out of the fear of being "canceled": fired from your job, removed from social networks for saying politically incorrect stuff or supporting wrong political party or saying that there're less or more genders that is proclaimed by some powerful minority organization with the right to cancel.

From other places this is experienced as craziness. What is "equal and ethical" about black women playing King of Sweden from IX century (this is a contrived example as I haven't even attempted to watch any of the contemporary historical movies from USA)? He wasn't black, he wasn't woman, why violate the history?

Especially, considering that most of the world has nothing to do with the slave trade in the US, or with genocide of Indians in the US, or any consequences of it. So why we should suffer raping of the history just so that Americans could "restore the balance"?.. Besides, I don't even think that it restores the balance. It's a superficial measure that is very cheap compared to restoring the equality indeed.
Depends on the intensity-level one puts in their 9 to 5.
Human Factors for Drone Pilots
I think that it allows him to invest into passive index funds (no active trading) which hopefully appreciate over time.
Or the business is simply growing faster than Apple can (conveniently) expand their own storage capacity.

There’s long lead times for data center level expansion.
Also: A good visualization(light!) of structured logging. I move to it and suddenly get harder to inspect my logs because all this stuff presume I will deploy a heavy ELK stack or something.
Noted, thanks, we'll investigate.
Doesn't seem like an extreme claim to me, and thus we find ourselves both using our own pre-conceived ideas to "confirm" what we already knew. I would say that it certainly highlights the need for more evidence, but it's not proof to the contrary.
Nintendo finally starting to catch up with the Playstation Vita.
Kinda. https://news.ycombinator.com/item?id=27232401

I think CSIRO disbanding the team was a huge mistake, but in any case they weren't producing the kind of success metrics that sustained their funding.
unfortunately everything that is above 2% interest in our zero yield environment takes some risk. However I agree.

Best for me is EU crowd funding sites for real estate. Typical yield is 12-20%. So called "Hard money". Banks in europe don't touch this after the 80s blow ups.

Nexo - popular in the crypto world takes the funds and puts them there (but keeps 2-3%) as well as payday loans for eastern europeans.
Maybe I’m naive or just dumb, but: isn’t this better?

One of the big complaints about modern society is all the isms. Sexism, racism, homophobia (ism). Computers don’t know your skin color, gender, religion, sexual preference, etc. Not saying it will solve all problems, but wouldn’t algorithmic decisions be preferable to biased human judgement?
News channels have been on the line for a while. Defamation cases against them are not that uncommon.
>> I wonder how long it takes until one of the vendors of popular CLI tools or desktop apps get fined for GDPR violation.

How would GDPR help with anonymous data? Say you have a CLI that sends back the frequency of usage for all top level commands daily. If the user doesn't log into the tool, or that information isn't sent then the developer would have IP address. If they discard that, how would it land under the remit of GDPR?

I'm curious because I think it's easy for small developers to try and jump on this bandwagon. The big companies will all have vetted their telemetry strategy with their legal teams and have compliance reviews in place, as well as people who will handle cleanup from data spills. Bob is less likely to have this for his popular CLI tool.
I think they are really saying that because of their dayjob, they can invest - and then that generates passive income
In a past life we used Bitbucket for work and it's always been slow.
Can you explain why you differentiate the two (price changes vs dividends)? AFAIU it’s really just that you have to instruct one to be sold to realize it and the other just shows up in your account, but the overall returns, tax implications, and such are basically the same.
> I won't be able to ever understand why historical persons in the movies should be black even if they couldn't be black in that position at that point of history.

If they are historical persons, they either were or weren't black. You are probably talking about fictional persons in more-or-less historical fiction. And both inclusion that minimizes the racism of the historical period and exclusion are potentially seen as problematic (from the Left; obviously, you’ve kind-of articulated the Right objection to inclusion.)

Of course, whitewashing by placing White characters where they make no historical sense, often simply inserting white characters into adaptations of existing stories from other cultures (especially in lead roles) is still (not only historically) more common than implausible inclusion of non-Whites, and remains a big complaint by (AFAICT) lots more foreigners to US media than occasionally including black people in improbable historical positions.
It's only income if you sell, at which point it's no longer passive, right? Otherwise it's unrealized gains and not income.
It's not clear if you talk about instant messaging or social networks - there is nothing in smartphones themselves that differentiates them from "dumb" phones as far as ignoring others is concerned.
This new mRNA tech might completely change some degenerative diseases. My kid may benefit, although given the rarity of the condition and time to approval I'm less hopeful.

Hopefully we stop trusting politicians, physicians, and scientists and start trusting Science and statistics.
Maybe he outsourced his job to foreign workers and watches cat videos all day like this dude-

https://www.bbc.com/news/technology-21043693
I guess it depends. Older stuff that makes it through the years tends to be better quality than the stuff that doesn't make it, so you have less stuff to sort through. If time and effort are big concerns, then that approach makes some sense.

But, people are always making great stuff if you care to look for it. Some of it is even popular and doesn't take much searching.

From "My two cents" on, I disagree with everything you've said. I think it's all in your head.
a response to their generally poor online experience, maybe?
I realize the article is specifically about the Pfizer-BioNTech vaccine and the delta variant, but even in more general articles about immunity, 'natural immunity' is left out of the conversation[1]. You can carry your COVID test paperwork and latest antibody test to show you are equally, if not better protected, however, it strangely is ignored. Or, a study by a vaccine producer (NOVAX), comes up with evidence that natural immunity is not as effective. Pfizer is projected to do about $15bn worth of business with a 30% profit margin by year's end [2,3]. I think following the money and opinions of certain groups says a lot about their motivations, and not the science they claim to perform. It takes 3 to 7 years to see some negative consequences of vaccines, and the COVID vaccines only have 7 months, since the first vaccine was given, and limited testing and populations before approval to vaccinate the general public. I hope for my family's sake and others, these side effects don't materialize.

NOTE: Open a private browsing window to forego the paywalls/registration popups for the links below:

[1] https://www.medpagetoday.com/infectiousdisease/covid19/92836

[2] https://www.cnn.com/2021/03/13/business/business-of-covid-va...

[3] https://www.thenation.com/article/world/covid-vaccines-pharm...
> the writer has mainly watched American movies that are easily accessible.

I highly recommend Scandinavian crime drama's they are under rated https://www.youtube.com/watch?v=I-OOpZitfd0

the work of Jurgen Haabermaster is also outstanding for all those who want to break out of the bland diet Hollywood serves: https://www.youtube.com/watch?v=hAlxNNvfvJs

on a serious note I found some fantastic serials that are not so well known and which I will remember for a long time (e.g. Indian "Sacred Games", Italian "Gomorrha" or "Suburra", British "Small Axe", USA "Snowfall", German "Dogs of Berlin" or "Dark", French "The Bureau"). In fact there wasn't a single show in the last 2 years where I felt I ended up wasting my time or were forced to bail out after S01E02 because it didn't resonate. The alternative to great serials is only a good book and from my pov a movie can never give the same depth as a good serial.
I have made a few iOS apps (Cone[0] and Unwind[1]) which generate enough to pay my bills.

[0]: https://cone.app

[1]: https://unwind.to
Interesting- Theseus, the improved solution, sounds more like a constraint programming solver than an AI. The original program Melvin seems to have lacked some constraints that were added to Theseus, but maybe it was also CP based?

>The program searched through a large space of configurations by randomly mixing and matching the building blocks, performed the calculations and spat out the result. MELVIN was born. “Within a few hours, the program found a solution that we scientists—three experimentalists and one theorist—could not come up with for months,” Krenn says. “That was a crazy day. I could not believe that it happened.”
Just to be clear, Australians are barred from leaving the country whilst NZers are free to come and go, provided when they return they do a 14 day quarantine at their own expense.

Getting a spot in the quarantine hotels is difficult but possible on a 3 month time frame.

As for the tourism thing, I’ve heard that it’s actually a net positive for the country(~1.5%). Whilst we have no foreign tourists, we’re also not heading overseas spending money.
This proposal is from 2019, and does not seem to have been adopted by any of the projects they have sent PRs to.