skysight-inc/HackerNews huggingface dataset:
That's what scares a lot of people when they run a static analyzer on code for the first time - all the possible problems.

Some of the possible problems are easy to confirm or deny just by looking at one line of code, but others will require much more analysis.

You need a tool/viewer to show the possible problem and what caused the possible problem. Such a tool improves the user experience dealing with static analyzer results.
What I had in mind was kind of like a reward model that is trained by on longer outputs that have a very high similarity to training examples. Something similar has been done to prevent LLMs from using toxic language. You'd simply backprop through that model like in GANs. And no it does not contradict the overall training objective completely because the criterion would be long verbatim copies and it would not affect shorter copies of sound fragments and the like which you would want a music model to produce in order for it to sound realistic and natural.
Google Podcast usually takes a week or so to find the feed.
It is, but it's also not really an mmo, it has a 4 player online co-op mode iirc.
But at least that failure just makes the services fail, not opens a security hole.
Those three are not all equal. "Production keys in source control" is the equivalent of a surgeon not washing their hands between between surgeries. It's basic level of professional competency that should not be violated. The latter two are bad mistakes, which shouldn't happen but do.
The problems are on the supply side they say, we don't have much control over the supply side they say. Blunt hammers shouldn't be used here. MMTers are right. https://mobile.twitter.com/StephanieKelton/status/1483454011...
> Note: the invite input box actually autocompletes ALL github usernames.

I'm sorry, but that's wild. That's like, not even an easy engineering problem to solve necessarily, given their size!
dieyota !
Maybe not a legal reason per se, but even if you have production data access appropriately locked down there will be some people who hold the keys to the kingdom. There's a lot more risk of people peeking at things they aren't supposed to when the data in question is about their own company, friends, coworkers.
I use it a bit in Vim find/replace. Nothing crazy. I originally learned it because I made some text file editing programs in Perl, back when that was the thing to use. I don't know a lot, just enough to get by. I don't know if that counts.

For example, if I want to find a function definition for foo in C and I don't know its return type:

^\s*\w+\s+foo\s*(.*)

That would find it. Probably.
>You don't have a fundamental right to operate or utilize a motor vehicle improperly.

You don't have a fundamental right to get shoot up and then send me the bill.
Pretty flimsy strawman you've constructed there.
No.

Unhealthy organizations do not become unhealthy because of a few rotten apples, but because of mismanagement.
Nitpick, unsafe doesn't turn off the borrow checker. It just allows you to dereference raw pointers which are the things you must be careful about by reasoning about the actual safety yourself as a programmer. Everything else that uses safe pointers (references and mutable references) remain safe.
In the 2min intro the fed claims he took down Anonymous. Interesting.
That's DRM for you. Never trust it. Get a phone with expandable storage and fill your SD card(s) with GBs of non-DRM encumbered media and you can enjoy having it all instantly accessible to you whenever/wherever you want it for as long as you like.

Control is what DRM takes from you, but we have the technology to take it back for ourselves.
There should be some sort of university made for people like that - where they’re learning high level stuff but with people their age.
I'd like to learn how to take my cellular-enabled car off the grid permanently.
Sounds actually like something from the TV show Silicon Valley.

For some reason this reminded me of Gevins blood guy...
You're also missing the point.

"Profession" and "professional" have precise legal meanings, which roughly equate to "the government gave us a monopoly on gatekeeping who is allowed to advertise themselves as one of us." That's the true meaning of those words. They've colloquially drifted over the years (through the use of phrases like "professional sports") to have a second meaning "people who get paid to do a thing."

The California Board of Professional Engineers is a professional board in the traditional sense of the word. The government gives that group the authority to decide who can be a Professional Engineer, including apparently who can say where the boundaries of a plot of land are.

There's a collision of definitions here. Since the whole case is on whether or not the professionals (in the first sense) can keep this guy from practicing, it's ill-advised for him to use the term "professional" in the second sense.

You can try to start the California Board of Jean Wearers if you want to. IDK if there are restrictions on who can call themselves a "board," but w/e. You certainly won't have a .ca.gov website (like the Board of Professional Engineers has), and you most certainly won't receive a monopoly from the government to define who can call themselves a jeans wearer (which the Board of Professional Engineers has).
Meta employees are people too in the end. I can think of plenty of men who would cut ethical corners for a chance to hook up with a porn star. Just self-interested humans being self-interested humans.
I've been to or helped plan many food photoshoots for national and regional brands. They aren't done like they were 20-40 years ago.
PayPal halts payments to Hong Kong pro-democracy group, citing 'excessive risks'
I have this issue (and the Logo and Lisp issues) in paper. Some of my favorite memories of the 70's and early 80's of personal computing.
Reality itself has become deeply concealed. Most of our products come from overseas, so we dont see how stuff is made or who makes it; where do we get the experience of being curious from in high consumerism? Electronics fill a vast amount of the things in the world, are a primary meams of reaction g activatiom, and yet their functioning is concealled behind software protection & IP, with few development tools available.

The modern world refuses the idea of the microscope, rejects the core truth that underlied the Enlightenment values: there's no point to enlightenment in a universe which is unobservable, where we dont have a way to investigate. The modern world too strongly represents that infernal anti-Human hellscape. And alas, it is only ourselves who are resppnsible for this fall.
Thanks for your interesting work! I wanted to ask, how are FFI boundaries handled? Are they ignored or is it an error to call FFI functions?
Neither Meta nor Onlyfans are government organizations, they are privately owned and as such can make whatever deals they like. Calling a deal a "bribe" is just silly.
AMIs are already specialized for virtualization. To get full performance, guests need a whole pile of specialized drivers. Most are industry standards, but they’re still specialized for VM. Adding one more for IDMS v3 and similar mechanisms from other providers seems straightforward to me.
Indeed. And it's worth it to note that Sabu isn't a creep merely because he snitched to save his own ass.

Sabu worked hard to entrap more and more people, largely underage children, and had a lot of fun doing so.

This isn't a guy who simply made a deal to save his own ass and felt bad about it. Sabu never apologized, but rather proceeded to attack the people he'd entrapped.
I was thinking more of useful and easy to use than bug free...
A very American tale. If you want a more raw take on what is basically "Carney", try Robertson Davies "world of wonders" about a fictional magician and his complex path through life.
In school I essentially hated all math beyond Algebra, because it started to become something less tangible and more rote. Which is a sensible way to teach it as a pure subject, but it completely undercuts it's utility and connection to real world problems and the intrigues that go along with them.

Once I started to really want to understand and write audio processing code, I suddenly had a framework to not only care about Trigonometry, but to actually apply it and to have a tool that would validate my understanding of it. That short feedback loop got me through the subject incredibly quickly.

I was completely blown away when I started reading some Linear Algebra material because I realized that I had essentially been doing it for years without even strictly realizing it. The subject came to me very quickly because I already had a solid "mechanical" understanding of how to implement systems utilizing a particular subset of it.

I think passion for the deeper maths is something most people just have to discover through application, and there just happen to be a rare few who discover a pure love of it very early in life.
Yikes. It is sad to hear stories like that, where security is not a concern until panic sets in. :(

Yet another reason we need to adopt standards like security.txt and make it easy to report these things as it is to tell robots to ignore us with robots.txt. See securitytxt.org for more on the project.
As opposed to "legal annexation"? What does it matter what is "legal" in a war?
The only good public Discord server I ever found was "Together C & C++", about those programming languages with very positive senior members and good moderation.

I am not exaggerating when I say every other public server I've ever joined has been filled with Nazis. Literally dudes posting racist memes and actual NSDAP flags on the wall in the selfies channel.

Avoid Discord, it's a garbage fire.
> A computer program to factor any polynomial equation string input to it:
Do you mean a program to solve for f(x) = 0 using numerical approximation? Factorization has a specific meaning and is not necessarily possible for quintic and higher-degree polynomials / there is no closed form solution like the quadratic formula for n>=5.
That is a manager's wet dream. The reallity is a bit different.

How can i connect a licence dongle to this "Cloud Workstation" ?
My firm is still playing the long game, so we’ve been actively hiring talent.

Check back if/when a recession is in full swing.
The two tools address similar problems. The kinds of properties you can prove (automatically) should also be similar, because both Prusti and Liquid Haskell ultimately use an SMT solver to check if assertions hold.

From what I have seen LH focuses on integrating into the type system (it is Liquid as in the 2008 Liquid Types paper). Generally it is possible to rewrite properties attached to a type to contracts, e.g. a non-zero Int input becomes a precondition that says that argument is non-zero. Checking termination with Prusti is also something we are working on.
Was a bit disappointed to discover that the advertised Prusti Assistant VS Code assistant sort of silently sits there waiting ("Checking requirements...") if you don't have Java installed.

I feel like assuming Java is installed doesn't really fit the audience.
Powerful people will always use whatever tools are available to control and manipulate the masses, including drugs, religion, media, and outright violence when necessary.

Another thing powerful people use to control the masses is criminal law. Criminal drug laws have now been used by the rich and powerful for almost a century to stomp on the face of marginalized groups and societies while giving their own foul and weak progeny and local society a pass.

This is what's coming to an end, and you are not on the side that history will look kindly on if you resist this change.

However, if you've done your own moral math and determined criminalizing drugs to be a net moral good, then please continue the fight, because we all must fight for what we think is right, even in the face of seemingly inevitable defeat.
The real question is, why is anything written in Solana better off being run in a blockchain rather than a 'web2' client server architecture.
The NHS was one of the things that made the UK more than just "America with national depression and less money". It will probably be gone soon, because given the choice between a great society and pissing free money at any problem rather than doing some basic planning and taking responsibility, people choose the later.
> over two years ago [2], when terms like "second brain" ... were still in their infancy.

Funny, that was the exact title of my personal wiki that I started in 2006 or so.
It seems pants on head crazy that a mere 20 feet or so below the ground it's a livable and pretty comfortable temperature year round, virtually worldwide. And yet we spend an enormous amount of money, time and energy heating and then cooling our living spaces by almost any other means possible. Yes, the occasional home has geothermal, but the fact that it's still the exception baffles me. Heck, if you have a well or even city water then you are already piping 55-degree fluid into your living space and a lot of the complicated work is already done.

I get that there are some tough engineering challenges involved, but as a species we don't seem all that interested in solving them relative to the effort we've put into many other endeavors.
I feel like the fact that this person is posting this now indicates that all of the I's weren't dotted. As you note, ideally, it would be very clear -- you need to improve by this date. Here are the checkpoints, and if you don't then you will be terminated on about this date -- and here are the financial implications of the termination. I'm not sure, but it doesn't seem like these sorts of steps were taken.
Consider the suppressed effect on demand; lower demand through banning means more stable prices. Even under medical/rec programs the prices aren't lower and if fully legalized with regulatory complexity the price would skyrocket as demand explodes and supplier constraints remain. Equilibrium will be reached based specifically on the actions of government to allow it to.

Meaning, if government suppresses demand and limits supply through laws they stand to benefit the most from taxation. Just like anyone would with the same power in the free market as a middle man.

Hence, the tax-it-to-have-it scheme has to move slowly or else the gray market that surfaces will do so specifically to undercut taxation and artificial government constraints. (Just like with pharmaceuticals and online markets)
If I was to purposely break my leg because it felt good I should should be sent to a mental institution - not set free to break my leg everyday at your cost.

>People are under no obligation to give up their freedoms to minimize their potential tax burden.

They are.
Maybe Google could start some sort of endowment fund. Like "We've deposited $1Bn dollars into this ringfenced fund, if we cancel this project, this endowment will pay for engineers to continue to work and support it for the next 10 years"
See I can tolerate, sometimes even like Apple Music.

Podcasts though? Irredeemable.
> RCS is an open source protocol

No, no it isn't.
Gore Vidal wrote my favorite summation of Ayn Rand:

This odd little woman is attempting to give a moral sanction to greed and self interest, and to pull it off she must at times indulge in purest Orwellian newspeak of the "freedom is slavery" sort. What interests me most about her is not the absurdity of her "philosophy," but the size of her audience (in my campaign for the House she was the one writer people knew and talked about). She has a great attraction for simple people who are puzzled by organized society, who object to paying taxes, who dislike the "welfare" state, who feel guilt at the thought of the suffering of others but who would like to harden their hearts. For them, she has an enticing prescription: altruism is the root of all evil, self-interest is the only good, and if you're dumb or incompetent that's your lookout.

…For to justify and extol human greed and egotism is to my mind not only immoral, but evil. For one thing, it is gratuitous to advise any human being to look out for himself. You can be sure that he will. It is far more difficult to persuade him to help his neighbor to build a dam or to defend a town or to give food he has accumulated to the victims of a famine. But since we must live together, dependent upon one another for many things and services, altruism is necessary to survival. To get people to do needed things is the perennial hard task of government, not to mention of religion and philosophy. That it is right to help someone less fortunate is an idea which ahs figured in most systems of conduct since the beginning of the race. We often fail. That predatory demon "I" is difficult to contain but until now we have all agreed that to help others is a right action.

… Both Marx and Christ agree that in this life a right action is consideration for the welfare of others. In the one case, through a state which was to wither away, in the other through the private exercise of the moral sense. Miss Rand now tells us that what we have thought was right is really wrong. The lesson should have read: One for one and none for all.

https://www.esquire.com/news-politics/a4595/comment-0761/
The maintainers' fears about using argv[0] to select behavior are unfounded.

Anyone exec()'ing grep with an alternate argv[0] can just use (or not use) the -E/-F options to get the behavior they want.

It's very simple. There is just no good reason for egrep or fgrep to be shell scripts or wrapper programs of any kind. Even if the were a good reason for having a wrapper program, the wrapper program could be a very tiny C (or even assembly) program that just exec()s grep with -E or -F added, thus avoiding any additional fork() calls (though there would still be one additional exec() call).

But, really, argv[0] dispatching is plenty good enough.

This warning, however, is much too annoying.

Plus, argv[0] dispatching has worked for every other Unix and Unix-like OS of note for 4+ decades! What's so special about GNU in this regard? The answer is clearly: nothing.
> or just let them go?

You're firing him, you're not letting him go.

> They vest in a few weeks

Who? Who vests? "They"? Talk straight dude.

> Feedback from former founders esp is helpful

I'm a current founder. You just fire the guy. What are we talking about, it's your company! You don't have to give him any shares. Even if he had vested!

Do you know how any of this works? You're talking so limp right now. It's all flexible. It is all subject to change. Every deal, everything you put in writing.

To quote another user:

> I would grant them the equity. It's on you for not firing them earlier - don't make them pay for that mistake.

This is the limpest shit I've ever heard. What the fuck are these people even talking about? The cliff exists for this very reason. The purpose is to let you spend your sweet time to fire someone, which you did. Okay, and now you don't have to give the shares.

You're in charge.

Another commenter:

> Rewarding an incompetent shirker is financially foolish and sets a tone for everybody else in the company. If the employee is as bad as you say he is, everybody that works with him would know that and fully understand why he was sacked.

This is the only outcome that makes sense. Just tell everyone that you fired this guy and did not give him the shares. End of story. If he sucks as much as you say, people will be relieved to hear you didn't give this fuck shares for nothing.
Like the other commenter said, it's the podcast part that I find funny. A hacker and special agent, natural enemies, becoming BFF'S and making a podcast together sounds like the premise of a Netflix show, hence the Oniony nature of the headline
Might be true in the US, not what I’m seeing have seen in the UK.

Here big companies are taking kids straight out of uni and boot camping them because decent juniors are hard to find.
"The middlemen said they worked with agencies affiliated to TikTok in China and the Middle East, who gave the families access to TikTok accounts. These agencies are part of TikTok's global strategy to recruit livestreamers and encourage users to spend more time on the app."

Fascinating and rare insight (to me) on how they acquire some of their users. Recruiting high value livestreamers isn't new (see Twitch) but the target here is radically different: people that don't even have a phone. That's one desperate (or at the very least aggressive) rollout. Like a Jehova's witness for social networks.
Drive by architects don't read books. They read AWS's latest product brochure and think "yes".
Why is this getting downvoted? That's exactly what Sabu was doing.

He and this FBI guy would approach random kids on IRC in order to entice them to join "his" prestigious hacker group. They weren't going after existing criminals, but going out of their way to create new ones. Largely underage children.
'safe' and 'open' are doing some heavy lifting, here. What would the definitions of those words be, in this context?
Angular Day on Google Open Source Live
collectors, people who want to own a physical copy, video quality, convenience
I wish hosted GitHub made pre-push hooks available to the public. Would make this a much easier problem with free scanning tools like Trufflehog.

Or alternatively, if GitHub Secret Scanning was available to all public repos, instead of requiring a (very) expensive GitHub Advanced Security subscription. But I understand, they need to make money somehow.
Yup, a drug tax would be great. Would probably make it too expensive to use, however, making the black market come back into play.
A Lecture on Finite Rectangular Waveguide Phased Arrays [video]
> I’ll admit that I have never used TicTok

I don't think you needed to admit anything :)
Perhaps the Gervias Principle can show insights into the script here.

Per Rao's analysis, the poster isn't the sociopath (Rao's term) that they make themselves out to be. I'd say they would fit better as one of the clueless (Rao's term, again); thinking that they are making an impact and gaming the system. They seem, per my reading of Rao, to just be mercilessly hitting metrics that their sociopath bosses have set out; being the nice little carbon control rods in the nuclear reactor of capitalism. To Zuck, this is great news (again, using Rao's lens)

Personally, it reads as tongue in cheek. But trying to use the lenses of the Gervais Principle is always a dark and fun little exercise.

https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-...
I use PowerShell's standard F8, which autocompletes commands from history.
*Only in the US. It has some adoption outside the US.
> The waiting list for hospital treatment has hit a record high of seven million in England, latest figures show.

England population: 56.5m

Anyone else find it hard to believe that 1 in 8 people including children are waiting for hospital treatment?
Liquidating a firm, and then coming back in a few years is not like turning a light switch off and on.

It's like leaving a car to rust unattended in a field for a decade, and coming back to it. It's not going to be running, and it's going to take a mountain of work to get it into a running state.

That's precisely why letting all these businesses die because of a temporary pandemic disruption is the penny-wise, pound-foolish decision.

If you think it's fair for the owner class to have paid for PPP, I can get behind that, as I'm all for wealth taxes/increasing capital gains taxes/???.
Is it satire? It reads like a narcissism-rationalizing shitpost in the spirit of "throwing trash on the ground creates jobs". There is quite a difference in culture between US military families and Europeans on one-side and "It's all about me" on the other.
I have not seen or heard of any engineering cuts in any of my circle's workplaces. Only supporting staff (project managers etc).

I clicked on a few of the google sheets linked in the article and it seems (at least per my random selection) that this seems to be the case at these places too.