skysight-inc/HackerNews huggingface dataset:
I have commented about this frequently on HN, about maths being my kryptonite.

But I keep at it, and I do keep learning. I am striving for better literacy (i.e. being able to read papers).

The advice I've been given, and it is helping, is to be persistent and to actually do the work. Only through doing will you start to see everything take shape. You will start to notice the way problem sets are laid out and build up your foundation.

It's like the Karate Kid. Wax on, wax off. Paint the fence. You can't just read the material and hope to keep your understanding. You have to burn it into your memory through practice.
No human is trustworthy. Verify.
Perhaps you are the Sheriff? My baby shot me down, but they did not shoot the Deputy.
Nice site, great job.
Regulated means subject to regulations, which are a body of rules.

Regulated technical parameters like pressure and voltage are not subject to regulations (unless we construe the simple feedback mechanism to be a couple of rules).

It is blatant word semantic equivocation to conflate government regulation and pressure regulation.

The word "controlled" doesn't help much; it can be similarly equivocated as a near synonym of "regulated". Regulated pressure is controlled. A regulated industry is controlled.
"Please answer this question but misspell about one percent of the words in the answer."
My guy, if you can't tell by now that the man is a complete imbecile, then I don't know what to say to you.
Given Jefferson's remarks to Abigail Adams after pardoning everyone ever prosecuted under them, I don't know how you can draw that conclusion:

"I do not know who was the particular wretch alluded to: but I discharged every person under punishment or prosecution under the Sedition law, because I considered & now consider that law to be a nullity as absolute and as palpable as if Congress had ordered us to fall down and worship a golden image; and that it was as much my duty to arrest it’s execution in every stage, as it would have been to have rescued from the fiery furnace those who should have been cast into it for refusing to worship their image."

Seems the Founders did not all support that viewpoint.
Reagan National Airport Black Hawk-CRJ Crash
"AI and the Opportunity for Shared Prosperity" by Jeff Dean, Hal Varian, et al.
what do you think people should do when their countries experience hyperinflation?
It would help to define what "ASI" means.
Much of the actual meat appears to be the deletion of this:

https://github.com/uswds/uswds-site/blob/086f98d7e1888854506...

And it looks like the baby has gone out with the bathwater. Sure, if DEI is out of vogue, then get rid of the DEI language. Stop talking about “alienating” users. Remove the trauma language. But the actual actionable parts seem like they could be written in rather uncontentious ways, e.g.:

Don’t require users to enter addresses in specific formats that are not consistent with the addresses of actual Americans. For that matter, don’t require addresses from people who may not have a well defined address, e.g. people displaced by disasters.

Avoid requiring people to choose “Mr.” or “Ms.”. Many Americans prefer a different title or none at all. [I’ve met plenty of cis women who prefer a specific form that isn’t in that list.]

Offer multiple languages.

Allow long forms to be completed in multiple sessions.

— - -

And, frankly, if I were making a website, I would rather see what I’m supposed do and not do rather than scrolling through a long list that seems to consist of less actual content than motivating text that could easily be seen as somewhat partisan moralizing.
I haven't been doing much OCaml in recent years, but I do sometimes check in to see what's going on in OCaml-land, and it seems like dune is what everyone is using now - what are the alternatives?
What exactly is "your AI"? From how you describe it, it's a GPT model with a "You're a business consultant" prompt.

I'm sorry to be rough, but from your description it just sounds like your AI somehow does a better job with prompts compared to Zapier & Make, which is highly subjective.

Besides that, this looks very cool and IMO is the future of interfacing AI automations in work environments
It's also often just ads, and installing a blocker helps
Sorry but no, "multiply matrices" is not the fundamental problem blocking us from "Artificial General Intelligence", unless you believe in some alternate-facts description of AGI, as Sam Altman recently tried to foist upon the world by describing "AGI" as something capable of making money. That isn't the real definition of "AGI", that's a guy puffing up his company to try to get more money.

https://en.wikipedia.org/wiki/Artificial_general_intelligenc...

A truly intelligent machine would need the capability to reason, understand, and think, exhibiting cognition, sentience, and consciousness - not merely sift through training data for a plausible response to an input. That isn't intelligence, that's a fancy search engine.

LLMs and the entire premise behind them is incapable of producing AGI. They might seem like "AI", but they are nothing at all like AGI.
I understand where they're coming from with this, but I feel this perspective on work is exactly what needs to change. If true automation comes, society as a whole should move past the idea that one must find meaning/growth in performing economically valuable work.

> 70. Since work is a “part of the meaning of life on this earth, a path to growth, human development and personal fulfillment,” “the goal should not be that technological progress increasingly replaces human work, for this would be detrimental to humanity”[132]—rather, it should promote human labor. Seen in this light, AI should assist, not replace, human judgment. Similarly, it must never degrade creativity or reduce workers to mere “cogs in a machine.” Therefore, “respect for the dignity of laborers and the importance of employment for the economic well-being of individuals, families, and societies, for job security and just wages, ought to be a high priority for the international community as these forms of technology penetrate more deeply into our workplaces.”

Ideally we'd move to a post scarcity economy like in Star Trek/Culture (Ian Banks) where personal growth is achieved, yes through "work", but not the same type of 9-5 "you must work to fend for yourself" we understand today.

Societal norms would need to be such that each individual would have their own vocations/hobbies with which to hone their craft and achieve growth--all without being forced to "work" in order to ensure their basic needs are met.
Also very cool!

I was fortunate enough to work at Jet.com before Walmart completely destroyed it, which was an F# shop. I really liked it, and I never really felt "limited" by it.

The stuff I was working on didn't have nearly the same requirements as high-frequency trading like Jane Street does though. I never did any super low-latency stuff with F#, so it's tough for me to say how well it fair with that kind of environment.
I have no idea what this nonsense is supposed to be about, but I looked up Kingsley Amis, and got this mindless vituperation:

> Last, and very definitely least, he spawned the revolting Martin Amis

Nice. Not. No thanks.
Is this a competitor or alternative to something like replicated.com
> CMake is an abomination. “Hey go learn this new language to compile this other language!”

"go learn this awful new language"
Yes, you are wrong. This isn’t basic constant hoisting.

The compiler doesn’t reasonably have any of that information to understand what read is filling in at runtime because that information is encoded purely at runtime and the compiler has no reasoning mechanism even close to answering runtime data flow questions.

There’s also all sorts of complexity that has to do with the kinds of transformations that are possible as the legal information that exists at the language level is often erased before it gets to the stack/register piece and vice versa the language layer knows nothing about registers and minimal stuff about stack.

This is the same reason that the compiler fails to compile something like:

for _ in 1..10 {
let x: String = create_new_string();
eprintln(“{x}”);
}

Fails to hoist x out of the loop even if the returned string is String::new(“ABC”) unless maybe LTO is on (and even then maybe not). Basically the compiler’s “magic” is very limited to static transformations that follow as-if - the compiler must know the static transformation is blindly identical and the amount of reasoning about the structure is often very limited.

Said another way, if the compiler could do the optimizations you’re hypothesizing, it would be equivalent to applying a mid level performance engineer to every code base it encounters.
Scanning the list wondering why opioid addicts haven't figured this one out yet; less drugs, more fun.

I've actually been semi-addicted to grapefruit juice.
I’m a big fan of 3Blue1Brown as a visual supplement for learnin’ me some tricky number stuff [0]

There’s also an ocean of great YouTube math content, sometimes packaged in hidden ways (ex. I’m away from my bookmarks at the moment but there’s a guy who does fantastic Three.js tutorials, and to see abstract math concepts applied to real, visual projects, it’s really eureka-level shit for me personally)

0. https://www.3blue1brown.com

EDIT: found the YT channel, very solid stuff [1]

1. https://youtube.com/@waelyasmina
The audiobooks for this series are extremely entertaining.
Experiences with exercising startup stock options after quitting?
I'm currently at a startup considering my next move and trying to understand how others have handled their stock options. I have a 90-day exercise window if I leave.

I'm particularly interested in:

1. If you left your startup, did you choose to exercise your options? What factors drove your decision?

2. How did you handle the finances? Did you use your savings or a loan to exercise your options?

I'm trying to find an equity compensation consultant but would love to hear about your experiences and any personal advice you'd share with others in this position.
> It is not actually true that MLCC DC bias derating scales with voltage rating. The voltage rating itself actually has nothing to do with it.

This statement used to be false (I used to design boards where I would bump the voltage rating to get better DC bias behavior), but it looks like the engineering behind these capacitors has changed "recently" (as in the last 10 years), and it is now mostly true.

Looking at Murata caps, for example:

1.0uF--uniformly 50% derating from 6-16V:

https://www.murata.com/en-us/products/productdetail?partno=G...

https://www.murata.com/en-us/products/productdetail?partno=G...

https://www.murata.com/en-us/products/productdetail?partno=G...

100nf--uniformly 2% derating from 6-16V:

https://www.murata.com/en-us/products/productdetail?partno=G...

https://www.murata.com/en-us/products/productdetail?partno=G...

https://www.murata.com/en-us/products/productdetail?partno=G...

Interesting. TIL.

Thanks for pointing that out.
Or The Last Question by Isaac Asimov
Personally, I’m not so sure. That’s not to say I welcome the burglars and murderers but it would be comedy to say, “At least it can’t get any worse,” and then the police show up.
I will piggy-back on this and ask similarly for how to get gud at proofs. My math is OK, by my ability to perform proofs is barely passable. I don't know what I did wrong on college in the related courses, but I would love to rectify it at some point in my life.
I was asking you, specifically. When was the last time?
> I believe this request by Joan du Lee is more about making medicine a profession like carpetry, masonry and similar which were supported through masters, journeymen and guilds, than about hindrance based on sex.

There's no translation[1] here, but the UK National Archives record contains what may be a less conjectural summary that suggests the request explicitly discusses her treatment:

> Lee requests letters under the great seal that she is able to go safely about the country without disturbance of the people who disdain her because of her practice. Her husband was killed in the king's first journey into Wales and she has since then gone barefoot and taken the penance of the fast called the fast of St Mary praying for the maintenance of the king's royal and glorious estate.

https://discovery.nationalarchives.gov.uk/details/r/C9335069

[1] Interestingly the language is Middle French, not Middle English.
That’s identical to what happens on Rust. The allocation of the underlying uninitialized array is done once (it’s just the stack space allocation) and it assigns the value 0 within the body. It does indeed show exactly that what OP is proposing is something that C isn’t capable of and it’s what the entire article is about - the inability to skip the initialization in the first place by reasoning that it’s not needed.
Ask HN: What's the most remarkable surprising way that you changed as a person?
Yes differing opinion on bureaucracy means you are a Nazi! No matter what I'm looking for is closer to the size of US government pre WW1, not a massive army of servants literally gassing minorities.
I just use the flatpak version, it's always the latest version, or very close to the latest.
that's hilarious - love seeing funny github issues and the drama that ensues
Previously

https://news.ycombinator.com/item?id=40695839 "Simple sabotage for software"

https://news.ycombinator.com/item?id=35448090

https://news.ycombinator.com/item?id=12253276

https://news.ycombinator.com/item?id=22322041
> In language performance benchmarks, you often see C++ being slower than C.

This is the first that I have ever seen such a statement. And, I am sure we could legitimately write exactly the opposite: <<you often see C being slower than C++>>. Not much being said here. As I understand, C++ template code can be much faster than equivalent code in C because the compiler has more metadata for optimisation. The classic case is C's qsort() vs C++'s sort(), where the C++ version is much faster due to compiler optimisation.
Meta warns that it will fire leakers in leaked memo
Tesla should celebrate these “wins” - only 17% is amazing feat for a company like Tesla, instead of 100+ forward P/E ratio stock should be at $1,000/share minimum. robotaxis coming in 2087 will help too /s
Why Can't We Predict Earthquakes?
Oracle Pro*C. You don't want to know.
Are your production servers configured in something other than UTC, or is there a factor here I'm missing? I've never really seen a good reason for a live server not to be Z'd out
Sure, but if they weren’t in use, why mention them?

And I wouldn’t expect them to be training in them in a busy commercial airspace. But that’s just what I’d expect - not based on anything else.
Hopeful for announcements.

They haven't made any in a while, but that doesn't mean they aren't progressing.
But, your onboard Realtek does have an S/PDIF output, right? If not directly as a TOSlink on the back panel, then surely as a motherboard header. From there, you can add/try/test hundreds of DACs, from el-cheap-o Amazon stuff to top-notch RME devices and such. As for analog audio out of any motherboard built-in audio card: that's crap, was always crap, will always remain crap.
Virgin Money chatbot tells off customer who typed word 'virgin'
Having used the API with a polyfill, it is a bit verbose and may seem a little obtuse at times. However, it allows you to explicitly differentiate between Date, Time, (Plain)DateTime, and ZonedDateTime. I have had to fix plenty of bugs because a datetime in the browser, datetime on the server, and UTC got mixed up at some point, and this API makes that a lot more difficult (and not likely to happen accidentally).
If any of the lines form the repo's first commit happen to be untouched, then that's a huge short-cut: those lines are the oldest. Finding one of those lines manually is a pretty easy task. Enumerating them all accurately, less so.
> There's probably no way for the compiler to prove safety.

That's already the case for the AnyBitPattern stuff though. (Indeed according to the docs AnyBitPattern traits already get cast from uninitialized bytes, which in C/LLVM semantics are not necessarily frozen, even if in practice Linux would not be remapping the pages they're in).

> Rust is designed to allow 100% safe bare metal development

I wouldn't say that since bare metal rust always needs some unsafe; rather it's designed to allow managed, contained use of unsafe constructs in code that's say 98% safe. The whole purpose of this BorrowedBuf is already something like that.
OMG! I thought there was something wrong with my Mac laptop when it did this. I was putting off investigating it.
> I miss that little bastard so much.

What about the cat?
I'm cool with this. The FBI purged my city and state of rampant corruption and they remove heinous violent criminals from the street every day, often before they can commit any other crimes. Most of the people who work there are tireless and thankless servants.

And to all the haters, let's see how you feel when your daughter is abducted and taken over state lines or your local law enforcement becomes corrupt and starts working with criminals. The FBI showing up is a great feeling.
> I'll point out that neither buck nor bzl existed when JS decided to start building their own tool in 2012. Bazel's first release was in 2015, Buck's was in 2013.

But Dune started (according to this blog post) in 2016 and JS started seriously improving and adopting it last year. So to me Jenga sounds like a reasonable step in 2012, but pouring significant effort into migrating from Jenga to Dune (and improving Dune) in 2024 sounds more weird
Technically, it was the lenders that weren’t verifying borrowers’ income and work histories.

Theoretically, there is much less chance of “liar loans” due to digital real time records via services like The Work Number and ADP.
The rule was put in place by Congress in 1966, when IAD opened. Notionally to manage congestion at DCA, but yes also to get residents to use IAD, which was intended to be DC’s major airport.
HTTP is to Wayland as the web is to what???

I think the answer is also Wayland. It's very confusing because there is wayland the protocol and wayland the system, where the protocol is a part of the system - but there is no separate name for it. When people discuss wayland they are very rarely talking about wayland the protocol, and are much more likely talking about wayland the system.
Government Tech Workers Forced to Defend Projects to Random Elon Musk Bros
Your premise is that absent of Palantir there would be no tooling. Someone is going to do it and it might as well be Peter Thiel & co because they're already doing all the other data surveillance.
i guess? but what are you hinting at exactly?
Yes, your caveat is correct: it's possible that none of the lines present in your oldest commit have survived into the current head commit of your main branch.

Not sure how the article's algorithm deals with renames. If a file being renamed as a deletion and addition, then that conceals the age of the lines.
It certainly helps that there are very few words in English that use umlauts, and even fewer where an umlaut following a vowel could happen. I guess theoretically you could form the word Astroübermensch (who knows, maybe that's what Musk will call it when he selects the best people to send to Mars). Then it would be ambiguous whether you mean the übermensch spelling and pronunciation or the more common ubermensch. But that's a stretch
Trader Joes Jalapeno Lemonade as base
"What can possibly be said about Miis these days?".

Turns out I was pleasantly wrong.
The "Giving advice about use of memory" section of the article answers this question directly.
Is there a word for "people largely agree with a thing when you don't mention its contentious name?" I look forward to its more patriotic replacement "All Americans" where AA hiring practices involve not just hiring from those hippy liberal colleges and including disadvanta… err um hard working communities who have boots on the ground experience! Not just those ivory tower elites but people who didn't have access… err didn't get brainwashed by college professors pushing the liberal agenda!
The Power of Negative Zero: Datatype Customization for Quantized LLMs
IMHO Angostura bitters have specific applications where they excel but are far from universally great. Their serious astringency and bitterness really step on other ingredients depending on the cocktail. I keep the following on hand (despite having retired my home bar a few years back):

- Fee Brothers Old Fashioned
- Fee Brothers Aztec Chocolate
- Fee Brothers Grapefruit
- Bittermens Hellfire Habanero Shrub
- Peychaud's
- Urban Moonshine Original

As far as NA beverages go I like making spiced chocolate sodas, grapefruit tonics, pink lemonade (via Peychaud's), and just bitters and soda with these. The only thing I'm missing is a good orange bitter as I find the Fee Brothers one to be too aggressive.
You cannot really have government intervention against open source and weights successfully.

the attempt in cryptography with PGP and export controls made that clear.

Even if DS specifically is banned (and even effectively), a dozen other clean room replications following their published methods will become available.

It is possible this government will ban all “unapproved” LLMs not running at authorized provider[1], saying it is weapon and AGI or skynet or whatever makes powers that sound important, thus establishing the need for control [2], the rest of the world will keep innovating.

—-

[1] Bans just need to work only economically, not at information level i.e organization with liability considerations will not use “unapproved” ones and they are ones who will bulk of the money and that what they need to protect.

[2] if they were smart they could do this positively without the backlash bans would have. By giving protections to compliant models like legal indemnity for for model companies and users without necessarily blocking others
Australia had very few EV models available prior to the BYD launches.

A 17% fall in the face of such a large step change increase in competition isn’t too bad.
Obviously the best way to save the children from Koresh is a siege, incendiary weapons, and a tank. Not taking him on his daily run, or first using the sheriff who had rapport with Koreash

Even if the ATF/FBI is 0% responsible for the fire they showed an exquisite ability to exacerbate the danger the kids were in. I'm sure it was a total coincidence the same sniper at Waco shot Vicki Weaver, an innocent women with a child in her arms.
I kind of wish we used a raised small dot: coׁordinate (smaller than an apostrophe)
Observability as the Pillar of Great Architectures
FDA Approves drug to treat pain without opioid effects
Might still beget carelessness/lack of empathy or a feeling of being superior.
> Seems the Founders did not all support that viewpoint.

That’s fair! But also a challenge for guessing their intents with the Second.

(Notably, one of them is still on the books. Jefferson didn’t repeal. He had a personal dislike of Adams for quite some time.)

What they’d think of today’s weaponry would probably vary somewhat. The Scalias, Alitos, and Thomases of the Court would rather not confront that. They seem certain of their crystal balls.
We CT scanned several popular water filters before and after use
If you're referring to the line count being omitted here: https://github.com/mathesar-foundation/mathesar/graphs/contr..., please submit your feedback to the GitHub product team, we have no say in their decision. There are some other complaints about that decision here: https://github.com/orgs/community/discussions/135572