skysight-inc/HackerNews huggingface dataset:
"Speaking of cutting costs, the company is still pouring multiple billions of dollars into vaporware called “the metaverse”. News flash: no one wants to wear VR goggles to spend any time in a digital heaven where the role of God is played by Mark Zuckerberg and you can do anything you can imagine, including “work” and “shop”."

This is so true. Facebook must die.
Could you name some you have in mind?
Hey thank you.
I will check out Sigil
I did not know about it.
It will be fun to try and match the font
How to arrange any number of stars on the U.S. flag (2016)
Only the Innovative Survive: What science and Starbucks reveal about recessions
100%. I do not look happy when looking at a screen.
You're missing the point. Nobody here is criticizing the art itself; it looks great.

The whole point is deceiving people into believing those are real pictures when they are not. She received huge exposure in major newspapers, specialist magazines, social media, even the American embassy because of this (and sold many prints). She enjoyed that attention, even reblogged the article from the Times of London, without ever correcting anybody about the actual nature of her work.

Had she been forthright about the fact that the pictures were fake, she never would have received such attention. The picture still look cool in their own right, but we would be far from the incredible achievement that such picture would represent if they were real.

As Munier said: "I’ve got nothing against this type of creation, but it has to be presented as such".
Sure, but then there's the "but they already got paid a bazillion dollars"
>but I really believe the suburb/highway model 95% of America is stuck with is the root of all evil.

I think you're mistaking "occasionally challenged" for edgy. People who believe what you believe are dominant on HN. You're basically just bemoaning that you're not so dominant that you never see criticism.
Sure, but what does the knowledge of something being an adjoint give you?
Who is musk hanging out with or reading that encourages his crazy views; he didn't use to be that way, I almost feel sorry that one of the world's riches people is so full of self-justifying bs. For most humans, the idea that you'd laugh at an attack on an 80 year person with a hammer in their home is horrible, out of bounds. There's no reason to believe this story is true of course, but on top of not laughing at horrible attacks, who cares if some older person is having sex with a younger person.
Can you list a few I'm interested in checking them out
Can you explain why?

Why would having every government department, hospital, doctors/dentists office keep your data separately, probably in some unsecured excel file or whatever?

When we have one registry for everything, they can keep it secure by having some proper security guys design and audit it, we can see who has accessed my data and when, etc. If a hospital would keep your health records in their own system then.. they'd probably have some low paid IT guy design something and leak it accidentally online.
Different strokes. Maybe you and your mother could subtly make fun of the crazies, in a way that you two could laugh about later.

I knew a guy whose standard answer to a crazy conspiracist was to look seriously at them and say, "It's even worse than you think!" Never tried that, myself.
Men ceasing behaviors on the highly subjective 'harassment' spectrum would probably lead to human extinction.
Quite literally.

https://redux.js.org/understanding/history-and-design/prior-...
Doesn't seem like a wise thing to do.
In adulthood I’ve never had to resolve a problematic interaction through physical violence, and I hope to never have to. The methods I have used—distancing myself from the bully, reporting to management/HR/oversight agencies—are quite like the methods I used to avoid bullying in childhood. I never used violence back then either.

The only meaningful difference between now and then is that in adulthood I have more such avenues and they are much more effective. The fact that they were less effective in childhood is an indictment of the administrative and social structure we have constructed schools to have, not of nonviolent methods themselves. I reject your assertion that it’s helpful for a bullied child to model behavior on chimpanzees in the jungle or criminals in prison. Becoming violent in childhood would have had negative long‐term effects on me, and I’m glad nobody back then gave me the “advice” you’re sharing now.
I studied CS in germany in 1999 and we had "analysis 1+2+3" which I think was a fairly rigorous analysis treatment, I definitely did more than my fair share of proofs. I think that foundation accompanied me through all those years of programming and helped me read and pick up concepts related to type theory, algebra and functional programming.

In parallel I developed this very "visual" way of thinking about structure that makes me really resonate with CT. In a way I'm less interested in learning new maths, more so than learning more about how people approach (complex) structures I already know with these very rudimentary concepts, and seeing how their formalizations match my "folk mathematics".

I'm having a lot of fun!

edit: thanks for the book recommendation! that looks like my kind of maths book
My fridge has something similar but at least it tells you what it does - it simply counts down 3 months.

So I just reset it and tell it there is a new one and it stops beeping at me.
There's a huge difference between "I condemn this practice because I consider it bad anywhere" vs "they are a threat to our country".
> Eventually, hard limits come up and the incremental gains shrink and shrink. At that point, growth dominates.

The trick is understanding where the hard limits are. I've noticed that upper leadership tends to be pessimistic about these hard limits (they come quickly) and engineers on these teams tend to be optimistic (there's a lot of fat/cost to cut so the hard limits are quite far down.) Now naturally, the engineers on these teams have a vested interest in being optimistic, as their team charter is based around their work. But I've seen this conflict play out in many organizational situations and I'm not sure this interplay between upper leadership and engineering about these margins is illuminating for the business.
Might the source link be better in this case?

https://blog.google/threat-analysis-group/new-details-on-com...
Can't you see the irony in this when you didn't offer any evidence?
that blurb you quoted is just twitter rationalizing for Elon's red-bull fueled tweets to "improve twitter"
Then, if I may ask, how do you have an idea of what it was before?
He unbanned a right wing extremist who attempted to use Twitter to overthrow the government.
By writing this post, does the author violate the non-disparagement clause of any severance agreement? Or perhaps they are set financially so can turn down the severance?
As a reminder that without context discussion is null, I found your patient-if-exasperated explanation to be sublime. Thanks for that.
But how do you know (being a theorist)?
This is just bad faith, I did no such whitewashing. The actions carried out in your source clearly is not US policy and the soldiers involved were not only brought to justice but the prosecutors attempted but failed to get the death penalty for the perpetrators.

There is a very clear difference between systematically targeting innocents as policy, waging a war of terror to bomb a people into submission that is happening in Ukraine, and the targeted drone strikes carried out as part of the GWT.
I tried this a couple of years ago. However it went over my head I think I need more fundamentals before I can approach this again.
Without diners, employees, physical kitchens, what do restaurants do?
He completely underestimated the difference between a corporate takeover of an established company and growing a startup. In addition, he appears to be getting terrible advice, which is not uncommon for powerful people who attract sycophants.
Which rule following accounts on the left have been banned since musk bought the company? I only know of a couple accounts that were banned for very clearly violating terms of service, i.e. impersonating other people. I personally don't agree with even those bans, but I am curious to know which rule followers were banned.
Always-on is qualitatively different from "only on for 10 minutes".
Granted there's all sorts of pearl clutching, but odds are Twitter is probably just fine for now as there's no actual alternative.*

Majority of users have no awareness of any of this angst, they're just using it for its niche.

It's popcorn-worthy drama because of the headcount carnage and the culture clash with increasingly vapid corporate ESG posing, while in reality both headcount bloat (particularly non-maker roles) and corporate virtue signaling need a check.

There's a reasonable chance the image hit among various political and tech influencers is soon (months to years) offset by performance and utility gains from getting the other two under control.

All this is off the table if something with less friction gains network effects within the niche.

In that sense I'd agree with you: now's certainly a (rare) time to try to convince folks to change a habit many literally grew up with.

* Mastodon user since spring 2018.
That's still a form of tracking. Maybe not enough to identify unique users in some use cases, but even just knowing someone has been here n times is enough if the user numbers are low enough that you can identify users by unique n counts and patterns of n (such as if one user is at 500 and another is at 490, if the second one is logging in daily while the first one hasn't logged in for a few months, and you see the 490 go 491, 492... when they go from 499 to 500, the chance when a 500 logs on tomorrow and becomes 501 it was the 490 account that has been logging in daily).
Martin Pool discovered pretty much this technique back in 2000:

https://catless.ncl.ac.uk/Risks/20.86.html#subj10.1
I don't understand, do you expect recruiters to have realistic insights into the company's trajectory?
I pick that one because there's always arguments that Apple is not a monopoly (just switch to Android) therefore other examples of dangers of monopolies don't apply. The studio system was multiple oligopolies and not a monopoly. I think it parallels the current smartphone app market more.

The decrees were reversed because they served their purpose and studios no longer have oligopolies, not because there were new findings or research that suggested the decrees were not worth doing.
If these crap floorplans didn't sell people wouldn't build them. If they sold worse there'd be alternatives.

I don't see why people want them but clearly they do.
I'll always remember when our fairly expensive prosumer all-in-one-printer suddenly wouldn't let me scan pages because there was "no more ink" in the printer right before an important task. A straight up scam.

I'm surprised no one has disrupted the sad state of affairs in the printer industry yet even though it's slowly dying.
Genuinely felt a bit bummed since we lost Brooks, reading that nearly made me spit out my drink. Thank you.
> I'm starting to question how much he has ever. Has something changed with him? Or has he always been like this?

His growing group of admirers started treating his like a messiah, and he fully embraced that role, along with the behaviors that it engenders upon someone. He's not special in that way. It's a position a lot of ambitious people would like to be in.
I'm very very happy at my current company and would like to stay for many years. BUT I'm absolutely sure we are going to get a small cost of living raise this year and I'll be able to get at least a 10% raise if I leave. Much more likely I'll be able to get a 20% raise.

I wish companies would keep up with inflation at least.
xmllint can do that:

curl example.org | xmllint --html --xpath '//some/xpath/selector' -
From what I've heard from friends, Canada is more straightforward to immigrate to and become a PR. It is often used as a holding office for those with visa issues in the US by big tech companies.
Nearly all of his public replies are to some of the worst right-wing grifters on Twitter, so ironically maybe he spent too much time on the platform he just bought.
More car hacking, knowing only the VIN number of the car
HTML version: https://intarch.ac.uk/journal/issue59/3/full-text.html
> while that may have worked for him in the past

Did it? The nature of Tesla and his other current businesses buffer that a bit even if it has been his approach, and it seems to have gotten him thrown out as CEO at X.com twice; among the things going on Twitter seems to be Musk trying to relitigate his failure at X.com without other investors being in a position to kick him out, but he seems to be piling up existential threats without resolving them.
It's no longer just about luxury. Apple has won over the CCP with their China/Taiwan-first outsourcing practices -- not to mention $270+B invested to train young, unskilled laborers from rural China and prop up China's domestic chip business -- and now some Chinese even consider Apple as their own.
for our next experiment, we should re-introduce lead into paint
> doesn't solve any of the problems Twitter now has
> you have 2000 poorly managed, even more understaffed systems with 2000 different approaches

It is not about short-term problem solving. It is about long-term investment in more decentralized social networks. 2000 different approaches is exactly what is needed for "natural selection" to do it job.

> are first and foremost human, business, management and social problems, not something you can throw some network protocols and technology at and declare it solved.

Agreed. But the protocols should by designed to adress and resolve those problems the best they can. This will take a lot of iterations. The more (and sooner) people jump ship, the better chance we have to test and iterate.
Trunk development is not about rebase, it’s about short-lived branches that get incorporated into the main branch soon. How they get incorporated (git merge is good enough) is not relevant.
For products like GitLab and Sourcegraph that started self-hosted, there is not really any cross-customer data or cross-customer functionality. This is what customers expect. They want their data to be isolated and not shared.

For other products needing cross-customer features, I think you'd need to define clear APIs and pipelines for exporting some form of the data that the customer can inspect to be certain it is not violating their security/privacy expectations. I'd love to hear from people who have built such a system!
This response is a mess, I apologize.

One can do lots of things. Yes all of those things are still issues, but in enumerating all the things as you have, you make a compelling argument not to use C++. If one picks something else like SML, Go or even Rust, it allows them to focus on those common areas of correctness and not also, all that other stuff.

I don't think you are apologizing for C++, but I hear this a lot, whatabout all the other parts that are fixed by a more sound system? My response is that we only have so many decisions we can make in the day, using a system that removes whole classes of problems allows me to focus on the non-accidental (forced) complexity.

> Rust as Wasmtime is, that alone wouldn't actually give me much more confidence that it's safe

I never made that argument. But let's say I did. Given two systems, one made in Rust and one made in C++. How do I audit the C++ code to ensure that it has the same level of safety as basically _anything_ else?

WasmEdge is using code coverage, good! https://app.codecov.io/gh/WasmEdge/WasmEdge

Only 80% coverage, not great.

I see mention of fuzzing being used, but I only get 69 hits in the codebase for "fuzz" and no documentation about how it actually works.

Wasmtime includes documentation on how to use their fuzzer, https://github.com/bytecodealliance/wasmtime/tree/main/fuzz

In my cursory look at the WasmEdge codebase I see

No application UBSan [1]

No application of control flow guard [2], either in the build or in the generated LLVM output.

Infact the only sanitization flags they are passing are -fsanitize=fuzzer,address

0 mentions of 'control flow' in the WasmEdge codebase, 65 mentions in Wasmtime. Although it doesn't appear that Wasmtime is itself being compiled with cfguard.

309 mention of spectre mitigations in Wasmtime, 1 link to a cloudflare blogpost in WasmEdge.

In my cursor look at Wasmtime, I see

Much better fuzzing support, 85 uses of unsafe in cranelift itself, 1400+ uses of unsafe in crates/*

The changelog and git messages for WasmEdge talk about type errors (those type errors look impossible in Rust), bus errors, out of bounds, etc.

It does not inspire confidence. C++ is already starting from behind. This software is targeted to be run on bare metal, embedded and widely distributed. It just doesn't have the level of detail around testing and correctness that I would expect for such a critical piece of infrastructure.

I am not saying that Wasmtime does not also have issues, that would be preposterous. But on the face of it, WasmEdge has a lot of work to do to catch up to where Wasmtime already is.

Wasmtime appears to care about the security properties of their dependencies with https://mozilla.github.io/cargo-vet/

It does not look like the WasmEdge project applies this basic list of practices as outlined by Jason Turner [n]

[1] https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html

[2] https://www.zdnet.com/article/microsofts-control-flow-guard-... https://clang.llvm.org/docs/ControlFlowIntegrity.html

[n] https://www.youtube.com/watch?v=q7Gv4J3FyYE https://github.com/lefticus/cpp_weekly/issues/175
Forgiveness usually requires some level of admitting fault and contrition. I have not seen that from the hateful accounts Elon unbanned.
The amount of engineering in this release is staggering.
We had a tektronix with blocks - and that one had to be kept off except for very specific times, because if left on it would stay warm and over a week or two drain all the wax out of it into the waste tank.
> seeing the category theoretical definition of monoid https://en.wikipedia.org/wiki/Monoid_(category_theory) inspired me a lot.

What applicable insight did you gain over the normal algebraic definition (https://en.wikipedia.org/wiki/Monoid)?
If you're serving SVG over gzip or similar, you'd be hard-pressed to sell me on the value of SVG optimization.

I'm also not keen on javascript minimization. Most of the delay on the client in not in the transport, but in the parsing. For this reason, I do think tree-shaking has good value.
I made an account to reply to this, since I tend to use KoboldAI[1][2] occasionally.

It's an open-source text generation frontend that you can run on your own hardware (or cloud computing like Google Colab). It can be used with any Transformers-compatible text generation model[3] (OpenAI's original GPT-2, EleutherAI's GPT-Neo, Facebook's OPT, etc).

It is debatable that OPT has hit that sweet spot in regards to "surpassing" GPT-3 in a smaller size. As far as I know, their biggest freely-downloadable model is 66B parameters (175B is available but requires request for access), but I had serviceable results in as little as 2.7B parameters, which can run on 16GB of RAM or 8GB of VRAM (via GPU).

There's a prominent member in the KAI community that even finetunes them on novels and erotic literature (the latter of which makes for a decent AI "chatting partner").

But you do bring up a great point: the field of OS text generation develops at a sluggish pace compared to Stable Diffusion. I assume people are more interested in generating their own images than they are text; that is just more impressive.

[1] - https://github.com/koboldai/koboldai-client

[2] - https://old.reddit.com/r/KoboldAI/

[3] - https://huggingface.co/models?pipeline_tag=text-generation
Someone on here recently asserted that ditching the colloquial use of "crazy" had significant mainstream support. I pushed back on people even noticing that it might be a problem, let alone actively choosing not to use it, being anything like a norm outside tiny niches of terminally-online Web users.

Sure enough, sensitized to it, I heard an NPR host and a Chipotle ad use it in the colloquial sense within the next week. And those are just the ones I noticed, and that were very-public rather than in private conversations.

This stuff's not mainstream and normal people don't care a bit. It's not even caught on in groups worried about impressing the word-police crowd (major advertisers and NPR both qualifying, I should think).
That is the thing, people do not go to twitter to be in "Small Focused Community"

They do it to interact with the globe, and the more people on that network the better it is.

There are a million ways to create a niche site (like hacker news) that allows a Small Focused Community to interact, that is not a replacement for Twitter
So what we need here is mechanisms to hold the board accountable for their failures.
Yeah sounds like quite a feat for on device.
Hi there, Marketing Company Intern!

Tell them you'd rather make the coffee ;-)
Most people are comparing this story to Apple's behavior in China. Google doesn't operate any substantial services in China due to data privacy concerns iirc.
What? You are advocating for inefficient bureacracy because otherwise the time-wasting bureaucrats would be laid off? Is this sarcasm or you are serious with this?
I think a lot of the need for public disclosure is tied up with the benefits you get from starting a business. Perhaps the default should be for people to do more as private citizens rather than working through a company. Place more limits on what is a legitimate use for a business. But also make it easier for individuals to trade.
There are regulations we should adopt, but what GP proposed is a bottom-up rather than a top-down approach like regulation. For instance, we could, as software professionals, take an oath not to write malware or spyware ("malware with a budget"), and at the same time, take an oath to invest time in the security of a piece of software.

If a civil engineer is approached to design a bridge in an unsafe manner, it is the expectation of society that they will refuse. If that bridge collapses, they're expected to take responsibility and to participate in an investigation to ensure this never happens again.

We should be thinking along these lines. I used to think I was just a hacker and that software engineer was just a job title. After reading this series of blog posts [1], my eyes were opened. Once I accepted I was some kind of engineer, I asked myself what that meant. What I realized was, an engineer has a responsibility to society, because they build the context society inhabits.

That's what separates them from a hacker or tinkerer, exploring in their garage for the joy of it. In your garage you can be an artist, accountable to no one. When you build the systems people rely on every day - you aren't a hacker anymore.

[1] https://www.hillelwayne.com/post/are-we-really-engineers/
Category Theory Library for Agda