skysight-inc/HackerNews huggingface dataset:
That’s not actually true, high quality news sites make better returns on views and click throughs hence can charge more for advertising. What makes them high quality is both the quality of writing, which is commoditized by LLM, but also the quality of the fact finding and truthfulness. LLM creators don’t have to train their models with known cesspools of SEO garbage pumped out to dupe search engine users whether by humans or machine. Just because a news paper is entirely written by an editorially controlled LLM fed story outlines by reporters doesn’t make the news any less quality than one artisanally crafted by human writers - the facts are what matter, not that the prose was constructed by a writer. In that case, the news as written by the LLM encode facts provided by a human, and would make high quality material for another LLM. I would anticipate there will be LLM who specialize in high quality source material, hence I don’t think an internet of material written by LLM with human guidance would produce any worse LLM than the ones made today.
It's not a union of those classes, it's a different class, and as you say, it's more powerful, because it can be projected (my reduction adds additional variables) into 3-SAT and SAT instance.

Yes, 2XSAT is the name I gave it, and I couldn't find it anywhere. The reduction is surprisingly simple, yet nobody mentions it. That's why I am warning people here - just based on this alone, I 80% believe that P=NP with a practical algorithm (which either way involves solving linear equations). And I wouldn't be surprised somebody coming up with the algorithm.

The reason why I say it's an intersection is because that's how the set of solutions of an instance looks like. That's what we need to figure out - how to characterize the sets of solutions described by SAT instance (i.e. sets of assignments to boolean variables that satisfy the instance).

However, it's not that easy, even if you characterize them as interesections of 2-SAT and XORSAT instances, set of solutions to 2-SAT is notoriously hard to characterize too, for example, #2SAT is not known. And polynomial algorithms for 2-SAT and XORSAT are doing very different things, and it's not at all obvious how to generalize them into a common algorithm that can do both.
My favorite is to raise the Postgres work_mem value until their queries stop using disk buffers.
>not only your internal thoughts, but also your outward actions, are under scrutiny and subject to control.

Uhh... your outward actions have always been under scrutiny? What are you getting at?
Phew.

I'm happy they're just discontinue the free Cloud version, rathert than changing the licensing for On-Prem :)

... better than Atlassian!
As someone who is not well versed in the current LLM paradigm, how are the LLMs for technical domains trained? I can imagine how a model based off interent text would make for a _general_ conversational partner, but I'm unsure how a model would produce accurate information from such a niche prompt.

Also curious: has anyone created an LLM for circuit schematics trained on HDL code?

Very cool application. It's nice to be reminded that people are actually trying to make useful products in a world where it seems everyone is trying to sell you a solution with no problem.
Surely. I doubt there are any significant biological differences going back even tens of thousands.

But that just makes it weirder. If culture alone lets you see colors differently... then what other basic, fundamental experiences are subject to being so wildly different?
Wow, this looks nice. Thank you!

I've been using GNUPlot in drawing chart in emacs. Plot has much better examples and I'd like to try this instead.
> did your ears perk up for the civilians in donbass getting shelled for eight years too?

You mean the shelling that only exists because of a Russian started conflict with Russian soldiers?.

I feel sorry for those dead civilians but I fail to see how it justifies raping Ukrainian children.
During wars, looting of infrastructure for metals is common: piping and wiring of all kinds. Some do it to survive, others do it for greed and opportunidm.
I think you misunderstand. The main trouble is the amount of steps. The probability that some step may fail and derail the experience is important also but secondary. The fact that some steps are unpleasant is also important.

Scenario: kid 1 has a friend over and wants to show them the occulus.

Materials to locate:

1. occulus headset

2. occulus left controller

3. occulus right controller

4. occulus charger (to recharge when session is done or else next time is a bust)

5. tv remote (so kid can play and friend watch or vice-versa; otherwise its non-interactive turns and not socially fun)

6. chromecast remote (screensharing doesnt work directly to tv, it needs another device to receive)

7. () parent (to help set up the sharing, which requires navigating unfriendly menus on 3 devices with 3 controllers not all of which can be seen at the same time)

8. () parent's laptop (in the event the device facebook got logged out, it needs another device to log it back in)

9. () parent's password notebook

You're suggesting to add:

10. BoboVr battery strap

11. BoboVr extra battery

12. BoboVr charging dock

When everything is located, pregaming steps are:

1. clear area, including move the heavy coffee table back

2. start tv

3. set tv input to chromecast

4. start chromecast

5. start occulus

6. adjust headset straps

7. with headset on, find vr menu to cast occulus

8. with headset off, find chromecast menu to accept screencast

9. with headset on, reset play area and floor level

10. () with headset on, start facebook login

11. () with headset off, with parent's laptop log into device facebook account

12. () with headset both off and on, copy code from vr screen to laptop

Steps with a (*) shouldn't have to happen every time. But the whole process is daunting. Add to it the device is unpleasant to wear and causes vertigo... not worth it.
I bought an m.2 coral TPU directly from mouser, it took 5 months to get here but it was only ~$30 IIRC.
Conversely, you can start putting ALUs and matrix multiplies in the DRAM.
On STM32 you typically need to go to STOP mode (called deep sleep in places) to get significant power savings. I had F0 and G0 waking up at 100Hz plus on pin interrupts (with maybe 30us latency) consuming 50-100uA (compared to maybe 20mA without sleep). I’m pretty sure you can do better on the WB since it’s actually a low power part, but it all depends on how complicated your software stack is. For example, to get the low latency wake up required only using the low level HAL and custom clock configuration.

Nordic parts are easier - they actually have low power sleep that is fairly automatic.
Building Human Intelligence at Scale, to Save the Next Generation from ChatGPT
Anecdotal, but that seems about right looking at my circle of friends and acquaintances in Germany. I know lots of people with iPhones, but very few of them have an Apple Watch. The only ones that have one tend to be hardcore Apple fans that own pretty much every Apple device.

I don’t think it’s really an affordability issue but more so that most people (myself included) don’t really see the point of the device. Heck, I actually own one as a hand-me-down from a friend and I still can’t be bothered to charge and wear the thing.

Im addition I think Apple watches sort of have a stigma as an unfashionable 'nerdy' device here.
https://archive.is/SdgTB
Nope. You added nothing of value. You can be a fool and deny numerous forms of narrow AI while AGI is a flying car distraction that doesn't matter. It is your error conflating the two.
Unfortunately although it annoys you it might still be profitable. If you have a groundbreaking product like OpenAI then you don’t need to do any of this. If you are one of 100 vendors in the X industry then you probably do!
That's about when you should rewrite a project from scratch vs incrementally improving it, but of course it depends on the size of the project.
Thank you very much . Much appriciated. Will do.
You existing affects the environment.
If people want repairable tractors so bad why aren't they willing to pay for it?
> By using Firefox you support Mozilla, so you support the CEO financing political campaigns you don’t agree with.

I use Firefox because it's a functional browser with the best uBlock Origin support. Whatever political campaigns the guy in charge contributes to is not a factor, it's not even something I think about at all. I shouldn't even have to know who's in charge, if that information ever comes up it's probably a sign something's wrong.

> It’s simple, the guy had to go.

Mozilla is clearly worse off for it. Looks like the guy went and made another browser and now it's eating at Firefox's market share. Kind of ironic.
Here's an example https://observablehq.com/@jonhelfman/plot-violin-chart-with-...

We don't have a good KDE built-in yet, but you could upvote https://github.com/observablehq/plot/issues/1469
Dell Latitude 5411: the Linux compatibility sweet spot
> Just don’t start hand-coding asm to speed up your config file parser from day 1.

The comment you reply to is talking about thinking about performance even during initial design. Based on your last sentence, you seem to be the only one thinking of micro-optimizations.
I wish we didn't have blogspam on HN but theinformation.com, which used to unlock certain articles for HN readers, doesn't answer my emails anymore. Totally fair on their part but the story (and thread!) are interesting and only the blogspam is publicly readable...so here we are.
Fuck It Ship It
Wait who still uses that?
Some labs are developing analogue chips instead of digital
How Is Management of Google CEO Sundar Pichai? Too Soft [The Information Report]
All voice assistants seem bad, but Siri seems particularly bad. God forbid I ask it to do something simple such as playing a specific artist or album on Apple Music or ask it to turn off lights I've configured in the Home app.

"Siri, please turn off all the lights in my apartment."

"Sure, which room?"

Sigh.
Correction: apaaat
The 2XSAT has clauses that are from 2-SAT or XORSAT. So it's a generalization of both. The solutions (boolean variable assignments) must satisfy both 2-SAT and XORSAT part of the problem, hence the solutions of the 2XSAT instance is their intersection.

There are in fact problems that are both 2-SAT and XORSAT, but they seem to be rather trivial - those are linear equations that have up to 2 variables per equation. But that's not what I am talking about.

I understand why people are confused with my off-hand comments, but I didn't plan to explain my approach here in detail, and I typed the first couple of comments when I was at work on my phone, where being precise is tedious.
Performance isn't all first order wallclock time stuff. If you rarely enter one part of the program but that part accidentally deletes all your caches, everything else is going to get slower afterward.
Excellent product! I’m curious how you are communicating data from the project and handling memory to ChatGPT, have you found it handles new external data well without first modifying its format or structure or have you had any memory issues?
Comments are filled with snark. But I see 30% of the threads on this board being about AI lately. Facebook is a hugely powerful entity. Aren’t there some important discussions to be had about how these giant corporations choose to intermediate their empires with this new revolutionary tech? Cmon guys.
Nice! What prompts did you use to generate that?
Ask HN: Spotify Playlist Radio vs. Recommended
I often use the playlist radio feature, which is good. However, if I'm just listening to the playlist and I get to the end, it'll start playing the "recommended" songs in the list at the bottom. I find this algorithm to be superior to radio.

When I look at the songs in playlist radio vs the songs in playlist recommended, there's rarely overlap.

Seems strange that these two features aren't using the same algorithm. Any experiences? Or maybe a dev could chime in?
What $15 USB SDR can transmit? All the ones I have only receive, and to transmit I'm seeing more like $100. At $15 I would buy one immediately.
1. I look for a paid course where possible. If someone is taking your money, they make a commitment to teach you. As with salaries, people will charge more when they can get away with it. Think of the ROI - that $100 course will likely increase your TC by more than $100 within the same year. Many free courses do not make that commitment. About 90% of the free ones are incomplete in some way. Plenty of free courses are just a form of marketing for freelancers and job applicants.

2. Apply the knowledge. Al-Ghazali said that knowledge without practice is useless. One can have ten sharp swords and know how to wield them, but it's wasted resources unless used in battle. You can learn something abstract like functional programming, but it's only useful when you start thinking about how to apply it to your work. Maybe it lets you write better functions or easier to understand code, even if you're not adopting the whole paradigm.

3. "I wonder if these high-rank players no longer need help or are capable of solving all problems on their own?"

Get used to reading primary sources. Invest time in learning to navigate docs. ChatGPT is awesome for this. It's there to help you find the right terms, tools, or methods, but you should refer to the primary docs, not the AI response. You can even use ChatGPT to decipher the docs if you're not used to it.

4. With new tech, e.g. AI, web3, blockchain, frameworks there's usually this mental block that comes from fear/hesitance. Figure out how to get rid of that block first before trying to tackle the material. Otherwise you'll be expending lots of energy against your own mind.

5. Learn the hard things early in the day. Major things have an energy threshold. Some people will practice easy things early, like increasing typing speed or Duolingo. You shouldn't eat the frog first thing of the day, but learn to warm up as quickly as possible. Also allocate a little time to figure out your top priority to spend energy on the next day.
Booking.com requires the cheapest price, unless you are talking about the price from the hotel’s rewards program, which they will push very hard. It’s a contract loophole that works out for everyone except the non-savvy (or privacy-conscious) consumer.
That seems extremely unlikely.
I read the book a few years back. It was far more out there than any of the summaries I'd read of it years prior. Chapter after chapter, he made the case that no one in the ancient world ever used a word that indicated they had any will of their own. That they never had epiphanies or insights or even true thoughts.

That when they did act, it was a big booming voice inside their head that they took to be the voices of various gods and deities, guiding them through life via micromanagement.

The wikipedia article does not really do it justice.

I wish I could dismiss it as woowoo nonsense. But far more recently, there are credible reports of circumstances where because a bunch of people were dancing, those who came near them and noticed started dancing uncontrollably themselves, for days on end. Some even dying of exhaustion.

The software that is the human mind is buggy as shit, easily put into bad states, and networked enough that glitches are apparently contagious.
Indeed. Several dozens wars are ongoing.
https://en.wikipedia.org/wiki/List_of_ongoing_armed_conflict...
Grokking
An individual contributor’s guide to roadmap planning
Where does sqlite fit into the heuristic? I thought for toy apps or small sites it might be an even easier option and cheaper.
Just like the gold rush, the ones making the real money will be selling shovels and pickaxes.

So, OpenAI is likely going to make the real money.
Yet if you painted something imitating the style of Mickey Mouse that would not be legal. The law specifies limits and restrictions even for paintings completely of your own imagination too.
> that making new nanoparticles

I hate all the buzzwords around "nanoparticles", but here we're talking about "nanoparticle" encapsulated mRNA-- like is used in the mRNA-based COVID vaccines.

Here, the formulation is intended for inhalation instead of injection.

And it's carrying CRISPR machinery to do gene-editing.
Compared to C/C++, I’d say the Rust standard library is very feature full. Regarding crates, they are super easy to pull in compared with random C/C++ libraries, and the crates generally are fairly high quality.
In San Francisco, one person dies of an accidental overdose every 10 hours
Essentially. And the poorest of Americans lack the balls to effectively stand up to abuse after abuse. Jan 6th was as stupid and misguided as the Unabomber. Most drown themselves in video games, drugs, smoking, sex, hopelessness victimhood, and conspiracy theories headed to misery and deaths of despair. A healthy society doesn't have the volume of suicidal and omnicidal individuals armed with weapons of war who decide to take out their frustrations and misgivings on random bystanders.
Definitely my HN moderation browser extension, which lets me flip through HN super fast and do routine mod tasks without gruntwork.

If I live long enough, I will factor out a general-reader version of this that will bring joy to HN power users everywhere.

It requires a keyboard, though. Do the kids still use those?
Knuth's comments on optimization are very nuanced. I beg people to not use the phrase "premature optimization" without reading what he actually said.

See page 8 of https://pic.plover.com/knuth-GOTO.pdf
This is great I love seeing these new benchmarks that people are making to really challenge the strong new LLMs. In Table 4 you can see how GPT-4 is so much better than the previous GPTs, and also how it has so much room to improve on this benchmark! I'm so excited to see how the next GPT will do on it! This is different from other benchmarks like GRE verbal or biology olympiad where GPT-4 has just smashed the test getting basically every question right and for which the results of the next GPT won't be so interesting.
I don't think the structure of the "business requirements" argument is correct, and I will try to explain why.

To a first approximation, the reason modern software is slow isn't due to failure to optimize this algorithm or that code path, but rather the entire pancake stack of slow defaults — frameworks, runtimes, architectures, design patterns, etc. — where, before you even sit down and write a line of "business logic" code, or code that does something, you're already living inside a slow framework written in a slow language on top of a slow runtime inside a container with a server-client architecture where every RPC call is a JSON blob POSTed over HTTP or something. This is considered industry standard.

The "business requirements" guy is basically saying, I have to ship this thing by friday, I'm just going to pick the industry standard tools that let me write a few lines of code to do the thing I need to do. Ok, but that's the tradeoff he's making. He's deciding to pick up extremely slow tools for the sake of meeting his immediate deadline. That decision is producing unacceptable results.

It's not enough just to say people have different priorities. Selecting an appropriate point on multivariate system of tradeoffs is part of the skill of being a programmer. And if there's no point on the curve that delivers acceptable results in all categories — if, given a certain set of tools, it's not possible to ship quickly and deliver acceptable performance — then it should be an impetus for the programmer, the craftsman, to find better tools, improve his skills, push the "production curve" outward, until he can meet all the requirements.

For instance, a large percentage of modern programmers don't really know how to program from first principles, and tell the computer to do precisely and only the thing it needs to do. Essentially they only know how to glue tools together. Then in their head they're like, well gee, given that skillset, I could either (1) spend a bunch of time optimizing "hot spots," writing crazy algorithms, heroically trying to fight through all that slowness... or I could just (2) deliver the business logic and call it a day. Then they call this "prioritizing business requirements." No, there's a third, alternative, better option, which is to use better tools, which might initially be harder and more time consuming and less ergonomic to use, and then learning to get good with those tools, putting in the practice, recognizing patterns, thinking faster over time, coding faster... all of this is part of what mastering the trade of programming is about.

At the end of the day, there is just an ethic of self improvement and craftsmanship that is totally missing from programming today, and it surfaces whenever this debate comes up.
This is actually a borderline case. One could imagine a good HN thread sharing memories about Springer and thoughts about his impact on the culture. IIRC, he himself was more interesting than those prime-time bloodbaths implied.

On the other hand, there are stories where it's to HN's advantage not to cover it, because it provides a marker about what kind of site this isn't. "That what we not do", as my son said when he was 2. That's your argument too (obviously) and I appreciate your standing up for the site guidelines!

We decided for the latter rather than the former, but I'll stick up enough for Jerry to say that it wasn't an obvious call.
Ask HN: Will bionic-reading crush my project if I use it?
Hi, a while ago I created this project called [kindle-send](github.com/nikhil1raghav/kindle-send) which can send webpages and other docs as epubs to your ereader.

I saw [bionic-reading](https://bionic-reading.com) on HN. I understand it is pretty easy to replicate by making ceil(len/2) letters bold. That's why they filed for a patent.

Now I want to add a flag in my project which will do the same thing to documents before sending them, but I'm uncertain about legal implications.

Should a simple thing like this even be granted a patent?
not sure I am following you any more, but pretty sure XP is way older than Oct 2021

Your experiences were biased by being someone technical, windows was widespread, I know of a place still running XP as recently as Oct 2021 tho... there are some business that don't take updating seriously, so what you saw is not evidence of the general population.

Back to the point, it's best not to rely on your feelings when it comes to judging ChatGPT's accuracy
Althought not widely available, Windows 10 LTSC 2021 will have mainstream support until Jan 2027 instead of Oct 2025 for regular editions.
I think people have managed to use the GPIO pins as a bit bang transmitter.
I’ve had one of these sandwiches and it is indeed a simple but memorable treat.
We have things in the air all around us that are small, stay floating in droplets well, contagious, and self-replicating (viruses).

We know how to make things that are lethal in incredibly small doses.

Compare to this, which is not likely to stay in the air well, not self-replicating, and not-contagious, and would require larger doses for lethality.

Sure, we should be careful with any new technology, but the options to weaponize this or to have unexpected bystander externalities seems really small compared to other established technologies and risks we bear.
I like the analogy, it nicely sets the perspective.
Hunting hotspots is a great way to find out where you’ve done dumb things, but it can’t show you where you haven’t done smart things.
yeah it worked for me. CF is now basically a bad dream.
GPT 4 is a massive improvement in this regard.

Copilot specifically asked me to provide the capacitance value for the capacitor closest to the comment pin in response to my question about optimal resistance for a resistor. Once I provided the value (by setting it in the tool, not by typing it in the chat) and asked it to try again it thanked me for the new info and gave back a good resistance value and how it arrived at it.