skysight-inc/HackerNews huggingface dataset:
> If you exclude the programmers who are incapable of writing FizzBuzz

FizzBuzz really is trivial. Binary search on the other hand is deceptively tricky[1]. It was well over a decade from its discovery to the first correct published implementation! No doubt if asked to write it, you'd look it up and say that's trivial, all the while double checking Internet sources to avoid the many subtle pitfalls. You might even be familiar with one of the more famous errors[2] off the top of year head. And even then the smart money at even odds would be to bet against your implementation being correct for all inputs.

And if you had to do it just from a specification with no outside resources? Much harder. At least unless you know how to formally construct a loop using a loop invariant and show monotonic progress toward termination each iteration. Which brings us back to the original submission. There are some programs that are pretty much impossible to prove correct by testing, but that can, relatively easily, be shown to be correct by mathematical reasoning. Since this is a comment on a submission by Dijkstra, here[3] is how he does it in didactic style

> If you mean "could sit down and write one that worked the first time without testing", then yes, you could be write. But could not write one at all? I don't buy it.

Yes that's what "correct" means. Code that only works sometimes is not correct.

[1] https://reprog.wordpress.com/2010/04/19/are-you-one-of-the-1...

[2] https://research.google/blog/extra-extra-read-all-about-it-n...

[3] https://www.cs.utexas.edu/~EWD/ewd12xx/EWD1293.PDF
It's definitely worth a try if you're not satisfied with DDG's results. They seem to more closely match Google & have a few more privacy features, such as visiting a page through their anonymized proxy.

I've been quite impressed with Brave's search, tbh. They do have optional AI answers & I've been happy with the results.

More info:
https://www.privacytools.io/private-search

https://www.privacyguides.org/en/search-engines/
We use a garbage collector to error restart if a job is not served within a specified amount of time.
"Incrementally owning the means of production" can look like a lot of things.
Contributing to a 401k that's invested in an index fund. Employers granting shares to employees. Unions owning shares in the company. I'm sure there are others that have not occurred to me.

Do you have a preferred approach, or is the big thing just getting workers to own at least part of the means of production?
You can still buy a Raspberry Pi 3. The more recent models can run without cooling; they will throttle if necessary.
That recent Wasaga Beach controversy didn't come as a surprise to me, since what was described there corresponded well enough with what I've heard from a number of other people in various places in Ontario, BC, and even other regions over the past eight to ten years.

What was described there is also not far off from the other unsanitary practices and obnoxious behaviour I've personally seen arise over that period of time.

Considering what I've heard and seen over the years, I don't have any reason to doubt those latest claims. They sound quite plausible.
That makes sense. Are you currently using something more involved, e.g. Form Spree?
The world's oldest person is dead, long live the world's oldest person!
I used shadcn ui and components.bridger.to
Well, the critical answer had a very large flaw in it.

The 4th amendment mostly prohibits seizures by the government. It has nothing to do with what the government is allowed to have [1].

Private data is not protected by the 4th amendment anymore than public data is. The government may not seize your private data without a warrant. This applies to say Equifax as well, the government cannot seize Equifax's records on you. However, giving Equifax money and Equifax giving data is an exchange / transaction / not a seizure so it doesn't matter.

A much more minor flaw is the argument that "you or I" can't buy this data.
1st because it's just false. Journalists have fun buying this data all the time. 2nd sometimes goods are sold to qualified customers. Try buying a jet fighter; its do-able, people own harriers (just not the guy Pepsi owed one to).

---

The sub-point in the critical answer that I think is the much bigger deal is the lack of transparency. Your publicly funded police department should not be able to obscure where they're spending money.

---

However, the article brings up an example not address by the critical answer. "This included paying an administrator at a private parcel delivery service to search people's packages and send them to the DEA".

That sounds a lot like a search by the government (or it's agent).

[1]: https://constitution.congress.gov/constitution/amendment-4/
I strong recommend you to do not start doing this without talking to your landlord first.
I think you mean 110 and 220 volts.
The neat part is that it's almost instantaneous, but not quite.

How electricity flows through analog circuits and chooses the right path is another fascinating subject. Seeing how it actually works "in action" seems to glimpse some insights into ultra-fast computing paradigms: not just computing with analog circuits, but also structuring computation like circuits.

https://www.youtube.com/watch?v=2AXv49dDQJw
I wouldn't lump Cardinal and MiRack. The latter is more audaciously wrapping an outdated VCV and selling it on the App Store. I would like to throw my bones at VCV for such a thing. Hopefully they are working on it.
FWIW, this is my implementation of this reverb in Rust: https://github.com/cornedriesprong/cp3-dsp-rs/blob/main/src/...
Or 4.2672m, for the rest of the world. :)
>we’re talking about LLMs here, not something that does “perfect word prediction”.

The argument presented to me was that LLMs can't be intelligent because they're word predictors. This rests on the assumption that a word predictor must not be intelligent. So we are talking about word predictors. I am arguing that the assumption is false, that a member of the set "Word Predictors" is not necessarily unintelligent. A perfect word predictor is a counterexample that I use to demonstrate this.

>I don’t know what a perfect word predictor is supposed to be… there is an endless series of prompts for which there is no single right next word

A perfect word predictor must always predict an accurate word. It is no more accurate to say the Eiffel tower is 330 meters tall than to say it's 1083 feet tall, so 'perfect' does not restrict one to a single choice. I don't believe 'perfect' needs to be redefined for that to make sense- a perfect sandwich is no less perfect if you rotate the bread 180 degrees.

>I think a large proportion of intelligent people would be unable to answer [sqrt(n)]

Yes, a perfect word predictor would be considerably more intelligent than people. Indeed, it would need to be maximally intelligent.

>Meanwhile, a very simple and distinctly unintelligent computer program could be great at [sqrt(n)]

As I said, sqrt(n) is just one example of a prompt for which memorization would be insufficient. It would still need to predict words perfectly across all other contexts. It would need to be able to prove theorems, solve riddles, invent recipes, win/tie chess games, tell you what you're thinking right now, etc. If it was capable of this and you didn't think it was intelligent, I don't know what to tell you- what criteria would it not be meeting?
Except all this counted on constant growth and with huge environmental debt. I agree on philosophy though, we need better understanding why we need all that growth, or do we need it at all.
More info: https://wordhistories.net/2022/12/05/garbage-in-garbage-out/
Grateful to had been in the right place, time, universe and mood to had clicked this article.

Impossible not to read in one breath.
I’m sure there are 50 other ways you could categorise all the code that it searches. Nobody said that it exhaustively searches all available open-source code. I’m sure you know that that’s an impossible claim. This isn’t a correction at all. It is, at best, an elaboration. Certainly not worthy of the snark you’re giving. The reality is that GitHub hosts >99% of all open-source source code that anyone really cares about. If you have some philosophical issue with it, that’s fine, but don’t shoot the messenger by attacking individuals.
If you like Kate you should check out kdevelop. It uses Kate as a core and expands on it.

Much more project management tools and more advanced IDE-isms. It's primarily for C++ but, of course, has all the LSP support of Kate.

You can follow definitions, visually set breakpoints, automatically lint your code, etc. But one of my favorite rare features is the Class Browser. Being able to visually see a class hierarchy is very valuable, particularly for GUI libs and stuff of that nature that really leans into inheritance.
There was a guy Michael De La Maza who literally just drilled tactics and broke 2000 USCF and then quit chess, and if you look at his games yes he really really did not understand openings. So 1400-1600 is well before when you’re going to plateau without knowing openings.

1400 yes learning a trap line can improve your results, so if you subscribe to the Eric Rosen school of opening theory you can benefit from openings. I’ve just never thought it’s worth learning much about conventional openings until about 1600.
We can be flexible with the maximum number of days you can schedule in advance. You can send a message to support to get help with this.
>When I saw it I also thought of the Australian beetles that hump beer bottles until they die,

The human equivalent might be an AI generated image of woman(or man) so attractive they cant exist.
This reminds me of this sci-fi book called Children of Ruin where in a terraformed world, a genetics experiment goes wrong and the whole place is now overrun with super-intelligent giant spiders, who were infected with the uplift virus and have built their own civilization in the meantime — and who are protected from orbit by the immortal computer intelligence of Avrana Kern, who has determined in the intervening centuries, that she likes the spiders better than people... Nice reading! Recommended!
Show HN: Music app that helps you focus
How long til we're all on Ozempic?
Bloom filters really need to be more present in today’s technology landscape. They’re like magic for certain problems. I believe they have much wider uses than the current subset they’re relegated to.
The thing is, when you dig into the claims many people make when they say that they get a 10x productivity boost using "AI" its usually some basic tasks that either generates boilerplate code or performs a fancy autocomplete and while those are great, in no way it supports their original claim.

I think people just want to be part of the hype and use the cool new technology whenever possible. We've seen this over and over again: Machine Learning, Blockchains, Cryptos, "Big Data", "Micro Services", "Kubernetes", etc.

I just don't think the current design of "AI" will take us there..
Great, thanks!

I was probably not stable enough showing it to the webcam and had more luck with the sudoku lying on the table and moving the webcam.

The lightning was also quite important in getting the grid recognized.

Nice job :)
> I’ve talked to a lot of people who cannot consistently perform at the mistral-12b level

This is honestly one of the most gpt-2 things I’ve ever read.
Some amazing tools from this guy : hip hip hooray for more :)
That book is poison: Even more Victorian covers found to contain toxic dyes
I agree with the article, but I think there's a greater principle here that it misses – UI that obscures other UI is bad UX.

It's a lazy cop-out to avoid having to figure out how to integrate important elements into the design of your page.

I find Google/Material Design's floating action buttons very frustrating.
Show HN: Vercel and Resend Integration
I could not disagree with you more.

It is something you will need to explain to children at some point, and doing so over a light hearted story is an ideal approach. Shying away from the difficulties of bringing up a child isn't something you should be doing.

Besides, the best children's books are also fun for adults! (I raise you Roald Dahl's 'Boy' and Judith Kerr's 'The Tiger Who Came to Tea')
> My main point though is that these discussions suffer and don't go as far if they turn into a discussion about the value of the content as opposed to simply discussing the type of content we're looking to promote.

That makes sense. I think I mostly agree with you.

I do think that some values are objectively better than others. I believe, for instance, that societies that survive while other decay, do so because they happen, intentionally or accidentally, to discover or adopt objectively better values. Sci-fi is an especially well-placed genre to think about such questions: What got us here so successfully? What will take us into the future?

The practical definition of "things that advance humanity" is: the values/priorities/ideas that enable human civilizations to survive and not go extinct.

> I know plenty of people who'd argue that helping people understand the relationships in their life as advancing humanity.

I feel bad that such people are having so much difficulty that they need a stream of new novels to understand their relationships, assuming that these books even succeed at that. But such is life I guess. :-(
I've been meaning to give this a shot myself. I do like netboot.xyz's maintained catalog for convenience, but when I self hosted it (to get the caching proxy benefits), I felt that cache cleanup was a little clunky (basically, go into the cache dir and delete the ISO/image). For the few times I need to install an OS on something, it'd be totally fine to grab the image and stage it on the PXE server.
Stack Auth
I'm currently a backend lead. Yes, it requires much more than usual effort to deal effectively with team of junior engineers. To be more detail.

1. Be clear and concise when explaining and demonstration. The more clarity, the better.
Lead with examples is always the right way. And it needs time to change the mindset of the juniors.
The benefit is, one day, they will bring back good ideas/feedback for you and the team.

2. Always challenging what the manager told us, because they have different mindset ! Do not assume everyone is on the same page.

3. Surely, depend on type of problems, the recurrent meeting is nessessary to make everyone on the same page. Confusion is the evil for everyone.

4. Documentation as code, code as documentation.

5. Work smarter, not harder.

6. Do not be afraid to be wrong ! Be wrong and you'll get the right explanation from team members.
Yeah, it all depends very much, given how huge the "embedded/IoT" spectrum is. Each use case has its own unique constraints, which makes it very hard to give general advice.
The big stack game of LLM poker
We actually are in agreement, especially re pluggability.

Whether it's an extension or "AI first", the impact of AI on IDE's will be massive and an IDE that doesn't do it well will be barely used.
Go Channels slow down with more CPUs
Even in that case they did the behaviour change properly:

> To ensure backwards compatibility with existing code, the new semantics will only apply in packages contained in modules that declare go 1.22 or later in their go.mod files.

CMake and Rust and Android and lots of other systems have mechanisms like this that allow you to introduce opt-in breaking changes, but unsurprisingly Python doesn't. They just decided it was ok to start breaking backwards compatibility.
I've been getting a lot of traction over the past 10 years with Debian multistrap and just the kernel from the BSP. I've never needed Buildroot or Yocto.
That one is true.
unrelated but curious - what do you think of OSTree-based embedded distros? Any future in it?
The policy was that if a user lands on the page from the Google search results page, then they should be shown the full content, same as Googlebot (“First Click Free”). But that policy was abandoned in 2017:

https://www.theguardian.com/technology/2017/oct/02/google-to...
When I was a kid, I remember reading that the Earth's smoothness is comparable to a billiards ball. This was always hard for me to intuit, so I built out some visualizations to try to understand this better!

Built using Three.js and Vue, using data from the Copernicus Digital Elevation Model
It's called a "superstimulus" https://en.wikipedia.org/wiki/Supernormal_stimulus
Eh, there's a reason there's selling location data and not the contents of your phone calls.

It's not the goodness of their hearts, the police would love to have a phone conversation where you describe where the drugs are. Instead the same wire-tapping laws apply to companies _and_ governments. (hence why companies don't record all the calls you make on your corporate phone but sure as shit can search through all your corporate emails).
Really? I thought the content was interesting and it aligned with a lot of my thoughts. The end has a lot of practical advice- any junior who follows will probably be extremely successful. To that end, I think the title is a little clickbaity. I prefer the half glass full view - juniors have more access to rapidly learn and improve than they have ever had before. They can blow past the sea of mediocre seniors who don't bother to keep up.
Unless they use a proxy every internet interaction contains the originators ip address. It's how you are able to respond to it.

Assuming you are developing node.js on a server.
The next line kind of makes connection between the two:

"We are hardly less primitive: why do we persist here in answering the telephone with the most unhelpful "hello" instead of our name?"

Implying that giving away your name to someone who doesn't know it yet is a similar kind of superstition, but its definitely a sane safety measure, as we know today all the crazy examples of what social engineering and elaborate scamming can do.
Climate Change's Latest Deadly Threat: Lightning Strikes
I love spiders!

Just kidding.

I block them by putting a transparent cup over them, slide an open book cover beneath where they stand, so that they must enter on top of it, close the book, and off we go - I, the book, the cup that I press with all my force, and the spider trapped inside - to the nearest opening in the building, wishing them the very best on their new way of life, outside, and for me to live and thrive.

In my apartment, and I swear this is not a joke, most of the time I use "NoSQL - A Brief Guide to the Emerging World of Polyglot Persistence - Distilled", as my main transport mechanism.

Anyway, to the point. Similarly interesting behaviors of spiders include using web vibrations for communication and sensing, apparently even including tuning. You can easily google (is this still a cool way of saying "search"?) related articles, just ignore the web apps Vibrations API article on the MDN.
Imagine the consequences of 390,000 user accounts compromised in a matter of seconds — data exposure, financial loss, and reputational damage that could take years to recover from. This was the reality we faced when we discovered a critical vulnerability in one of our client’s applications. Thanks to our proactive approach, we were able to prevent what could have been a catastrophic breach.
NXP is probably the best "big" vendor for this. The main issue is that their documentation solution/website is awful.

I think a smaller vendor like Toradex is more in line with what you're asking for though. I haven't used them myself, but I've heard very good things. First class yocto support is a core part of their offering.
I'm a VSCode extension author and I don't really know what you mean by "inconsistent undocumented API". Do you have any examples?
So much discrete circuitry and now any bum can get the same performance from a 15 year arduino
I think a GPU is overkill. In the guitar world, there are dozens of insanely high quality reverb pedals and they all only have some basic chips in them, no GPU necessary.
>>management refused to accept ... that the situation was different

Yes! Seems that the compliment of Uniqueness Bias is Normalcy Bias. Two cliffs to fall off of on opposite sides of the path.

Makes me wonder how a similar study on projects failing due to Normalcy Bias (failing to recognize the uniqueness of a situation) would turn out, and in particular, which bias produces more and bigger cost and/or time overruns. I.e., which is the least-bad side on which to err?
Stripe Built One of Silicon Valley's Best Engineering Teams (2013)
Science Fiction has a long history of exploring the political climate of the day by extrapolating from the current period. Frankenstein is a good classic example of course but even something like War of the Worlds has many possible interpretations some of which are deeply political.

I'm all for awards which promote hard sci-fi. I also appreciate that for someone who's looking for that sort of novel the latest awards feel like they might put that genre at risk.
Why Satisfied Customers Defect
In January Waymo began testing on highways in Phoenix.
Interesting! I hadn't seen that term. Thanks!

I don't like their implementation though. If one thinks from natural principles, one has to reject the idea of licenses on ideas.

Early source is in harmony with nature.

Also "Early Source" rolls off the tongue better than "Delayed Open Source Publication". ;)
EU to hit Teslas imported from China with 19% tariffs
>I just want a compelling game

K, instead of crying, can you give an example of a compelling story that isn't in some way political?
Common sense, having been around cloud operations for a bit. The big cloud providers run gross margins around 30%. So if openai are using MSFT and getting a "good deal" maybe MSFT only get 20% GM. So, $1 of openai compute costs MSFT say $0.80. Of that cost of providing the service, something like 30-40% goes to electricity. So, lets say the electricity cost is $0.30 for $1 of OpenAI compute. (And that's probably a steelman, I think it's actually more like $0.20. )

There is about zero chance OpenAI are running their service at a 70% negative gross margin.
I heard a sleep expert say that during the night your logic and reasoning abilities are greatly reduced. I think it was in relation to dreaming, you don't want to apply much logic to that stuff.

That's why trying to solve problems in the middle of the night just ends up in stress.
> there is no level of violence and gore that's off-limits

This is a PG-13 film. It's necessarily limited. I find it weird that you feel that strongly about a decades-old film.
Toasts literally disappear..
This sounds quite a lot like "trick people into taking risks I don't want to take myself", not sure that's bound to produce socially good outcomes...
Sometimes I feel like if we had a video like this for every concept we’d be in Star Trek utopia by now.
This was custom configuration process tailored specifically for that one client and it was written in a detailed instruction with each step tested and with screenshots. Apparently that instruction was not distributed internally at our client office. So mere existence of instructions is not often enough, you will still get very confusing calls about how to attach toaster to 36V to charge a wallet (when you did not send any toasters or wallets and client just wants your premade pizza).