skysight-inc/HackerNews huggingface dataset:
Yes, I know what the F-35 is. So you feel comfortable now that it's been actively demonstrated that the U.S. can't detect such a jet in its airspace? Even its own jet it knew about?! It sounds like they had to basically wait until some farmer called it in after it crashed in their field.

Also, the F-35 is stealth only to some bands of radar (I would assume given certain windows of altitude), is not invisible, and is not silent.
it's an AI powered digital cop.
Kakoune is also possible to use not as the creator intended or foresaw, which Helix isn't. If someone has any tinkerer in them at all Helix will be an awful editor to use as they'll probably spot some thing they want or need and be unable to add it.
Sounds like it was leaked to boost SPLK's price.
People need to understand this I buy several ETFs. I dont give a crap about the companies each etf is composed of. And I care less about how good or bad the company is with their environment, society or whatnot.

The only thing I care about my set of ETFs is how profitable they are. If one of them stops giving me profits, I'll sell it, contributing to de downward trend of the etf and its underlying stocks.

Social, environmental or other aspects do not play in capitalism.
I viewed it on Firefox for Android and I immediately had to jump to reader mode for the same reason.

But I tend to use reader mode on most sites anyway because it's an easy way to get rid of banners (cookies, subscription etc.)
It's related. If you have a working factory, data collection and optimization can make it better. If you have a vacant lot and money, that's a different problem.

I'm reading Ashlee Vance’s “When the Heavens Went on Sale”. This describes most of the smaller space launch startups, which he visited at length, including the launch sites in Outer Nowhere. Each of them had to start manufacturing rockets from nothing. How they approached this, who succeeded and who failed, and why, is worth a read.
So I guess the sum of the cardamum is that proving division by n in set theory without the axiom of choice gets you in a bit of a pickle because the structure isn't necessarily preserved, meaning that the socks analogy of unordered sets won't necessarily divide by n since to do so requires a bijection meaning 1-to-1 and onto which is difficult to prove if multiplication of sets isn't defined as a repeated sum. With finite sets we are used to multiplication being a repeated sum but with infinite sets that doesn't necessarily hold.
Types, tests, lints are all complementary. Your comparison is meaningless. The fact that you'd even compare the two shows how much your experience with linters is worth.

"I don't wear a helmet because I can just drive slowly"

"I can eat this 8-patty burger because I'm going for a run later"
Good review by Maker's Muse: https://www.youtube.com/watch?v=F8sdrPgH9Fk

tldw; Printer has great build quality for the price. Print quality and speed obviously below the bigger Bambu machines, but excellent for a "bed slinger". Print volume quite small and requires diagonal placing for bigger parts. Pretty much PLA-only, but TPU also possible if fed directly into extruder. The multi-filament solution has serious drawbacks: filament change extremely slow and generates lots of "poop" plastic, which is simply discarded to the side of the printer. All in all: great printer for beginners, but the multi-filament is more of a gimmick.
I'm a big fan of formal methods, but we have to recognize that their use is still very limited, and that's a function of the difficulty of using formal methods effectively.

The idea that they could be used to prove the kind of properties claimed in the paper, essentially by throwing AI at the problem, is hand-waving of the fluffiest order.
What makes Elon Musk tick? I spent months following the same people as him
I disagree. I think electric cars are fundamentally different. If 50 people want to fill up a petrol car, they go to a petrol station with 10 pumps and they're all out in 15m because filling doesn't take long at all.

You can probably get more chargers in the same area as pumps, however it takes so much longer to charge a car that those 50 people would be there for hours.

I think the solution to electric cars is everyone charges their car when they're not using it, so lots of on street chargers and charging at home for people with a driveway.
I came up with a simple way to eliminate spam in my email, without any third party filtering.

I have my own domain name for email. My email box accepts anything that goes the domain. I.e. a catchall email account.

However, I give a different email address to every site and service. I.e. sitea@mydomain.com, site2@mydomain.com

This lets my email reliably get auto sorted by who its from.

But I also use a consistent form to the names I hand out, so that random email that comes to my domain gets deleted instantly and I never see it.

I almost never get spam. But sometimes some service leaks my email somehow and I start getting some. So I change my email with that service (or cancel it) and add that email to a manual list of incoming addresses to block.

It's so dead simple, I feel like all email programs should have the option of working with a whole domain this way.
Were there some particular updates recently? Thanks for the heads up. I'll look into this again.
I am guessing yes. It just would be really, really slow and expensive to build, so you might as well switch to something more cheap, like diamonds..

Edit: but it is not clear to me, whether this technic can be applied to macroscopical objects at all, or if you would have to do it in steps - and then have structural weaknesses at the connection points.
> it affects different people differently with some ending up resulting in a negative experience overall

I mean 7% having a negative experience after a few months of use is better than coffee right?

I don't know coffee's stats but people that are co-dependent on coffee think its waaaay more normalized than it is. 17.5 drink decaf which is like 95% less caffiene, basically trace amounts
> people can’t make something they don’t like and hope others will like it

There are implicit assumptions here about what "making" and "liking" means in this context. The vast majority of stuff that gets done and used is rote (think preparing daily food) and doesn't involve likeability in critical ways. It simply requires usability and maybe the absence of dislikeability.

Now if you want to invent a new dish, the calculus changes and becomes a mix of hopeless inertia (people don't easily change tastes) and stochasticity (except when they do).

What is more important imho is that whatever you do is a concrete, articulated something. That is what is usually expressed by the "what problem does it solve?" question. While I don't think that casting everything as a "problem" covers all bases, the idea is that people like having their problems solved. An ugly solution is still a solution.

But even those are partial considerations. People also just like stuff that other people like (fashion) with little intrinsic justification besides being part of a group.
I still stand that it might be both... A fad and future/current time.

In some parts overpromising and in others good enough or getting better and will deliver "value" in certain scenarios.
> No, the theory is that the PM of Canada recognises the electoral benefits of pandering to Khalistani extremists.

I've read that nonsense, along with more imaginative firehose of falsehood bulshit, on Reddit posts brigaded by accounts hellbent on attacking Canada in general and Trudeau in particular.

But it really doesn't hold any water, does it?

I mean, think about it for a second.

The entire Sikh population of Canada barely accounts for 2% of it's whole population. Let's assume each and every Sikh is of voting age, is a voter, and never voted for Trudeau in their entire life. Let's also entertain the thought that a Canadian government decrying political assassinations in their land by agents of a foreign country is something that would otherwise be unthinkable, and that the government of a western nation would need to want to go way out of their way to object to that.

Would a potential 2% bump in the polls justify all the noise?

Please think about this.
Hofstadter talks about such paradoxes in his book -- from what I remember, the paradox stems from self-reference (he also uses the example of "adjectives that describe themselves", aka the Grelling–Nelson paradox)
Yes, most Android subsystems since Project Treble are in userspace.

Hence my doubts, what makes Android Linux isn't on the Linux kernel.

Also I am not sure if everything related to Binder, gralloc and SurfaceFlinger are part of upstream contributions.

Then there are the ebpf customizations, different SELinux and secccomp settings, among others.
Corporations say they have a new No. 1 risk, they’re spending big to defeat it
Neither am i! I had a look at the terms. I couldn’t see anything specifically outlawing this, So i put a little disclaimer and message at top of the action yaml addressing GitHub staff and requesting they inform me if they need it taken down! I’m happy to oblige of course.

I also added a little message at the top of the main project’s read me like remember you know you’re on GitHub infrastructure don’t abuse this. Thanks for repeating it in your comment. I appreciate that !

My feeling is that GitHub probably would’ve ironed out many categories of abuse that they want to prevent over the many years that actions have been live and I think it’s unlikely therefore to get abused by people but let’s see what happens. Hopefully it doesn’t.

But it’s fairly funny in a way because the same technology is what I use for CI to check the applications working—there’s actually a surprising amount that you can do with GitHub actions, and in this case I was able to kind of basically turn it into a virtual desktop by way of ngrok, we are able to interface with her and guide you through the set up using GitHub issue comments I just thought that was really nice and I wanted to share it.

You can also tunnel in BrowserBox over SSH but I didn’t bother looking into that because ngrok just seems like the simple solution.

Finally, it’s a bit of a stretch to call it a VPN and I’m throwing up with calling it a proxy next time I post this—because these words are something people are familiar with and it’s essentially that kind of thing, but I think there’s important differences. but what it actually is harder to communicate and harder for people to get their head around: it’s really a remote virtualized browser that you’re connecting to using Websockets and web RTC, over an encrypted connection.

BTW - did you give it a try? What did you think?
Start reading up on 'double entry' bookkeeping. Soon enough you will read about certain constructs and try these as a tutorial on your own financial situation. That's how I did it. Because of the 'double entry' you can find out soon enough when you're making mistakes, and then 'bugfixing' these mistakes makes you learn quick enough. Well, this is how I did it.
Yeah, the cloud nature of Bambu is kind of something looming over the community's head. They have RFID readers in the filament holder. The software's not open source. They already had an incident where jobs sent to the printer got held for several hours (so the printer turned on when they cleared the queue, which might have been unexpected).

It just doesn't seem worth the lock-in risk to me. I will continue to buy printers from Prusa, even though they have zero interest in managing the supply chain. (Still have to import them from Europe, even though they bought a US-based retailer? Weird stuff. But I like them so I will give them a large benefit of the doubt.)
How much would it generally cost for a user? I couldn't figure it out from the pricing page.
I’m going to go on a limb and guess you’re a dude.

I suggest you expand your social circle and talk to some women that are moderately active on social media.

Women are nowadays confronted with their face generated on fake porn by AI, hell some are confronted with generated sexual abuse as a form of threat and harassment if they piss off the wrong person, and you’re out here talking about dick pics.

What’s worse is that you just couldn’t resist to add a dash of misogynistic victim blaming as a cherry on top.
Indeed.

It feels like it’s a nice language and, building on LLVM makes it stand on a solid foundation, but, still, it feels like a series of PEPs, some of which I can easily get behind.

If they make mojo modules callable from Python code, it all becomes a whole lot more palatable.
>Participants were primarily college-educated White men residing in the United States with a prior history of psychedelic use; mean age = 40 years. Participants primarily used dried psilocybin mushrooms (mean dose = 3.1 grams) for “self-exploration” purposes.

I think the participants already don't represent the everyday person or even coffee drinker, but I certainly don't disagree with your last statement either.
Will Vegans tolerate dilution from original feedstock to an ethically sourced non "animal" meat?
That's true for all CI services, do as little as possible in yaml, mostly just use it to start your own scripts, for the scripts use something like python or deno to cover Linux, Mac and Windows environments with the same code.
Im more interested in Claudio
nice hardware, crap controller and cloud tether.

it'll be a nice machine to buy on the aftermarket and put a real controller into in a few months/years, much like the rest of BambuLab's offerings.
Prusa Slicer was forked from Slic3r. That's kind of the point of free software; fork it, change the colors, stick your name on it. (Prusa has done a lot more than that, of course.)

Frankly, the less software that hardware companies write, the better. They already have their hands full with the firmware and probably don't need to be setting up CI infrastructure for Linux/Mac/Windows and all that stuff.
>Most bottlenecks are IO. "speed" is rarely as important as it's marketed to be.

in "your world", which aint the same for other ppl.
This looks fantastic and I'd love to give it a go, but £64.55 for the epub only feels a little expensive to me. The Pragmatic Bookshelf books usually come it at around £20 for example. So I'm afraid I have to give it a miss at that price. I thought you might appreciate this feedback as I was getting out my card by the end of the page and the left when I saw the price.
You can do something similar with Gmail - if your email is matt@gmail.com you can receive to Matt+1@gmail.com, matt+2 etc.
Although some websites reject this format.
I think the post missed something and I only thought about it a few hours later. This is likely not a generalisation issue in this case. This case runs into some trained protection from questions about not-famous people. You can see this by asking the relationship question in a generic way which proves the ability is there. On the other hand, asking this:

"Tom Cruise is Mary Lee Pfeiffer's son. Who is Mary Lee Pfeiffer the parent of?" still results in the template response about not having enough information.

At the same time "Tom is Mary's son. Who is Mary the parent of?" gives the right response. The issue here is the filter itself. We can't infer anything about model's reasoning abilities from this specific question.
Why do you use a StatefulSet? I assume every instance has it own volume with its own sqlite and that backs the cache. Why not just Deployment? Failover would be easier in that case.
Yes, I subscribe to Daniel Stenberg's RSS feed and have seen his many articles bemoaning excessive classification of bugs as vulnerabilities. One of these bugs, however, show serious cryptographic deficiencies. Unfortunately there are a lot of cryptography amateurs making stuff without a proper understanding ond making grandiose claims, so my default stance is one of skepticism unless reputable cryptographers have looked at it.

I use wormhole-william, the Go version of the Python magic wormhole, and age, mostly because of this Latacora endorsement:

https://www.latacora.com/blog/2019/07/16/the-pgp-problem/
Tabs are controlled by the renderer and can look wholly different per IDE/notepad

Monospace spaces are consistent across every machine

While the fight over "how many spaces" can be tricky, at least the code looks consistent once a standard is found
I use yaml and gh actions to prepare the environment, define jobs and their dependencies and for git operations, everything else goes into scripts.
Djot – Run React and JavaScript code on the desktop and instantly render
Why Auto Email Logging should be must have feature for Salesforce users
seems that the course doesn't include Google's highly efficiemt "step by step distillation" method, which was discussed on HN yesterday
Wtf, where on Earth do you put blocking code then? Firing off some long-running task in a background thread through executors is bog-standard usecase.
You wont be hauling anything in a remote controlled buggy, if it was feasible military would be all over this.

Buy a used Quad instead.
Explain to me how a MegaCorp using its platform for an unrelated political agenda is in any way similar to individual personalities trying to gin up outrage about something?
It's smart enough to compensate for it. Otherwise it wouldn't work with wind or air of different temperature/density "if the controls are all left the same"

Just like a car with speed limiter can maintain speed when you go from flat to incline, provided the engine is good enough
Not sure what the point of this post is.

This feature is entirely opt-in for adults.

Are we going to dedicate a post to every optional feature that we enable and act shocked about?
Caring about your work and work environment can make time spent working a lot more fulfilling. Which isn't to say every company or every manager inspires such sentiment, but if you can find a way to care about your work, and/or find work that you care about, it's definitely more pleasant than just doing the minimum to collect pay.
this is really brilliant in execution. a literal blackbox, the same as the impossible to climb 14Ft wall around "aadhar".

There is no justification other than "i am the government so i say voting is being done fairly so you need to believe me otherwise you are anti-national working for china trying to sabotage the country and have secessionist tendencies that must be punished to the fullest extent
Has anyone tackled this or adapted it?

I wonder if it would make for a fun summer or semester project to assign teams to various subsystems.
I'm doing my PhD there and from time to time need to throw away a few equipment that are genuinely non-reusable (dead lasers, for example) cleaned out from the labs. Then I got to know the recycling center on campus and developed a habit of looking around for things there.
I wish there was an easier way to send things to/from a phone. I use a 1-person slack channel for this because I can't find a simpler way.

Google Drive and Dropbox are both awful mobile clients.
This week in KDE: an unfrozen panel for Nvidia Wayland users
Github Actions basically only became usable once they started copying features from Gitlab CI. Before that it was an incomprehensible mess.

Compared to Gitlab CI, GH Actions still feels like a toy unfortuantely.
I liked the clarity of this write up. Musk says things he doesn't actually think, like valuing "debate" but rejecting commentary which undermines his own lines of Reasoning.

Cynicism aside ("following" Tesla spruiker accounts) he also appears to like random tech/gizmo stuff. He could be on HN and read half the feed.
Solid advice. What driver/provisioner works fine for this?
Take a picture of the receipt and a picture of your groceries, pipe them to appropriate models?
>BART'S a bad example...

Totally, and with the stabbings, not good. They had 2 in 48 hours at one point.
Great, uplifting story, thanks for including it.
Well, here is the thing: maybe a troll can use the idea that a comments on a government official's account is a public forum and demand that the third party remove the troll flag, or demand that the troll flag be ignored for government accounts.

> U.S. District Judge Naomi Reice Buchwald in Manhattan ruled on May 23 that comments on the president's account, and those of other government officials, were public forums and that blocking Twitter Inc TWTR.N users for their views violated their right to free speech under the First Amendment of the U.S. Constitution.

https://www.reuters.com/article/usa-trump-twitter-idINKBN1KV...

In the above case, the block was executed by the account holder who was a government official. Having the service provider flag a user as a troll and degrading their experience might be acceptable for comments on non-government accounts, but if a federal judge "flags" government accounts as public forums in a US court of law, then the service provider is now creating additional friction for a user participating in a public forum.

We have had political candidates and politicians like Alexandria Ocasio-Cortez doing AMAs on Reddit, so what I am describing is not a far-fetched hypothetical: https://old.reddit.com/r/SandersForPresident/comments/6ftvhu... .
This executable is actually a lightweight container based on cgroup + namespace.

Moreover, this tool is implemented in a new system-level programming language called Nature that is about to be released. I hope I can create meaningful and valuable tools with Nature. Thank you for your encouragement.
But smartphones are rarely rebooted so maybe you don't need persistence that much?
It only takes one, but most likely all the routers in between your network and the remote private network already drop the Martian packets, and you don’t have an interface directly connected to the remote private network, so the route you have configured would not work.
>Organizations who adopt feature flags see improvements in all key operational metrics for DevOps: Lead time to changes, mean-time-to-recovery, deployment frequency, and change failure rate.

Is this true? unfortunately there's no sources indicated, and a quick check on scholar doesn't show me anything of the sort.
Who is it stopping? You can literally click through. It LITERALLY says that it’s your choice.
I mean, your average air traffic control radar won't exactly be on par with that fielded by AWACs, Patriot batteries or Aegis systems.
Actually still accessible: https://reddit.com/.i
We’ve been using Zalando’s Postgres Operator before in production and we recently switched to cloudnative-pg. We didn’t experience any issues so far and I’m a big fan of their design choices (where you have a single user, single database for each micro-service that requires one).
Alternatives if you don't have your own domain:

- Fastmail masked emails (https://app.fastmail.com)
- Firefox relay (https://relay.firefox.com/)
- SimpleLogin (https://simplelogin.io/)

There's many more.
> I don't know coffee's stats but people that are co-dependent

It's just "dependent" or "addicted"", codependency is something else entirely
I think most developers don't need to or don't have the time to dive deeply into their build systems, but having had to do so as part of a project to migrate to Gitea (which turned into a larger project to enhance/fix its act-based github actions clone), my take is:

1. Github actions embodies the wrong abstractions. I'm not 100% sure what the right ones would be but it feels all wrong.

2. It has the feel of an unfinished/undocumented project. Someone's project to get a promotion perhaps that they handed off to interns after securing said promotion. A product that forces me to expend brain cycles reverse engineering it's behavior just makes me want to design it out of my life. I may as well develop my own thing : at least I'll understand that.

3. A build system that can only be run in a proprietary SaaS environment is a terrible idea. I mean, great idea for locking in customers I suppose.
Concourse has it right: You can ssh into a failed container, and debug in the exact environment where the failure occurred.

I don’t understand why people settle for less.