skysight-inc/HackerNews huggingface dataset:
That kind of reasoning only works if the language or ecosystem has some kind of compile time error or linter or comprehensive testing that will catch the error if the preconditions ever change. One way of doing is is encoding the preconditions in the type system. Another is through fuzzing

If you keep the preconditions informal and never check them, the code becomes brittle to modifications and refactoring. For a sufficiently large codebase you almost guarantee that at some point you will have a SQL injection bug.

That said, using prepared statements isn't the only way to guard against SQL injections. You can also use a query builder that will escape properly all data (provided this query builder itself is hardened against bugs). Using dynamic sql is the only way to make some kinds of queries, so a query builder is a must in those cases.

What you shouldn't do is to use string concatenation to build query strings in your business logic. It may or may not contain a bug right now, but it is brittle to changes in the codebase.
The corresponding mouse, MX Master Mouse (I think is the name) from Logitech has the same feature. Its a button which cycles through the three saved devices, so 2->1 is 2 key presses so not exactly 1. But its really a great feature. Literally a killer feature for me that I don't know why everything doesn't have it.
That's a very good question.

We see these articles all the time, and they somehow don't get scaled up.
You'd think they'd at least scale this up to the size of a typical rooftop solar panel before issuing a press release. So what's the problem? Uses some expensive material? Hard to fabricate at scale? Doesn't actually hold up in bright sunlight?

Go back and read their previous "breakthrough announcement" from 2020.[1] That has more useful info. That system used some expensive aerogel. The process is a bit clearer, During the daytime it evaporates salt water and condenses the vapor. During the night it back-washes the wicking material. Whether this can actually work with some simple device floating in a pool of salt water is not clear. The experimental systems all have plumbing, pumps, and instrumentation.

If this is for real, please scale it up to at least kiddie-pool size before turning on the PR department.

[1] https://news.mit.edu/2020/passive-solar-powered-water-desali...
That’s a good point. And that’s not even to mention the hit to their brand reputation, which historically they seem to care about more than some other car companies.
It could definitely benefit. And if KiCAD wants to support larger systems then one might even argue they're required, eventually.

What I mean is not all nets are created equal. Is this an edge sensitive gpio or a level sensistive? Is this a net with a cap a current that's being integrated or edge rate control on a clock driver? A person knows because they can read the datasheets. The way for the algorithm to know is routing constraints, and their fairly tedious to write correctly which means for there to be good ROI on the time spent writing them, the algorithm needs to do a lot of work for you.
Thank you! Added to to-read list.
I'm not disagreeing with you (yet at least), but can you name some of these successful FOSS projects with no elements of capitalism so I can better understand? The only ones I can think of definitely have some elements of capitalism, whether it's people using it at or for work, or contributing to it as part of a work dependency/project. But of course my limited recall is not evidence that it doesn't exist, so I'd be really interested to hear about some.
Also here disposal of water cost nearly the same as water itself. 1,5€/m^3(water) vs 1,41€/m^3... And here it is sourced from artificially rained groundwater. So not most expensive way.
The biggest problem with the way modern people live IMO is the way people raise kids.

It used to be an entire village raising the entire village's kids. That was easy when everyone shared a language, culture, and food. You could trust the cooking of your neighbor 5 houses away, their standards were the same as yours. Then around the industrial revolution and later, that trust disappeared and it started to be one parent working 8 hours a day and one parent raising the kid (for the middle class), and households largely not helping each other.

Today it's both parents working for 8 hours a day, instead of a truly fair society in which each parent working 4 hours and take care of kids for 4 hours. They sold it to us as gender equality ("women and men should both work and both take care of the house" -- sounds great) but instead of redistributing the workload of 8 hours to 4 hours each, they (the landlords, the corporates, the shareholders) took advantage of the situation to overwork both men and women to 8+ or even 10+ or 12+ hours per day when we should all be working 4 if we want a fair, gender-equal society. Add on the problem of unequal pay being given to men and women, the result is usually the women having to give up their career in the name of household income because neither man nor woman's company is interested in letting them work for 4 hours each and the man's company is giving him 3X the woman's salary for the same amount of work.

And there's no village to help each other out when parents get sick or want/need to travel without the kids.

This is probably the biggest reason I'm most likely not wanting kids. There's just not time nor community resources for it. It doesn't sound like fun.
I never liked Agenda (Persisted delayed task queue using MongoDB). This example[1] using Deno Queues & KV is easy enough to be a replacement for Agenda.
It's looking like PostgreSQL vs MongoDB...

RabbitMQ has implemented Streams and "Super Streams":

> Super streams are a way to scale out by partitioning a large stream into smaller streams. They integrate with single active consumer to preserve message order within a partition. Super streams are available starting with RabbitMQ 3.11.

https://www.rabbitmq.com/streams.html
Great content, too bad some of the links are broken now.
You and I have been living under a lint-free rock, apparently.
This is amazing! I've been thinking about writing a debugger (for learning how they work etc.). This series is going to be a massive help!
Ubuntu Budgie is closest thing to Elementary that I’ve found: https://ubuntubudgie.org

Are there other alternatives to consider?
You’re probably right, since both of my siblings with children have said the same. That being said, it’s more about “living close to your existing friends” rather than “how to make friends in your area”. The latter deserves its own discussion too, as I think it’s not that easy.
I can't be bothered to try and meet people whom I could, because I think they might be different to me isn't the flex you seem to think it is.

If you want to be a misanthrope that's fine, but that's on you, not your local community.
But any news aggregator's scope is itself.
>Anyone reading the blog post too fast would assume the kernel maintainer actually said those dismissive words in the gigantic block quote.

That's my case. I only know it was paraphrased because of this thread. The quote pulled my attention before I could finish the previous line.
Asahi doesn't even support all the hardware on the few machines it supports. The only people who consider it "polished" are people who don't use Linux.

The hardware bring up they have done is amazing work, but it's a long way from daily driving. It's not the developers' fault apple uses bizarre webcams etc, but "best Linux experience" is not even close.
Sure, but this code propagates the errors and that has the same problem:

err := db.Get(&latLong, "SELECT lat, long FROM cities WHERE name = $1", name)
if err == nil {
return latLong, nil
}

latLong, err = fetchLatLong(name)
if err != nil {
return nil, err
}

err = insertCity(db, name, *latLong)
if err != nil {
return nil, err
}

In Rust propagating errors is a lot more succinct and easy to do. It is usually what you want to do as well (you can think of Python and C++ exceptions as essentially propagating errors). The special case can be handled explicitly. In Go, you have to handle everything explicitly, and if you don't you can fail catastrophically.

I guess it comes down to what features the language provides that makes it easy to do "the right thing" (where "the right thing" may depend on where your values lie; for example, I value correctness, readability of domain logic, easy debugging etc). And in my opinion, it's easy to do what I consider bad software engineering in languages like Go.
Comparing this to nuclear weapons is laughable.
Well no, the analogy would be if you got on an elevator and it could only be controlled by an app that you have to log in to use
Society's ills? I think we're talking about just SF. The rest of the nation seems to handle things at a better rate, per my comment about NYC where I live. So what is special about SF except lax rule of law?

I agree heavy sentences and private jails and, what is clearly a planned system to take offenders and make sure they can't re integrate into society are terrible and we need reform in the jail system.

Policing, as a deterrent, and arresting for petty crime however are effective. The threat of punishment is an effective deterrent. The fact we have a draconian system after that point is unfortunate, but if I understand SF doesn't even present the threat.
When you start thinking about how to write correct C code, there are a few steps along the way. Glorified linters are a great first step; in the best case, they prove useful safety properties of code (no access to uninitialized variables, etc). From there, static analyzers start proving more complex properties -- no stack overflow, for example. The final step along this journey is to proof assistants, proving arbitrary properties not just with regards to safety, but correctness.

One often overlooked part is CompCert [1], a pretty-much-verified C compiler. All of the tools mentioned above prove properties on the semantics of the C code that is written. These properties are only conserved in practice if the translation of the C code to equivalent-semantic machine code is correct, and the execution of the machine code is correct with regards to its modeled semantics. The first part of this chain of trust is where CompCert slots in; for the second part, in practice, we are at the mercy of our silicon vendors.

https://compcert.org/compcert-C.html
Plugging in the USB-C cable is for charging only, so it would still be a wireless connection. I'd still need to connect via bluetooth or the Logitech dongle. I won't get any of the benefits i.e. latency / lower power consumption of using a wired connection.

I also have concerns about the charger degrading the battery if it's completely plugged in.
This blog post does a good job of explaining how they compare on different use cases:

https://eranstiller.com/rabbitmq-vs-kafka-an-architects-dile...
You guys have friends in real life? I don't even know the names of my neighbors.
Love it -- great workaround for the hallucination problem.
I also think that seems likely, just reading their announcement though they claim eddies prevent buildup and the thing looks like a glass solar still, so the brine may not contact anything it can corrode. Even normal countertop distillers come out cheaper per gallon than an RO system depending on your electricity prices, though that is not with saltwater for either.
Have you been to Canada? It's not hard to walk in a pharmacy and get it.
Xbox Cloud Gaming Is Coming to Meta Quest 3 in December
I actually would support that statement. An AI model is a software artifact generated as part of a complex "build" process. Without having access to the details of the process that generated the artifact, including the training data, it's no more open-source than a compiled binary.
Yeah if a codebase is full of stuff like this, auditing it is awful. It's like, instead of employing computers to check the details your code, force it to be done manually (in an error prone way)
Where on earth do you sit in traffic that doesn't burst up above 40mph every now and then? It's called stop and go, not go consistently below 40mph. Sounds like this wasn't well thought out. In LA, you'd be in traffic going 80, then screech to a halt, then back up to 80. Even on my commute into Downtown Seattle where people drive slow as fuck, there were always openings between onramps where it was no problem to hit 40. That's such a low bar.
We are not anywhere near 160 IQ assistants, otherwise there'd have been a blooming of incredible 1-person projects by now.

By 160 IQ, there should have been people researching ultra-safe languages with novel reflection types enhanced by brilliant thermodynamics inspired SMT solvers. More contributors to TLA+ and TCS, number theoretic advancements and tools like TLA+ and reflection types would be better integrated into everyday software development.

There would be deeper, cleverer searches across possible reagents and combinations of them to add to watch lists, expanding and improving on already existing systems.

Sure, a world where the average IQ abruptly shifts upwards would mean a bump in brilliant offenders but it also results in a far larger bump in genius level defenders.
Being at sea for 6 months does far less damage to a human body that does dying because you were unprepared for a war.

Popular Mechanics is now firmly in the 5th column.
One has to wonder at the psychological forces at play in those who so invested in narcing on others over tweets. The shift to ethereal data streams should've given us more freedom, but instead, too many insist on a digital world where we're pointing fingers and shouting "misinformation!" Where we should be embracing discourse and the messy nature of truth, we're instead building a tattle-tale culture.
I'd argue that it goes against the intent of open source very much.

The idea behind OSS is that you're able to modify it yourself and then use it again from that point. With software, we enable this by making the source code public, and include instructions for how to build/run the project. Then I can achieve this.

But with these "OSS" models, I cannot do this. I don't have the training data and I don't have the training workflow/setup they used for training the model. All they give me is the model itself.

Similar to how "You can't see the source but here is a binary" wouldn't be called OSS, it feels slightly unfair to call LLM models being distributed this way OSS.
New AI experiences across our family of apps and devices
You know what they say...if everywhere you go smells like shit, maybe it's time to check your own shoes.
> I'm a light sleeper and I feel like I have an awareness of everything nearby when I'm asleep

You absolutely don't have awareness of everything nearby when you're asleep. You are inherently incapable of even determining this because you're sleeping. I'm sure you react to some stimuli but that doesn't mean you can expect yourself to react to every potential stimuli that you would want to.
It's handling them to the same level the go code is.
Not to ignite a flame war, but to make a point about daily bread activities:

what was the compilation time of both projects, esp. after using crates like 'anyhow'? How long did it take to have a full fix-build-test cycle in both languages? How many refactorings per time unit could a smart coder do in both ecosystems?
The only information I need: horizontal angle:110, vertical angle 90. Garbage.

I don’t know how anyone finds these experience immersive.
Yeah, but the alternative right now is completely random, unverified, human volunteers with no qualifications and no training. While the vast majority have the best of intentions, some people are just...not that good at helping.

I've been playing with Be My AI, it's excellent. It's got a really good prompt that enables it to be really descriptive and helpful with very little hallucination. It's actually a lot better at describing most photos than the average person is.

Making the world more accessible to blind people is a big challenge. There are no perfect solutions, but the solutions we do have today are enabling millions of blind people to have full careers and live independently.

This is a great improvement. It's not perfect, but neither were the previous technologies that blind people have been using. Don't let the perfect be the enemy of the good.
It's more that they don't want to go the extra mile. They think they're owed something so they don't have to hustle for their spot.
Ultrasound would do it without boiling?
More that the important wear component in a RO system is a membrane that depends on access to sophisticated manufacturing, while plumbing is relatively easy to DIY in the field, and the big innovation in this system is 2.5mm perforated polyurethane which can also be remade with simple tools (and access to polyurethane of course but that's simpler to make or salvage than RO membranes).

Kind of analogous to ICE vs electric cars; electric cars are simpler in principle but the most important components require access to advanced semiconductor and battery manufacturing, while all the components, in theory, of an ideal "ICE car" can be recreated with early 20th century machine shop technology
Terrible marketing website. I tried and failed to find improvements over Quest 2.
I think I've had it for a similar amount of time and I've definitely had to start charging it up a lot more frequently recently (compared to when I first started using it).
It does the same thing as the Go version. The Go version requires you to pass into the context the data to be sent back to the client, while the Rust version uses the return value of the function as the data to be sent back. The framework then serializes that appropriately.

The only issue there is if you want to return the error with code 200 (which you shouldn't, but it's been known to happen). In that case the Go code and the Rust code will look a bit closer to each other because then you can't use `?` this way (without writing some more boilerplate elsewhere).
I'm not sure if this is personal attack, trolling, or both, but posting this way will get you banned here, so please don't do it again.

If you'd please review https://news.ycombinator.com/newsguidelines.html and stick to the rules, we'd appreciate it.
As a new parent of a son, this is horrifying.

Why is the default, to accuse the caretakers with phantom (unfounded) certainty, absent any other good evidence?
I am thoroughly on your side and I hope this opinion get more traction. Humans will get obsolete though, just like other animals are compared to humans now. So it's understandable that people are worried. They instinctively realize whats going on, but make up bullshit to delude themselves from the fact that is the endless human stupidity.
Not a fair comparison as Mistral is not instruction tuned. You need to write a "continuation-style" prompt or few-shot it, rather than just giving it a direct order. Honestly this is one of the reasons imo that Mistral won't see wide acceptance, LLaMA-2-7b-chat is RLHF and instruction tuned and is just so much easier to use as a result.
You didn't enjoy the screenshot? :)
I think we're seeing similar, or equivalent, technology being used in Ukraine right now. The Russians routinely jam GPS frequencies and have been doing so for years/decades (one of the few things the Russian military is considered good at).

Yet we see Ukraine doing precision strikes not only with long-range missiles, but also with all kinds of drones.
A-drives require negative mass, not Antimatter. Antimatter has positive mass, so there was always good reason to believe it would react to gravity the same as normal matter.

Though, you should probably just assume it won't work given the fuel requirements even after optimization are insane for the exotic matter required. And it relies on a quirk in general relativity that may very well be plugged when we discover a unifying theory.
You're definitely going to want to talk to a lawyer. This could get muddy, heck it already is muddy. I'd want representation before I did anything in your situation.
Then call it something like Neural Time Unit (NTU) or Computational Time Unit (CTU) because neurons make people think of neural networks. As in, you pay for the size of your model.
Well, what do you think the reasons are that these workers took non-union jobs with Tesla, vs union jobs with Ford/GM/etc.?

> To prevent wage reduction as a result of an influx of cheap labor

It's not just against cheap labor, it's against any labor, including better labor - e.g. very recently, https://9to5mac.com/2023/08/07/us-tsmc-plant-petition/

Also, for me as an immigrant it's very interesting that you didn't defend racism on the ground of "prevent wage reduction as a result of an influx of cheap labor"- which is exactly what they were trying to do; but you did defend anti-immigration sentiment on that basis. Anti-immigration sentiment is still pretty socially acceptable in the US, so it's still ok to use this defense, apparently. Exactly because unions in a vacuum are pure evil - and they will behave maximally evilly within the confines that social mores allow. If racism was also still socially acceptable, unions would use that too regardless of other institutions.
Introducing four distinct job types, Bacalhau 1.1 is addressing the unique challenges organizations face in processing tasks. Whether it's tracking data on edge devices, processing streaming feeds, deep-diving into large datasets, or accessing logs across multiple hosts, Bacalhau 1.1 caters to every need.
> surely no strategy that worked to launch a project from tiny seed to maturity and market saturation has ever then failed to keep it relevant in the long term...

If the rate of submissions falls then it certainly makes sense to adjust. Until then, don't fix what isn't broken.
Is it just me getting a loop on the cookie banner? No matter what I press, it refreshes and shows me the banner again. (Firefox Android)
Right, that's the point they're making.
> The resulting water vapor can then be condensed and collected as pure, drinkable water.

Article doesn't mention how this part would work. Peltier cooler? Heat pump? Is that included in the "suitcase sized" concept? What powers it?
There are some mad lads making different sizes of llama by "grafting" attention heads from one model onto another and finetuning a bit to stablize the transplant. For instance:

https://huggingface.co/models?sort=modified&search=20B

Its very experimental, but apparently the 20B models are actually improving on 13B.
persistance?
TikTok is struggling to keep banned goods out of its e-commerce marketplace
it is impossible to find common ground with common people, when your community of your people is online and you grew up in online communities
Where did they declare that they want this for their CV?
As someone who worked at Mozilla the best way I heard it described is that Netscape designed the embedding to be monolithic. Something you built your app on top of. You best use all of Gecko, NSS, Spidermonkey, etc. Any path that meant your app needed to make changes to Gecko etc. was/is here be dragons territory. If there was some part that your app did not need disabling that part was unsupported and the effort was the the embedding app's responsibility. Where as Chromium was designed to be modular.
What are the stats on the predecessor (which is Quest 2, right?)

https://www.google.com/search?q=quest+2+horizontal+angle
Sometimes, it is just "misinformation".

And pointing that out is, well, part of the discourse.
Partly it's about building habits around them. I watch out for any time I have to spend half an hour or more figuring something out - that's generally a sign that it's worth tidying up my notes into a TIL, since the internet is clearly missing that piece of information!

I keep very detailed notes on everything I'm doing already - either as a VS Code scratch document or Apple Notes or often a GitHub Issues thread. A lot of my TILs start by me pasting those notes into a Markdown file and tidying them up.