skysight-inc/HackerNews huggingface dataset:
No, I didn't miss it.

You'll note, if you read carefully, that the article only says they can be charged from indoor light, which I don't doubt is true. It doesn't say they can get a useful amount of energy indoors. The only concrete numbers quoted are for direct sunlight, which is several orders of magnitude more intense than ambient indoor lighting.
I'm more worried about the status of freedom in software, open source feels like a mirage to divert the attention away from the original issues from the FSF.
Are you being too picky choosing a partner? A data driven approach
Well, an obvious proposal would be to send out a drone and transmit the sonar ping from a different location.

You're right in that a broadcast is required, but I don't see why the broadcast should have to come from the sub itself.
All class actions are a mix of both
RethinkDB in Production?
Figuring out if a concept has legs and need to pick a datastore.

Using a single machine to start, à la hetzner. Will scale to cloud if needed.

RethinkDB sells as a real-time db, but realtime isn't necessarily my goal. Easy scaling, securing, backup, and administration are atop my desires. RethinkDB marketing material sells those use cases well.

Anyone else here running RethinkDB in production? I'd love to hear real-world stories, good and bad. Looking for potential drawbacks and any other feedback from the community.
There's never a reason that a human needs to read an error message caused merely by Kubernetes restarting a pod in the normal course of operations.

Passing every error up the stack causes people to be confused by 500 status errors for trivially retry-able calls. Browsers (and TCP) natively implement retries despite there being no SLAs in place.
I only use earphones, just because I find it more comfortable, but almost exclusively. I have no (extremely little) need for them indoors, I (almost always) prefer speakers there.
All advertising is a bait-and-switch. How is this any different?
Warning for the uninitiated. Be cautious using this on a production machine. I recently caused a production system to crash because disk throughput was so high that it started delaying read/writes on a PostgreSQL server. There was panic!
Great, I hope it is tried in court. It should be. But unfortunately I have not a big hope that the courts will come to understand the issue well enough.
Ah yes, no guarantee of concurrency or ordering (in the headline, lol).

That’d be a pretty funny compression algorithm. You listen to a .mpfoo file, and you’ll hear the whole song, we promise!
Thanks a lot! I opened a pull request with your suggestion here: https://github.com/returntocorp/semgrep-docs/pull/744

Edit: It's approved but that's just our CEO :D I'll wait for an approval from our tech writers who are in non-US time zones, so your suggestion will likely land tomorrow. Thank you!
If we're talking TCO we need to calculate the TCO of coal and gas as including the cost of the destruction of the entire planet's climate.
There's nothing illegal about it, but that doesn't mean that making life harder for your employees trying to make sure the hours they're working are legal is moral.

EDIT: I welcome anyone who wants to justify this ethically.
Emotions certainly played a major role when Germany decided to phase out nuclear in 2011, and the execution and timeline of that phase-out were poor.

But that doesn't mean Germans haven't pondered seriously about this topic in the meantime. And the result is that, apart from this band-aid solution for the current winter, Germany will still phase out nuclear. Let me try to summarize the most important points I know of:

- Cost. Nuclear energy is expensive energy. It just happened to be cheaper than solar and wind energy a decade ago. But the cost of renewables went down spectacularly, and the cost of nuclear went up at the same time (https://en.wikipedia.org/wiki/Levelized_cost_of_electricity). So why invest in nuclear energy when we could have more low-carbon energy for the same price elsewhere?

- Subsidies. So far, all nuclear power plants have been heavily subsidized. There isn't a single country where the full cost of decommissioning and permanent storage of radioactive material is properly taken into account. And there is no power plant with a full insurance, so those risks are carried by the public. Once we eliminate these subsidies, the cost of nuclear grows even further.

- Reliability. Some people dislike renewables because there are times with no wind and no sunshine. But they forget that wind and sunshine are relatively predictable and have worst-case bounds. So investing into storage and the electricity grid makes renewables highly reliable. Now look at nuclear. The worst case scenario is roughly what just happened in France: you discover a problem that affects an entire generation of power plants, and all of them have to be taken offline until the problem is resolved (https://en.wikipedia.org/wiki/Nuclear_power_in_France#Crisis...). Without its European neighbors, France would be in deep trouble. If we take precautions against this risk, the cost of nuclear grows even further.

- Inflexibility. Nuclear power plants need a high uptime to amortize their construction cost. But once they operate in a grid with a substantial amount of renewables, they are displaced more and more and the cost per unit of energy grows even further.

- War. The Russian army has recently captured a Ukrainian nuclear power plant (https://en.wikipedia.org/wiki/Crisis_at_the_Zaporizhzhia_Nuc...). The plant is now used to store military equipment, the employees are bullied or even tortured, and all pillars of nuclear safety are being violated. There are credible approaches how we can build a power plant that resists human stupidity or a natural disaster, but there is no way we can build a power plant that is unconditionally safe in a war zone.

- Nuclear Proliferation. Once the know-how and the infrastructure for handling fissionable material is in place, even if only for civilian purposes, there is a much stronger incentive to also look into military use. And the last thing our planet needs is more nuclear weapons.

Given these points, the current German position seems quite sensible and I wonder why some other nations are suddenly so eager to build new nuclear power plants.
Absurdly cool.
or more conventionally, you build a fleet of oceanographic survey ships which operate in the open navigating international waters, collecting vast data sets of bathymetric information... obviously not perfect yet.

https://en.wikipedia.org/wiki/Pathfinder-class_survey_ship

there is also the danger that a drone emitting sonar pings may be indistinguishable to a third party from a live torpedo, and makes it look like you're preparing to attack somebody you really don't want to start a war with (China, etc).
I could definitely be wrong here, apologies for the confusion. I run many of these tasks automated, in some cases I used low compression, in others zero compression. For low compression, that command really shines, for zero compression, I would have bet I also got improvement over regular tar without compression, but again, I could be wrong here. I'll test it again
It gives them a fig leaf to face public outcry and then not act because they will find that its "not very prevalent," no matter how prevalent it actually is. The people abusing this system probably contribute a lot more money to political campaigns than the people damaged by this system.
Conversely, loads of places in Germany don't even accept card payments. I go there occasionally for work and can't easily avoid getting at least some cash to make it through the week.
We've banned this account for ideological flamewar. Please don't create accounts to break HN's rules with.

https://news.ycombinator.com/newsguidelines.html
> But we haven't proved that what Lean thinks about that had anything to do with whether it actually halts or not.

Well I can tell you if it actually halts: it does. By the time of the heat-death of the universe, all computers will have stopped running, so the halting problem is quite solvable.

But the halting problem, and the Collatz conjecture, and all mathematical truth, is fundamentally embedded inside of systems of formal logic. Gödel's Incompleteness Theorem doesn't say anything about systems of truth outside of formal mathematical logic. So this result isn't relevant to Physics, for example.

However, Gödel's Theorem, and this proof, don't rely on any particular qualities of the formal system, other than the ability to enumerate proofs (and other things that we think of as inherit to logic). So this proof applies not just to Lean, but also to every method of proving things in math.
> But why? Most modern languages try to get rid of exceptions (Go, Kotlin, Rust).

All three of those languages actually have exceptions, they just don't encourage catching exceptions as a normal way of error handling

Also, while the trend now seems to be for newer languages to encourage use of things like result types, one of the main reasons for that is that in current languages it is easier to show that functions can potentially failure in the type system using result types rather than exceptions.

Otherwise, there isn't necessarily inherently a strong reason to prefer one or the other, and it's possible that future languages will go back to exceptions but have a way to express that in the type system using effects, etc.
BSD 5-Clause

1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.

2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.

3. All advertising materials mentioning features or use of this software must display the following acknowledgement:
This product includes software developed by the organization.

4. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.

5. Use of this source code for the research or training of machine learning models is permitted.
Solar hats. The next must-have.
Does GitHub not have the right to view and train from your content when you agree to their Terms of Service and upload your code?

People are conflating their open source license with the one they give GitHub when making a GitHub account, but they are two entirely separate and parallel licenses. The former is for other people to use your code, the latter is for GitHub to host your code.

If you don't like it, you are free to host your code on your own servers.

And anyway, as noted the other day about AI, it is often funny to see people not care about (or even enjoy) AI in other fields that they don't work in, but when it comes for their own field, they are suddenly very worried. See programmers on HN who argue for Stable Diffusion but against Copilot, and vice versa with artists on Twitter. As I commented then, it's an act of cowardice to think our own profession should be immune from AI while we enjoy the fruits of AI in other fields [0]:

> Yes, many of us will turn into cowards when automation starts to touch our work, but that would not prove this sentiment incorrect - only that we're cowards.

>> Dude. What the hell kind of anti-life philosophy are you subscribing to that calls "being unhappy about people trying to automate an entire field of human behavior" being a "coward". Geez.

>>> Because automation is generally good, but making an exemption for specific cases of automation that personally inconvenience you is rooted is cowardice/selfishness. Similar to NIMBYism.

We should want AI. That we then try to use outdated models like copyright to enforce holding back human progress is a true shame. In my view, so what if GitHub uses people's code for training data, we are all getting a better product because of that.

[0] https://news.ycombinator.com/item?id=33226515#33228948
Don't forget the terrible PTSD endured by the people tasked with eliminating child pornography, who are often contractors and not employees.
A substitute for what though? Copyright law is only concerned with substituting the work under copyright. That is to say, the consideration is whether the infringing aspects of the secondary work would alter the demand and market for the work being infringed.

In all the talk about AI data laundering there really hasn't been any indication that the AI generated item substitutes for the item it's alleged to infringe on. Substituting for a whole profession and its practitioners doesn't enter into the concerns of copyright law. There might be some argument that it should (to "promote the progress of science and useful arts" as it were), but copyright law to my knowledge hasn't been used to prevent new tech from putting professionals as a whole out of business.
Kind of ironic to host the website for a (partial) Github alternative on Github.io.

Never heard of this before, but I don't think this operates in the same space. Codeberg is a hosted platform, Gitbucket is a self-hostable platform. I think it competes more with Gitea and maybe Gitlab than Codeberg.
Let's not forget https://savannah.gnu.org/.
> Over time, this process will starve these com­mu­ni­ties. User atten­tion and engage­ment will be shifted into the walled gar­den of Copi­lot and away from the open-source projects them­selves

The author seems to be implying that since Copilot can reproduce the code of open source repository X in certain scenarios there'd be no reason for programmers to learn/use/engage with repository X. But this is silly. Maybe some open source repositories could be tab completed with a little prompting but people will presumably choose to add a dependency instead of tab completing the code of express or something.
Copyright only covers the expressive parts and not the utilitarian parts:

https://en.wikipedia.org/wiki/Abstraction-Filtration-Compari...

https://en.wikipedia.org/wiki/Idea–expression_distinction

https://h2o.law.harvard.edu/cases/5004

Most of your code is probably not subject to copyright in the first place, regardless of license.
this is larger than the arts. anybody has ever participated creatively in our culture understands that it's absolute bullshit to pretend we need money in order to want to contribute artistically.

we need money because food is for sale, because most of us do not own where we live hence we are forced (a priori) to come up with a whole lot of money every month or else you're out in the streets.
This is such an important line of thinking. If it has a positive ROI then do them both. (The greater the availability of capital the more truth this holds)
I would not have guessed the guy behind The Downwards Spiral would one day be writing the soundtrack for a Disney animated feature.
Saving twelve bucks a year is, well, $12 per year. Better than nothing.
A Tour of the Adobe Director File Format (2016)
Bitbucket is like an ex girlfriend you don't quite recall why you broke up with, but afterwards every time you meet her and hear her voice it all comes back in a rush how disgusted she made you feel.
> C'thulhu is always the very last place you look.

Inverse survivorship bias: That's because you are no longer able to look elsewhere...
I thought proto3 has support for optional scalar fields now (https://github.com/protocolbuffers/protobuf/releases/tag/v3....), and proto2 always had it
I think mandated information disclosure is extremely important in a capitalist system. How can we make good decisions if we don't have good information? We need to ask more questions, trust, but verify. We do pass laws that require those that sell products and services to disclose X, Y and Z for their products in a standardized and uniform manner. Likewise, we should be skeptical and critical about what others are telling us.

Information that's not tied to such a simple tit for tat relationship gets in the weeds though. How do you define "misinformation" as it pertains to your mother on someone's feed? You can claim and sue for damages and if a judge and jury find your case, then that's what it is, but mandating strict systematic moderation of all internet users on social media is not the same as mandating information disclosure for the Kellogs or IKEAs of the world. We've decided that Horseradish dyed green can be sold as Wasabi on the ingredients list. This is officially supported misinformation right?

In this instance, election denial is almost complete idiocy, yes, but barring "election denial" wholesale is a terrible thing to do. Your questions are quite leading too. We need more discussion around these topics, not less. I've talked election deniers off their stupid cliffs before. When SCOTUS shot down the Bush v. Gore recount decades ago, Americans had reason to be upset and talk about it. Would it have been more unifying if everyone had just bowed their heads, quickly and quietly, accepting the results without fuss, sure...

Censorship is a great tool for quelling public dissent. It's a shortcut around reason though and we've built up these tribal walls that preclude solving problems together. If quieting dissenters is the thing you want to maximize, you'll do great with it. We're not the only ones chomping at the bit to censor those that disagree with us, but I guess be careful what you wish for.
Not all code on GitHub was uploaded by the copyright holder. The entire linux kernel is on GitHub and at least some of those copyright holders have never explicitly granted a license to GitHub beyond the GPL.
The threat model isn't a torpedo, it's knowing where the enemy's subs are (and aren't). "There's a sub within half a mile of this point" is likely 90% as bad as "there's a sub exactly here" for most missions.

While water motors are not exactly my area of expertise, I would also expect that drone/torpedo motors are significantly louder than submarine engines and that launching or recovering a drone is itself a fairly noisy event that exposes the sub to traditional acoustic tracking.
in countries where there is no fair use (most of the world outside the US) it seems quite likely copilot is willful, commercial scale copyright infringement
That's a pretty charitable interpretation of events so far
How powerful of a computing device could be powered by a small solar panel these days?

We had solar powered calculators in the 1980s, but with chips being so much more energy efficient now, I imagine we could build a much more impressive device with no battery.
Who pays for these mapping efforts, and why?
I was previously informed by a mod that it is allowable is duplicate post 10 to 12 hours after the first post to service new readers, this does create the problem of duplicate comments.

A filter was written to prevent duplicate comments, but was removed from service, it needs a little more logic.

Thank you for moving your post here.

Yes, I well remember the system-d fracas!
This is absolutely ridiculous. They used the Omicron strain (which infects the vaccinated) and combined it with the original Covid-19 strain.

80% mortality in the mice used.

This kind of research is criminal. I don't care what their justification is for "understanding the virus" or whatever. Boston University is not equipped to prevent nation state espionage.
I feel like that's something that should really be accommodated for in the billing/insurance model. It kinda is with HMOs and primary doctors, AFAIK they get paid whether you see them or not. Just not in the PPO model.

(I warn, I know nothing about how it actually works!)
Thank you for taking a look.

The passage on the effect in children is a tiny part of the whole work. From the introduction:

COVID-19 may affect the central nervous system in (at least) six main ways (Figure 1). First, the immune response to SARS-CoV-2 in the respiratory system may cause neuroinflammation - increasing
cytokines, chemokines and immune cell trafficking in the brain and inducing reactive states of resident microglia and other immune cells in the brain and brain borders. Second, SARS-CoV-2 rarely may directly infect the nervous system. Third, SARS-CoV-2 may evoke an autoimmune response against the nervous system. Fourth, reactivation of latent herpesviruses like Epstein-Barr virus may trigger neuropathology. Fifth, cerebrovascular and thrombotic disease may disrupt blood flow, disrupt blood-brain-barrier function, and contribute to further neuroinflammation and/or ischemia of neural cells. Lastly, pulmonary and multiorgan dysfunction occurring in severe COVID can cause hypoxemia, hypotension and metabolic disturbances that can negatively affect neural cells. It is important to recognize that these mechanisms of nervous system injury are not mutually exclusive, and a combination of mechanisms may occur in some individuals, with varying frequency and timing.

It has been shown that there are many markers for Long COVID, many of which present as neurological and cognitive issues. Two markers have been shown to be reliable and consistent: Patient reports – and unusually low cortisol levels. The other markers are things such as elevated inflammatory cytokines. Fear and hypochondria and provider nudging do not manifest in those ways. Also: Provider nudging? I have heard of nothing but universal and unscientific dismissal of anything COVID-related when people go to health providers for long-term issues. I don’t think that’s it.

I can’t see how this could be anything less than real, and how children could possibly be exempt from the effects. And we aren’t looking because we think we know it’s nothing.
I agree with most of the criticisms of the "magic" functions, although I really have to disagree that the macro approach (with a totally custom DSL) for routing/authorization is less magical than the alternative. It also cripples IDE support. With a builder-pattern you can get smooth autocompletion and clear error messages, while macros usually sabotage error messaging and completely sabotage autocomplete.

Bigger picture: I think the reason so many Rust frameworks favor this kind of magic is to lower the bar (accessibility, but also development velocity). Being lower-level, Rust starts off with a disadvantage when it comes to quickly building out high-level application logic like you would on a typical web server, so when people are trying to expand its reach into areas like that, they try to close the gap by making their libraries as easy-to-use and boilerplate-free as they can. Rust's macro and type systems are the mechanisms it provides for eliminating boilerplate and generally making it act like a higher-level language, so that's what people use. And that makes well enough sense, even though it comes with trade-offs.
Malcolm was an author surrogate for the purpose of going on weird abstract rants which were mostly nonsensical even before they injected him full of morphine.

I vastly prefer reading books in general, but with Jurassic Park they really cleaned up a lot of rough edges in the movie. The kids are way less annoying too.