skysight-inc/HackerNews huggingface dataset:
I'm suspicious of the effectiveness. Most people are doing symbolic execution to find bad pointer dereferences as bugs, whereas this tool is doing it to build the least constrained model and then checking the code against that same model. Wouldn't any code paths that are discovered as part of symbolic exploration and have out-of-bounds read/writes then be infered away as constraints, instead of bugs? Or being unable to detect memory corruption in the form of controlled pointer value overwrites, since you can't say that all pointer dereferences derived from your symbolic input are bugs that allow for attacked controlled memory corruption, because you don't have a concept of what inputs are under user control unlike most uses of Angr or other symbolic tainting tools. Is there a better list of the types of bug classes or heuristics that this is able to catch? Are there any numbers on the false positive/false negative rates against a dataset?
> > If what the French researcher wrote was harmless then I would agree with you that

> How is it not?

I'd like to remind you that we don't know what it was the they wrote. The news article doesn't specify, and CBP did not provide any details.
The usual version of "astronauts suffered some hardship because they were stuck too long in space" is "astronauts live to go to space" or "astronauts think it is the highest honor to go to space" or something like that.
There’s not an MLS equivalent in the UK, property data is quite fragmented.

We’re not looking to display anything an estate agent doesn’t want us to - agents tell us they’re very happy for us to serve as an advertising channel. And we’d immediately action any sort of take down request.
love those flying goalposts. i guess "tech" is different enough from other kinds of labor that it's special? ok:

IFPTE, UAW, CWA (which just recently welcomed workers in the video game industry: https://cwa-union.org/news/releases/video-game-workers-launc...)

edit: Alphabet Workers Union under CWA, Riot Games under UAW, Tech Workers Coalition
There's dagger; CI as code. Test your pipeline locally, in your IDE.
> You can change frontends any time you want, or you can run multiple frontends simultaneously. Everything important, including validation, is handled by the database.

Or you can properly architecture your application and move the logic layer to a language with better tooling.
Virtually every piece of information you submit on the internet is logged and monitored anyway, for purposes of advertising, state surveillance, and occasionally to improve the products.
Forming the union is step one of a long road before you actually reap the benefits. It can take year(s) to negotiate the CBA with your employer. Sounds like fear of layoffs was a huge factor, but the employer must agree to those terms, and that remains to be seen. So for now that's all rhetoric. Show me a team that has gotten to the other side with these terms in a contract.
Indeed, 23% more money for double the memory bandwidth.
> all Apple really has going for their products these days is being very stable and dependable,

That's not Apple that's everyone. Computers randomly crashing hasn't been a thing for a long time.
The 90ies just called- they want their lame it jokes back.
I'm not sure if this is what you intended, but I read this as a great argument in favor of pair programming.
Never had those issues. It is just frontend job protection blah. No one should listen to it really.
> What's the A+ example out there of a unionized engineering team that has been able to find a great work-life balance, great benefits, and a fun product development life-cycle that is profitable or clearly on its way to profitability? Show me this company.

South Korean search giant Naver. Union website here: https://www.naverunion.com/
I did just that about a year ago and regularly see people who work even less than me, i.e. not even 5 chill days a week, but 4 or 3. It works so far.
Try their Deep Research or grok's DeepSearch. Both do many searches and read many articles over a couple of minutes
Author also confuses backup codes with TOTPs.
My intuition is very undeveloped on this, but it makes some kind of sense to me that dropout would make convergence slower, because you're ignoring a bunch of parameters in every batch. The goal seems to be to get a better, more general model by trading off some training time.

The Llama thing is interesting, though!
"Our chat bot actually lies by design" is not the strongest argument in the world.
Previously, yes, that's the behavior it relied on, why it was broken, and why the article had a story to write about. Currently, no, it replaced that behavior with external information not sourced from the LLM and that's why it doesn't matter if the LLM can or can't say "I don't know": the data for this type of task is no longer coming from the LLM itself.
I am quite some time in the biz but I see it as a feature not a bug.

I was waiting until we get rid of IE6.

Nowadays no one will support anything for dozens of year so you would have to take care of some bug ridden monstrosity because it will get decommissioned because it will just stop working and cost of supporting it will be higher.

Your CRUD web app is not a nuclear powered plant to run 50 years.
A lot of these pro-labor-reg people argue (and I agree with them!) that the ROI on additional hours worked past 40 is pretty bad.

If this is the case, then someone working an extra N hours a week won't actually move the needle that much when it comes to performance ranking.

My experience has been that the people who choose to work super long hours do not actually perform much better, if at all, than those who don't.

Caveat is that this could, of course, be selection effects a la Berkson's paradox. Maybe those who work very long hours do so because they must to reach the expected output level for the firm they work at.
"The social double-bind game can be phrased in several ways:

The first rule of this game is that it is not a game.

Everyone must play.

You must love us.

You must go on living.

Be yourself, but play a consistent and acceptable role.

Control yourself and be natural.

Try to be sincere.

Essentially, this game is a demand for spontaneous behavior of certain kinds. Living, loving, being natural or sincere—all these are spontaneous forms of behavior: they happen "of themselves" like digesting food or growing hair. As soon as they are forced they acquire that unnatural, contrived, and phony atmosphere which everyone deplores—weak and scentless like forced flowers and tasteless like forced fruit. Life and love generate effort, but effort will not generate them. Faith—in life, in other people, and in oneself—is the attitude of allowing the spontaneous to be spontaneous, in its own way and in its own time."

- Alan Watts
I second this, and it tends to be a sitewide issue. HN has really changed over the past 5+ years: went from healthy or interesting skepticism to reddit-style snarkiness and shitposting.
There are a lot of very smart people working in astronomy, they review each other’s work, and they compete for jobs and funding. Does it really seem likely that none of them have thought to validate basic assumptions?

Having family members who do that for a living, I can tell you that’s a huge chunk of the job. Astronomers all know that they have significant limitations in the data that they can collect and spend a lot of time thinking about ways they can test different theories. It would be a career-making move if some grad student could come up with a new explanation which changes the previous understanding and given the ratio of degrees granted to jobs the incentives really wouldn’t favor covering anything up.
> A company that publishes libel and harmful content

Do you believe that a company who offers an llm to the public, could be said to have 'published' the generative output?

Llms are day dream machines - is it libel if I tell you that I had a dream about you, where you killed a guy? (Has HN just published a harmful lie about you?)
While his formal affiliation may have been short-lived, do you think he got a cut of the sale to Shopify?

If so, not disclosing that when he promotes Remix is a bit shady.

Nice dude and all, but that is one thing I take issue with still.
I'd argue tech companies today are worse.

Large firms back then were dysfunctional and unproductive, but the amount of stress was minimal compared to tech today.
The belief that "something must be done"&the sanewashing of Trump's economics
Sounds like we need to find a way to recreate these metal rocks in a lab and start seeding parts of the ocean with them.
>I love how people are still pretending like this didn't happen already. If you think there are going to be elections in 2028, you are gravely mistaken.

My guess- US coordinates with China on the timing of Taiwan's takeover. Trump then argues he can't very well step down in the middle of a war.
No time like the present, and I know that the tech labor movement has been going on for a while, but it's a real shame that this idea didn't get more traction a few years ago at the peak of worker power.

LarryDarrell on July 8, 2019 | parent | context | favorite | on: Employee activism in tech stops short of organizin...

My worry is that without premature organization, the next recession is going to make the "tech worker shortage" a permanent thing of the past. We'll never have as much negotiating power as we do now.

If say there was a Tech Workers Union/Guild/Association, we might have been able to protect the older workers at IBM, or the outsourced workers at Disney. Maybe there could be a push back against open offices and poorly implemented Agile. As it is, we're just better compensated workers floating from job to better job.

https://news.ycombinator.com/item?id=20384298
One of the problems with real world union examples is all the laws that weakened and destroyed unions over the years. Even if there were few or no examples of thriving unions today because of issues with the legal regime, that does not strictly imply that better conditions are not possible. For example wildcat strikes and sympathy strikes have been illegal since 1947, putting more power in the hands of union management and taking power away from unions. That’s both unfair from a libertarian perspective (if workers want to strike there should not be a law preventing them from doing so) and it undermines the concept of worker power which unions otherwise aim to uphold.

https://en.m.wikipedia.org/wiki/Taft%E2%80%93Hartley_Act

So it may be instructive to look at past examples when unions were strong and compare the working conditions of workers in unions and workers not in unions. Or to look at unions in other countries like Germany where they have board seats and better legal accommodation.
Hacker News does not censor criticism. Even when these comments get flagged and the accounts making them have a history of bad behavior, I’ve yet to see one of them get banned.

When people complain about this it’s because they think Hacker News is just orange Reddit and that removing off-topic political posts is part of some conspiracy to censor their inane opinions when they were never supposed to be posting them here to begin with.
yes, what you're talking about is true for the supplier side, but it's still not accurate for A/C mfg. operators own the a/c and all the associated bits that would end up getting sent out for service, and they're the ones that are paying service fees to those OEM suppliers that supplied the A/C in the first place.

these day's there's not many "parts" outside of fuselage and flight IP that someone like Boeing/EMB, etc. owns that wasn't outsourced:engines, air data system, actuations, cabin, flight controls, landing gear, etc.. THere's nothing really that the A/C mfg could "service" to ever make back a 300mil airframe. the A/C sell for the fixed cost, sometimes the operator gets to select their own engine, but othewise they buy it for cash, not for future services. boeing and other A/Cs would not survive on maintenance plans because there's very little they actually maintain.
This reminds me a recent chat I had with Claude, trying to identify what looked like an unusual fossil. The responses included things along the lines of "What a neat find!" or "That's fascinating! I'd love it if you could share more details". The statements were normal nice things to hear from a friend, but I found them pretty off-putting coming from a computer that of course couldn't care less and isn't a living thing I have a relationship with.

This sort of thing worries me quite a bit. The modern internet has already sparked an awful lot of pseudo or para-social relationships through social media, OnlyFans and the like, with serious mental health and social cohesion costs. I think we're heading into a world where a lot of the remaining normal healthy social behavior gets subsumed by LLMs pretending to be your friend or romantic interest.
The good news is Orpheus-3B just made Sesame essentially obsolete.
You need to download-install an app , enter your info, your vehicle info, your credit card, the location where you’re parking, the time (which is non-refundable/ transferible if you pay too much) to park. Sometimes all this BS takes longer than the time you wish to park, I rather risk getting a ticket or just go somewhere else. All this because cities just lease the operation to 3rd parties.
Is there a way to alter text to poison AI training sets? I know there's Glaze and Nightshade for images but I've heard of nothing to poison text models. To be clear, this wouldn't be a defensive measure to stop scraping; it'd be an offensive honeypot: you'd want to make pages that have the same text but mutated slightly differently each time, so that AI scrapers preferentially load up on your statistically different text and then yield a poisoned model. Ideally the scraper companies will realize what's going on and stop scraping.
It lasted until Mistral released 3.1 Small a week later. Such is the pace of AI...
Some fair points. Courts have ruled Congress can make laws concerning foreign residents that would be unconstitutional if applied to domestic residents and citizens. They generally can't deny someone their Constitutional rights once already inside the US though. But since deportation isn't a criminal conviction (and rejection at the border especially isn't), it's conceivable that they could deny someone entry for a variety of reasons.

So perhaps not a violation of the Constitution. Though if the scientist's claims that he was denied entry because he expressed a personal opinion on the Trump administration's research policy, then it certainly violates the spirit of the First Amendment, and much of what the government claims it stands for. Is it legal? Perhaps. Will it cause long-standing damage to US soft-power and the ability of US organizations to recruit world-class scientists? Quite possibly.
We use Elm for any complicated front end. Elm has not been updated in over five years.
The US dollar is just so, so, so incredibly ingrained into the global economy, it just ain't that simple. You can or course hold whatever else instead of USD, but then you'll find yourself just exchanging back and forth to/from USD.

It's a bit like coming up with a realistic scheme for a computer with no RAM, only hard drive and CPU caches.
Even to the extent this is true (which it isn’t entirely), it’s basically only been true overnight.

Israel has only recently become as strong as it is. Until very recently it could very well lose, and has lost, wars with its neighbors.
is it just me or are these voices clearly AI generated? They've obviously been improving at a steady rate but if I saw a YouTube video that had this voice, I'd instantly stop watching it
> Also, realistically speaking, a lot of other CI solutions are only marginally better.

This is the key point. Every CI system falls apart when you get too far from the happy path that you lay out above. I don't know if there's an answer besides giving up on CI all together.
it's currently free, but I'll soon be adding a paid plan with video support, shareable links, and some other advanced features
I definitely notice and care how serious it is. Knowing what is going on, frankly Canada should be doing conscriptions and switching to a wartime economy. Hope is your enemy with someone like Trump.

But ‘that doesn’t make sense’ (except, if we don’t ignore the obvious truth, it definitely does), so we’re all going to pretend it’s just Sabre rattling and rage baiting. Because no one wants to take the hit for something that ‘should never happen’.

Which it kind of is, but isn’t really. It’s infuriating, as is the inaction, but that’s why it works/happens.

And part of why it works/happens is the escalating ridiculousness for the last 5-10 years overall in the media when it comes to hitting outrage buttons.

For instance, on the mass shooting side, depending on how you count, there were between 103-706 killed in ‘mass shootings’ in the US in 2021 [https://en.m.wikipedia.org/wiki/Mass_shooting], out of a country of 350 million. 103 per the FBI, 706 per some action group I can’t remember.

You’re roughly as likely to die of a lightning strike (or more likely to die from lightning), as be involved in a mass shooting. Yet, it gets endless airtime - which the media admits even just makes the problem worse. [https://www.apa.org/news/press/releases/2016/08/media-contag...]

And endless goal post shifting of even what the definition is, so that the problem grows and grows.

Meanwhile, we ignore actual problems.
Glad to help.

I have to assume the Dutch movie industry just isn't too big.

I guess it's a side effect of America's media, but when I went to Europe including the Netherlands almost everyone spoke English at an almost native level.

It almost felt like playing a video game where there is an immersive mode you can just turn off if it gets too difficult ( subtitles in English at all public facilities).
Yeah but the question is "are there any examples where unions obviously helped the workers". You responded "blue collar unions", where there's a pretty common perception that they did help, but when it comes to white collar unions you can only come up with examples that aren't really known for having done anything. UAW isn't even white-collar.
Using eBPF to Debug eBPF
> It's only 3 km?

The current longest suspension bridge in the world has a span of 2 km. [0]

[0] https://en.m.wikipedia.org/wiki/List_of_longest_suspension_b...
I just don't know of a good way to help you understand the insane levels of hubris you have. Tell me this. Do you ever make mistakes? Do you always read the manual exhaustively and remember it perfectly?
I would have been part of a development project that had it been approved[0], would have been involved in selling a high rise of condos, and the question that kept coming up for me is: "how hasn't someone undercut this market yet?" which is why I pursued it.

Because for instance, you'll rent at 30%, but if there was honest market pressure (and lets face it, there isn't) why wouldn't someone else rent at 28%? Or 25%? etc.

Zoning has real hidden costs, as do all the review stages etc.

Whats funny is how stable all this has been for landlords, builders (to some degree) and realtors. If an area is desirable to live in, you would see economies of scale trickle in - like I mentioned in other comments, why do you think we don't see 25 story condos in desirable areas? Thats zoning in action. You literally can't build it even if you had all the money in the world, because the local laws won't allow it[1]

>Progress & Poverty

The Georgism book? I have read it, been some time since I have and should really revisit it.

[0]: fellow local citizenry ultimately rejected my proposal - I knew it was likely but I had to try. Thats why I have a niche business on that plot now.

[1]: and I have some first hand experience here, its what I originally wanted to do with an aforementioned plot of land that is now a niche little farm growing speciality apple varieties
A lot of these residential proxy as a service companies just use regular ISPs to run their automated headless browsers. It doesn't need to be illegal.
2006 was the first year I remember paid blog posts appearing from content farms that would exist only to increase your inbound links and page rank. Those days companies were paying cents per post to get their sites to #1 in Google while Google just wagged their finger and said "naughty, naughty."

It's a shame, because Page Rank was a smart idea.
Just use Angular and stop worrying. Batteries included, it works and works well.

Yes there was a big change from v1 to v2, but we are at v19 now I think and upgrades are pretty painless IME (I generally don't even really notice them happening, and there is even a tool to help know what changed: https://angular.dev/update-guide) I've been using it at BigCos now for years and it's really just totally fine, and importantly zero drama.

They key thing is you only need angular so you don't need a whole fleet of dependencies that you also need to migrate at the same time.
> Apple in its infinite wisdom does not let you change the default epub reader on iOS/iPadOS.

Stuff like that is why I can never use Apple products. It's my device, not theirs; I own it, I'm not renting it. Let me do what I want with it. Or be honest and rent it out to people instead.
There is nothing wrong with unions, but they are a response to an imbalance in bargaining power. In places with lots of smaller employers, there is much less benefit.
> LLM's hallucinate. They just do.

Then we can establish that they legally can't operate. Sounds like a good outcome to me.
Dont listen to this advice.
I strongly do not think that things like 80 hour weeks, abuse, uncaring managers, and especially AGILE of all things are super common at FAANG. If you join a startup (in any industry) I think there's an understanding that you will probably work over 40 hours a week and that things will generally be hectic. Many companies will openly advertise this and tell you if you ask.

I really found myself wondering who the audience was for this. The person who works hard, produces quality engineering artifacts, and DOESN'T have options at other companies? I don't think that person exists?
Unbelievable that this had to be spelled out. Do people actually think that current working conditions and employee rights were bestowed upon us by benevolent capitalists?
You can grab the LLMs-full.txt file here: https://agentkit.inngest.com/llms-full.txt

More realtime examples coming soon!
Then you're not looking in the right places.

Using an LLM as a Google/Wikipedia replacement has been understood by pretty much everybody in the field and many people beyond to be the wrong way of using it.
Do the terms of use on the websites you scraped allow scraping/copying their data?
Officials Believe Order Lets Immigration Agents Enter Homes Without Warrants
Append only: https://en.wikipedia.org/wiki/Append-only

Apache Iceberg: https://en.wikipedia.org/wiki/Apache_Iceberg
a few days ago, I saw a very old web application that had a f** table inside of a button to center a <IMG> with an icon, with a text.
Libel as a Service.
Arbitrary vehicle to home/home battery/grid connection is indeed coming in very short order.

https://enphase.com/ev-chargers/bidirectional

There are other products already available to do it (DCBel), and it can be hacked of course, but at the current moment everything comes with substantial corner case blind spots, mostly related to grid-forming/following switching and to the resilience of the power electronics.
You'd do it if the road was blocked between the Sault and Nipigon and you couldn't go through the States.
https://archive.ph/3FdBF
> the first order term has to do with how much money people have (well and there's the interplay with where those people want to live).

That is the demand curve in a supply-demand model.