luma

13 ms·

211.
by luma 2y ago
Check out mathlib for LEAN, the pace of proofs being added here is breathtaking: https://github.com/leanprover-community/mathlib4
212.
by luma 2y ago
Re-read the post, there’s more in the path than just your client and server code, and network switches aren’t the problem. The “middle boxes and proxy servers” are legion and you can only mitigate their presence. You’ve been offered the gi
213.
by luma 2y ago
Check the code, low volt is usually not a problem but in the case of air vents, it’s specifically called out. The only wires you can have inside metallic ducting are those needed to control HVAC systems.
214.
by luma 2y ago
For whatever it’s worth, running cables through your vents in the US is an NEC violation (see 300.22). If you’re renting it might be your only feasible option but probably not a great long term solution. Otherwise, I strongly agree with ev
215.
by luma 2y ago
> I wish Bambu would bring something like this as an option And that's what you're left with, wishing a company would meet your needs. With a Prusa, you just go ahead and add the thing and tinker as you wish. Modern Mk4 prin
216.
by luma 2y ago
One of the downsides to a mostly-closed system like Bambu, it makes adding solutions like this difficult.
217.
by luma 2y ago
Social media orgs discovered a while back that what they want is "engagement", not "good content". Enraging content is as good as "good" content in terms of clicks, and downvotes would bury that enraging conte
218.
by luma 2y ago
…this might be the worst possible solution for all parties involved. How do I handle my own credentials when I have no idea which way a coin toss is going to go when I reach the site? How are certs handled? What would anyone gain from on
219.
by luma 2y ago
This feels relevant to your comment: https://archive.is/9V2Bf Orgs are already fleeing LSEG for deeper capital markets in the US.
220.
by luma 2y ago
The author reports two main "security issues": 1) No HTTP basic auth. This isn't a security issue in any way, shape, or form. Author has a personal preference for basic auth but this doesn't mean that changes the secur
221.
by luma 2y ago
Not really possible via mutation. Mutation only impacts the genetic code, swapping chirality means swapping nearly every molecule in the organism all at once.
222.
by luma 2y ago
One major difference would be in how it is distributed. Rewind is an app you go find, install, and deploy. Not a lot of concerns around consent there. Building it into the OS, potentially default on, is the same sort of technology. It&#x
223.
by luma 2y ago
I work from home and my time is accounted for by way of my productive output because I am very far away from a CEO type. If I can take every Wednesday off because I’ve gained enough productivity to do so, I would happily pay $200/mo o
224.
by luma 2y ago
They haven’t raised the price, they have added new models to the existing tier with better performance at the same price. They have also added a new, even higher performance model which can leverage test time compute to scale performance if
225.
by luma 2y ago
You've misunderstood something about Nyquist. A sample rate of, say, 44KHz, will capture ALL information below 22KHz and recreate it perfectly. There are of course implementation details to consider, for example you probably want to h
226.
by luma 2y ago
This is framed as a problem with windows, when it’s clearly a problem with tailscale misreporting its capabilities to the OS. If I have a 100gbit and a 1gbit interface, it’s perfectly reasonable for the OS to auto assign route metrics to p
227.
by luma 2y ago
> let's face it, two of the most dangerous jobs around at the moment are teaching and nursing, both of which are predominately done by women. Not even in the top 10. 2024 numbers: Logging – 100.7 per 100,000 workers Roofing – 57.5
228.
by luma 2y ago
They have, and for that we have SponsorBlock https://sponsor.ajay.app/
229.
by luma 2y ago
You imply that the only bad actors one needs to protect themselves against are the police. The vilest criminals can also use my data against me.
230.
by luma 2y ago
That’s fine, but don’t be upset when your cry for attention is met with a one star review. You’re putting your own needs before those of your users and we all understand why.
231.
by luma 2y ago
This sort of thing happens for a bunch of reasons, most typically as a result of legal action. I myself have all of my email being held for discovery in an ongoing case that I personally have nothing to do with, it says nothing about wrong
232.
by luma 2y ago
These are robotaxis, not personal cars.
233.
by luma 2y ago
Presumably, because it isn’t transformative enough to constitute a derivative work. Otherwise, making a copy of free works would allow one to put those works back under copyright.
234.
by luma 2y ago
Famously, the most litigious and generally obnoxious to deal with enterprise software company on the planet. Or ale doesn’t have customers, they have hostages.
235.
by luma 2y ago
vSphere is, by far, the most mature enterprise datacenter virtualization platform which is why this is so challenging. Orgs are going to have to make do with openShift or Hyper-V etc and a lot of functionality will be lost along the way.
236.
by luma 2y ago
Nobody close the the edge of this tech seems to believe that this is true, and the 4o release suggests synthetic approaches work well.
237.
by luma 2y ago
You and I share very different understandings of the word “easy”.
238.
by luma 2y ago
Did you read what he was doing while this case went on? Dude was on talk shows and podcasts and posting online while constantly admitting to felonies. I can't think of a worse client, there was absolutely nothing his lawyers could do
239.
by luma 2y ago
One thing I'll suggest - if you ever want to cut anything metal, you'd probably do well to learn how machining works in general and by that I mean on a manual lathe and mill. The coding part is going to be easy for you (and proba
240.
by luma 2y ago
I think the comparison that should be made here is the actual alternative - what is the cost in kw/hr of me sitting in front of my powered-on and not-sleeping laptop while I spend the next 10 minutes penning an email? If the machine ca

More ›