skysight-inc/HackerNews huggingface dataset:
IBM is releasing a family of Granite code models to the open-source community. The aim is to make coding as easy as possible — for as many developers as possible.
[....]
We’re releasing a series of decoder-only Granite code models for code generative tasks, trained with code written in 116 programming languages. The Granite code models family consists of models ranging in size from 3 to 34 billion parameters, in both a base model and instruction-following model variants. These models have a range of uses, from complex application modernization tasks to on-device memory-constrained use cases.
[....]
For the 34B version of the model, we used a novel method called depth upscaling to train the model. First, we created a duplicated version of the 20B variant, which has 52 layers to it. We removed the final eight layers from the first version of the 20B, and the first eight from the second version. We then merged the two versions to create a new model with 88 layers. We used the same 8,192 token context window when pre-training both the 20B and 34B model.
[....]
Our models can outperform some twice their size, such as with Code Llama, and while some other models may perform slightly better in some tasks like code generation, no one model could perform at a high level at generation, fixing, and explanation — apart from Granite.
Job elimination is not a new thing. People like to bring up textile workers because of how the term Luddite has come to refer to anti-technological sentiment, but the change in jobs has been fairly consistent.

I presume that in a few years electric cars will result in significant job losses amongst those who produce internal combustion engines. Renewable energy will reduce the number of employed coal miners.

I agree that this should be a role for government to assist people in a changing world.
If the worker in Shanghai had similar economic freedom and rights to workers in the west have then this would not be an issue.

Instead, useful idiots everywhere are proposing to add restrictions to the parts of the system working well.
They can have their technical fig leaf to hide behind but in practice, how many watts are we really saving between lpddr5 and ddr5? is it worth the ewaste tradeoff to have a laptop we can't modularly upgrade to meet our needs? I would guess not.
Reading back my comment, I probably should have said I have lost faith in "the law". In this context, I mean the idea of gun control, but it's just generally a feeling that there really is no one in control of (American) society at this point.

Without getting into a whole thing about the context of killing other human beings and how that matters, I'll just say I know what you mean and say yeah, it's bad to kill people. I'm not talking about personal morality; I live by one that many people would probably find overly restrictive (I certainly do).
At least in this case, the product being reviewed is utterly boring.

There hasn't been anything interesting in the field of smartphones in a very, very long time. Barely incremental progress.
A few points:

- Most of my career was made by being the author of one popular open source platform which happened to do well.

- I've recruited people based on open-source contributions. If I want an expert in [X], finding someone who contributed to [X] is a good bet.

- The flip side is I've made (minor, helpful) contributions to many projects in part for exposure. My name is in the commit list of many systems in domains where I have wanted to work.

- Many mid-sized contributions look good on a resume, especially for a junior developer. Indeed, I've made one case to promote someone based, in part, on contributing to a library we were using (even if only tangentially).

If you want a job in e.g. network security, find something in a firewall, anonymzing proxy, packet sniffer, or whatnot, and make a PR. It's often quick, easy, and helpful. A corollary is you do actually learn a lot about a system by contributing.

I have no axe to grind here, but I think the cynicism is unwarranted.
Majority of people don’t know what programming is and do shitton of manual things that can be automated by a simple bash/Python script, so what?
The key thing that KC did in ~2014 or so is that they rebuilt a "streetcar" (identical to SFMUNI light rail so that name was a marketing tactic for sure) line downtown where parking has been scarce & is being eaten up by new developments (a good thing). This was the first public transit to be totally free, and to combat the idea that suburbanites wouldn't want to use it they freed up payments on parking zones _up the street_, so that for any decent sized event it became the smartest way to park and not overpay.

They also took a ton of time painting the trains in city colors or with city designs, keeping them incredibly clean, doing things like putting live music at every stop on certain days etc... It became really fashionable really fast to ride the thing. They also policed it like mad on the weekends.

Buses on the other hand, are a different story and carry the same stigma. Though I'm still really proud of KC for making that free as well.
>The last iPads to stop getting OS updates (including security, to be consistent with what Samsung and Google are pledging) got 7 and 9 years of updates each (5th gen iPad and 1st gen iPad Pro). The last iPhones to lose support got about 7 years each (iPhone 8 and X). 6S, SE (1st), and 7 got 9 and 8 years of OS support with security updates. The 5S (released in 2013) last got a security update in early 2023, so also about 9 years, the 6 (2014) ended at the same time so let's call it 8 years. The 4S, 2011, got 8 years of OS support. 5 and 5C got 7 and 6 years of support (5C was 5 in a new case, so was always going to get a year less in support).

These are very disingenuous numbers that don't tell the complete story. An iPhone 7 getting a single critical security patch does not take into account the hundreds of security patches it did not receive when it stopped receiving support. It received that special update because Apple likely was told or discovered it was being exploited in the wild.

Google and Samsung now offer 7 years of OS upgrades and 84 months of full security patches. Selectively patching a phone that is out of the support window with a single security patch does not automatically increase its EOL support date.
You're thinking of Crouton, the old method of using linux on a Chromebook (which involved disabling boot protection and setting up a second linux install in a chroot, with a keybind that allowed you to toggle between the two environments). It was including a

Crostini is the new containerized version that is both officially supported and integrated into ChromeOS
TikTok and its Chinese owner sue US Government over "foreign adversary" law
Yes please. Also, can we haz ECC?
I'm not the one making the comparison, I'm just providing the compute numbers to the people who did. Decide for yourself what that means, the only conclusion I made on was compute-per-dollar.
Ask HN: How are you making sure LLM provider doesn't ban you from user prompts?
One of my worry is my users submitting malicious prompts and getting my account banned for everybody.

How do you ensure that the prompt doesn't violate LLM providers Terms of Service?

Does this mean we have to call the text gen API twice? First to analyze and ask if it violates TOS and then second to finally fulfill the user's requests?

Are there any other solutions that is working for you?
I use Signal's "note to self" as a sort of inbox for my notes system that I have on my computer. Y send the messages in the "note to self" chat, and once I process them, I add a thumbs up reaction to the message.

I also use it for sending links when I want to transition between devices
I like Lisp but why are almost ALL Lisp-related websites so ugly? They still have the 90s look and feel.
I'm not commenting on the AVP here.

> We mostly take it for granted that digital technology comes with serious social and developmental drawbacks, even if these may not justify outright panic. As a result, most of us now look on our devices and the industry that makes them with a kind of dependent contempt.

This articulates a hazy feeling I've had for a few years now. I think it hits the nail on the head.

It's fascinating how few people (particularly, but not only, tech laypeople) get excited about shiny new tech anymore. I think that quote explains why extremely well. Tech has gone from being a liberator or bringer of freedom to being an oppressor that we feel forced to dance with.

I think that's a situation that cannot persist, and if our industry doesn't take this problem seriously, there will be a comeuppance that will be hard to recover from.

Our industry needs to go back to building things that benefit people without keeping them firmly under a thumb. But I'm not sure that we will.
I'd wager for most consumers capacity is more important than bandwidth and the power losses are going to be small compared to the rest of the stack.
Why do you believe that? Announcements about future releases, by Intel and AMD, are not current future facts. If they deliver, then fine, but you speak like they're factual.
I mean we use base-10 and base-2 both all the time. I'm using base-2 to talk to you over the internet right now!

> Seti and Aliens are the only one that comes to mind, encode a new numerical system based on some fundamental physical constant like the atomic weight of hydrogen.

That's base-1, aka counting
I was thinking about this for a while, the problem is not about apple, it’s the fact that the rest of the industry is gutless, and has zero vision or leadership. Whatever Apple does, the rest of the industry will follow or oppose - but will be defined by it.

It’s like how people who don’t like US and want nothing to do with US still discuss US politics, because it has so much effect everywhere.

(Ironically no enough people discuss China in any coherent level of understanding)
And yet, it is not available on macOS, presumably THE platform where that target user group lives.
> if a senior person can't in 30/45 min of talking with someone figure out the general experience level then the problem is them, really.

This is why I've always been so confused. Why is the software engineering interview wildly different from the traditional engineering interview (seniors sit down with candidates and discuss how to solve a relevant proxy problem the team is currently undergoing (has the side benefit of making the interview process potentially fruitful if you don't go with that candidate. This can be (and sometimes is) abused though)). I mean... we all speak the same language, and that isn't standard English... right?
MacBook, iPhone, iPad?
The government made housing an absurdly lucrative investment. So yes, I blame the government for making people want to buy houses as investments.
> but for some reason there's this sense that if it's in Chrome, it's standard - as if Google dictates standards.

Realistically, given the market share of Chrome and Chromium based browsers, they kind of do.
You don't want to put salt water in the ground. It will destroy either the soil or the aquifer.
And, counterintuitively, lack of coordination. Blitzkrieg units were uniquely autonomous and trusted to meet higher level objectives how they saw fit rather than following a recipe book written weeks before and miles away from the action.
Yep I have an OLED TV but was watching a movie on my (M1) iPad Pro last night, and realised how grey the blacks were.

Once you see it, etc.
Yeah crime post-pandemic there is still a major problem, although typically concentrated in poor neighborhoods as opposed to downtown. When I first moved there, the inner city was considered really dangerous and I saw such rapid gentrification that you'd see people walking their dogs in the middle night without incident just within 8 months or so. So it just sorta.. moved.

I definitely wouldn't say KC has made many inroads on crime despite the massive boom it's had in the inner city core, which did increase foot traffic and makes people at least feel safer.
I thought the same until you drive Tesla for few weeks and then think - why the heck you need to pull handle to open doors? This is so archaic.

Glad you wanna stay behind. Enjoy your horses.
> And why read for pleasure if I already spent 30+ minutes reading a boring / awful novel as part of my homework?

Not to mention that we're reading right now...
I believe skill at “leetcode problems” is predictive of general programming skill. Someone who can solve leetcode problems can almost certainly learn css. But, clearly from reading comments here, not the other way around.

Personally I love leetcode style problems. They’re fun. And useful - I use this stuff in my job constantly.
Eh, seized a small sliver and failed with extremely high casualties to seize a much larger chunk.

The botched invasion was nothing like the German Blitzkrieg.
Ohhh yeah, they definitely do. Usually just on weekends or for events but you have fully uniformed & armed officers riding the loops.
I mean you’re also an axe murder, but that’s besides the point. ;)
I suspect charging a nominal but non zero fee e.g $2 on peak $1 off peak per trip probably ends up with the best of both worlds. Free ends up with some negative side effects
Not everyone has access to the amount of capital needed to start a business or the savings to support them while they grow that business. Most people live paycheck to paycheck. Those people will never have the same bargaining power as their employers.
It's not that dramatic. Consider if everyone got a check for $1 million. Except you. Would you like that? Probably not. But not because you're an unkind jealous person. You would not like it because if everyone else suddenly has significantly more money, the money you had before is suddenly worth less in terms of what you can afford to buy for it.

Same goes for other assets like houses. If houses are suddenly worth more your savings are worth less.
I've used Hive[1] for this and have had quite a bit of success. It's what we use for automated moderation of stream.new.

Lately I've had a solid experience using Replicate for specific models depending on what I want to do.

[1]: https://thehive.ai
That was my first thought. It seems like others have already tried it with good results.

https://old.reddit.com/r/coldbrew/comments/ob0gzg/cold_brew_...

You can also sous vide coldbrew coffee for faster results than traditional coldbrew. But at that point is it still technically coldbrew? Maybe warmbrew is a better term for it.
> without any workers or equipment in sight, ever. [...] Everyone can name a stretch of highway they've seen treated this way

I think there's an inherent bias here. Each individual is not seeing that section of road 24/7. At most they see it for a few minutes (or perhaps a little longer, if traffic slows enough), maybe once or at most a few times per day. That's a very small fraction of the day, and work could be occurring during other parts of the day, possibly even at night. Safety might require that they do the work when there are few cars driving by, but the nature of the work might be such that they can't unblock the lanes during the day.

I get that this isn't satisfying, but often reality isn't. And I have no doubt that there are plenty of mismanaged projects around the world where there are lots of delays, and long stretches of time when nothing is getting done. But I think it's incorrect to believe that nothing is getting done just because a few people you know drive by the area a few times a day and don't see anyone working.
Seems overkill to get an M4-powered device to use as a dumb terminal.
> Schools with the highest funding have the worst performance.

Spills with the most paper towels are the messiest. Why does everyone think they need paper towels to clean up spills!?
Yes, that hits the nail on the head, the tension between encapsulation and access.
Oh yeah, I've listened to all of this and some of Dennis E. Taylor's other stuff, as well. I've also listened to all of ExFor and everything Andy Weir, almost everything narrated by Travis Baldree, too.
Not for the iPad (8/16 GB)
Which mail software sends broken mails? As far as I know, this never happens to me.
has refinement types. these exist in fstar lang and liquidhaskell.

dependant types are not refinement [0]

ts and rust have ideas to have them[1], but not so officially

[0]https://www.reddit.com/r/dependent_types/comments/ay7d86/wha...

[1]https://en.m.wikipedia.org/wiki/Refinement_type
Apple should but under Tim Cook, Apple could?

I feel Tim Cook is going down the same rabbit hole as Steve Ballmer, chasing ways to juice the iPhone/iOS cash cow. And now with dividends, it's an aim at spiking the stock price while revenue isn't growing much.

A $15B dip on Apple's earnings would shock their price. Apple seems to have fallen into the trap of chasing quarterly earnings while sacrificing their long term growth.
Already had my fill of Pixel 7 Pro problems. The screen failed to register any touches on it, twice. Once within warranty, once outside it. Best I could do is file a claim with my credit card company for a measly $300.

For a $1200 phone.

Had a bizarrely similar experience with the Pixel Watch.

The screen just failed to respond to touch. Wasted an hour figuring out how to get into fast boot mode. After a factory reset, it started working, but it doesn't get much more than 12-16 hours of battery time before needing a charge.

After losing a lot of money, time, and patience, I'm done with Google anything. Their hardware is garbage and they seem to have failed to address these issues with newer Pixel releases. Not sure what the point is of having 7 years of updates when the phone's hardware will barely last one of those years. And good luck with support.

Switched to a Samsung A54, and although it is slower and laggier in some aspects, the hardware is solid and I've been impressed at how clean OneUI is.

Tip: When your Pixel screen fails to respond to touch, you can at least plug in a USB mouse and recover what you can before tossing it into the dead gadget drawer.
Indeed, design is the art of balancing tradeoffs I think. I appreciate your argument for constraints being a guard rail for developers who are moving fast and occasionally breaking things. I think nowadays you can enable and disable the checking of constraints in MySQL dynamically without having to restart the database, which would have greatly reduced my past frustrations.

Nice to chat!
I don't get how any of that is relevant when my claim is that the corporate rental rates is also too high and the financing for rentals shares the same concerns w.r.t rentable price regardless if it's residential or corporate landlords
Who's decide which pass? How you do verify authenticity? Do you do video calls to validate they can talk about what they have written?
I can't believe OpenAI employees threatened to mutiny so their CEO could exploit them for more personal wealth. Meanwhile Anthropic now has the highest-rated model.
there is a quite clear well and obvious difference between job elimination and job transformation and job change.
But the express purpose of creating textile machines was not job elimination, it was output increase, meanwhile AI is not at least in business cases presented as an output increaser.

AI is presented and designed as an employee replacer, plain and simple.
How am I supposed to have any confidence I won't be the next casualty/news headline if I travel on a Boeing plane (which feels like the majority of planes in America)?
Prioritising business just concentrates money in the hands of people who already have money while nothing to address the day to day concerns of actual people.
> No, the alternative is Android devices with everything except firmware built from source and signed by myself

Normal users will not do this. Just because many of the people here can build and sign a custom Android build doesn't mean that is a viable commercial alternative. It is great that is an option for those of us who can do it, but don't present it as a viable alternative to the iOS/Google ecosystems. The fraction of people who can and will be willing to do this is really small. And even if you can do it, how many people will want to maintain their custom built OSes?
This is a really great comment, and I second what you are saying. I'd love if there was a way to quantify this in some manner. Nerdy of me to say, but I wish this could be measured.

The whole "hustle culture" vibe feels like it has been a distraction/cult?

I am probably projecting, so forgive me if so.

The idea of people trying to vibe off of Gary V. and replicate that success by replicating the _personality_ and _habits_ seems like a dead-end. Everyone is different. Elon Musk has been successful thus far, that doesn't mean he has anything to teach you on how to you can optimize your own life?

I may eat some points for this, but I'm being genuine in asking, not trying to make a cultural stand.
Great People Units. OK. Nice recruitment pitch.
Does anyone have any recommendations on books about nuclear deterrence? I found the Bret Devereaux article from 2022 [1] very interesting and wondered where one might learn more about this thing that keeps us all alive (so far).

[1] https://acoup.blog/2022/03/11/collections-nuclear-deterrence...
I'm not defending Apple's absurd stinginess with RAM (though I don't think it's much of an issue on an iPad given how gimped the OS is), but I've never understood why high-end Android phones have 12/16+ GB RAM.

What needs that amount on a phone? 8GB on a desktop is...well it's not great, but it's usable, and usable for a damn sight more multi-tasking than you would ever do on a smartphone. Is it just because you need to look better on the spec sheet, like the silly camera megapixel wars of the 2010s?
Public money goes to companies that can make plausible bids when the government has a need for some capability. For the Commercial Crew Program, that was in the early 2010s, when SpaceX was the upstart with a new unproven rocket. Rocket Lab has won some government contracts, but probably less than $1 billion in total, because it has been in serious business with big rockets only for a few years.
Chaos at London and other UK airports due to e-gate technical problems
I suggest Stephen King as a reintroduction for general audiences (since a lot of people have a hard time vibing with high fantasy, I know I do).

He's not the greatest writer of all time, but he's enjoyable while not feeling like you're reading YA or something age inappropriate. And his classics are classics for a reason.

Can't go wrong with Carrie, The Stand, Misery, The Shining or Salem's Lot.
Definitely worth a look.
"Instead of enabling a world where we work less and live more, billionaires have designed a system to reward the few at the expense of the many. "

They say this as if it is a novel outcome.

To me, this idea that an AI can specially manipulate humanity into it's own destruction, only comes from the most cynical of people who are already in some form of business that relies on manipulation towards self destructive habits in order to generate profits.

I think it's an incredibly myopic view that willfully ignores everyone outside of the small bubble of capital clutching psychopaths that they mistake for a representative sample of "humanity."

I genuinely fail to appreciate this idea that AI, particularly as embodied through very expensive and poorly trained LLMs, is somehow "dangerous."
I know this is tongue-in-cheek, but the "with hundreds of other families" is the thing that makes college so fun, cities feel alive, etc. Some people are into that - and suburban life is increasingly feeling the absence of it.

Having a shared space where there are enough families around that there will be 10 kids guaranteed on the playground is nicer in a lot of ways than having 3 kids try to decide whose spacious yard is the gathering spot today.
Is anyone really surprised the leopards ate their faces
Apple is privacy last, if anything. Forgotten PRISM already?