skysight-inc/HackerNews huggingface dataset:
C++ is no issue but, to make very small binaries packed with the features we need, you need a lot of fiddling and the end it does not look like c++. Not to mention that most embedded devs (at least in Asian, Africa and eu embedded corps which make deployments of millions of mcu's, not home arduino users: there might be more of those) work mostly with C. I think most are waiting to skip a revolution to something like Rust but that does not fit yet. So this solution gives at least some handles to add verification.

That said, there are more of these projects. I think there is an F* project too.

> why would another language compiled to C be any better? It just doesn't make sense to me.

It seems that the formalization in the article allows for very low level operation which you would use in C while not writing C. As said, sure you can do that in C++ but then you gain little or nothing. I have not tried this, only posted it because I would like for something robust like it to exist.

Now we use Coq (or more recent idris) to write things and hand translate them to mcu asm/c.
Oddly enough, I find the bottom up management style leads to OKR obsession (at scale). When too many smart people get in the room, they all start to have bright ideas and management is stuck trying to decipher which ones to actually implement.

The engineer who can come up with the biggest number, wins.
> it's extremely common for web sites and online services

This - audacity - is supposed to be a bloody offline desktop app.
Not sure about other FAANG but Google requires a degree "or equivalent practical experience".
> the GPL is becoming irrelevant and is displaced by permissive licenses

Is it really? I've recently switched to AGPL because I specifically don't want you using my stuff if you aren't going to give back. If you want to make money off something, feel free to pay for the initial investment, instead of using my work for free.

> Developers do not collectively or exclusively want to work for free and live a life of poverty.

Which is why I use the AGPL. If you want to make money off my work, pay me.

> Not to mention that the GPL is simply too risky and expensive to use in any commercial context.

Good! At this point, I'd be happier if everyone who wanted to contribut to OSS played in one sandbox, and everyone who just wanted to use OSS for gain without giving anything back went somewhere else.
The Case Against the Covid-19 Lab Leak Theory
'Anyone who says "full stop" is an idiot, full stop.'

One of the more common ways to get audacity (via your distribution) happens to [often] not provide your/a user agent string to the audacity developers, nor do they get a copy of your ip. In the context of a distribution: the auto-update mechanism is also problematic and needs to be disabled at install time.

And all of this is

a) reinventing the wheel.

b ) breaks the assumption that the computer will only connect to the network with a human-in-the-loop.

c) completely unnecessary in the first place.

Let the distributions keep track of issues and report them upstream.
Slackbot Tutorial with Code in Python
Most people have never flown an airplane, let alone one with autopilot.

To the layman, autopilot and self-driving are synonymous (as epitomised by this scene from The Darwin Awards: https://youtu.be/PNF7Ru1mMeo)
It's completely possible to live and retire early comfortably as an engineer in Europe. On a salary of 40k in the UK outside of London/oxford, (which is achievable as a mid level dev pretty much anywhere there are developer jobs), you'll live a pretty comfortable lifestyle.

> the quality of life is just lower (less car ownership, much smaller homes without swimming pools or air conditioning, tiny kitchens without garbage disposal, American fridge-freezers or dishwashers, etc.)

All of those things are why I actively choose to live in Europe over the US.

Having an american fridge freezer, a pool and 2 cars wouldn't increase my quality of life, but sacrificing access to quality healthcare, reasonable rights of not being abused by my employer, neighborhoods designed to be walked around, not driven, etc all _would_ dramatically reduce my qol
> code search

After all these years I still miss this, can't explain exactly why. Maybe it is the nostalgia of the 2006-2008 years when everything seemed still open and doable when it came to things on the web.
Is it a protected title where you live?
In my experience public servants got way more autonomy in their decisions then any private worker. Saying no is like ... a no. And then there is a formal paper trail to turn it over if anyone wants to.
1) Your analogy is wrong, because none of the software licenses forces a user to have a license for his work. Moreover, a math book has strong copyright protection. You cannot just copy the math book and sell it as your own. GPL allows that.

2) Yep, the whole idea of GPL is to allow those good sources to propagate freely and get reused. Read the license, please.

3) Citation model is the core of BSD license, so use it for your own code.
I found Criterion to be quite easy to VPN actually compared to some other services. You have to use a VPN to signup, but watching the movies doesn’t require it which is nice. And they don’t have any issues accepting international payments either.

(For reference, this was about 6 months ago, and I live in Australia)
If "reasonable telemetry" comes with the requirement to add only 13+ age requirement to your offline desktop sound editor, then it's not reasonable.
I'm very baffled by this comment, but too afraid to ask if you are aware of the existence of toilet paper.
UI/UX Audit: Netflix vs. Disney+ Hotstar vs. HBO Go
But you can't use this knowledge to build something significant that community calls you a computer scientist.
Not from the US so don't know what the rules say, but I do agree with the parent's comment.

"Driving defensively" doesn't mean "give them the right of way". It means that if they put on the blinker, they're probably thinking of changing lanes even though it may not be safe to do so (and don't have the right of way).

It's the type of situation where it's better to be safe than right.
> The worst part about tracing is sprinkling the tracing code in all the places you need it.

On the JVM this is usually done by agents that automatically attach to your process, you don't have to instrument your code at all. I think Datadog open-sourced their implementation?
It also doesn't account for folks that are manipulative and ambitious enough to:

1. Not believe a word of the "being Googly" thing

2. Understand how big of a lever it is to get others to do things.

3. Are very good at pretending.

They usually make it to the top in quick order and get a tiny bit more influence on the cultural direction taken by the giant combine harvester.
Actually there is. The LGPL is sort of a middle ground. It still requires you to share changes that you may make to some library. But it won’t easily infect the rest of your stack, so it’s basically the GPL with the viral bits removed.
This is a great point, and something that definitely needs to change. However, as you say, the solution to "you don't have an easy way for me to pay you" isn't best solved by "so make your stuff free".
It is not about steal secrets. In almost every single privacy focused discussion, one side always built up this argument about "stealing secrets" in order to provide counter arguments.

Software should not collect information in the first place if it may get necessary for law enforcement, litigation and authorities to demand it. If the information is interesting for a third-party then the collection filter is not fine grained.

Live user telemetry does not have to mean Personal Data. If I know that 80% of users who download version 1.2.3 got a crash within 5 minutes, which living person can I identify with it? If I however get download logs of IP addresses, browser identity tags, file names, windows profile names, user directory names (and so on), then that cash report is providing unnecessary personal data.

If I have access to the crash reports, can I do business intelligence gathering? Can I discover information which gives stock market insights? If the answer is yes, then you are collecting too much information.

The only reason to not publish all crash reports openly on the web for anyone to download should be undiscovered security vulnerabilities. The data itself should be inert.
Editoi – Modular Code Editor – Status Released
Yep. The issue is that high-level employee may be a big net positive for the company in the abstract, but they may simultaneously be burning a few hundred $K hole in your group's budget without really producing much in furtherance of what you're being measured on.

In an ideal world, this all gets settled out somewhere up the line but of course we're not in an ideal world.
I just want to point out that quality of life is subjective and depends on what you value. For example I, subjectively, do not want some of the things you mention, like big home with pool... and my kitchen seems big enough to me. I consider NOT having to own a car a good thing (appreciating that our public transportation seems incomparably better than what I have seen in the US) and I value 5 weeks of paid vacation, health insurance for all, free college education... stuff like that. And how are our dishwashers and fridges different that the American ones?

Europe is different than US for many reasons. In some things it might be because we failed to achieve what Americans did. In other things it's just because we prefer it that way.
Wouldn't the money spent for such an operation be better spent in asteroid defense? it would be a lot cheaper as well.
This is a red herring. This is for improving your technical competency, not for improving your social skills. It doesn't mean social skills are unimportant, it just means that this doesn't focus on that part of the equation. Do you have any issues with the technical material they suggest you focus on?
Sounds like someone pissed off a senior manager by speaking the truth in an email with a sensitive cc list.

Hey OP shed light on the truth. Don’t shy away from doing the right thing on the way out.

Buy some shares and now you’re a shareholder.
I will try it again then. What is your experience with it in very small devices? As I read online still, the binaries would not fit in the mcus we use. Maybe I am missing something there which has changed or I just missed.

I would love to see a realistic (not hello world) example on a 32kb mcu. So with significant amount of function points (we do decryption, signing, otp generation, display driver, keyboard, and lot more and people told me and I read online this would not work well with Rust but this is maybe outdated or maybe the code will just look like C? I don't know examples of anything realistic): think that would turn me and more people.
Why is the crash report collecting information about children, and not filtering out the information so only information about the software is collected?
I remember an Australian study that showed a significant increase in the likelihood of men with toxoplasmosis to be involved in car accidents. There was also something about women being more promiscuous when infected. I doubt the study had proper controls, so don't take it too seriously, but i would be surprised if toxoplasmosis had no effect on the human hosts behavior.
Running a red light, probably.
I don’t get how the tour of France is such an event. It’s boring, has rampart cheating, and all the athletes look sickly. No one looks to be enjoying themselves.
No community transmission yet. Australia's hotel quarantine has been very leaky so far when highly transmissible strains of Covid reach the country.
"none of my other machines/jails are allowed to install software from anywhere outside my own network. A lot of them don't get any Internet access at all."

Presumably the objective is to have machines that do not connect to the network without at least a human in the loop. This used to be the default, and is still very helpful in a lot of situations. For one, it keeps the noise down when you are trying to debug network issues.
I think so, too. Although I'm almost lost for cinema nowadays because of a lack of time (I write novels in most of my spare time), my girlfriend still goes to the cinemas very often and I know from her that I'm missing several outstanding movies every month. There are also good US productions every year.

What the author perhaps means is the decline of US action movies. They have become faster and dumber over the years and arguably are mostly unwatchable by now, at least in comparison to action movies from the 1970s. Why have they become so bad? I used to think it's just because they are cut too fast and 30 minutes of unnecessary action is added at the end, but now I believe the scripts have also become worse. It would be interesting to hear from an insider like a script writer what has changed.
DeepSkyStacker
Why would you choose Borat as the kind of comedy which "isn't allowed to be made today" when you know you're going to have to contrive a reason for the existence of a sequel which was near enough made today in a footnote...?

Most of the points express a disappointment with mainstream Hollywood movies, which if you don't broaden your horizons is eventually going to lead to disappointment for any cinephile.

"The sitcom-and-laugh-track era appears to be over, thank heavens" I would agree about the laugh-track era being over - but thats hardly a new development. I've been watching the Larry Sanders show from the early 90s which was a landmark show without a laughter track. But to say the era of the sitcom is over is nonsense? There are so many great recent ones.

The one thing I agree with is that scrolling through Amazon Prime / Netflix is a draining & dissatisfying experience

Otherwise, I don't know... I've been watching movies at varying frequencies for decades and I certainly don't feel I've come close to even really tapping the surface, don't feel like I can guess immediately where the director will take me & don't feel really constrained by Vonnegut's theory about there only being six types of story.
First public working draft of WCAG 3.0 released
It might not hit the news, but people are looking into things like how gut microbacteria might affect your brain and behaviour [1]. From what I can see it looks like it is more and more accepted that microorganisms affect us in many different ways.

[1] https://icds.uoregon.edu/wp-content/uploads/2011/07/CryanDin...
I'm very frustrated by some of the answers here and on Twitter. Carmack says:

> The GPL virality wound up being a net negative, and more value would have come from BSD. [...] The best aspects of GPL work didn't manifest, but tons of opportunities to just copy-paste-modify were lost due to license concerns.

One of the answers on Twitter:

> Then what if it's being exploited by big techs and make your work proprietary? GPL preserves the four essential freedoms, BSD does not.

Yes. Okay. Carmack is aware of that.

When he says "The best aspects of GPL work didn't manifest", he specifically addressing those concerns, and saying that he basically saw no benefit from "not being exploited by big techs".

Like, I find it intensely frustrating that, when an industry veteran says "I've heard the pros and cons of each approach and I found that in my real-life experience GPL was a net negative", people answer with a 101 on the philosophy of GPL.

Is there a word for that? Dismissing empirical evidence by clinging to philosophical assertions?
1 to 10 million dollars, depending on compensation and money management skills.
Pretty misleading - it "hit Australia" in April, and there has been no known community transmission so far.
I'd guess that most simply don't care as this is really just an issue for the company, not the author.
If the project is licensed with MIT/BSD it still isn't really likely that the company will contribute/donate/whatever.
So I'd argue that companies not wanting to negotiate doesn't really change anything for >90% of OS projects, they would not gain anything with a more permissive license either.
It's not just about setups, it's about social life. I would describe myself as introverted, but even for me, being in an apartment all by myself for 80-90% of my waking day eventually breaks me. The first year of pandemic-related WfH was okay, but especially last winter was really terrible, when the pandemic-related loneliness compounded with the mood effects of prolonged winter darkness.
You’re basically using the AGPL like a “freemium” upselling business model. I’ve got no issues with that, it’s your property after all. Just don’t tell the world that you sign up to the FSF nonsense about software freedom.

And be prepared that this may not work out for you. The AGPL is particularly nasty and even infects across network boundaries (not tested in court though). No one with a sane state of mind will even come close to AGPL software - unless they’re a not for-profit entity.
>which asks you to give back without being the license cancer that is the (A)GPL.

fwiw, cancer isn't contagious, so if you touch (A)GPL 'cancer' then you wouldn't get 'cancer'. If you wanted to disparage it, call it license herpes. Or license genital warts. Or license gonorrhoea (and you can flex that you know how to spell it).

Personally, I hope you can be convinced, some day, to see licenses as a tool for building communities. Some tools are appropriate for some communities and other tools for others. Nothing for everybody, something for everyone.
then write it yourself, we do now owe you anything.
Wait What
The current academic consensus is that AES-256 is quantum resistant, as even with Grover's algorithm the attack would still require 2^128 bits of work. Generally symmetric encryption schemes are impacted to a much lesser extent than public key cryptosystems, with larger key sizes sufficing to ensure quantum resistance. I'd be quite surprised if Apple weren't using AES-256 already.
Yeah, I also live in Sweden now :) being able to walk everywhere, take a proper break at lunch is really nice

I can't afford a car here though (no parking in Stockholm!)
The link describes the attack vector. pipenv locks the dependencies using hash. if you company has my-company-py-lib then pip could install public library that pretends to be internal.
You'll be AOK as long as the TCQ doesn't give you a TKO and the AETN doesn't overheat. If either of those happens you have to RTB for resupply.
Linux community can only blame themselves, it is the only platform without a full stack for native development, unless we are speaking about X Athena Widgets, left behind UNIX several decades ago.

Each distribution is a snowflake, and now GNOME even considers UI design tooling something worthwhile killing in name of GtkBuilder with raw XML, exactly what UI/UX designers have asked for.
I find 95+% of companies of any size include the equivalent experience line as standard. I did not go to college, and I’ve worked at MS, FB, and had interview rounds at all the non-Netflix FAANGs.
What stops someone from using up all the channel IDs on the rendezvous server.

Also why no attempt at NAT traversal; instead relaying traffic through a transit server.

It's almost as if the project's purpose is not so much to create superior file transfer but more just to showcase a use of SPAKE2.
Bad example. Here in Australia, I call my mate a cunt all the time.

But if my mate and I worked as store cashiers in the US, we'd be expected to refrain from doing that. Or we would have to look for new jobs in short order. And that's fine.
being a software developer/CTO/etc myself, I was able to buy a home in Portugal and Germany. You should just look for places out of the big centers but with potential to be developed in the next 5 years.
> you can see the lane was clear to basically 5 car lengths (1 second per car length)

5 car lengths is less than a second at freeway speeds. By the time the truck started changing lanes, you can look at points on the ground moving and see that it was about a second ahead of the tesla. Changing lanes that close and without speeding up into the new lane was not safe, autopilot or not.
But the issue is when you can't afford a home. Here in Sweden the average price for a flat is like 400k euros.

And then those are usually in a shared building so you can't "just" install air conditioning even then.

The housing crisis is the real issue for sure.
"GPL is irrelevant, Netcraft confirms it."
It was detected in April. In the context of this article, it's had its chance. Not to say it won't show up again.
The NYT had an Carnegie Mellon professor examine the data and video and quotes his speculation:

> In most of the video, the Tesla maintained a speed of 69 miles per hour, but just before impact it briefly increased to 70 m.p.h. then slowed in the final second, according to data from the car.

> Mr. Rajkumar of Carnegie Mellon, who reviewed the video and data at the request of The Times, said Autopilot might have failed to brake for the Explorer because the Tesla’s cameras were facing the sun or were confused by the truck ahead of the Explorer. The Tesla was also equipped with a radar sensor, but it appears not to have helped.

> “A radar would have detected the pickup truck, and it would have prevented the collision,” Mr. Rajkumar said in an email. “So the radar outputs were likely not being used.”
> And instead of making cross-platform native software toolkits to ease that burden

They exist since decades, but apparently C and C++ are even more hated than JavaScript.
GPL prevents this from happening by requiring your competitor to open the code under the same license.

For example, Oracle tried to outcompete RedHat by cloning the RedHat Linux into Oracle Unbreakable Linux.
Discussion from yesterday

https://news.ycombinator.com/item?id=27733827
> Just don’t tell the world that you sign up to the FSF nonsense about software freedom.

...because I want everyone to be able to use my software for free, except if they're going to get paid for my work? Cool.
> At some point during the trip, the website I run became profitable enough to live from

What's that website if I may ask ?
First I've heard of this. I found a previous discussion:

https://news.ycombinator.com/item?id=27564654
Filling my non-work time is the easy part, on so many levels. There's skateboarding, horseback riding, volunteering, religious services, mentoring, teaching, contributing (more) to OSS should I want (literally my current day job). Maybe a second novel, or another textbook. Sure, it's a first world problem - but I've had all of those successes, I just don't have a motivator for continuing in any way - and currently (for a few years) need to.

Filling retirement time is insanely easy. It's the what the hell do I do until then part that's beyond a problem.
I don't see how. Working as intended would be "And then the gamedev landscape is dominated by open-source tools because you can't make closed-source tools in-house without giving up on the ecosystem." This is very much not the case today, the market is dominated by closed-source engines (sorry Godot).

Seeing as that scenario didn't come to pass, the only result is a net loss of games that could have been made (or made cheaper) by reusing Carmack's code and instead weren't. Maybe some of these games would have been proprietary, but it's still a net loss that they weren't made at all.
Lab or not, deliberate or not it's the second time recently (SARS). So they're either deliberate or so negligent it might as well be deliberate.

That's my take at least but I am a bit of a hawk on China.

Thanks for replying at least. Most people just don't want to hear it.
Apple “Larry David” (App Store Approval Process WWDC Video)
In what country?

If a cop didn't do what they could to save someones life where I'm from, it would be a huge scandal...