skysight-inc/HackerNews huggingface dataset:
Do you think people said she has no qualifications because she is a woman, or is it possible people say that because her resume is quite short ?
It seems like people taking such comments as misogynistic are actually projecting misogyny into the situation, rather than the reverse.
If you showed me her resume and put “Steven Smith” stop the paper, I’d say that person isn’t qualified to be running the board of a 90 billion dollar company in charge of guiding research on some of the most groundbreaking new tech in years.
How Far Have We Gone in Vulnerability Detection Using Large Language Models
Maybe or maybe not, but the issue here really is that regardless of a method, you still get F1 scores around 0.6, so a lot of mileages still to cover.
Maybe it’s a mobile thing, but some of the loops (maybe limited to the double-time ones) can eventually get off beat.
this is the point of the thread, people are expecting it to do so as they're not understanding how it works or what it is
Or, let's say, you don't need a lot of persuasion to guide an election. I mean we already have X, FB, and an army of bots.
> EDIT: As noted in a subthread, I outclevered myself and also a bunch of human commentators, as the problem I proposed doesn't have a solution and neither ChatGPT, I, and also other presumably human commentators correctly identified that -- I had everything eat something, and the normal wolf/sheep/cabbage of course has the cabbage eating nothing.

Though doesn't that prove the point that it's just pattern-matching? If it was actually reasoning, it wouldn't have provided a "solution" to an unsolvable question.
It was a very big printer, Jeremy.
Things did become worse at first: https://en.wikipedia.org/wiki/The_Condition_of_the_Working_C...

Then new ideologies and social movements emerged with the explicit purpose of making things better, which caused changes to happen for the better.
Forget it Jake, it's c̵h̵i̵n̵a̵t̵o̵w̵n̵ TheVerge
̵
> with direct hardware interaction

you're not gonna see this ever again. it'd be reckless to do so with how unsafe it would be
I have been moving twice a year (June-September) with an iMac for the last six years and I think it’s been an overcomplication mistake, specially in March 2020.

I thought desktops are more future proof
which is the best kind of incorrect?
You do realize Epic is backed by one of the largest monopolistic companies on the planet right? Tencent is unmatched in many industries for their level of stranglehold and on top of that they hold controlling interests in countless other US companies to exert their influence across a spectrum of organizations.
There was a US government push a few years ago to treat Google (etc) as public utilities, with the same responsibilities to users as any other utility.

eg support for users, reasonable conflict resolution, etc.

* https://www.rankscience.com/blog/why-google-should-be-regula...

There were plenty of articles about it online at the time. The above is just one I found in a quick search now.

Unfortunately, the legislation didn't pass. And now, Google (etc) are further emboldened...
Just to add that a lot of people don't care about facts. In fact, if acting according to facts make me lose $$ I'd probably start building lies.
A company is essentially an optimization problem, meant to minimize / maximize some set of metrics. Usually a companies goal is simply to maximize NPV but in OpenAI's case the goal is to maximize AI while minimizing harm.

"Failure" in this context essentially means arriving at a materially suboptimal outcome. Leaders in this situation, can easily be considered "irreplaceable" particularly in the early stages as decisions are incredibly impactful.
That doesn't work on MacOS 14. It fails with a code signing violation. You need to use open(1) for app bundles.
I liked the capabilities of Game Maker and really wished they were available to C#...
Ycombinator still has a monetary interest in the for-profit corp of OpenAI right? When Sam says he doesn't have equity I believe he sometimes clarifies that he does a small interest through a ycombinator partnership or fund ownership of some shares.
And then there's common sense. I got a papercut once and asked my manager where I could find band-aids because the company nurse wasn't in that day. He took me to a first-aid station and said "I'm technically supposed to fill out an injury report but I'm not going to bother if you don't want me to." We both agreed that doing that for a paper cut would be stupid and got on with our days.
You can add

"DisablePocket": true

(and many other things) to your policies.json file. In my case that file is a symlink to a single master copy I maintain outside of the FF installation folder. See https://mozilla.github.io/policy-templates/
ya, I feel like humans are not very good at solving problems not in their training set. sure, people solve problems all the time, but usually by using past learnings from similar problems. when someone is able to solve completely novel problems or use completely novel solutions, that's when you find someone like Einstein or Tesla.
Pretty much this. I wish proxmox would get off their butts and release a better management setup to deal with multisite, as I would love to complete the move to their product for our last remaining vmware systems.
Joined Microsoft in the early 2010s, and Google recently in the 2020s. I see the same bad company culture traits in both cases (incompetent & feuding middle managers, silos of information, promotion based on launches not business impact, hired too many people, etc.).

I think one big difference is that Microsoft at the time had clearly fallen behind competitors, while Google hasn't yet, or not to the same extent. I believe this failure created enough humility at Microsoft that I found many people & teams to be open to new ideas in terms of work processes & culture. Implementing change was harder, but having the conversation wasn't.

I see very little of that openness or humility at Google at any level, I suppose because there hasn't been a major business threat to force a change in mindset, or to let go of long-tenured ineffective leaders. It's been disappointing, because I would have expected a company with a lot of supposedly intelligent people wouldn't need external threats to avoid creating the bad culture common to big old companies.

To me Google work culture in 2023 looks a lot like the Microsoft work culture from 2010, but most can't accept that reality.
Well, as someone looking to get into this field, I kind of disagree. A lot (if not all) job postings about graphics programming require you to know C++ beforehand. Sure, you can have another role, like gameplay programmer, and slowly work your way in graphics, and it's probably easier to do so, but in fine, for the graphics programmer role, C++ is required.

What you are describing is more about someone who wants to be productive with graphical stuff fast, but it's not graphics programming.
Ah. Current Wikipedia text: " An artificial general intelligence (AGI) is a hypothetical type of intelligent agent.[1] If realized, an AGI could learn to accomplish any intellectual task that human beings or animals can perform.[2][3] Alternatively, AGI has been defined as an autonomous system that surpasses human capabilities in the majority of economically valuable tasks.[4][promotion?]".

You can see the edit warring in the history, around "economically valuable tasks".
Why does being a man or woman even matter? Do we really need a DEI hire for the board of some of the most groundbreaking tech in years?
I’m not saying Larry Summers has some perfect resume for the job; but to assume he was brought on BECAUSE he is man?

Cmon. There’s absolutely no evidence for that and you are just projecting an issue into the situation, rather than it being of any reality.
I'm not American but it was my impression they stopped the space shuttle program for so long because it wasn't cost effective and they instead partnered with private enterprises for those use cases?
imacs are mighty-fine unix workstations, ergonomically speaking. no other brand comes even close, in my opinion, although ubuntu is getting close. throw in ports/homebrew and all the gnu/linux tools i need for servers are at my fingertips. virtual machines scoop up the scraps.
No problem! And good luck! It's a lot of work but well worth it.
I imagine most people have sets of macros they habitually add to any sufficiently complex script they're modifying...

yelp(){
es=$1
shift
echo "$@" >&2
exit $es
}

test -d /tmp/goober || yelp 33 "couldn't find goober!"

(yes, I'm sure there are standards for exit status ranges and 33 is not such a thing)
I gave this a go. I typed google.com into my browser. First thing: oh yeah, that's right, because I use a VPN google puts me through captchas before letting me search (and I'm currently logged-in to Google on my gmail ID, so it definitely knows who I am, which is even more annoying). One annoying captcha session later, I can search. (and ofc Google wants to know my location, despite knowing my address as part of my Google ID).

I tried "El Dorado" because I happened to have that boardgame on a shelf in front of me. Actually the results were pretty good - wikipedia, national geographic, IMDB, no ads. But yeah, not something there's going to be many ads on, so let's try something more adworthy.

So I switched to an Incognito window (many, many captchas) and tried "erectile dysfunction". Whole bunch of decent results, no ads until the bottom half of the page (and then it was solid ads of course).

I've got to say I was pleasantly surprised - it's not nearly as swamped with ads and shitty SEO as I remember. But that's the thing, isn't it? I only switched to DDG a few months ago because I was so fed up with Google's responses (and the endless captchas). I didn't dream that ;) But yeah, you're correct - the first page of Google isn't all ads and SEO crap. HN must be hallucinating that.
Do a video where you turn it into an actual trash can
Now this is very interesting and I'm excited to read up on it. Thanks for the link!
How to Read Wind Barbs and More on a Surface Weather Map
this leak reads like a half-baked canary trap
No … no no …

That can’t be true.

Right ?
I never said it was ok to steal from Google. You certainly won't find any Google property at my house. I did say it was unethical to pay them, though.
> but if you write shell in a principled manner

The same can be said about QBasic as well, honestly. And here's the catch: people who are inclined to write anything in a principled manner are likely the ones who'd write things in a principled language instead of e.g. shell. Or to put it in another way, if someone chosen to write in shell (or failed to consider an alternative, which also happens quite often), they're quite likely exactly the person to not write anything in a principled manner.
Bold to call out an org director so...directly. Normally you leave and keep quiet about the abusive people you meet in case it backfires because the industry is small and you can be blacklisted.
can you speak to how that is vs the gui web interface goodness of proxmox? I'm interested in playign with ganeti but all the youtube walkthroughs that would motivate me more are super outdated and the website doesn't really sell the product very well.
William Baumol and the Cost Disease [pdf]
Proxmox Backup Server is rock solid in the 2 years I've used it. It does a great job of dedup keeping hundreds of backup points as space efficient as you could hope for. And file restores or full VM restores are painless.

I've even used the Linux client to virtualize physical boxes.
The internet would be better without mandated cookie banners. It's so damn frustrating using the internet in the EU. If you don't want to be tracked just browse in Incognito mode.
Fast Llama 2 on CPUs with Sparse Fine-Tuning and DeepSparse
This wasn't a twitter tirade. This was on his niche blog post about someone's personal experience and towards someone who was making 10s of millions. Big difference.

With her budget, just her org is effectively bigger than the biggest tech company in most countries of the world. At that point upper leadership is not allowed to differentiate between private and public life. Public criticism is private criticism and vice-versa. It's likely a testament to her achievements that she has earned an enviable? level of success that makes public criticism acceptable.

> in particular some rather ugly people who in particular get especially unhinged on the topic of women in tech at Google, etc.

That being said I do agree with your point. With those risks in mind, I still think it should be socially permissible to make this kind of post.

> I think it's in very bad taste in this case.

I thought it was done as well as one could. I know the west coast prides itself for its 'niceness', but in a lot of parts of USA, plain expression of dislike is considered in better taste than the kind of passive aggressiveness that would result from softening the poster's language. It was meant to be a targeted question at her competence. Just because she is one of many incompetent people at the helm at Google, doesn't invalidate the poster's experience.

The anecdotal optics might be bad. But I for one rely on Occam's razor before jumping to conclusions about racial/gender angles in everything.
He's not wrong; Tor is literally US fed gov sponsored. https://support.torproject.org/misc/misc-3/#:~:text=Tor%20is....

If they sponsor enough exit nodes, they have a view into traffic; similar to a crypto 51% attack
The reason Apple was right about on-device processing isn’t about the privacy marketing speak or anything like that, it’s because so many of cloud services are run at a loss and have little hope of ever becoming profitable businesses.

Every time you use Google AI that’s offloaded to their cloud you’re basically getting free “money” from Google, and all of these functions are places where advertising can’t be inserted in a way that makes any sense.

The most profitable cloud services are things like “sell storage that sits unused” or “sell a subscription to fitness classes.” If you want to run something complex and resource intensive you better hope you have some enterprise customers lined up.
It was exceedingly telling when Google bought moto (at the time a good phone manufacturer and excellent radio within) and gutted and dumped it instead of keeping it on to go wild with the nexus/pixel side of the house.
> the journalist

FYI you're replying to the journalist.
“Tensor chip isn’t so good with tensors”

“My car isn’t so good at driving.”

Kind of sounds like life support.
That's the second time I've heard about Mad Muscles just this week. I will definitely check it out. Framing a compelling offer is a gap I definitely need to fill, and I appreciate the pointer!

> ...but you did it, which is what counts in the end.

I can honestly say that I've come to truly believe that entrepreneurism is the ultimate spiritual journey -- at least it has been for me.

No matter how this chapter of my life ends, I like the person I am today 10,000% more than the person I was when I started, and I don't know that I could ever put a price on that.

In a post on another platform last week, I wrote something to the following effect: "entrepreneurism will burn off the mask that you're wearing and strip you down to the core" -- and I mean that in the best possible way.

When you are ready to build your app (and slay a few dragons along the way!), I'll be happy to be a resource to you however I can if you want to learn from any of my experiences.
They are much easier to get good welds with - they are essentially computer controlled.

So you can just select the right profiles, and pretty much drag the head in the right place and get a good weld.

It will get better, as well. While it hasn't gotten to handhelds yet (AFAIK), you can actually measure pretty much all of the variables that matter live using the same optics.

So it can get realtime feedback - which means it can adapt, and also, measure the quality of the actual weld for you.

See, e.g, https://lasersystems.ipgphotonics.com/technology/real-time-w...

So it's not just the betterness of the welding technology, but what it enables.

In that sense, it's like what CNC did to production woodworking over time.

You can always make what a CNC does by hand, though it's sometimes annoying or slow.

So some looked at it as just a better wood cutting thingy, and were unimpressed or didn't want to have to learn.

But looking at it as a better cutter misses the point. It enabled automation and other things that simply did not (and arguably could not) exist without it.

You will find essentially no production woodworking that is not CNC based anymore, often with entire lines that go from "raw wood" to "finished product" without human intervention.
Those who looked at it as a better wood cutting thingy, or didn't want to learn, were all left behind.

(Note i carefully am talking about production woodworking)

Whether it's automation or other things, laser welding will do the same. It isn't just a better welder. Using lasers enables things that were really hard or complicated to do before.

Even Miller Electric (for those not in the know, they have a significant percent of the market share of MIG/TIG welders) realizes this, and 2 weeks ago announced a partnership with IPG to bring laser welding to the masses.

Given the price point of most handheld 2-3kw laser welders is still 20-30k, and miller's price point is <5k, this is a fairly forward looking thing on their part. They clearly don't hope to try to convince most welders to spend 20-30k.

They instead must think that laser welding is going to eat them somehow, and think they need to lead instead of try to catch up. Given what i've seen, i think they are right on the money there.
I've gotta say it really does seem like you didn't read their comment or are responding in bad faith.
Well there’s a difference between a hypervisor and the infrastructure around it - even if they use the same hypervisor, it’s very likely that the rest of the system is completely different.
You don't need to, you can make a determination by proxy: if the claim is made by a crackpot, discard the claim.
Also could it explain why the board failed to provide a proper justification for the firing?
> Those of us who get this already use something else.

What is the 'something else' that you would recommend?
He didn't con me as I knew from the beginning that crypto currency itself is a con. CZ profited from his con job when he sell people stuff at stupidly high price knowing it actual worth nothing.

In case this is too hard for you to understand, try this - if I walk alone the street selling people paper with your name signed on it promising that such "magic sheet" is going to bring them unconditional happiness and I manage to sell millions of such sheets with a profit of billions, is that a con job?

This is exact what CZ did. He was/is/will always be remembered as a con man.
> Why is the AGI interested in copying itself? Why is that more likely than the AGI becoming a nihilist, seeing no point in itself, and offing itself?

Because suicidal nihilism would be a "bug" from the perspective of the builders, which they would seek to fix in the next iteration.

An interest in "copying itself" seems like it could fall out accidentally from a self-improvement goal.
The mattress will not allow you to sleep unless your subscription is active
> This is exactly the question that static types can answer... statically. You don't need a runtime log to find out.

This tool seems to be able to display the relevant code paths. That sounds super convenient and useful. Do statically typed languages have tools to do similar?
As mentioned elsewhere, even from this event Mars would have been safe. The main hypothesis for what the gamma ray burst did was basically wreck the atmosphere and ozone, exposing everything to massive radiation and starting a domino effect.

But on Mars you're already ambiently exposed to high levels of dangerous radiation, and the atmosphere (for what there is) is highly toxic. So life will have to develop in a way such that it cannot depend on the atmosphere, and protection from ambient radiation is a daily part of life.

In all probability a gamma ray burst event on a Mars colony would be relatively harmless.
Yeah, I dunno about that either. I have a 2020 G14, and its a fantastic piece of hardware. Honestly its overbuilt, except for the display (which I understand they have improved in more recent models).
and each subsequent owner stripmines the company for the IP (patents) they desire.
As if that had ever stopped one of the big established car companies from building more bad cars.
`why rock the boat` is spot on! Most large organisations eventually go into a mode of maximising the free cash flow for shareholders. I guess more or less this is by design. Investors, Founders and early employees take risks in short run for the rewards in the long run. A company cannot keep saying the promised green land is delayed by another 5 years.

Some criticism of CEO might be warranted. But remember that CEO compensations tied to profit after tax. I guess the only way to get back old Google is to start one!

Once number of employees hits a certain inflection point (roughly when one can't identify everyone with name), the focus for a lot of people is to keep their manager happy. Because any other goal is too abstract. Safi Bahcall's book Loonshots had some nice discussions on this point.
Bard is trash. In my experience it's ChatGPT > Bing Chat > Bard.

Shame because Google invented the transformer architecture that enabled the technology.
C# is not flexible enough. Nominal typing is too rigid. You can't `return {foo:bar}` from a method and have type safety. You can't declare type inline way.
I feel very comfortable saying, as a mathematician, that the ability to solve grade school maths problems would not be at all a predictor of ability to solve real mathematical problems at a research level.

The reason LLMs fail at solving mathematical problems is because:
1) they are terrible at arithmetic,
2) they are terrible at algebra, but most importantly,
3) they are terrible at complex reasoning (more specifically they mix up quantifiers and don't really understand the complex logical structure of many arguments)
4) they (current LLMs) cannot backtrack when they find that what they already wrote turned out not to lead to a solution, and it is too expensive to give them the thousands of restarts they'd require to randomly guess their way through the problem if you did give them that facility

Solving grade-school problems might mean progress in 1 and 2, but that is not at all impressive, as there are perfectly good tools out there that solve those problems just fine, and old-style AI researchers have built perfectly good tools for 3. The hard problem to solve is problem 4, and this is something you teach people how to do at a university level.

(I should add that another important problem is what is known as premise selection. I didn't list that because LLMs have actually been shown to manage this ok in about 70% of theorems, which basically matches records set by other machine learning techniques.)

(Real mathematical research also involves what is known as lemma conjecturing. I have never once observed an LLM do it, and I suspect they cannot do so. Basically the parameter set of the LLM dedicated to mathematical reasoning is either large enough to model the entire solution from end to end, or the LLM is likely to completely fail to solve the problem.)

I personally think this entire article is likely complete bunk.

Edit: after reading replies I realise I should have pointed out that humans do not simply backtrack. They learn from failed attempts in ways that LLMs do not seem to. The material they are trained on surely contributes to this problem.
Headsets are fine but many of the folks wearing them call in, which completely negates their benefit. Also, they're uncomfortable IMO