skysight-inc/HackerNews huggingface dataset:
It is much more effective to do more with less. There will always be a need for air conditioning in some cases, but having 10 million single window units blasting walls of heat into a crowded city very quickly becomes an arms race where nobody wins (except perhaps the AC manufacturers).

Finding efficient ways to use our energy matters just as much as finding efficient ways to produce our energy. Keep in mind as well that many of the current methods of manufacturing green technologies only end up exporting their carbon to the global south.
I took the context from those two sources (copy and pasting the text) and it was interesting to see the difference:

GPT 3.5 (fails): https://flowch.ai/shared/90274999-8eaf-4046-9115-7f623264197...

GPT 4 (succeeds): https://flowch.ai/shared/73523ec6-4d1d-48a4-bb16-4e9cc01adf1...
Only until Google and Apple stop caring, now they have an honorable 3rd place in ISO C++ support, and are yet to support as many platforms.
Sounds like poor UX design all around. Some of these companies seem to be grasping a straws to be innovative and "new". Something the best solution is the easiest one. A $1 toggle switch, for example.
The idea behind delaying algebra is that if you teach math more slowly, the people who do worst in math will be able to progress somewhat further because they have more time to drill and repeat things. Someone who would have received an F in algebra in 8th grade might be able to scrape a D+ if they spend a year preparing and then take it in 9th grade. Empirically, they did indeed see a greater percentage of people passing algebra when they delayed it by a year. Of course, they also saw fewer people taking AP Calculus, since the slower pace of education meant that fewer people had the prerequisites in time.

So the big question is, why make everybody take the slow track? Why not offer the option of 8th grade algebra to students who are ready for it? As far as I can tell from listening to advocates, it actually is the Harrison Bergeron thing, but with a twist: the achievement gaps that they're trying to narrow have strong correlations with race and class, which makes closing those gaps almost a sacred cause. And that typically is where the arguments stop, in much the way that a mathematical proof stops when you say "QED".
> A machine can help you accumulate facts, but it can't educate you (in the sense that I'm talking about.)

We are clearly on the precipice of having machines that can model the human mind and help us figure out where we are blocked on learning a topic.

> you can't measure "mastery" in any meaningful sense

This seems a ridiculous assertion to me. Bloom's "Learning for Mastery" paper explains what he means by mastery, which is quantified in tests.

I don't see how you can reconcile your belief that "We've got these machines that are [about to be] able to do anything a human can do" with your belief that "A machine can help you accumulate facts, but it can't educate you".

I never thought or wrote that "the purpose of education is to secure a place in the economic hierarchy". I specifically wrote that we can use computer tutors to augment human tutors.

The best we can do with human tutors is 1:1 tutoring. With computer tutors, we will have a lot more capacity available.

I meet many people who have been conditioned to think that they are "not good at math" or that they "don't have a brain for math or science" or that they are not "artistic" enough to paint or play an instrument. I think, in most cases, this is simply wrong and a rationalization or conditioning. Most people just did not have enough personal tutoring to get them past whatever obstacle was next in the way to learning.

Computer tutoring is going to unlock potential, not just for economic success, but to give humans more options to explore whatever they want. Computer tutors will be able to model the human brain and, like human tutors, know how to rephrase something to help a student understand.

When I was a boy learning algebra and calculus, I had to contend with my classmates for time from the teacher to get explanations on certain questions. When I wanted to learn an instrument as a boy, there was simply not enough tutors available. Computer tutors will greatly amplify teaching capacity.
I'd trust the NHS if the National Institute of Clinical Excellence (NICE) actually published their minutes online. Most employees only know what they have been taught, so whilst I agree with the headline that some trial data is dodgy, it doesnt just end there.

There are multiple pathways to factor in, there is redundancy built in, ie secondary pathways, there is the fact that not all chemicals go where intended (best highlighted by radioactive isotopes). When looking at the history of patented medicine, this really started between WW1 and WW2, before WW1, most GP's prescribed what was found in the body on a like for like basis, and in some cases prescribed organs in various forms, like desiccated thyroid gland for thyroid related problems, for pernicious anaemia, raw liver used to be prescribed to women and so on, but that has its problems like contamination and diseases.

So from WW1/WW2 onwards the rise of patented medicine took hold, but the main problem with patented medicine is the human body hasnt evolved to use these new chemical compounds in the same way as unpatented chemicals which have been around for thousands of years. And todays GP's dont really highlight the side effects of the patented medicine, and because they simply dont ask what you have been eating and drinking etc, they have this hubris which sucker punches your trust and sucks you in like a black hole, until before you know it you are on half a dozen different drugs, your quality of life is going down the pan and you've been left a zombie wondering where did Hitler go wrong modelling the German state of the time on the British Empire? You Americans complaining about the cost of healthcare, should count yourself lucky those insurance companies are looking out for your long term interests and theirs!

Fortunately, hospitals in other countries publishes studies and as english seems to be the main language used for science, I have to tip my hat to the Chinese who are roaring up the charts in terms of investigating and publishing relevant studies that will complement a quality of life one hopes to achieve, and we cant forget Wikipedia, Pubmed and Google for connecting users with pertinent studies.

Saying that I do sometimes wonder if something like ChatGPT has written some studies due to the poor quality of english used, but generally they stand out like a sore thumb.

Anyway, does any know why there is a connection between MDMA, blood clotting and Manganese?
My example was a bit simplified but basically the function takes a SQL statement and a slice of structs that use db:column field tags. It's no more doing "weird reflection stuff" than say json.Marshal
I don't know how IQ tests are supposed to be conducted, but when I first heard of Raven's matrices in middle school, I jokingly asked all my friends to do it. What struck me at that time was that for almost all of my friends, there were no questions that were too difficult to be solved, but there was a pretty large variability in the time taken to complete the test. For some of the friends, answering the questions required a lengthy logical deduction process; for others they almost picked the answer just by intuition and then justified it afterwards.

At that time my takeaway was that an IQ test with a generous time limit probably meant nothing, but an IQ test with a strict time limit could probably test intuition.

That said the utility of testing intuition still isn't clear to me.
Not exactly. I don't think Go should have ALL those, but some would be extremely helpful. That's just a wishlist.

There are some examples of languages that have a nice blend of functional features built in that are not fully functional languages, and the developer experience is fantastic (e.g. C#, Typescript, Kotlin, Swift, Java 11+)

They could've improved the developer experience, but they made some kind of C+- with easier concurrency.

And I find it all sad because Go ticks many of my boxes for a "perfect" general-purpose programming language.
I think that because of the new "efficiency" initiatives at Microsoft, Edge is very bad compared to the others at handling web sites that need low latency and moderate execution speed (such as 3D demos, games, emulators, audio players).

Edge on my 5950X + RTX3080 + 32GB RAM can't play some chiptune without glitching while Firefox can handle it like butter. Firefox's becoming a strong competitor every day.
St. Mary's Monastery: Contemplative Benedictine Monks
This is also consistent with how it is thought of in GameDev. The trendy ECS (Entity Component System) architecture is usually implemented with a data-oriented mindset to maximize cache utilization, make allocations/deallocations of many small entities easy and fast, and facilitate concurrency.
Not every user is the same from a revenue perspective. I find Threads to be obnoxious because it's full of boring athletes and influencers, rather than interesting scientists and people writing sarcastic jokes. But (based on the advertising on network TV) I'm willing to accept the possibility that there might be more money in advertising to the kind of audience that likes athletes and influencers than in advertising to weirdos like me.

All it takes is for a solid chunk of the high-revenue "boring mainstream" audience to exit in order for Twitter to be permanently damaged as a revenue-generating enterprise, even if it still has lots of users. (And as a Twitter addict I think that would be sad! Not sure why the downvotes over a legitimate concern.)
Open Source is very subject to the true scotsman.

Someone said on HN that just sticking all your source on Github with a permissive license isn’t true open source: it is about the community too!
When I turn the temp down and increase the repetition penalty slightly and add chain-of-thought, it handled my simple programming task.

"Please write a JavaScript function to sort an array of numbers and return only the even numbers in sorted order. First analyze the user's real intent, then think through the solution step-by-step."

Without the last two sentences and parameter tweaks, it checks for even in the sort compare instead of just sorting first.

Is anyone planning on doing a programming fine-tune of any Llama 2 model?
> The problem is relay theft, where thief's relay the signal of your fob key inside the house to the car via a simple antenna and amplifier system. Cryptographically signing won't help.

It seems relay theft could be 100% prevented by measuring the response time, and capping it to whatever is the equivalent of say 100 meters + processing time in key fob.
Ooo very cool
Any that are text/TUI/"green-screen"-based are often lauded for speed once you are familiar with them, so there is that kind of best. And if they are still in use even today, then that survival is a strong point in favor of them being "the best".

As far as specific products, NCR Counterpoint is one that stands out amongst those I have used. Fast and flexible, kind of easy to figure out most things on your own.

The Costco cafeteria self-service kiosk seems to be an amazing POS (customer perspective). Incredibly optimized in every regard. The receipt seems to print out before you have even finished removing your card from the chip reader.
Good points which I generally agree with, but I still think it's common to see a remarkable level of time and effort spent on typography compared to even other parts of the frontend. Not always, but surprisingly often.

Many companies have these style guides around typography. Beautiful, thoughtful, very well made things for sure, yet when some backend dev makes a typo so the custom font drops to arial or whatever, it can be days before someone notices and the ones who notice are the font nerds from marketing. Nobody else seems to mind much.

Compare that with what happens if someone misunderstands the 20 year old SQL schema and writes the wrong magic string to a table. Instant crash, everybody notices immediately. Yet database schemas for internal applications tend not to be documented in Porsche-brochure-like sites like this Sweden Sans is.

How did the typography guys get a voice so strong? Note that I don't mind it, I like to see well made things in general, but it's puzzling. It's like there is a secret society of typography nerds that have spread to all major organisations.

>Might I also remind you, the point of the entire backend of an app is to serve the front end. An app with amazing backend practices but fails at matching designs or specs is just a failure and is noticeable by customers.

Just checked my notes and it turns out that frontend is just a temporary fashion-dictated skin over the actually important features of the backend! ;-)
I studied LP (linear programming) from some of the most advanced researchers in optimization, including LP, in the world, led the class in a Ph.D. qualifying exam mostly on LP, wrote a Ph.D. dissertation in optimization, taught linear programing in college and graduate school, and applied it in business.

From that background, given a problem in LP, there are three cases, the problem is (1) infeasible, (2) feasible and bounded, and (3) feasible and unbounded.

In case (2), at least one of the extreme points (intuitively, a sharp point) of the set of feasible points is optimal. For an algorithm, the famous simplex algorithm will find an optimal extreme point in finitely many iterations in finite time. For the computing, about all that can go wrong is from a problem being too big or causing poor numerical accuracy.

Thus, given an LP, the claim

"objectively better optimization",

that there was any "optimization" at all means that the problem is in case (2), feasible and bounded. Then claim

"objectively better optimization"

is essentially not possible.
I would like to point out what “makes sense” to people rarely reflects the underlying fluid dynamics at the relevant scales. Couple that with a poor understanding of just how many particles one infected person emits and it’s clear masks as worn are very ineffective for the vast majority of people.
ChatGPT subscriptions not taking effect
One of the designers said that they had to dumb it down to the lowest common denominator Google engineer.
Thank you for the kind words, I am happy that you liked it :)!

The best way to support my work is through Patreon: https://www.patreon.com/YTomS.
They're not telling you how to compose a video. They're giving you something to compare with as you compose your video. Too many other details will emerge, so it's a guideline and not a how-to.

And, later, those guidelines give a designer an institutionally-bought-in way to talk to someone without talking down to them. Refer to the guideline and discuss the guideline, not "I'm right, you're wrong." It's not meant as purely a technical spec as it may be interpreted by more tech-oriented mindsets IOW.
Personal space ended up not mattering as much in doors with aerosol spread.
There's a bunch of PII, but another issue is a hacker could: refund every payment, start billing random cards, or move money out of their account (this is probably a little more difficult, but they could certainly pay out to the businesses).

Perhaps what they are used more is to start testing cards (we've had this attack happen to our production site on stripe's checkout.js... it'd be much easier if the attackers had our secret key)!

Additionally... if their site is this trivially insecure it won't end here.
Well either the US is especially vulnerable to foreign sabotage or the US is especially vulnerable to self-sabotage.

I'll let others debate over which is worse.
Most school districts want to have students home before the evening rush "hour" starts. Mixing school buses and parent pickups with peak afternoon traffic is something they absolutely want to avoid.
I've been using Golang professionally for about a decade. In that time the only place I've ever needed to use a tree map was an interview that specifically called for it.

Whose usage are you trying to optimize the language for? Golang is not a good academic language. But it is extremely good for actually solving problems with code.
I have actually attempted this recently. I took a small 10M parameter Shakespeare language model used as an example in nanoGPT, swapped out gradient descent, tested various black-box optimizers from what I could find in literature.

It takes 3 minutes to train the Shakespeare model with gradient descent. The black-box methods I tested so far likely take 30+ hours to train (I haven't tried to take them to the end yet). I've hit a wall where progress is very slow. The text generated at that stage has punctuation and words are split with spaces but the words themselves are mostly nonsense. Almost feels like it learned that English is letters separated by spaces, and that you put exclamation marks or periods at the end but not that much more.

There's some larger scale CMA-ES variants I still want to test that don't have quality implementations. I've tried to stare at pictures of gradients and weights from half-trained models and trying to come up with ideas how to get there with black-box optimization. Also trying some original ideas where you compute a gradient, but you would not compute it against a loss function. The gradient would be more for discovering hidden structure in weights, that you would then put on some black-box optimizer as a guide (which I guess makes it not entirely black box. Gray box?)

Possible? I mean, I guess technically. Practical? No way, unless some major breakthrough happens.

My current goal is to just produce a model, even if training takes laughably long so I can say I've trained a language model using nothing but getting a fitness score from a black box function.

Edit: if you are reading this and are aware of any other serious attempts at training a non-trivial sized language model without gradient descent I would want to know. So I can try their methods. I know there's some large scale stuff used in reinforcement learning like in one Uber paper but not in LLMs specifically.
For turning off wasm you're probably better off with something like noscript or umatrix, turning it off globally will cause mysterious problems with an increasing number of websites
> Refusing to teach kids math will not improve equity

What?! Who would seriously propose this?

> California

Oh.
Yes, there are more obese and elderly people now than there were in 1957. No, we can't "adjust" death numbers to place less weight on the deaths of those obese and elderly people in this context. Perhaps it would make some sense to do so if our goal was to measure virulence of the virus, but policy decisions have to take into account the composition of the population as it is today.
People running LLMs on CPU are generally running them integer quantized, so they use fewer bits per parameter.
I've done this exact thing before too in long public software, and yes it works. I think the hot take at the end that this is bad is overly negative. This is what those Windows APIs are for.
With ChatGPT I sometimes prompt "also indicate how certain you are that your answer is correct". Works pretty good actually.
They are just trained to generate a response that looks right, so they are perfectly capable of asking clarifying questions. You can try "What's the population of Springfield?" for an example.
No one, especially the rich, wants to compromise their current standard of living or economic situation for what would be required to turn this around. So we keep on pretending this isn't happening, hoping someone can figure out a way to reverse all of this someday while maintaining the current standard of living.
Aside from the complexity of the autogenerated configuration file, is there any benefit to maintaining it yourself? I recall when I used to have a Windows partition, the 'update-grub' script included with Debian would find all kernels (including custom ones) and other OSes as well.

I'd much rather have to maintain nothing rather than something.
School is out, it will pick up again.
I've heard the drum against clever code for over a decade. This sums it up well:

"Debugging is twice as hard as writing the code in the first place. Therefore, if you write the code as cleverly as possible, you are, by definition, not smart enough to debug it." - Brian W. Kernighan
> where women and transgender people had rights,

What rights do these people not have that others do? Rights belong to all individuals.

> and inflation would be slightly lower as most capitalists aren't as brazen as Trump when he publicly threatened to fire the Fed chair if interest rates didn't come down. If Trump won in 2020 most of the bad political things happening in Florida would be happening to the whole country.

It's hard to say. Tump loved to sirens, and I am no fan of that, but inflation has been coming since Clinton left office. I find it unlikely that Hilary would have reduced the deficit, especially given the unconstitutional business closure orders that many states enacted, which PPP and enhanced unemployment sought to make condition via addressing 5A, but which utterly failed at doing so imo.
Girl dies in Mie after AI suggested not taking her into custody
My point is that no transit (roads or mass transit) can be fully funded by fares as the function is too important. Also, intestate traffic/rail too important for the federal level.

So the idea that mass transit can go to fare-free and rely entirely on government funding via taxes is the logical conclusion.

Transit (like IT in a company) is an enabler/multiplier, not a product.
Just out of curiosity, what prevents you from creating a Twitter account? Does it enable tracking or some other undesirable side effect?
Wait till your great lakes turn into toxic green sludge
Uh Isopropanal?

I suppose that proves the point—or I wonder if he would have made a good chemist had he stuck with it.

"The best part was writing the lab report before doing the lab."

That never worked for me, something unexpected always turned up and had to be documented. That meant a rewrite, my best results looked messy with scratch-outs, corrections, etc.
No one isn't true....
This is really nice but I think I'll stick to this Fallout theme.

https://github.com/shvchk/fallout-grub-theme/tree/master

What is your favorite?
A bit off topic but...

I need some resources for evangelizing GO.

I do not use it, but...

I have a colleague who needs/wants to replace a PHP/Laravel mess. They are talking up Node.js

I think GO would be a better choice

This article is close to what I need, but is there anything better?

The server side code they are looking to replace is handling sensitive financial information and I am very queasy using Node.js in that domain
Lessons learned from re-sharding Postgres at Notion
The Great Re-shard: adding Postgres capacity (again) with zero downtime
Is it possible to run the 70b on replicate?
What drastic measures would you take, that would have an effect by next summer?
Definitely agree. Java massively succeeded on the server. I admit I was a Java enthusiast in 2000 and then my jobs were all C# which is approximately Java :-) better in some ways and not as good in others.
Too late to change now.
That's an ugly position on Meta's part. But Llama models are small, they are not going to be preferred to generate synthetic data, GPT-4 is the darling of synth datasets.
On the one hand, it's nice and quiet here without all the west coast folks, on the other, maybe more liberal folks moving to Wisconsin would turn it blue again.
How Berk built this astonishing 3.9kg road bike (2020)
There's a simpler way to implement COW in userspace: memory map a file. :) All separate maps to the same file share their mapping tables in a COW fashion.
I prefer the gameplay with the lilo skin enabled, personally
Show HN: YouTube Transcript Generator