skysight-inc/HackerNews huggingface dataset:
I wonder whether this is the Philip Gibbs that set up viXra.
GPT-4.5's announcement was the equivalent of that.

"It beats all the benchmarks...but you really really don't want to use it."
>German laws might work different, but I'm not really under the impression that software version control is really that compatible with law making.

Hard disagree. It allows you to attach a name to particular portions of the code (and a date), it shows you when the code moves from one status to another (branches), and you could even easily do things like show who voted/signed for any given piece.

What's not really compatible with law making as it is now, where to repeal a law it doesn't remove the offending code, but adds more code that says "now you can ignore that previous one". Those don't even make it into the official text until codification occurs (this is periodic, not continuous).

>In source code we replace or modify the parts that doesn't work in place. Many laws does not work like that, they are a labyrinth of add ons. A new law is introduced with wordings like "This replaces the words "small businesses" with "nuclear rockets" in the law on "Workplace safety of fishing vessels of 1992", §12, section 3, line 5.

Exactly. They've been doing it wrong (artifact of doing everything on paper, I think).
Fair enough, thank you for the answer.
I survived a year of SHTF in 90s Bosnia
> These fine-grained attempts at parsing the words to mean things other than how they are commonly used doesn't serve any purpose.

Except we're talking about a talk title. Lamport explains what he means in the talk. What I responded to was a comment on the content based entirely on the title.

> It's trivial and it doesn't matter, and specifically using language to highlight that difference is pointless.

Sure, and that is precisely Lamport's point. You really need to watch the talk. He shows how abstract algorithms cannot be fully described in any language that is intended to be executed by a computer.

> Similarly, it's annoying and pointless to pedantically argue that "well actually that's not programming, that's coding".

And Lamport is not doing that. You're arguing over a pithy title to a rather deep talk.
If my users are using an old version of Chromium, I probably want to support that and test on it.
Yes, but here in America, where piva00 and I are, only tens of thousands of people were killed by US-backed dictatorships, not hundreds of thousands or millions.
What career path do you take to become the pope?
Before you try expensive brands, definitely try the budget brand Whitin.

I have bunions which make wide toe box especially necessary for me with toe spacers, and I found these $40 running shoes to be more comfortable than my $120 Altras: https://www.amazon.com/dp/B0DD36GZG5 (zero drop + wide toe box)

It's pretty sweet when a cheap option is also your favorite option whether that's shoes or pants or bikes—you get to buy extras and it's no big deal if it gets scuffed/damaged. Meanwhile you'll probably baby your $120 shoes.
In this field? The answer is easy. Data, even pretty data -- maybe ESPECIALLY pretty data -- is not "information," and especially not "wisdom."

At the risk of using an odd term -- it's like -- "Data porn?"
The bitter lesson is the opposite. It argues that hand-crafted heuristics will eventually get beaten by more general learning algorithms that can take advantage of computing power.
A Pentagon-wide email recently went out warning about Signal's vulnerability
> training corpus captures the variance inherent in a cognitive system's interactions with the world

How do text outputs scraped from the internet + published works fully represent any existing biological cognitive system's interactions with the world or subjective experience? That's my biggest question I guess.

I'm not sure how text could capture my sensory experiences or my brain's response to them. The bitrate of text feels incredibly low.
I think if you saw the volumes of emails sent inside a trust from IT saying that things were down or back up, you might be surprised. Google and Meta have insanely better track records and standards for themselves, because they have more money and more of an incentive to be working. Meta created a planet-scale messaging service which just went live and worked straight away under full load. They have insane testing ability and desire.
I use old.reddit.com for the handful of subreddits that I still follow that haven’t become excessively political. It’s a much better UX than new Reddit.
> This does seem to impose the limitation of exactly one client ID per IdP, which could complicate rotating client IDs.

Thanks for asking this. I don't see any reason why you use the same IdP with two different Client-IDs. I haven't tested this, but it is doesn't work currently, I'd like to add it as a feature.

Your description of the protocol is spot on. OpenPubkey currently only works with ID Tokens.

>Is the JWKS response cached? Can it be pre-seeded and/or replaced with an offline copy?

Currently the JWKS response is not cached, but caching support is a feature we want to add.

What is the interest in a pre-seeded copy? Availability concerns?
12 Weeks of "One Solution Every Week"
Except for GPT 4.5 and Claude 3.7 :/
I use them through chat.qwenlm.ai, what's nice is that you can run your prompt through 3 different modes in parallel to see which suits the best for that case.

The daily quota I spoke about is chatgpt and claude, those are very limited on the usage (for free users at least, understandable), while on Qwen, I have felt likeI am abusing it with how much I use it. It's very versatile in the sense that it has capabilities like image generation, video generation, massive context window, both visual and textual reasoning all in one place.

Alibaba is really doing something amazing here.
Same with AWS SES, in my experience.
Is having a wider foot a good thing for certain sports? It seems like it might be more natural and advantageous but I don’t know if I like the idea of having to buy wider shoes for regular purposes.
> But in realistic use cases for max, I want to assume that it produces a finite number, and if the inputs are integral, I expect an integer to pop out.

But that's his point. You're talking about a concrete concern about code, whereas he says that first you should think in abstractions. Negative infinity helps you, in this case, to think in abstractions first.
I would consider this a case of "expectation management"-based versioning. This is a release designed to keep Gemini in the news cycle, but it isn't a significant enough improvement to justify calling it Gemini 3.0.
If that's not the actual reason, then why do people keep discussing the moral implications of mosquito eradication?

https://unherd.com/2018/09/commit-mosquito-genocide/

https://liberalarts.utexas.edu/ethicsproject/teaching-resour...

https://www.bbc.com/news/magazine-35408835

https://time.com/4319137/so-should-we-just-kill-them-all/

https://www.forbes.com/sites/quora/2017/09/13/what-would-hap...

https://www.livescience.com/what-if-all-mosquitoes-died

https://www.ncbi.nlm.nih.gov/books/NBK585176/

https://www.vox.com/the-highlight/2019/8/13/20754834/mosquit...
Stoop Coffee: A simple idea transformed my neighborhood
StarVector – foundational model to vectorize icons, diagrams, graphs, and charts
The context I have heard the ham and eggs analogy was for certain scrum rituals that were supposed to be for ham people only (ie, excluding people without a stake in the outcome). Someone probably told this boss to butt out of a meeting.
> wanted to sell development services to companies

So he wanted to start a contracting service? Contractors are famous for writing piles of untested, spaghetti code that only kind of works but they've finished it by then and the contract is over. Then some poor sap gets stuck trying to maintain it. Probably one of the worse ways businesses acquire custom software.
Whose code am I running in GitHub Actions?
Lazarus is a good attempt to mimic Delphi, but it suffers from GUI jank. It uses the GTK GUI library, which in my experience is hard to get good performance out of. For example, when dragging things around it hitches and lags, instead of a smooth drag action. Another thing is the toolbar buttons are far too small for 2025. Maybe there's an option somewhere, but I couldn't find it. I also noticed that Lazarus has more buttons and options on-screen than Delphi did. This could be seen as "features" but it's also "clutter". And the extra features on-screen are not that useful, at least to me as someone who used Delphi a long time ago.
In the early days of the iPhone, there was a vulnerability that allowed you to jailbreak your phone by visiting a specific web site. IIRC it was some vulnerability in the TIFF handling code. The same vulnerability could have been used to silently install spyware with root level access. No need to break signal's crypto if you can just silently capture screenshots.

It's not hard to imagine some foreign intelligence agency is sitting on some severe zero-day vulnerability, waiting to use it on very high value targets, such as senior administration staff.
No, he said software engineering is just programming over time, so the two are not distinct at all.
I want to say thank you for writing this. 100% same opinion. I've stuck with Apple - despite their downsides - specifically for their zeal in areas like this.

My phone works, I'm glad it blocks others from integrating because I need it to always just work. That's why I still have an iPhone over all the often paper superior alternatives.
Everything uses symmetric encryption, including asymmetric encryption. Using symmetric encryption doesn't mean you'd use the same key for every dishwasher, you'd obviously just pair the devices and generate a new key, like everything does nowadays. Also, my dishwasher doesn't use any sort of encryption, and it still leaks.
It's fine, I take every opportunity I can to shit on my own job lol.

Ironically what you're looking for can be found in the lowest end, and the highest end products. Low end means low features, so you can get away with just a knob and maybe a few LEDs. Look at Hotpoint (GE's low end brand) or a low end LG washer [0].

High end usually forgoes a flashy UI as well since it's about the style and being a centerpiece.

The mid end is where it's weird because features justify the extra cost. In order to make those available you need to have an LCD screen and more buttons.

In all these categories you'll run into software though. It's cheaper than a electro-mechanical solution. We only fall back to the old ways when required for safety/compliance.

[0] https://www.homedepot.com/p/324433017
edit: Got confused by Wikipedia.

It says AV1 is open source and royalty free, and all modern hardware seems to have hardware decode for it. It doesn't seem any of the big players are realistically worried about bogus patent claims.
Ann Arbor utility aims to build a new electric power grid alongside the old one
Awesome Emacs – A community driven list of useful Emacs packages and libraries
Kinda similar, but when I looked at the finances, I was surprised by how much money we're getting from places like the Cayman Islands, Switzerland, and the Emirates.
Thanks for that link, I hadn't heard about this. It looks really cool and I am glad to see ubuntu doing this. I should send ubuntu an email.

Sadly I can not offer an opinion as I don't know how authd works. I intend to find.
I hope these can be downloaded under Marble (a libre map tool) soon.
>But then again who knows, maybe its a memory of a dream experienced late

Or that sounds like the kind of event your uncle would tell you about when you were a few years older. Probably every time he saw you. I know I have several childhood stories I've heard so many times they feel like memories.
Agreed, can't everyone just use semantic versioning, with 0.1 increments for regular updates?
I find o3 at least faster to get to the response I care about, anecdotally.
Scaling the Storage Pyramid with Micron's Datacenter Memory and Flash
Real World Assets
Or, to channel an old martial arts conceit:

>There are masters of a thing, and then there are masters of a thing.

Where the difference is, some folks can do, but can't teach/communicate what they do or how they do it, while other folks have both mastered a skill, and are able to raise others up in how to also learn that skill.

My guitar-playing friend also would wear out cassette tapes and records playing back specific sequences working out how they had been played, and perfecting his technique....
> This will mark the first experimental model with higher rate limits + billing. Excited for this to land and for folks to really put the model through the paces!

From https://x.com/OfficialLoganK/status/1904583353954882046

The low rate-limit really hampered my usage of 2.0 Pro and the like. Interesting to see how this plays out.
I think im3w1l's response is valuable enough to be worth showing the original comment's text without reviving it entirely
More background of skills? More back end? Front end?
Ignoring skills do you have any specific interests.
Pendant correction: The bishi in Mitsubishi translates more closely to rhombus or diamond.
Related:

Ann Arbor hopes to bring rooftop solar to the masses by creating a utility - https://news.ycombinator.com/item?id=42421086 - Dec 2024 (2 comments)
Looking through some other articles from "Confirm Labs" it's striking how often concepts related to the underlying mathematical mechanism related to LLM models (i.e. linear algebra, latent embedding, optimization techniques, model alignment) are assigned very personified terms (e.g. dreaming, trustworthiness).

I am not an AI researcher, my field these days is much smaller statistical models, but reading some of these papers and then reading also the discourse a lot of AI researchers engage in surrounding AGI, sentience, pain, etc... I for one have a hard time taking some of it seriously. I just don't buy some of it but of course I'm less than fully informed.

My only critique is that you should not start by naming every algorithm or operation you will perform on a model after a thing that a person with a brain does and then claim to evaluate a concept such as sentience or distress from the position of an unbiased objective observer. This naming convention sows doubt among those of us who are not a part of that world.

> Feature visualization, also known as "dreaming", offers insights into vision models by optimizing the inputs to maximize a neuron's activation or other internal component. However, dreaming has not been successfully applied to language models because the input space is discrete.
If it is a tunnel, then it might have been used by someone else before.

Those "London oblast" jokes don't come from nowhere.
Dirtboxes – Securing Communications Against Fake Cellular Towers
I love the idea of the product, I could have definitely used it in the past. And I really love your responses to questions asked here. You're very honest and friendly. If I get into webdev again, I'll definitely give Polypane a shot!
Only if a congressman owns part of the company. https://www.opensecrets.org/news/2010/11/several-federal-law...
They even priced it so people would avoid using it. GPT-4.5's entire function was to be the anchor of keeping OpenAI in the news, to keep up the perception of releasing quickly.
What would happen to a pilot (or passenger) in a situation like this if they had landed? Stuck in the border control area? Jail? Deported? Is there no procedures to deal with this?
Addendum: Anything GOP accuses others of, they're doing.
At least for OpenAI, a .5 increment indicates a 10x increase in training compute. This so far seems to track for 3.5, 4, 4.5.
The Long Context benchmark numbers seem super impressive. 91% vs 49% for GPT 4.5 at 128k context length.
Bulletproof Sessions: Secure Session Handling Without Cookies
A political squabble in the media is still not fascism...

Once again - wake me up when they ban political parties, centralized power to the federal government, install political officers in the public and private sectors, and ban capitalism.
I understand the subscription model, but the cost doesn't sit right for me.

My all products JetBrains subscription is £137 a year, for every single product they create (and perpetual fallback licences). This is £91 a year, which is about 66% of the cost of my JB sub and if I stop paying, I assume PolyPane stops working.
Bachelor Degrees need a complete rethink, it was basically modified finishing school for rich capital owners, needing to make their children of proper class before they could take over their businesses.

It then became a vocational degree for the working class, despite being completely detached from useful skills for a wide swathes of degrees. The only value is that you could talk the talk and become a member of the professional managerial class if you impressed the right hiring committee/individual.

In spite of this, we decided the working class should take out crippling loans to pay for this degree, and be in debt for the rest of their working life.

It's not sustainable, and just forgiving the debt only will make it all more expensive and less aligned with actual results we desire (useful workers).
Agreed - I hate captouch buttons, and would rather have physical controls every time. But in case you're curious why they're so common:

1. They're cheaper than mechanical buttons.
2. They're more space-efficient inside of the product.
3. They are easy to waterproof.
4. They have no wear-out mechanism.
After trying to wrangle Boost PP and other advertised compile-time libraries such as Boost Hana (which still has some runtime overhead compared to the same logic with hardcoded values), I've finally converged to simply writing C++ files that write other C++ files. Could be Python, but I rather keep the build simple in my C++ project. Code generation is painless with CMake, no idea with other build configuration utilities.
Riddler: Solve Riddles with the help of an (AI-Powered) Gnome
I tried this with rokid max: it was not usable for me, as it was too blurry. likely reason was my IPD (I think 71). You may read that this device can adjust IPD, but it's a software solution, not hardware. since I had no compatible mobile device (no current enough android version), I could not even test this.
Not even remotely the same situation.

#1 It wasn't just the President, it was literally the state of Alaska that had made the request for four decades.
#2 This is within US borders.
I'm most impressed by the improvement on Aider Polyglot; I wasn't expecting it to get saturated so quickly.

I'll be looking to see whether Google would be able to use this model (or an adapted version) to tackle ARC-AGI 2.
Actually, knowledge how bad large corporations can work can work against you. I got myself Easyjet scammed after a delayed flight, after being tired from being a day late and having walked long distances. Not noticing a tiny typo on the Twitter account, then be redirected to a fairly generic (no Easyjet logo) but legitimately looking Helpdesk account and I though “Oh yeah, this would totally happen in the large corp I worked where some half baked 3rd party product is used for a Whatsapp helpdesk” in combination with me being tired cost me a few hunderd euros.
Maybe the sort of suffering that deserves compassion is something high-level that only humans do.

* If it's low-level, you get things like a damaged clockwork toy or a thwarted Roomba suffering. Maybe parking radar is transmitting pain signals. Silly things like that. But if not those, why an ant, or a whelk, or a dog?

* Maybe, conversely, all of that should count, but why should any of it cause compassion, or confer rights? Surely those things have to do with relationships and society.
> you just have to have a regular, decently sized volume of non-spam emails

But if you have a regular decent size of emails coming from your domain, that is more likely to be spam than if you have a small number of intermittent emails coming from a domain.
When I looked at this previous Tailscale required two trusted parties. I haven't looked at the tailscale protocol details in two years so maybe it has changed.
Because of the language
Paid to Live on a Deserted Island for 1.5Y and Do Nothing but Kill Seals? (2020)
Okay, now why is m slope?

the great divide between US and Europe :D should be a - a, b, c, d... why m though, indeed?
I don’t love the HN title because I think the author is making a more subtle point: the distress is real, but it is his distress at reviewing this output.

I don’t see him strongly asserting actual consciousness or distress on the part of the LLM, in fact he says he knows it can’t be. But it still is causing him distress. And this is interesting IMO.

> I’m a human, with a dumb human brain that experiences human emotions. It just doesn’t feel good to be responsible for making models scream. It distracts me from doing research and makes me write rambling blog posts.
BBC – Organizing music for organic discovery
pedant correction: pedant ;)
We called these “fruit lists”.
Agreed. SMF can handle nearly anything. A single strand can handle 100Gb 10km for OS1 or 100km for OS2 per frequency and you can do multiple frequencies at the same time or go bidirectional, too.
Nobody in Ruby is getting tripped up over

Point = Data.new(:x, :y) do
def len
Math.sqrt(x**2 + y**2)
end
end

For one, Struct has existed since basically the beginning of time and works exactly the same way (sans the immutability and some nice auto-implemented features).
I think it's because of the big jump in coding benchmarks. 74% on aider is just much, much better than before and worthy of a .5 upgrade.
Show HN: MCP Server Built in Go for Pinning GitHub Actions
GitHub commit tags are mutable. This makes GitHub Actions that extensively rely on commit tags vulnerable to supply chain attacks. GitHub recommends that actions are pinned to commit SHA instead of using tags.

But managing pinned commit SHA requires resolving and updating them. I wrote an MCP server that can resolve GitHub refs to commit SHA, find latest releases etc. helping to pin existing GitHub Actions to their commit SHA and updating them to latest releases.

We tested with Cursor MCP support and it is now our giro tool for managing GHA and container base images pinned to immutable references.
Airbus to test new engine design for successor to A320
If this were true the price of Bitcoin would already be well below the cost of mining it.
Mr Crockford has trolled the entire industry with the JSON license: https://www.json.org/license.html It states that it can be used for good, but not for evil.

The problem is, of course, in the lack of an established, clear-cut, whole-society consensus on what is good and what is evil, and also in the inability of humans to formally define even their own criteria for that. As with porn, "I can recognize it when I see it" is a bit shaky ground for legal matters.

Speaking of the For-Profit Corporations, the profit is what pays the wages of those they employ, so, unless you agree to do programming (or any professional activity) entirely as a pastime,..
Which is still, in the end, making the computer what you want it to do – in a "do as I mean, not as I say" way.
What's wrong with the official book?
i'd read several state Ag agencies that have known this. It's why you keep watering newly planted trees even after their leaves fall, until the ground freezes. The roots will keep growing.
an absolute classic... love towa tei <3