skysight-inc/HackerNews huggingface dataset:
Well… yeah?

My GitHub actions workflow consist of calls to make lint, make test, make build, etc. Everything is useable in local.

There’s just some specificities when it comes to boot the dependencies (I use a compose file in local and GitHub action services in CI, I have caching in CI, etc.) but all the flows use make.

This is not a technical problem, you’re just doing it wrong if you don’t have a Makefile or equivalent.
> completely absurd quirks of their car’s UX,

Tesla could fix this by opening the car up to the modding community.

Let people mod the screens to their hearts desire. And let people mod the official app too. Make a big warning that Tesla isn't responsible for any behaviour caused by mods, and make a simple 'safe mode' that disables all mods and takes it back to stock.
Penguins-eggs: console tool to remaster your system, redistribute as live images
It's not GPL's fault, but greedy vendors which don't want to open source their drivers.
Revenue != profit. Assuming all $50M was fully "invested", the ROI looks very poor. With revenues of $200M + the situation would be very different.

VCs consider 20x return on invested funds as a success.
Alternatively, it could be a case of:

"Oh, how long has it been since that emergency alert system was tested? Oh, that long? Maybe we should schedule a test to see it works"
This confuses trust with identity verification. Anybody should be able to get identity verification, to verify that they are the same person they were at some previous time. That's useful for recovering accounts, from bank accounts to social media.
They are unfortunately not removed, because the way they are used makes it difficult for bundlers to detect them.

Deno encourages you to submit the original sources which can be even in TypeScript if you want. The users are very close to the newest Deno release and there is barely anyone staying on old versions. This works because Deno takes semver very seriously, which in turn encourages folks to upgrade. It removes the need for polyfills and allows you to always use the latest JS features.

Disclaimer: I work at Deno
Sorry but that is just FUD.

I own BambuLab and make use of their LAN feature all the time. The camera stream works without account and cloud access (albeit, they recently added that!), so does uploading g-code through the LAN without any account. You _just_ install BambuStudio, connect to the printer with a code shown on it and assuming you're in the same network - it just works. No account or any cloud needed for that.
Show HN: CleanClip – Search/Preview/Paste, the simplest way to manag clipboard
CleanClip is An immersive clipboard management tool designed for Mac, allowing you to quickly search, preview, and use clipboard history at your input position.

Its features are:

Use Anytime
Call it up with a single keystroke "⌘ + ;" in any scenario, view, search, preview, and use all your records.

⌨ Immersive Popup
No need to switch focus, the popup always appears at the editing field position.

Quick Search
Type a letter to quickly search, even the oldest records can be found instantly.

Full Format Support
Supports all copyable formats, including images and files.

Sync Mobile Records
With iCloud enabled, text and image records copied on your phone can be viewed on your Mac.

Frequently Asked Questions
# Supported System Versions?
Supports macOS 11.0+.

# Can I try it for free?
The basic features are free to use with no time restrictions. So you can use CleanClip's basic features permanently without paying.

# Can I get a refund if I'm not satisfied?
You can request a refund within 7 days for any reason. Just send an email to cleanclip@gokoding.com, including: [Refund Request], [Your Purchase Email], [Reason for Refund], [Any suggestions or feedback that can help me].
This smacks to me of peak late stage capitalism. Not everything ought to be about profit and growth. The world already has too much unwanted, useless mass produced surplus/crap.
I guess you’re aware of https://www.hippocraticai.com/
The real culprit is false accounting. If it's awkward to put on a spreadsheet, it doesn't get counted as being valuable.

There's an episode of This American Life about IIRC a sausage factory that gets moved, and the sausages for some reason do not taste the same. The tacit knowledge embedded in the old factory is an example of this effect. You think you know how something works, so you make decisions based on that, and it turns out your spreadsheet was wrong.

The same thing is the case with your example. It's easy to count the salaries and the cost of the new site, along with the expenses for the machinery.

Outsourcing is another one of these things, and problems are compounded when it's not just counting the costs/benefits correctly, but doing do at an appropriate time. You send your multi-year coding project abroad, spreadsheet costs are lower, manager who did it gets promoted, project falls apart.
I think what's holding back the correct firewalls, mailers, etc is that the whole computing landscape is so unsound, and fixing just one level of the stack doesn't give big payoffs. And the market mechanism doesn't know how to climb that hill especially since it's been baked into people's assumptions and mental models.
> it is absolutely a fact that the GPL takes away some rights.

Expressing it like you did is misleading. One man's freedom is another man's restriction. It's two sides of the same coin.

It is absolutely a fact that laws against murder take away some rights. Suddenly you are not allowed to kill other people. You do not have that "freedom" anymore. Flipside is that others now have the freedom to walk around without fearing that they can lawfully be killed by others. You pay for granting one "new" freedom by removing another, opposing freedom.

The GPL grants new rights for a party by restricting rights of another party. Just like all licenses do.
Don't be discouraged, the world needs drones too! :)

Some of us have a primal urge to create something new, something we personally appreciate, regardless of whether that intersects with our job.
> has had any ability to tell me where, how often, or even whether a particular component is in use in the production UI

I built a dashboard to display this for the design system I work on at my day job to give product designers better visibility into production, using a library called react-scanner[0] and some logic related to the way our different product repos are structured / places where the component names are different between figma and react. there are probably other libraries for this sort of thing in different ecosystems, and you can always build your own with a parser as well.

[0] https://github.com/moroshko/react-scanner
this is really cool! thank you
Lot of more traditional software is something the coders don't need or even use, but they still provide real value think of something like inventory tracking in warehouse.
230VAC flat screen TVs tend to be powered by 14VDC at the motherboard level, might well function if fed 12VDC from an external power source, bypassing the built-in step-down converter entirely.
> That's probably possible now.

It's definitely possible now. Formal methods continues to shift from the theoretical, academic, and difficult to the practical. There are model checkers based on SMT solvers that can be used today to enforce function contracts. It is getting easier to extract software for more complicated logic (e.g. data structures and algorithms) using proof assistants.

I can't really speak for ML and other forms of AI, because I have not attempted to design such a system with formal methods in mind. But, traditional software can be made safer with formal methods today.
Tailscale recently announced an integration with Mullvad [1] that is probably what you're looking for: Mullvad's VPN servers act as Tailscale exit nodes, and they have servers in countries around the world. This lets any of your existing Tailscale nodes route traffic through Mullvad.

[1]: https://tailscale.com/blog/mullvad-integration/
I don't get it - why is Prusa mini a much better printer for somebody who actually wants to print than Bambu ones?

The cheapest Prusa mini (self-assembled) is $459. You can buy a Bambu Lab P1P at $599 with a ton of more features than Prusa mini and much faster prints without any loss in quality/consistency.

Bambu labs consistently provided parts for reasonable price in my experience. And I've been using their X1 and P1 printers for a while now.
> > Google Search has two masters, users and advertisers

> No, it doesn't. It has one master: advertisers. Advertisers are the customer. Users are the product. Search results are the bait.

I wouldn't put it that strictly. Users are still masters in that they can continue to use Google or not.
Yes, and it’s 5x cheaper per mile to fuel an EV here too.
Thought that said "Da Nang" at first, and thought it was making an Apocalypse Now reference regarding Software Engineering.

Like

"When I'm coding, I want to stop, when I stop, all I can think about is coding".

"When I went home, I just stared at the wall thinking of code, I didn't say anything until I said yes to a divorce".
Titanium iPhone 15 Pro Max Durability Test – JerryRigEverything [video]
I understand. You want to work with NaN-s for some reason.
> But I guess that’s just me rehashing what you said about reaching critical mass.

Yes. But one should remember that some services that are popular today started with a very small user base. Programming languages have to start from one user (starting from zero is orders of magnitude harder - if you are not the first regular user, your project will most likely fail).

One way to achieve that is to have a "killer feature" or maybe a unique combination of existing features. For instance, a subject related to browsers is discoverability and search. If you are going to compete with the WWW without funding or support from companies/institutions, there's little hope that someone will provide a search engine. This means that users will have to pay for that service with their time (that's how Wikipedia emerged). One could think, for instance, about a content tagging system that users could share, to solve this problem.
Rick Rubin Interviews Trent Reznor
Some of my favourite book covers are unquestionably bad art. But, they had good typography, clear lettering and were eye catching, even if Schlock or worse.

The original m*a*s*h paperback covers for instance. How to imply nudity with a hand!

The point of this Web page is "yea, but there's also just badly executed" and my goodness they are.
Back when I did it, assembly, embedded programming, and compiler implementation were all subjects programmers avoided in college so I went in that direction.
+1 for "thither!"
Looks like it's just creating a VPN by using GitHub Actions, not sure if that's even allowed usage:

>HOLD UP You need to fork or generate this repo first, so you have your own copy. Then open an issue and you will be guided through the process (1 manual step, rest is automatic), while your browser VPN is created.

>By default they remain open for 5 minutes, but you can make that longer by editing the workflow YAML file. Each minute used counts against your GitHub actions quota. Also, don't do anything abusive with this, remember you are browsing the web from inside GitHub's infrastructure (actions runners), so treat them with respect!

https://github.com/BrowserBox/BrowserBox#special-event--crea...
Its more of a discount on a >$1B fine Intel never paid.
The cloud features are NOT integral to the experience. You absolutely can use the printer without touching the cloud but it makes the experience a lot nicer if you're not an advanced user who is used to buying their own camera, setting up their own VPN and configuring their own OctoPrint to get similar feature set.

You actually have two different options aside from cloud - completely offline with SD-Card (which is what you get in ... almost all the other 3d printers?) and partially offline (I.e. via LAN) where you upload the g-code locally without passing it to the cloud.

Look, I'm not trying to be a shill for BambuLab, but it just feels like people are making their opinion based on what they read at a glance without actually getting into details or even being able to confirm it themselves.

Personally I believe they just enable less technical folks to actually make use of their printers and not be totally confused at variety different methods and learning about all the Linux stuff just to be able to get something basic as making it possible to see the print without standing next to it. I totally understand why The Cloud is perceived as an evil, but I think there is false dichotomy here where it's either everything or nothing. Looking at Bambu's team actions I truly believe they are at least _trying_ to provide to different kind of audiences (i.e. their LAN feature)
> If you have pickRandom<A|B, B|C> x y you would get nested Either's

If this wasn't the case, how would the information about what you got be retained? It's either positional, or by a tag/key (row-polymorphic variants), or none retained.

I don't see why would you want to use monadic API for approaching an "anonymous sum type" problem in the first place. As I said before, there are fundamentally just 2 operations you would want to use: inject and project. Maybe you could also mention assoc for re-association but I'd say if you're using it you're likely handling the problem the wrong way. So I still don't see how monad transformers play into this. They are a nice (decent, at least) trick for dealing with some situations but the problem we're talking about here isn't one of them.
Spoofing Emails from 2M+ Domains and Virtually Becoming Satan
> I personally want to make a living making software products, not services. GPL doesn’t seem to offer me a way to do this.

These two things are pretty unrelated.

For Android apps, a common model to have a paid version in the play store and still publish the source code on github with GPL. Here the GPL actively protects you against somebody coming, doing some minor modifications and then pushing their own paid-for version to the app store while not publishing the source code (which they could easily do with other licenses).
X1C works fine completely offline now[1], however it still has a stupid restriction where their slicer can't find the printer if its on a different subnet unless you generate the announcement packet yourself.

[1] it was much worse a few months ago, but an incident where a cloud outage resulted in a lot of damaged printers (when jobs were erroneously resent after they completed without a re-leveling) seems to have motivated fixing many of the remaining gaps with local operation.
Lol so now the article is getting edited as criticism builds in this thread? If that isn't evidence that someone's trying to create a narrative...
0 to 60 in 5.7 .... a sub 10k car putting up the same numbers as a 1980s Ferrari Testarossa.

I'm embarrassed to have at one point unironically thought of myself as a serious Car Guy. EVs have done so much to expose mainstream male-oriented car culture as an utterly ridiculous and performative costume ball for manchildren.
I found someone who did receive compensation for the damage:

https://www.reddit.com/r/BambuLab/comments/15rznpy/printer_s...
I was about to setup a subscription, but haven't found my language in Interface Language settings. Why there is no translation for widely used languages like Chinese, but avaiable for super rare languages like "Luxembourgish"?
>Among my haul, I got two large logic analyzers, for $5 apiece, free of Dumpster commingling artifacts.

How do you compare such large logic analyzers against something like Salae?
>Microsoft famously bailed out Apple

you mean entered settlement after being caught stealing https://www.theregister.com/1998/10/29/microsoft_paid_apple_...
So your objection isn't at all particular to delivery apps or uber or EBT, it's broadly an objection to "regulation". Cool.

I understand and am broadly supportive of the idea that deregulating welfare is good, but it's a soapbox that isn't particularly relevant to the rest of the discussion, hence my confusion.

> People should be able to sell out of their section 8 housing

What produce are you going to be growing in your third-story apartment?
When GitHub actions came out, I felt bad about myself because I had no desire to learn their new programming language of breaking everything down into multiple small GitHub actions.

I think you explained quite well what I couldn't put my finger on last time:
Building every simple workflow out of a pile of 3rd party apps creates a lot of unnecessary complexity.

Since then, I have used GitHub actions for a few projects, but mostly stayed away from re-using and combining actions (except for the obvious use cases of "check out this branch").
Some people indent in a way that breaks with tabs. Like:

object1.field1 = value1;
longObject2.field3 = value2;
longObject23.longField1 = value3;

or

if ((firstArg == 1 && x == 3)
|| (firstArg == sthElse && x == 4)
|| (thirdArg == 3 && fourthArg == 2)
) { ... }
I would add: if your goals don't exceed your skill level you either have reached enlightenment or (more likely) you are in a situation where you can't care about them (e.g. strongly time constrained, in a job, etc.)

Your standards are just the quality you can still live with without feeling bad.
An executive can also completely tank your business in a way that a line worker cannot.

So it's still a bit of a paradox why you would pay anyone so much over the odds. How confident can you really be that this one guy you found is going to increase profits by 10%? And if you do find this guy, why isn't there another guy with similar experience offering the same tradeoff?
Ask HN: Who is using the D language and likes/doesn't like it? Why?
dlang.org
PicoCTF – CMU Cybersecurity Competition
> but very useful.

Useful in what respect?
Yea like.... I've been "following my heart" or whatever for over 15 years... sure, I made some cool shit, and some people really like it. But it doesn't pay. I need money.
No longer science fiction:

https://en.wikipedia.org/wiki/Plasma_gasification

https://news.mit.edu/2021/inentec-turning-trash-into-valuabl...

"The US Navy is employing Plasma Arc Waste Destruction System (PAWDS) on its latest generation Gerald R. Ford-class aircraft carrier. The compact system being used will treat all combustible solid waste generated on board the ship."
> Also Bambulab has a bad track in providing parts, when needed.

Sorry but do you have any sources for that? I'm just looking at their website[0] and I see all the common parts available - what exactly is missing with parts they provide?

[0] https://eu.store.bambulab.com/collections/accessories-for-x1...
https://archive.ph/2by8Y
I can't figure out what you're even trying to say.

What risk of being misled is even possible in oss?

There are junk oss put out by companies that want to claim they do oss for PR, but no one is misled by that. If the code is junk that doesn't do anything but say, shim a blob which contains the actual goods, everyone knows that, as there is no way to hide it.

There are lots of crap oss, or high quality oss who's design goals I don't like, but none of that is misleading.

There are oss where the original author changed their terms after some time, but then everyone just forks the last good version and proceeds from there.

There are companies that try to steal oss, but the original thing they try to sell is still there.

In no case is there any opportunity for misleading that I see, because regardless of anyone's thoughts or intentions, the actions are all in the open.
Yes but it's a fairly recent change.

> and assuming you're in the same network

to make it go across subnets you just need to send the announcement packet yourself. It's a pretty easy hack, but it's kind of embarrassing for the manufacturer that their own software won't let you type in an IP address.
Ok, I also have no hard data at hand, but in my impression the vast majority of projects even started by individuals today do not use the GPL, but rather MIT or alike. Me too, because I do not like the concept of copyleft. I like the intention behind it, a world with open source as standard - but I just think the way towards this, is by convincing people step by step and proofing that they can also make money with open source and not trying to force them to open source.
It's the best option, even assuming no one raced and you got full funding and enthusiasm, it would be plausible to put success at 40%. That's after a generation of work and trillions of (2022, probably) dollars, but it's sure better than the ~0% chance I'd give anything else. The coordination problem for getting AI using this method and the coordination problem to prevent anyone getting AI at all is quite similar though, but probably somewhat more preferable.
> For many years (maybe still) String Theory is not testable.

You keep repeating this, but it's incorrect in the context we're discussing.

> Yet you are trying to say String Theory has some extra quality that is convincing enough to allow us to assume that in the future it might be testable

No, that's not what I'm saying at all.

I'm pointing out that string theory was designed from the beginning to make the same predictions as existing theories, and it generally did so, with some caveats. In that sense, it was testable from very early on - you could use it to make predictions, and test those predictions.

Peter Woit acknowledges this in the article you linked, writing:

> "simple versions of the string theory unification idea, the ones often sold as “beautiful”, disagree with experiment for some basic reasons."

The fact that the theory is capable of disagreeing with experiment means that it is testable. The theory might be wrong, as in Woit's example, but it's testable. The whole point of a testable theory in this context is that you can use test to determine when or where the theory is wrong.

When Woit says the theory is untestable, he's using the word in a different sense, which he describes in the article. But that is not the same sense in which IIT is untestable.

IIT is untestable because there are not tests that can be used to determine when or where the theory is wrong, as there are with string theory. That's why it's pseudoscience.

> To toss it out at such an early stage is just as invalid, based on opinion not anything scientific.

IIT is 20 years old at this point, hardly "such an early stage".
In germany we now have a "Warntag" [literally "Warn day"], which is scheduled to be once per Year in September.

This is mostly a result of a previous test, which revealed that in case of a catastrophe, most germans would not be warned (Sirens not functioning, cell broadcast was not used, ...)

Sadly the website of our Federal Office for Civil Protection and Disaster Assistance is not translating every page to english.
https://www.bbk.bund.de/DE/Warnung-Vorsorge/Bundesweiter-War...
Having been trained to read sheet music, I definitely wouldn't be your customer. The notation system is so smart, the closer you look at it, that I cannot imagine that it can be replaced with something just as good, especially for the more complex scores.

Definitely some alternative solutions may be good for beginners, but I wonder how they would perform with the Kreisleriana.