skysight-inc/HackerNews huggingface dataset:
Jax Shape Transformation Annotations
Here is a fun tool I wrote that allows you to wrap your jax functions in a higher level function where you can document your shape transformation. At compile time, the input/output shapes are compared against the expected transformation shapes.

Transformations have support for integer math, wildcards, symbolic dims, and concrete dims. Check it out :)
On Linux I often use mouse follows focus. I switch to a webbrowser and have a reasonable guess where the cursor is. IIRC that was a pain with Amethyst and my hammerspoon config. Have you set up something like this?
What Atari games are actually worth playing?
I'm sure he started with USAID because USAID helped end apartheid in South Africa, something he was a big fan of. Starting with USAID also helps reduce US's power overseas which certain countries would be very grateful for.
Maybe you could point some of the media to these primary sources you're citing.
So we can feed AI.

All kidding aside, it's something great to point at something when applying for a job. I'll just say this as a person looking at a candidate: I'm probably not gonna look at your Github. Especially if it's filled with simple tutorials from a book or from YouTube that a bunch of other people have followed.

Extra points if I read it and applied the knowledge. This did happen one time. I was stoked.

I'm more likely to look at stuff like a blog post if I really want to gauge your expertise on a subject and see your attention to detail.
You don’t just rebuild the VMs. You burn the DC and start again from scratch. That’s exactly what Cloudflare had to do: https://blog.cloudflare.com/thanksgiving-2023-security-incid...
No one talks about the price of eggs anymore. Remember 'back the blue'? That was before pardoning people who beat up police officers.
Emphasis on through or cross traffic. Generally there is a parking garage but it leads directly to a road around the perimeter of a very large block. If you think of the roads as basically long driveways to main roads, it’s not particularly inconvenient to drive around, or at least no more so than your average suburb with cul de sacs and loops.

Parking garages in these developments also tended to be centers of crime since they were big, desolate, and no one lingered in them to witness anything.
This is about the energy of the system as described by the Schrödinger equation.
I like HN because you can have interesting discussions, and because people usually argue their points.

I think this is the first time that someone has responded to me in such a mean-spirited way, while providing no substantive response.

I would prefer if you left this forum.
This was the reason that we ended up choosing Datadog over Grafana Cloud at my previous place. Most metrics came from "integrations", and Datadog doesn't charge extra for any of those (they just curate them so that the cardinality can't get too high), whereas Grafana charges (charged?) for each metric and didn't provide anything to reduce cardinality. Their solution was to suggest we did more engineering and ran more infrastructure to aggregate before sending to them, not something we wanted to invest in given that the whole point was to not self-host Grafana anymore.

Datadog is expensive, but at least we were only making these decisions for the ~hundreds of custom business metrics, and not the ~tens of thousands of metrics from our infrastructure.
Hmm. I am hesitant to engage this post, but it may be well worth to point out, that some of issues with status quo are precisely the result of "people that had access to this data got that access after passing background checks, had years in the treasury, supervision from higher-ups, and other processes in place". Until now it was old boys club that did not dare to shake things up a little.

My point is that there is plenty to dislike here, but if your argument against him is: he is a nazi, you have already lost, because you do not understand the sentiment out there.
Unfortunately there is essentially a loose federation of quasi-religious "cults" that have emerged around the topic of AI. For an otherwise mostly secular group of people, the lure of reinventing Abrahamic religion in their own image was inescapable. I feel like most sensible people took the off ramp by the time Roko's Basilisk popped up, but as we saw with the Zizians that's not always the case.

So there's this thread of taking two assumptions at face value I see a lot here and elsewhere:

1. What we call "AI" now is actually some kind of AI, and the rest is just scaling up.

2. It's inevitable that AGI would conform to sci-fi tropes.

Meanwhile we've been watching BILLIONS spent on data centers, power for data centers, water for data centers... all of that going in one end, and LLM's coming out the other.

As long as the future AI overlord requires enough power and water to run a city, and the best it can manage amounts to a fun show, I'll keep my alarmism in check.

But Altman, man he really know his audience, and he's going to sell sell sell, to an audience that's been primed on fiction and religion to believe in him like some kind of blank-faced prophet.
Same. Texas.
So, journaling, which is already known to be a healthy practice. It begs the question, though, why publish it if it's just for you? Just write it.
I get it. A lot of people on HN seem to think every family has a tech nerd in it to do this. I’d rather we had spa consume solution for it. But I suspect we’ll never get there.
So much negativity all the time. The fact remains that AI models are out in the public domain. If you’re unable to see how that can improve the lives of an average person, that’s a failure of imagination.

Don’t let megacorps dominance prevent individual action. The best way to be hopeful is to effect change in your immediate surroundings. Teach people how to leverage AI, then they won’t be hold hostage to the tyranny of the beauraucrats - doctors, lawyers, accountants, politicians, software engineers, project managers, bankers, investment advisors etc.

Yes, AI makes mistakes .. so what? Humans do too.

Credit where credit is due - Sam may be no saint, but OpenAI deserves credit for launching this revolution. Directly or indirectly that led to the release of open models. Would the results have been the same without Sam? Nobody knows, not a point worth anybody’s time debating.

Given most of us here are software engineers, it’s natural to feel threatened, there will be those of us whose skills will be made obsolete. And some of us will make the jump to the land of ideas, and these tools will empower us to build solutions that previously required large companies to build. Perhaps that might mean that we focus less on monetary rewards instead of change, as it becomes ever so easy to effect that change.

To those whose skills will be made obsolete - you have a choice on whether you want to let that happen. Some amount of fear is healthy - keeps our mind alert and allows us to grow.

There will be a growing pain, as our species evolves. We’ll have to navigate that with empathy.

Change starts from you. You are more powerful than you can imagine, at any given point.
Whether "we're there yet" on translation technology is still debated, but at some point we'll consider it "good enough" for most practical use cases, truly removing the linguistic barrier. This is actually both terrifying and exciting, because then it'll definitely start influencing spoken language to at least some degree.
Let's not pretend that AR wearables aren't the future of personal computing.
This would go well with Incense and Peppermints.
Self-Sovereign Identity: A Solution in Search of a Problem
The sad part is that a lot of people here are complicit, too. I'm sorry, but that's the truth. So many were either brainwashed or put to believe that Kamala is bad ... as bad as Trump. So many in the US showed inaction. You couldn't vote for the "lesser evil" and were happy to let the real evil in the house instead. And now it seems too late. It might be too late. I would bet money that the US won't be able to get rid of these new parasites in the White House for many years. And even after that, it will take generations for the US to gain the trust of its partners and the world. Because trust that's once lost is very difficult to regain.

It seems that at this point, it might be better to "simply" accept the new imperator(s) and learn to live with them and their new rules. And remember, they are NOT breaking the law, they are bending "rules" for the good of humanity... (yeah... nah). They have never tried and will never try to enrich themselves for the sake of their egos.
Yup, wholeheartedly agree. Blogging about a side project is the final period at the end of a chapter, however small, of my life.
audible sigh. no, this is not evidence of how "media has been hacked".

the wikipedia summary of the information could be clearer, as it leaves room for me to make an inference on the statements provided -- but those inferences are based on my own biases and my own fuzzy stupid human brain thing filling in the blanks.

which is exactly why there are links to the underlying source material. so I can go and dive in deeper to see that, actually, my brain filled in the blanks wrong. it's my brain filling in the blanks. no-one else's brain is doing it for me. no-one is "hacking" my perspective. I screwed up by reading into something wrong and making assumptions out of fear. It is my personal responsibility to verify and challenge my own assumptions, especially those based on fears and worries.

basically, it's my own damn fault. please don't blame someone else for something that is my own damn fault.

there are plenty of badly poorly edited wikipedia articles out there -- i was reading one last night which literally had an entire paragraph that consisted of "The BBC released a timeline of events on their website". That was the whole paragraph. No reference for that statement either! This is part of the nature of community based, a.k.a. amateur, created notes. Oh look, an argument for professional fact checking and copy editing appears out of nowhere.
Here’s how that sounds to anyone with security experience: “Before the bank president gave his nephew the vault keys, somebody must have had access as well.”

Federal IT has tons of policies designed to prevent unauthorized access and mistakes. People go through background checks, they only work on secured networks using official devices, everything is logged and audited, and circumventing it is a crime with penalties potentially leading to jail time. Some of those policies have strong legal requirements for oversight: even if you’re not doing anything other than your job, the agency needs to be able to show how work is done to auditors, Congress, FOIA requests, etc. Anything with national security implications should be designed to avoid a single compromised person from being able to avoid detection, too, especially for people trusted with administrative access to IT systems.

These guys are widely reported to be using personal emails and devices (violating the record and transparency laws) and even if they’re acting entirely in good faith they are bypassing policies designed to contain the damage due to mistakes. For example, what happens if one of them gets an email with an attachment claiming to have evidence of politically incorrect activities and runs the payload on a device/network which has had safeguards removed by executive fiat?
I used to live in a beautiful valley in Wales. When I went jogging in the woods I finished off by jumping from a rock into a waterfall (it was in a wild place, nobody else about).

By first working up a sweat the CWI wasn't too shocking. But what a great feeling afterwards! It's like being high off the best possible drug. Good for your skin too.

Definitely a healthful thing to do if your heart is ok.
If there is waste, then the proper channel to address is through Congress which controls the budget. The executive is not a dictator and cannot impound or dissolve congressionally appropriated funds.

The GOP controls both houses and could easily do this if they were so convinced. Instead they're laser focused on cutting taxes on billionaires to the tune of $4 trillion dollars
It’s hardly hypothetical and to think otherwise is delusional.
I've actually written many thousands of lines of Powershell for work and play. I first learned it because Vsphere used it for a CLI but I soon learned to love piping objects and filtering by property name. beat the hell out of bash that is for sure. And the ConvertTo-JSON command is amazingly useful.
Codeberg Down Today
Today I was trying to build colider on codeberg, and then it said 500, so I checked status it says bad.

EDIT: Now it's working for me kinda
Finland for example: https://www.vero.fi/en/About-us/finnish-tax-administration/d...

> Individual income tax information for 2023 was released on 7 November 2024. Public information can be browsed on tax office workstations and requested by telephone: How to search the public information on income taxes and real estate taxes

> The following data is included in the public information on individual income taxes:

> name, year of birth, county
earned income subject to state taxation

> capital income subject to state taxation, income subject to municipal taxation, income tax, municipal tax

> imposed taxes and charges in total, amount of back taxes or tax refunds
Part of the problem with colors is the recent trend of ignoring terminfo and TERM in favor of hard-coding escape sequences. Guilty packages include:

* ipython/prompt_toolkit (https://github.com/prompt-toolkit/python-prompt-toolkit),

* chalk (https://github.com/chalk/chalk),

* linenose (https://github.com/antirez/linenoise), and

* plenty of other random programs.

Please, let's just stop doing things this way. I understand that talking to libterminfo is annoying, but it produces a better result for everyone than everyone maintaining obsolete and incomplete databases mapping TERM values to capabilities.

That's not to say libterminfo is great either: we got into this mess partly because for (IIRC) ~10 years or so, the ncurses people stopped updating the terminal database with information about new capabilities like bracketed paste and 256 color support, forcing authors of programs wanting to use these features into using dirty hacks to detect or configure support --- and everyone has a different dirty hack!

Also, terminfo in inconvenient when jumping between machines. Who among kitty users, for example, has never experienced weirdness after ssh because the target machine doesn't have a terminfo file for "xterm-kitty"?

To fix this mess, we need to:

1. Define a new cross-terminal-emulator OSC sequence that instructs the terminal emulator to echo back THE WHOLE TERMINFO CAPABILITY STRING, in-band. No "user agent sniffing" with TERM. We detect features directly from now on.

2. Stop hard-coding random "ANSI" escapes. Use a library. Ask that library, "What does this terminal support? What strings do I use to accomplish what I want?" and then use it.

3. By default, don't output escape codes if output isn't a tty.

(#2 (by recognizing TERM=dumb) and #3 (because pipes) also address the problem of escape sequences ending up in the middle of output files and shell pipelines.

The terminal world is a mess right now. Continuing to live in squalor is a choice.
run `whois sng.link` first
It's unfortunate that he uses such clickbait-y headlines and thumbnails because the content on that channel is excellent.
> Joelle Emerson, chief executive of the consulting company Paradigm, told The New York Times that Google was advancing a "flawed and incomplete sense of equality." Google should instead address "equity," she said, examining structural issues faced by women engineers.

And from the linked 2019 article:

> Google seems to be advancing a “flawed and incomplete sense of equality” by making sure men and women receive similar salaries for similar work, said Joelle Emerson, chief executive of Paradigm, a consulting company that advises companies on strategies for increasing diversity.

Unreal XD. I genuinely do not understand how you can find yourself siding with these termites.
Public information can't be made more public when it is already public. Congress passes the federal budget, which is public. Contracts are public. Bid processes are public. The only exceptions are things that are considered PII and things that are classified.

USAspending.gov contains public spending data thanks to the bipartisan bill Obama, Coburn, McCain, and Carper passed two decades ago. It's one of many places to start.
In 6-12 months there will be nearly irreparable harm done. And I said exactly why he started with USAID but I’m guessing you didn’t actually read that part.
No login required: https://nitter.net/abhi9u/status/1887010136155414602
well, we know the answer now: to train the LLM
I hear you but I think this sequence of stories has interest to HN readers on both sides of the political abyss, though not necessarily for the same reasons, and I think one can find the stories interesting without crossing into personal attack. (It's true that some of the articles do that more than others.)

We don't want too much of this, but a certain amount is ok, and that's how HN has operated for at least the last 15 years.
So why should we care if the administration busts up the dam with a sledgehammer!
well he's trying to run a business, has a full staff, he needs views! If he titled that video something drab and boring with no good thumbnail who is that helping?
It's nice to see indulgences making a comeback. Open-source a few things and the techpriests will turn a blind eye to everything else you're doing.
20 year old are dumb as shit, you couldn't explain anything to me when I was 20 because I already knew everything.

A subject matter expert in some obscure government office might not be able to dumb it down well enough in 15 minutes especially if they have no idea who their audience is ahead of time.

Have some empathy.
but isn't this three more stages past that, already? Isn't it that Equifax and US Security Clearance System and the private secure Phone System for Senators and a long list of other things already cracked wide open? Because loyal DC bureaucrats with zero coding IT skills, sub-sub-sub contracted the real work then swapped contractors ump-teen times already, with the resulting systems all "super extra secret" black box except the right checks come out without fail?

On the extreme other hand, motivated World's Richest Man gets the inner keys in two weeks to all DC payment process flows ?

Make no mistake, this is disaster in the making, and lets get some details in the sunlight IMHO. but it seems laughable to claim that "China might get more info" when China (and a few others) already have been shown to run circles around core DC IT.
Whilst nixos.wiki often shows up first in search results, you probably want wiki.nixos.org instead. There is some reasoning in the FAQ - https://wiki.nixos.org/wiki/FAQ#Why_is_there_a_new_wiki?_Wha...
Blame your regulators.
Musk literally owns Twitter! The constitution gives Congress and ONLY Congress the right to control spending. Musk is intentionally breaking this law and you are cheering him on. Watching rubes such as you cheer on Musk while he destroys things makes me understand how Hitler could have gotten so much power.
I don't quite understand how they are gaining the access credentials required? Where I work, it takes days to onboard people, through standard processes. Whats happening in this case.

Given the highly volatile, and legally gray, situation; I'd expect the front line people who usually grant access are at least flagging these requests to their boss, who flags to their boss etc. Is everyone up the chain just giving a shrug and saying "seems legit, give them the access".

Of course people don't want to loose their jobs, but I would have expected someone in a senior leadership position to take a stand in preventing this (unless their all on board?)
I can't imagine what they're gunning for, here. Ampere was on life-support with their Oracle deal and don't exactly corner any particular market. Cheap datacenter CPUs are AMD's priority position, efficient ARM datacenters are gravitating towards Nvidia and the HPC people are (like always) doing a variety of different things.

It makes sense to me why SoftBank in particular would want to own a competent ARM competitor in the datacenter, but I think they've got a lot of work ahead of them if they want Ampere to be competitive. For $6.5 billion dollars you might as well start from scratch with an architectural license and fresh designs.
Care before the deductible is met will be more affordable, because insurance companies will negotiate lower rates with providers.
Thing is, when we look at countries that are "liberated" by US in this day and age, they don't look like US puppet states long-term. Look at Iraq for a prime example.

Russia OTOH did indeed use the "liberate" rhetoric wrt Ukraine, but at this point it made it clear that it intends to annex all territory that it can occupy.

It should be noted that the word "liberate" in a military context has a very long history in Russian war propaganda specifically, which is a big reason why they keep using it. It is an immediate call-out to WW2, which has a near-religious status in Russia, but even beyond that, e.g. the 1939 partition of Poland with the Nazis and annexation of West Ukraine and Belarus was also described as "liberation" then.
Deepseek is 'best China work' but hype is exaggerated, Google DeepMind CEO says
I think the Discombobulation Area should also be indicated with a sign.
You have a point. Way back when digital presence was still something new, I remember entertaining the idea of running an org that would fake reviews on Amazon and other spaces, but I dropped the idea, because it seemed unethical. I will never know what could have been, but I also know there were people who followed that path.

To your point, as a society, we have an actual filter for people like that, but that filter was not been uniformly applied.
Why would you ever want an LLM that is a perfect calculator? Humans invented calculators for a reason. A good LLM should respond to arithmetic questions by executing a cheap and efficient calculator program instead of wasting cycles on it.
The authors of this website have published one of the famous books on the topic[0] (along with a course), and their definition is as follows:

"Bullshit involves language, statistical figures, data graphics, and other forms of presentation intended to persuade by impressing and overwhelming a reader or listener, with a blatant disregard for truth and logical coherence."

It does not imply an intent to deceive, just disregard for whether the BS is truth or not. In this case, I see how the definition can apply to LLMs in the sense that they are just doing their best to predict the most likely response.

If you provided them with training data where the majority inputs agree on a common misconception, they will output similar content as well.

[0]: https://www.callingbullshit.org/