skysight-inc/HackerNews huggingface dataset:
>For the red Lambada line in Fig 13 when the model predicts ~0 the ground truth is 0.7. No one can look at that line and say there is a meaningful relationship. The Py Func Synthesis line also doesn't look good above 0.3-0.4.

Yeah but Lambada is not the only line there.

>Out of distribution is the only test that matters. If it doesn't work out of distribution it doesn't work. Surely you know that.

Train the classifier on math questions and get good calibration for math, train the classifier on true/false questions and get good calibration for true/false, train the train the classifier on math but struggle with true/false (and vice versa). This is what "out-of-distribution" is referring to here.

Make no mistake, the fact that both the first two work is evidence that models encode some knowledge about the truthfulness of their responses. If they didn't, it wouldn't work at all. Statistics is not magic and gradient descent won't bring order where there is none.

What out of distribution "failure" here indicates is that "truth" is multifaceted and situation dependent and interpreting the models features is very difficult. You can't train a "general LLM lie detector" but that doesn't mean model features are unable to provide insight into whether a response is true or not.
I used this initially in a browser extension I'm building. Ended up migrating to a JSX library instead, because jQuery turns into hard-to-reason-about code pretty quickly once you're past “simple app” territory (and I say this as someone who wrote my own jQuery-inspired library[1]). Right tool for the job, as they say.

[1]: https://github.com/aleclarson/dough

P.S. If you can cope with jQuery in a medium/large app, good for you. But it's not my cup of tea.
I guess it's meant to be processed by some bundler later.
The observability world still regards itself as a system for monitoring, but reading (and sometimes seeing) how these systems just go so bad continues to drive a conviction that perhaps their strategies and tools should become bigger. That they should converge with business pipines.

We shouldn't just have wide events/big spans emitted... We should have those spans drive the pipeline. Rather than observability being a passive monitoring system, if we write code that reacts to events we are capturing, then we shuffle towards event sourcing.

Given how badly coupled together with shoestring glue & good wishes so many systems are, how opaque these pain zones are, it feels like the centralization upon existing industry standard protocols to capture events (which imo include traces) is a clear win.

(Obvious downside, these systems become mission critical, business process & monitoring both.)
How do you move the cursor to the end of the current line of text you're editing?
Out of pure curiosity, do you have a few examples of this that you can cite and provide indisputable information to demonstrate it?
What if you're using the instant pot for something else (like beans, or maybe the entire rest of your dish) while you're cooking rice? A rice cooker is the best single use device because 1) you're probably having rice with 25-100% of your meals, and 2) set-it-and-forget-it; you can completely ignore it until you're ready to eat.
> "Much of his writing resists analysis while encouraging repetition and undeformed travel. It is often hard to understand but easier to chant."

Now, who does that make you think of?
The magic of Excel is that everyone has it and it does enough for most cases.

Yes, some things could be done better with a separate application or custom software, but that requires approval and contracts etc.

With Excel you can just build that crap yourself and share it or not.
Methinks the mindfulness cult has gone too far
You're comparing unlike things here.

97% of businesses are things like "open up another pizza place in the corner", "franchise a McDonald's", "open up a town hardware shop", etc. That's what being an entrepreneur means for much of the world.

Startups, at least the kind that are usually built in tech, and which VCs usually fund, are an entirely different thing. They are pursuing innovation, trying to build a new product that didn't exist before into a real business. The majority of failures are various forms of product-market fit failures - the product either doesn't fill a real need, or else can't be made into a viable business.

You can totally build the first kind of business, even in tech. (I should know, I've done it twice.) But it's important to remember that it is different, and not confuse the two.
It doesn't work because I fall asleep easily in the early evening or the early morning, and not so much between them. It's not affected by seasonal light, caffeine, exercise, etc. I've never considered a sleep study because once I'm asleep I'm usually fine.
Very nice. On what principle does it work? Is it just parsing the DOM?
The download with unverified certificate only triggered on windows if there isn't "good enough" version of python installed. If it's already installed then nothing needs to be downloaded.

Again, this vulnerability can't exploited unless attacker is able MitM you or python.org is hijacked.

It's very hard to exploit in real-life en-masse. Targeted attack is possible, but it requires attacker to:

1) Be able to do MitM in the first place

2) You need to use qBitTorrent

3) You need to use Windows

4) You must not have python version installed that supported by qBitTorrent

Without all 4 this can't be exploited.
> The battery life of a human is 6-8 hours. So that's the competition.

How many naps are you taking? Normal uptime is at least 16 hours. In special circumstances, much more is possible.

I'd be amazed if the robots are more than 2. Slightly surprised if they're over 1.

It's not exactly comparable.
> Don't go crazy because at least one of the browsers propose things that move the web forward.

No, they shape the web in an image that is beneficial to Google, and Google only.

> Geez, you should take a break from the internet. So many "?"

Indeed, so may "?" because, as you showed, Google sycophants cannot understand why these questions are important.
What if you want rice with your dumplings or pulled pork...?
That matches my understanding. It is clearly not applicable.

Did you highlight part because you think musk is a information service employee of Putin?
Thought about this. I agree 100%. The incumbent belief in software that machines should always remember (embedded in postgresql logo for example) has a dystopian sense of inmortality desires.

I would like to play with the idea of a filesystem layer solution that tiers out information based on staleness. The closest I've seen to this is AWS S3 tiers, you've got standard S# at 2.2 cents per GB month, then infrequent, then glacier and some tiers in between.
Yes. Auditable in this context means something that can be examined by a financial auditor. Auditors understand and can check through Excel but they don't understand code. It is not on the auditor to guarantee that what they are looking at has no errors. Their statements on their audit reports say as much.

In my old job, we had to switch away from our working but ancient Information System to SAP for similar reasons.
Mmm, my impression is you can get 90% there with significantly less effort then LLVM or GCC. A good register allocation strategy, some basic inlining, maybe peephole optimization? LLVM is fighting for 5-10% improvements on top of the big things
Grep and nano do 90% of what org-mode does without the albatross of
emacs. Source: I am an emacs core developer.
Excel users can make mistakes, therefore Excel spreadsheets can't be audited? Is that your point?
> I know that must feel emotionally invigorating to believe

Have a little class please.

> the larger number is for all worldwide facilities

Pointless distinction and missing the forest for the trees. Just close up shop. Don't spend 1.6 billion on anti-China propaganda (google this). Don't spend $800+ billion on endless wartime activity.

> I wouldn't put China in the "WAY WAY WAY more peaceful" category

The more you learn about both American and Chinese history, the more true this becomes. Suppose China invaded a sovereign country for their oil rights? Or directly funded terrorist regimes across the globe? Or toppled democratically elected governments to install brutal regimes? It just keeps going to the point where it's somehow unremarkable and it becomes background noise. It's psychotic. This shouldn't be so normalized.

> It also isn't being "choked out" by anyone and never will be.

Google "china containment". Then also mentally reverse the roles between China and the US to give yourself a little objectivity on the matter.

There's way too much to refute in your statements that I literally just don't have the time so I encourage you to do more research on them, including the extent of Khmer Rouge support and the US role in supporting them among SO, SO MANY other brutal regimes.

You seem to be on the right track in your other comments regarding Israel, so I hope you can eventually see through the fog of propaganda on this issue. Just like how western media lies in unison about the situation and events in Israel/Ukraine, as verified by on-the-ground sources, it also does with China. It's really not that clear cut.
Well, according to (ahem) a copy that I found, it only goes up to MRI 1.9 and goes out of its way to say "welp, the world is changing, so we're just going to punt until Ruby stabilizes" which is damn cheating for a standard IMHO

Also, while doing some digging I found there actually are a number of the standards that are legitimately publicly available https://standards.iso.org/ittf/PubliclyAvailableStandards/in...
It’s probably extremely slow. But that’s the price you pay for resilience.
Surprised to hear there are people, presumably in tech, that don't use the end key. I go out of my way to find keyboards that have end and home. Makes it easy to get to the the of the line, or end of the word. And frustrates me to no end when I'm using the mac
Okay, here goes nothing. My small take on the Excel story.

The year was 1986, pre-spreadsheets. Writing up an undergrad physics experiment in 1986, I needed to do a hundred or so similar calculations and present the results in a table. Luckily, a computer science acquaintance wrote a small program to do this task for me. Thanks, Dan.

In 1989, before Excel, there was Lotus 1-2-3. Loved that spreadsheet software. My PhD task involved plotting lots of data points, including smoothing some of them. Doable with Lotus 1-2-3, probably not doable otherwise.

More recent times.

Spaghetti Excel. An engineering acquaintance told me his student summer job, at an aluminum refinery, was to check and simplify their Excel spreadsheets. Apparently they had numerous spreadsheets linked to each other. I assume the main purpose was inventory control. I know I didn't envy him his task.

"Please, not just Excel." I took a class of high school students to a uni chem lab and had a small argument with a chemistry tutor who insisted the students use Excel to plot their data. I wanted them to first do it by hand with graph paper. This would have given them a much better feel for their data.

"Rinse-and-repeat Excel". I was tutoring a construction guy trying to learn maths. His job as an assistant on a high-rise construction job involved putting lots of numbers into an Excel spreadsheet. The check for this was to repeat the process and see if he got an identical result. I thank G*d his boss made him do this.

And that's it. Helped other people to use Excel, but I'm thankful that I haven't had to spend my life inputting data into spreadsheets.
Cool project. I love the idea of building decentralized internet infrastructure on the back of the mainline DHT.
Does Amazon Neptune not count?
>I hear some people say "but we use paper ballots". Then why do you have a BIOS password? If it's all paper where does the computer fit in? All of this is honest curiosity, I'm not sure how the voting system works.

Not sure about Colorado specifically, but in many jurisdictions voters mark paper ballots, which go into a machine to be tabulated, and are finally deposited into a box for safe keeping/future recounts.
I guess this is a different way to complicate simple things and sell them. "serverless database is what you need, my dude!"
Rust Library for Reed Solomon Error Correction with Berlekamp–Welch Decoding
This library provides a Rust implementation of Reed-Solomon Error Correction Codes (RS-ECC), allowing encoding and decoding of data for error correction and recovery. It uses the Berlekamp Welch Algorithm for error correction and decoding.

V1 of the rust crate is available here: https://crates.io/crates/reed_solomon_rs/0.1.0
I meant to write "blood of the Mary"
I only buy keyboards, even when I wanted a compact one, with home/end keys because it's so much more productive especially in coding in a terminal.
CO resident here.

CO mails paper ballots to everyone* about a month before election day. You can choose to vote in person, or mail in/drop off your paper ballot anytime prior to election night.

My understanding is what while the ballots are paper, many (all?) are tabulated digitally. It certainly appears to be laid out in a way that benefits digital reading, and i believe that is what the machines in question are responsible for.

* for some definition of "everyone"
There are many local problems that require local knowledge and serving local customers.
I have a friend with a business for California vehicle compliance reports. Some stupid paperwork that needs to be updated yearly when the rules change. It's super local and he has 10 employees supporting clients remote and on site. It grew very slowly but it's in 11th year now and revenue is not bad at all. Nothing to compete globally, knowledge is local, clients need local services.
You can view software as tools or art, it is arguably both.
I recently attempted to remove React as a dependency just to see what would happen. It turns out different browsers are still incredibly inconsistent when it comes to event handling. For example the select event on an <input> element somehow doesn't fire at all on Safari during my test, and doesn't fire when the caret is merely moved on some browsers. Using just the native browser functions isn't just fine, even if you don't need all the React features like components or state or props. It turns out React DOM is valuable as it papers over browser differences.
1) Because panic is a thing.

You need training to guarantee correct reaction when things go wrong.

Here's an anecdote: I used to drive a car with a standard transmission in Los Angeles. In quite a few places, the parking spots have a "trench" in the front for drainage. So, you can place your car in reverse, release the brake and have your car roll forward quite a bit (the trench makes an even stronger downward slope on a hill that is already pointing downward) before the clutch engages. A bit surprising but nothing that weird for someone who drives a stick.

Now, have that sequence happen to someone driving a car with an automatic transmission. They shifted to reverse, the car is rolling forward more than they expect and is on a hill, they hit the gas to arrest the roll, the transmission engages and the car shoots in reverse. Pray that there isn't anything close behind them or they're going to run over a pedestrian, put their car through a wall, etc.

2) Because the majority of the people who had "uncontrolled acceleration" were old.

The vast majority of the cases were very likely driver error by older drivers who had incorrect habits ingrained. Toyota probably would have won the case if this was the only issue.

Alas, Toyota lost the case because their processes for safety were such a complete shitshow that they were going to get destroyed in court.
Excellent point about team dynamics. When trying to dynamically guess a group's Elo, it could be interesting to try and create a game-specific radar chart for each player and add those values instead.
There's no staw-man, and you are now at the point of trying to re-invent the definition of words in order to somehow “win the argument ” without even respecting your own previous position. This behavior is legit pathetic, it's not an insult it's a fact. Respect yourself.
> Oh but emacs keybinds are conflicting with what I've configured for zellij,

Don't do that. ;)

Emacs is a graphical application! Don't use it in the terminal unless you really have to (i.e., you're using it on a remote machine and TRAMP will not do).

> it turns out that AI is weirdly good at configuring emacs

I was just chatting with a friend about this. ChatGPT seems to be much better at writing ELisp than many other languages I've asked it to work with.

Also while you're playing with it, you might be interested in checking out kakoune.el or meow, which provide modal editing in Emacs but with the selection-first ordering for commands, like in Kakoune and Helix rather than the old vi way.

PS: symex looks really interesting! Hadn't been that one
you can reuse those three pages the next night... :)
It's been the method of voting in Oregon for 25 years and Colorado for 10 years, when does the regret start? The current states that have all mail voting are also some of the least religious states in the country, you'd think the religious states would be pushing for it given the scenario you laid out. Colorado also had the second highest voter turn out nationwide in 2020 which supports the claim that all mail voting is good for increasing access to voting.
Always with the latent heat. :)
its tried and tested by multiple online games used in dota,cs2,lol,val,cod etc

it is not perfect but close enough that it didn't matter tbh, I mean multiple company do it for good reason
Very nice. I really would like to get a replacement kit of my XC90 battery and electric engine. Especially one that doesn’t cost more than half of the remainder of the economic value of the car. This is my second second hand plug in hybrid that loses battery capacity rapidly and the battery is crazy expensive to replace. Moreover, newer generations have stronger electric motors giving wider range of use and better regen.
> sugar having a substantial effect as observed does not rule out fat type also having some effect

Nobody is arguing that it isn't or couldn't. The study does a pretty good job, IMO, of pinpointing sugar intake as an infant as having substantial, significant impact on diabetes and hypertension rates in adulthood. It is not saying that it is the only possible causal factor.
Labor is under 10% of the cost of an electric car.
If Rails is fast enough, I doubt plain old Java on a standard JVM is slower. We’re talking comprehensive and productive web stack, not raw speed, otherwise we go back to the Go and Rust case.
The exaggeration here is almost comical: "We're excited to introduce SmolLM, a series of *state-of-the-art* small language models available in three sizes: 135M, 360M, and 1.7B parameters." State-of-the-art! It’s disappointing to see so much time, money, and energy poured into this with so little to show for it—especially considering the environmental impact, with carbon emissions soaring. While I can appreciate the effort, the process is far from flawless. Even the dataset, "SmolLM-Corpus," leaves much to be desired; when I randomly examined some samples from the dataset, the quality was shockingly poor. It’s puzzling—why can't all the resources Hugging Face has access to translate into more substantial results? Theoretically, with the resources Hugging Face has, it should be possible to create a 135M model that performs far better than what we currently see.
This thread is kind of going on and on, but for whatever it's worth, the general rule is "don't post generated comments". We're not the thread police, but you're going to find that comments that are significantly LLM-generated are going to get flagged to death. We're here for human conversation. Maybe next time, just suggest "here's a prompt I used that got a good GPT 4o response, go try it".
Just use paper, and count by hand on the day.

You need to present an election system that will convince Joe Q. Public, who is almost certainly not as tech-literate as this forum, is probably not even white-collar or university educated, and likely also suspicious of globalisation. "Tamper-proof Indian system-on-a-chip" does not have that property. Otherwise you get increasingly unhinged arguments over the election results until something breaks.
actually, I should correct my comment. Not alarm! but notification.

What helped was notifications leading up to bedtime. two hours, one hour 30 minute, "get to sleep". It sort of gives you context to wind down.
Likely because that question has now entered the training data. Try changing the variable names and numbers and introduce a different irrelevant detail.
No. Musk did not purchase twitter for this purpose.

Musk like many men is susceptible to influence my his peer group.

Remember that talk in the beginning with Dorsey?

I imagine this part: Musk and Dorsey having their billionaire bromance phone chat. “Someone needs to go in there and clean house” (remember the sink?) “tech has lost its way, too much woke modern luv” (remember the purge?)

Remember his outed phone texts? All this cryptic cronyism with the big boys and their “everyone else just doesn’t get it” attitude?

I think he believed that crap he was telling himself when he bought the place, and I’m sure he always wanted “X” (his vision) and twitter was a host body for his assimilation.

Musk cannot choose between being an effective entrepreneur and a social-political force of opinionated change (ego eccentric).

I’m pretty sure Dorsey talked him into it with passive language and Musk thought he was the white knight who was going to “show everybody”.

This Trump business is simply more of that ego centricity flaring his billionaire brain.

Even Trump is hardly the man he was in his earlier days.

Power drives men insane.

That’s my take.
Glad he found some normalcy online. Great story.

I am surprised that anyone still questions that relationships can form without physical presence, though. Over 30 years ago I met my first girlfriend on a BBS (we dated after meeting IRL, but it started online) and well before computers people would fall in love over the phone or before that, through letters.

Now that I think about it, the fact his parents didn't really know about his online life may have been half the point. Not only did he get to unfurl his wings, he got to do it on his own terms without parental oversight.
I need to disagree, as I think JSF to be a rather clunky approach, but I admit I never used PrimeFaces.
This. I had similar experiences with LibreOffice. It can choke on what you'd think were pretty mundane and reasonably sized things. I imported a CSV file of 15K lines once and it used all available memory on my PC doing it. The optimization that goes into Excel is one of those "unsung hero" things that doesn't get a lot of glory but it is clutch day in and day out.
Humans have an uptime of 16 hours, but generally speaking can only operate professionally for an 8 hour span. The other 8 hours are spent mostly doing personal maintenance and refueling their physical and mental capabilities.

Oh, and humans have traditionally banded together to punish those who ask for more than 8 hours a day or 5 days a week, and have even historically gotten very murdery over the subject. Buyer beware!