skysight-inc/HackerNews huggingface dataset:
I saw the fragment on the local news. Shredded carbon fiber and other mystery materials flapping in the wind, stabbed into a parched, rolling plain.

A lot of fuss is made when China's space debris makes landfall, but this event elicited only mild amusement from our mainstream media. The farmer who found it eventually noted that if it had gone and hit anyone, they'd be in trouble.

Something seems a bit negligent about the ad-hoc nature of the entire thing to me.
Looking at their careers page[1] lists a bunch of web3 positions, so it's safe to say their general plan regarding crypto/blockchain goes even beyond just NFTs as a phone feature. That's a big no from me for sure.

[1] https://careers.nothing.tech/
For sports you indeed probably want the better breaking power and redundancy, but for everyday city use your hand brakes are way more likely to break than the pedal one, they can go years without maintenance as they are not exposed to the conditions.

Speeds are also generally not that high so even if you screw up (which rarely happens, even in icy conditions), you can recover just fine.
Copper pipes aren't much better when the builder puts a nailgun nail through them.

I've seen plastic pipes chewed through by rats too.
> So, to change the US Constitution, 39 separate governments need to agree,

In practice, you simply need the minimum majority of the supreme court to agree with an 'interpretation' of the constitution that gives you what you want.
I hate typing on mobiles, so wouldn't it be cool if the app could use the camera to look at the text and just tap to highlight/lookup a word?

Voice lookups might also be a good thing.
Since Apple and Google have focused on their own languages, clang steam went out, as no one else seems that interested in improving ISO C++ support, rather the LLVM foundations, which require C++17 as basis.

If the likes of Intel, AMD, ARM, IBM, Embarcadero,.... don't step up in ISO C++ support at upstream, clang will stay mostly C++17 with some bits and pieces from C++20.

It is already ironic, that after so many years of being joked for their non-standard extensions, VC++ has the best ISO C++20 support.
It's not near as polluted as it was in the `40s-`70s but it's still polluted and will always be muddy.

I get the feeling the person who wrote that has never actually seen the Mississippi River. It's far from a clear mountain stream you'd walk up to and sip water from. It's not something you'd even want to swim in on a hot day.
Not a native speaker, but I thought that's what the difference between "proven" and "proofed" is. The latter is the type of mathematical proof you are referring to, the former the colloquial attribute of having been used successfully for that purpose.
> everything which makes programs useful is impure device access and state change, discretely sequenced over time

I haven't heard about this before actually. I'd love to hear more about this!
"Impure," here, is PL terminology for functions that affect global state/arguments when you run them. right? So, brainstorming a bit, what this means is that making a diff. programming language that treats a NN module as a pure function won't actually be beneficial? I'm not sure if I'm drawing the correct conclusion but this is a really interesting point. Don't have an answer for this (yet!).

> grad. desc. et al. do not learn discrete constraints

Great Point! To push back a little on this. You're right that any discrete constraint will always mess up the smoothness of the function (eg: less-than-g is not smooth at x=g). However, we can engineer our way around this by relaxing a discrete constraint to its closest smooth approximation! So, we can implement the less-than-g function as a sigmoid that is shifted by +/-g. This introduces a parameter to control the slope of the sigmoid. In practice, I haven't had much difficulty learning programs even with a really steep slope for the sigmoid.
I've seen the Economist describe itself as "fiscally conservative, socially liberal"
Sounds promising, can't wait to try it!
I hope you take this as an admittedly weird compliment, but my lords and masters give me a few hours a week to code on my own shit and I'm trying to get a language model to talk like HN.

I'm going to try single-shot learning on one of the newer language models with "I can confirm your viewpoint. I'm single engineer building self-managed k8s for my company." because that remark, reasonable or not, so neatly encapsulates the current zeitgeist.

If you're trolling, respect. And if you're not, my 2c: flash an AMI and work on your product.
Never thought of this before. As a former Googler, I probably burned out trying to come up with ideas for improvement.

When you're constantly asked to come up with ideas (take initiative!), but then can't find the right avenues to actually implement them, you feel a bit ignored and useless. (Maybe all my ideas were bad, perhaps I didn't fit in the corporate environment, or I was too emotional about my work environment. All I know is it didn't work out for me.)
Maybe, we don't have any idea how bad their legal position is. They might be considering themselves lucky to avoid prison, like Anthony Levandowski. 50 years ago doing what he did was normal; it was how Silicon Valley got built. Since then the laws have changed.
Interesting, thanks! I tend to get hung up on writing papers. I go round and round, and it takes me ages to get to the actual thing I want to write about. I may give that a go!
A slow initial page load won't necessarily get you subsequent page loads. Resources used in the same visit will be resident in memory rather than loaded from the cache. The cache will be hit if the load takes place in a new tab or window.

Also if your uncached page is slow loading, then any of the multitude of reasons a returning user has an empty/invalid cache, they get a nice unexpected slow load experience. Even two page loads a day apart might have had the cache invalidated by an update on the server. Use patterns don't neatly align with deployment patterns.
.NET has always supported interop with C++, first with Managed C++, then C++/CLI, and nowadays via Windows Runtime (C++/CX and C++/WinRT).

Likewise JNI has always had support for COM like models, and the C API is written in such way that the struct layouts can be used as C++ classes instead, with implicit this on method calls.
That was a second attempt a few years later when I decided to try again. First time was while not logged in.
My favorite simple math problems are found in cabinet making. It's all simple arithmetic but there is a lot of it to get a cabinet right.

One example: If you're working with 16.5mm boards and want a 600mm wide cabinet then what width is your top and bottom panel. It's a simple 600 - 2 x 16.5.

I don't know why but it's very satisfying to sit down and work out the size of each panel and the location of each dowel hole. Then to see it all become a cabinet.

Obviously this might be a bit too much as you'd be teaching wood working as well but it is a lot of fun.
>You should check out Fox News, OAN, Newsmax and the NY Post (& Sky News for foreign outlet).

Good point, at one time I thought that these news sources were the drivers of conservative thinking but what they are are reflectors of what people that consume them want to hear. They spread the word but ultimately they are popular because they know what their audience wants and they are willing to offer it.
In London, a Toyota Prius is almost always a minicab - a taxi that is booked over the phone and not hailed on the street. There's nothing liberal, or Conservative about it, just commercial. And the driver is usually an immigrant, and I suspect, not the vehicle owner.
> Yes, we have to store it somewhere. But all US plants combined make ~5k cubic meters of nuclear waste a year.

And all those extra 5k cubic meters per year of nuclear waste needs to be stored for around a million years until they are again safe.
Feedback rogered and would pay attention to it.
Lightning Framework is a new undetected Swiss Army Knife-like Linux malware
Nice, thanks! A while ago I was looking for a a search lib precisely like this for my blog. I really like the idea of a client-side search - it feels extremely responsive to use compared to server side. The bandwidth-saving chunking tech is a nice bonus that I didn't expect - the websites I've used seem to naively load the entire index.
> The WSJ, Economist, or Bloomberg

That is because those publications are are economically right-leaning, but not socially (or simply not focused on those aspects). We tend to view right and left as just one thing, but people, publications and political parties can hold for instance left leaning financial opinions, but be right wing in immigration.
Maybe I’m missing it but where is the main site where I can try out queries?
Carbon solves a very important problem, to realize Google's vision for C++ which they lost trying to make through ISO.

That is all.
Eerily similar to "Roach Biobot".. I'm very surprised this was published, the cockroach is still alive.

https://phys.org/news/2012-09-technique-remotely-cockroaches...
Who raises those men?
From my experience, either an app reaches momentum and the author wants to monetize it or it was last updated 4 years ago.

Non-monetized good apps are few and far between. One of which is actually related, by thai-language.com: https://apps.apple.com/us/app/thai-english-dictionary-tl/id7...

It's clean, it has whole sentences mixed in the vocabulary, it links phrases parts to their sub-definitions, and lets you paste a whole sentence at once, defining word by word.

One of my favorite apps. Updated 5 months ago.
Linux 5.19: Linus Torvalds Released It from an M2 MacBook Air with Asahi Linux
CNC/NC predates the microprocessor. It just wasn't practical for wide scale use without CAD.
Never hurts to wait for a couple rounds of polish before updating.
i only have the illusion of choice, because the real choice is between being socially active and being a social outcast. the world has moved to social media. its sad, and I wish I could do something about it. friend group is making plans? on Instagram. wanna be in the know of what's going on? on twitter. want to be updated about your assignments? your class is officially only on WhatsApp. wanna apply for a job? keep in touch with professional colleagues? only on LinkedIn and whatsapp. this is what my world as a young adult in a developing country is like. this is what has happened because not a lot of people had access to pre social media internet. and the first device a lot of people used is a phone. more so for younger people.
My understanding is that agricultural water use in CA is dominated by growing crops, not feeding cows.
These comments posting the guidelines and threatening bans would probably be more effective if they were applied with a high degree of even-handedness instead of as a relatively heavy weight on the scales of debate when the wrong opinions are voiced.

If it is within the bounds of legitimate debate to repeatedly assail everyone who disagrees with you as being racist, having no empathy, and wanting to murder homeless people, as the person this "flame" was responding to has done all over this thread, then it's definitely within the bounds of legitimate debate to ask the flame warrior to put their money where their mouth is, so to speak.

Or, taken the other way, if the comment that you replied to is ban-worthy abuse, then why have you not taken action against the much greater abuser which incited this fairly mildly flame-y response?

Personally, I'd rather have a flame-free open discussion board here, and as written, the guidelines do too, but allowing unlimited abuse from the pro-enforced-narrative viewpoint on any and every topic while posting ban threats like this in almost every thread where someone questions the enforced narrative is not the way to get there.

It does help provide public evidence of top-down narrative enforcement, which I suppose is vaguely useful, since it makes it harder for people to pretend that narrative enforcement isn't happening, but the actually open discussion, without narrative enforcement, would be better and, I believe, more in keeping with the guidelines.

The guidelines as written do not require adherence to the narrative nor do they offer immunity to posts in furtherance or support of the narrative anywhere that I can find.

Please moderate the narrative enforcers like you would non-adherents. That would make this site better and would be more in keeping with the guidelines, regardless of how correct the narrative is, or how correct you feel the narrative is.
Related post:

Differentiable Programming – A Simple Introduction | 159 points, 3 months ago, 49 comments | https://news.ycombinator.com/item?id=31000709

There I mention "The simple essence of automatic differentiation" which posits that by keeping the a differentiated function paired together with its integrand then many functional transformations -- including integration, subexpression deduplication, and even automatic conversion from forward mode to reverse mode -- would be greatly simplified. Allegedly this claim is not backed up by a practical demonstration yet, but imo this is a very intriguing approach.
New Zealand had some of the toughest lockdowns in the entire world. It only just lifted the last of the travel restrictions (https://covid19.govt.nz/international-travel/when-new-zealan...). It mandated vaccinations in all kinds of ways, including firing hundreds of nurses at the height of a pandemic for what appears to be the worst kind of virtue signalling I have ever seen.

The latest democratic crisis involved handing over effective control of water assets to unelected "regional representative groups" based on race. (https://www.democracyaction.org.nz/planned_three_waters_enti...)
Looks like illustrator, but I could be wrong
That's how I would describe myself. And I am a fan of the Economist.
People don't generally use "proofed" like that—I would always use "proven" to talk about something that had a mathematical proof, and "proofed" only comes up in specialized areas like publishing (where it's used as the past tense of making a proof of something to be printed or as short for "proofread").
Ok so similar scale pipeline as Libya’s Great Man-Made River

https://en.m.wikipedia.org/wiki/Great_Man-Made_River

except with narrower pipes and no wells, but adding a need for pumping stations.
What is the energy cost of the proposal vs the energy cost of desalination?
Having worked on the system it’s based on: no it could be much simpler.
I am not sure that Western Europe is objectively worse at the safety department than us. Also you can always put a smaller breaker on 240.

The 120V in the US is a 640kb ram should be enough situation. You were first, thought you build the spare capacity, were surprised by the explosive growth and how useful electricity really is.

With modern homes moving to 100% electricity even 240 is not enough. In my flat I have pizza oven (3kw),inducation burner x 2 (3kw each), normal oven, 12000 btu AC x 2, tumble dryer, some other appliances that chug sub 1k... throw in some car charging, electrical water heater... A modern home is using orders of magnitude more electricity. And it is going up.
You just considered one axis of the waste properties. It must also be in the equation that the waste will remain radioactive and toxic for thousands of years, far beyond the time horizon of what a normal human brain is capable of processing. Also, the effects (spatial, biological) if the waste is released for whatever reason (which we may not even know now). So the debt we transfer to future generations goes far, too far, beyond just a question what space is required for the waste.
Wealth allows the purchase of good things, news at eleven?
Seems like someone wanted to use the standards compliant functionality for validating e-mails:

I made a PR here : https://gitea.com/go-chi/binding/pulls/12 which uses the stdlib net/mail (which is rfc5322 compliant) for validation

But it was closed, because Gitea does not want to support with certain Unicode characters:

Closed as it allows utf-8

Isn't the proper solution there to just add an additional validation afterwards, AFTER using the standard functionality, something like:

if _, err := otherUtil.DisallowUnicode(fmt.Sprintf("%v", fieldValue)); err != nil {
...
}

Why close the pull request outright instead of just requesting that an additional validation against a set of disallowed characters be implemented?

Of course, I get the feeling that the developers just don't want to support "odd" e-mail addresses, because it doesn't affect them personally. They might be using just firstname.lastname@provider.com, or somenickname@provider.com, instead of using tags (+), slashes or other such symbols. Ergo, they might not care, at least when there are other issues that need to be solved and worked on - this gets de-prioritized.
Yes there was no R rating for a long time, and the ASRB still takes a negative view of illicit drug use in games. But is 'cant use illicit drugs in games' the definition of excessive media censorship?
Tldr: yes
Oh man that thing is amazing! I would LOVE if a bunch of goods transport could be substituted with those. I'd not be opposed to driving one myself.
Between 2km (dense urban area) and up to 100km, usually probably around 10km. It is basically a replacement for CB radio, and works similarly. The Meshtastic devices are set for a specific (chat-) channel, and only mesh with devices which have the same configuration/channel.
has anyone done any sentiment analysis on the reporting of space debris incidents? Threat inflation / threat deflation - both poison the quality of discourse on a matter which requires humanity to collaborate
> When MindGeek decides to monetize child porn, and Visa decides to continue to allow its payment network to be used for that goal despite knowledge of MindGeek’s monetization of child porn, it is entirely foreseeable that victims of child porn like plaintiff will suffer the harms that plaintiff alleges

Isn't that on extremely flakey ground? Mindgeek is a legitimate business, they probably didn't "decide to monetize child porn" - they're based in Canada and that would mean jail time for a bunch of people from the company.

It's pretty sad that the whole legitimateporn industry, worldwide, is ruled based on what two US-based payment companies decide, and that is defined based on what they fear they might be sued for. It shouldn't be a free for all with child porn and bestiality and etc. but as long as all participants are consenting human adults, who cares and why?
There are ways around Constitution. Constitutional courts do fun things to accommodate sitting governments. But at least it makes the process very difficult and prolong it enough to give public some glimpse. Well, in most cases.
Sabbath.

Friday evening at the end of the workday, close your computer and put down your phone.

Don't open them until Saturday after dinner.

It is damn hard, and worth it.
> Google+Apple do pretty much all the clang development

They don't anymore, that is why clang is lagging in ISO C++20 features, as no one else has taken up their roles.
Tax their liquid money holdings, then the poor can use the money as a medium of exchange instead of letting it lay fallow as a status symbol.
Depopulation hits the non-urbanized areas first, since the first thing young people in the countryside do is move to the big city. Much of China will never be urbanized.
> Btw those "90% of Australian Internet users being censored" was a couple of major ISPs putting in a DNS block that can be worked around in 5 seconds.

It is relatively simple for a technically savvy user, with a caveat.

A few years ago I noticed that the NBN router I had configured to use Cloudflare (or NextDNS) servers was dishing out my own ISP's DNS server IP's again. Upon a closer look it turned out that at some point the ISP had pushed a firmware update that: a) defaulted DNS settings to their own; b) would no longer accept any non-ISP IP addresses for the DNS configuration. Begrudginly, I ended up repartitioning the home network to create a distinct VLAN and adding a separate, 3rd party manufactured, Wi-Fi router with its own DHCP server to serve up the DNS configuration I wanted. If such shady practices are not vile and not authoritarian, I do not know what is. Most locally available mobile 4G/5G routers do not even have an option of overriding the DNS settings.

We all have to be grateful, though, that the Almighty has not revealed the BGP blackholing as the 11th commandment to ScoMo in his late afternoon wet dream.

> These days it's probably more like 20% because most people are on one of the newer ISPs like Aussie Broadband that don't truck with that nonsense.

A quick scan of WiFi networks in the immediate area of my residence has revealed that Telstra NBN is by far the most popular choice. Telstra has chosen to cozy up to the government and to self-censor itself.

> Passing the AA bill in 2018 was a much bigger failure from Labor […]

The anti-encryption law was rammed through the last few hours of the last day of the Parliament 2018 with full support from Labour. They did have a choice of delaying the vote for two months (until February 2019), but they did not:

«Speaking to the media on Friday, Mr Shorten said Labor had ultimately backed the Assistance and Access Bill — giving security agencies new powers to obtain the encrypted communications of criminal suspects — as he felt the need to reach a compromise before the Christmas break.

"I thought it was important that we reach at least a sensible conclusion before the summer on the important matter of national security. We will seek to improve the legislation in the new year. There are legitimate concerns about the encryption legislation but I wasn't prepared to walk away from my job and leave matters in a stand-off and expose Australians to increased risk in terms of national security," he said. […]

Labor had been pushing for amendments after the government issued a sudden demand for the legislation to be passed before the summer break»[0].

It has been nearly four years since the bill was inflicted upon Australians, and Labour has been coy and mum so far about introducing any amendments to the Ass Access Bill!

[0] https://www.smh.com.au/politics/federal/bill-shorten-says-la...
That’s not true.

First, that water would be used for other things if it wasn’t used for golf courses. There are lots of other potential uses for reclaimed water. Second, less than 20% of golf course water is actually from reclaimed sources.
I’ve never seen “proofed” used as anything but a hyphenated suffix meaning “protected against”. E.g. sound-proofed.

It’s pretty normal to use “proved” in place of “observed” or “measured” in day-to-day speech though. Usually a few repeatable measurements are enough proof (evidence) for most people to consider something “proven”.

Edit: I forgot the proofread meaning pointed out by the sibling comment.
Well, I'd say it's a "classic" within the field of differentiable programming, which is a new field, so... everything is relative.
Black holes don't have a limit on their rotation rate as far as current physics go, since black holes do not have a traditional surface. If the spin exceeds the speed of light, that simply makes the event horizon go away and leaves you with a naked singularity.
I agree with your characterization of fiction and poetry. There have been many writers who wrote fictional diaries (e.g. Max Frisch' Stiller) and other (real) diaries that entered the realm of literature (e.g. the diaries of Anne Frank).

I'd say where most people would draw the line is when someone tries to sell something as autobiographic that has been clearly made up for moralist reasons, yet still lie about it's authenticity.

This has nothing to do with the book, and everything to do with the person who pretends to have lived a live that they have not.

In the end the artwork can sometimes be more wise, intelligent and impactful than the artist who made it. Yet the context the artist creates will always colour the reception.