skysight-inc/HackerNews huggingface dataset:
I love my electric car, and it is stupid fast, but ... a Porsche is different. It makes you tingly and giggly to fling through the twisties. It's the kind of car that can give you an epiphany if you've only ever driven pedestrian cars your life. Like ... so this is what they mean by handling.

My model 3 is only comparable in a straight line. It's awful by comparison if you want it to scoot through corners.
At a Senate hearing in November, Jennifer L. Homendy, the chairwoman of the National Transportation Safety Board, said the shortage of air traffic controllers, coupled with mandatory overtime, had become a threat to aviation safety.
And Lockheed Martin
Great addition, thanks.
I've been shopping lately and my eye keeps coming back to a 718 Cayman GTS 4.0. I've always sorta wanted a 911, ever since I was a kid, but I'm just about in love with the 718.
>"Phased Array Optics refers to hardware capable of altering the phase and amplitude of light on scales smaller than a wavelength over large areas of addressable control."

Related:

https://en.wikipedia.org/wiki/Phased-array_optics

>"An Optical Phased Array (OPA) is the optical analog of a radio-wave phased array.[1]"

Spatial Light Modulator (SLM):

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

Maskless Lithography:

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

Zone-Plate-Array Lithography (ZPAL) and Zone-Plate-Array Microscopy (ZPAM):

https://mtlsites.mit.edu/annual_reports/2002/ft/008_zpalmzpa...
Isn’t that where the national anthem came from?
Find a partner who gives energy to you, and who you give energy to. Not always easy to find, but if you do, then its easier to work on stuff like this.
Amén!
Wow this is crazy, I took a cab from queens to Brooklyn once, and it was weirdly long and circuitous

Didn’t realize there were places like this though
A Corrupted Cop
Right... doing that specialized subset of a language that makes sense for you might not make sense for your team, might not make sense for your next team, and so on.
In densely populated areas, I'm with you. But out in the sticks, on a twisty road outside the city? I don't want to live in a world where the safety nuts have succeeded in making life dull, gray, and boring... but super safe.
I’ve wondered if the memory issues are actually side effects of the medication. I spent 6 months on max dosage of one medication and memory was crap and ability to communicate with humans (vs computers for the day job) was greatly diminished. I’m now down to about half the dosage of that medication but we’ve added a small dose of a second medication and I’m remembering more and social interactions aren’t as stressful as they were.
Amazingly enough, it is (try it yourself!). This predefined identifier changes its value for every constant declaration [1], and the declaration itself just fills the expression list from the previous when missing.

[1] https://go.dev/ref/spec#Iota
Considering coal is still 20% of American power, and it’s still legal to mine, sell, and consume, there is nothing wrong with his business other than opinions. Democracy has not banned it.

Personally I find working at Google and Meta distasteful because their revenue is generated through massive privacy violations at global scale. It’s more honorable to make money mining coal. At least people want energy.
If you are saying that life on earth is an anomaly, I would strongly disagree.

I think life is the most common thing in the universe. We just don't have the tools yet. In fact we wouldn't be able to detect life on earth itself if we were on another planet.
Plus one for Firewall. Gold SE replaced a pfSense Netgate SG-2100. Works well and easy to manage but tons of features.

Can’t believe I spent $300 + on the Netgate that couldn’t handle 1 Gbps traffic WITHOUT IDS/IPS turned on. Even a $50 EdgeRouter X can do gigabit WAN!
I worked for a long time with Akka and Scala and share the same sentiment. It packed so much power and yet felt so intuitive. Now every time I pick up a new language I instinctively look for an Actor based framework in it.
If a user only has IE and no ability to upgrade it, should I make extra effort to provide them with accessibility, or should I just tell them to fuck off, blocking them from information that is critical for them to access?

I choose the former, because I think the extra effort is worth it. Resources are not unlimited, but it's also quite feasible, if you are creative and not lazy.

And if you cannot even support IE, I guess you think that textmode browsers, visually impaired support, slow network connections, and other accessibility modes are also not worth your time?
> I feel like a proof assistant is amongst the worst places to have something like this

It's one of the best places! You know how in programming, your code looks like this?

func my_function(inputs) -> output { do something }

In theorem proving, it's almost the same:

theorem my_theorem(assumptions) -> conclusion { prove something }

But there's a single crucial difference: in programming, the "do something" is really important, whereas in Lean, the "prove something" isn't important at all: as long as the typechecker is happy with it, everyone can forget about it once it's written.

So as long as your assumptions and conclusion don't involve any division by zero, it doesn't matter what goes on inside the proof.

Regarding division by zero, you sort of have three options:

* Output an error / checked null when there's division by zero.

* Require a proof that the denominator is nonzero before you're even allowed to use division.

* Allow division by zero, making it return some nonsense. Then, add an assumption that the denominator is nonzero to all your theorems about division.

The first two options (especially the second one) make the definition of functions that involve division horrifically messy. (Idk, it might be easier if Lean had exceptions, but that also sounds messy.) I think that's why Lean goes with the third option.

https://xenaproject.wordpress.com/2020/07/05/division-by-zer...
Thanks a bunch a lot for the kind support!! If I have any questions I'll definitely ask - again much appreciated!!
It is easy to say that thing but hard to work on
Try creating something similar
Firewalla looks like ~$500 for a $50 device, closed source, includes free VPN, and ad blocking DNS…

Seems like all you can do I hope they do not spy on your traffic and sell data. I run a reputable VPN for that very reason I don’t trust even my publically traded ISP.

IDK, seems suspect. Or at least requires more trust than I am willing to hand out.
The difference is that a Taycan is Porsche through-and-through, and in addition to being fast in a straight line it does the good things in corners that make you feel fizzy.

A plaid goes like stink in a straight line. It has awful brakes and handles like a sled. Very much a one trick pony. Great if that's all you want from a car, but many of us want a more complete package.
A gradient is defined by dy/dx.

And it's associated with lines.

If you have gradient=2, you'll have a line that goes through origin and (1,2).

If you increase the gradient, it'll decrease the apparent 'dy'. You do it until the line becomes vertical, equivalent of dy=0. A vertical line is a valid object, but mathematically, it's no longer a function. You might say your math breaks describing the thing so you'll need a different math.
The cicadas can't be heard any more where I live.

When I was a kid they were so loud your ears buzzed.

It makes me very sad that we have ruined the eden that was the earth.
Ye unfortunately :( I tried my best to support all GPUs from 2018 onwards - for eg sadly Flash Attention v2 is only Ampere+, whilst Xformers is nicely Tesla T4+
B2B just means not B2C, which doesn't necessarily exclude government or education. B2M is to everyone.
I’ve experienced the same and paired with my anxiety, I get really uncomfortable it interferes with my day to day life. I’ve visited a couple cardiologists, both well regarded, and been told it could be inflammation and to ignore it unless its painful and to get more fit (BMI fine, but a bit sedentary). But I feel the medical community is lagging behind in this regard, sadly. Oh, and masks didn’t make much of a difference anecdotally here.
Poe’s Law clearly states that there is no sarcasm online
New Zealander checking in - our February (summer) is insane if you're close to certain types of bush. Deafening. Not sure if it was in the article (paywalled) but the little mofos can get up to 100db. There's a good couple of weeks I avoid the bush for sure.
I've been doing that as well as beatboxing (inward bass, subharmonics). The baby is seemingly trying to replicate some of it, but obviously they're not word-like sounds.
So... suburbs? I guess like the 1950's vision of the future plus grandma?
It doesn't matter whether the two sides diverge. For the 1/(n^2) function, this is not the case; does that make 1/0 defined if we express it as 1/(0^2)? ;)
The work is still going on
Core work is done by one person at a moment and the GUI is not upto mark but it is close to what we expected!
Yep, just had my ISP take my SFP ONT back for a regular RJ45 ONT so I could use a different firewall with RJ45 only WAN. Hard to find a good box with SFP WAN.
Yeah, it's still bad for you – but see how good it can look
https://www.smbc-comics.com/?id=2305&cmdf=superman+crank+tur...
SEEKING WORK | Remote | Part time | Victoria, Canada
Availability: +- 20 hours per week or less, hourly or contract work

- Technologies: Python/Terraform/Pulumi/AWS/GCP/TypeScript/Docker/Kubernetes/CloudFormation/AWS ECS/AWS EC2/AWS Lambda/AWS WAF/AWS CloudFront/AWS S3/AWS API Gateway/Google Cloud Compute/BigQuery/DataFusion/Google Cloud Storage

- LinkedIn: https://www.linkedin.com/in/jamiestarke/

- Resume: https://www.jamiestarke.com/resume/

- Github: https://github.com/jrstarke

- Website: https://cloudversed.ca/

- Email: hn@jamiestarke.com

Cloud Engineer. Looking for AWS/GCP work buildout Cloud Infrastructure, pipelines or account controls baselines. 12+ years professional web experience, 9+ years specifically in the DevOps/Cloud Engineering space. I have 5 years of meeting enterprise grade security and compliance controls.
It's more likely starlink up addresses, because it has been showing up in incognito.
This doesn't make any sense. Cost disease occurs because workers can get higher pay in other industries. If manufacturing really is high productivity (as you imply), keeping it onshore would only make cost disease worse not better. Moreover, the fact that cost disease is happening despite the fact we offshored manufacturing suggests that productivity is increasing in other sectors. My guess is in tech, high end manufacturing, and finance.
The article says there is already another machine, their desktop computer which is connected to the hi-fi-- and what do you mean you can't use the skip buttons? They work fine with Spotify Connect.
I've been thinking more about this. I'll agree the base level coffee is higher than Australia.
We haven’t completely ruined it. Build native habitat in your yard, be vocal about your concerns, donate to land preservation and get involved in your local politics and you can make a huge difference.
My office is predominantly WFH. I’ve found that Excalidraw spans the divide between collaborative white boarding and traditional diagramming effortlessly.

I can do back-of-the-napkin drawing sessions with my peers in realtime and flip that into c4, UML, and Balsamiq-style wire framing with very little effort, and little friction when pulling in both local team members and outside contributors. You can get a hell of a lot of mileage out of the free/oss offerings, but if you use it consistently with a small team Plus is a slam dunk. My office has fought tooth and nail over collaborative tools like this for years and got little traction, when I threw Excalidraw at ‘em it was like brandy on an infant’s gums: instant pacification and desired effect. I feel a little embarrassed fawning over it but it’s real fucking good.
If they had taken the opportunity to make it like an AirPort Express and included airplay and maybe chrome casting audio. It would replace my airport expresses in my UniFi stack immediately. I’d buy 3. But also the device limitation is brutal.
“Bribing the Chinese to stay on the NATO side in WWIII” is another victim of the end of the Cold War
Ok, nobody want to say real truth, so I will. Real startup must enroll new MVP at least once per two weeks, better if weekly, and try to sell and gather feedback.

This is not must be totally different each time, but must be large enough differences, for different people.

So good startup will make at least 50 tries for first year.

Sure, need good accounting/statistics to gather adequate data, but I don't think, this is what need to discuss.
Sounds like it’s all masonry construction, isn’t that fireproof?

Not to be flip: I too wouldn’t want to live in a society where improvisation were the construction norm. But it’s not clear to me that all code requirements are life- or safety-critical.

It sounds like Treasure Hill was in fact emptied and “renovated” in the course of this “artist village” process [0]. One imagines that such a process may have addressed the life-critical deficiencies even if it couldn’t meet the more nitpicky code requirements that might apply to normal development.

[0] https://www.atlasobscura.com/places/treasure-hill-taipei
Eric Schmidt: Henry Kissinger, Statesman and Friend
That’s what people said before WWI. I think the real reason is MAD
You’re misreading that line.

It’s referring to rules for how the military is governed, and for how the military is regulated. So the rules control the military’s government, and the military’s regulation.

It’s somewhat fair, that the words “state secrets” do not appear, but I would hope we could agree that any sovereign state would have to be anle to keep secrets, particularly in the realm of military, war, diplomacy, law enforcement investigations, espionage, etc. It’s a power the executive must have and “ The executive Power shall be vested in a President of the United States of America.”

Of course, the Legislature and Judiciary also have the inherent right to keep secrets. The Supreme Court keeps their deliberations secret, because they feel they need to. Congress keeps some meetings secret. None of that falls into the classification system.
I'd believe you if your were talking about Russia, but not so much China. Unlike what we see in the tabloids, it's not lurching from one self-inflicted disaster to another, is not seeing an active decline, and does not need to blame a shadowy cabal of external enemies for its domestic fortunes and ambitions. (Which are, all things considered, faring pretty well.)

What this does feel like, is a projection of western insecurities at the principal cause of them. We fear and hate them, and the only rational justification for our behaviour is convincing ourselves that they hate and fear us even more.
The information is in the data sheets for the chips, the data sheets for the modules and the technical reference manuals - but it’s spread over multiple sections. Bringing everything together into one quick and easy reference is very useful.
((x / y) * y) = x is not a true statement about real numbers, regardless of if division by zero is defined as an error or as being equal to 0. The true statement is ( y != 0 -> ((x / y) * y) = x ), and this holds no matter how you define division by zero.

More generally, in normal math, every theorem that involves division by some value Y which could be zero must have as hypothesis that Y is not equal to zero. All these theorems still work in systems like Lean where division by zero is defined to be zero, so nothing is lost.
I rmb someone posted a VSCode plugin where you can achieve similar mode, have multiple windows arranged inside like playing the cards in Solitaire.
This kind of stuff happens, right? The "One Shot" mine in California was a played out mercury mine that a dabbler bought as a side project and it turned out to have billions in gold ore.
Strapping pins internally have a pullup or pulldown resistor. At startup these control what state some part of the system is in, (like the example mentioned elsewhere, flash voltage). These are controllable by applying your own resistor at startup, like a normal i/o pin would be. The difference is that these pins are multipurpose. At power-on, the early bios reads the bootstrapping pins, sets its state, and then releases them to the actual OS, so that they can be used for other things (sometimes).

As useful as they are, imo they are a bit problematic, because of that mixed-use state. You have to be able to setup that pin for your hardware configuration, and then during operation use it for your needs.

Most of these also have an internal fuse you can burn to force the state permanently, which is where the "slightly different" comes in. The fuse sets the permanent internal pull state, so you dont have to deal with the setup phase, except, that you need to make sure anything you use that pin for in your application defaults to the state you want, as you can still externally modify that pin at power-on.
I’ll give the straightforward, zero-irony reply: hooray! We have a huge amount of exploitable natural resources that we didn’t know about until recently. This is good.
In case anyone is unfamiliar, Spotify Connect is Spotify's solution for casting and remote controlling one or more Spotify speakers from a Spotify client on the same network. Any Spotify client can act as a speaker, and the system seamlessly connects to other smart home speaker systems like Google Home.

When multiple Spotify clients connect to the same Connect session, they collaboratively control the music that plays on the clients that are acting as speakers.

It's the state of the art when it comes to built in remote control systems among the various music services. Other music services do have similar capabilities, but Spotify's is for now, unrivaled.
The "convention" is inconsistent with division by small quantities that get closer and closer to zero.

1/1000000 = 0.000001
...
1/10 = 0.1
1/1 = 1
1/0.1 = 10
1/0.0001 = 1000
1/0.0000001 = 1000000
...
1/0 = ... 0? WTF

What is the application for 1/0 = 0? Where is this used? Does it actually make a meaningful appearance outside of drunken barroom conversations, and classrooms staffed by clowns?
People also want the insane amount of value Google and its myriad of free(!) services it provides. Most people, especially in the developing world couldn’t give two shits about Google collecting their data to serve them ads in return.

Coal is a necessary evil for now. It’s good its being viewed that way until it’s phased out over the next few decades.
Are young people poised to slam the brake on endless economic growth?
What are some use cases for these?
Businesses ARE buying this stuff.

Remote access, decent ecosystem, reliable. What's not to like?

The only problem I have on occasion is stock.
A Brief History of Firefox Performance Optimization
Not if you’re confusing political expediency for scientific rigor.
> 0 is always going to be a special case for division in real numbers.

Right — because it’s impossible to have an inverse of zero multiplication.

Eg, 0 = 0 + 0 -> 1 = 1 + 1 -> 0 = 1 if you have a multiplicative inverse to 0, and hence you have collapsed your entire system to a single value.

These are students we’re still teaching that basic algebraic structure to — that it’s not possible to have a multiplicative inverse to zero.

Calling that a “convention” is wrong.
How does mathematics avoid technical debt?

Like "division by zero is one and only one of the following: a) zero in the case of 1,273 historical contexts where that answer just made things work out smoothly for everyone involved, b) zero in a new case, pending addition to the official tally in 'a' above, c) infinity, for use in science fiction, or d) undefined."
I’d really like to hear more about this
It's about color. What does 2018 have to do with anything? Did the workings of the universe change since then?
Most people don’t give two shits about children mining rare earth elements in Congo, so it’s surprising they love their electric cars but despise mining in the US.
yes, they are not particularly rare on the planet, the rare means theres not much in the average bucket of earth.
The docs can be used as a guide: https://magic-wormhole.readthedocs.io/en/latest/welcome.html
If you don't have kids it's fantastic car. Even the 911 is not really a four seater but until kids are 10 or so it is manageable. Teenagers: not so much. Personal opinion: the 718 handles better than a 911 by a considerable margin.
> what do you mean you can't use the skip buttons?

I think they mean the physical skip buttons on the device. By presenting it as a USB device the skip buttons can work on device.

Except that: "My main next steps, in no particular order, would be... Detecting track navigation: if you go to the previous or next tracks, emit a signal to somewhere. This would allow triggering a track change on the stream source, such as Spotify."
Does anyone have experience with Omada? Ignoring China/US, how does it compare in terms of tech and ecosystem?
It sure seems that humans have tried to build and live in such hives for an awfully long time—Wikipedia calls it 7000 BCE [0]. Sure, a drop in the bucket in evolutionary time—but neither is it purely a skyscraper-era phenomenon.

Even to this day, all that undeveloped farmland is dirt cheap compared to the hive life, and yet people vote with their feet and their money for the hive. For a substantial proportion of them, the first step is to exchange the countryside life specifically for this informal/improvised condition of dwelling, just to be close to the hive.

[0] https://en.m.wikipedia.org/wiki/List_of_largest_cities_throu...
Math is like a game where you can pick the rules but you have to live with the consequences, and if we choose to define division by zero, a result is that we can prove any number equal to another, e.g. 1 = 2. This ruleset is not fruitful, so we don't do it, but it can be that a new choice unlocks interesting dynamics, like choosing a definition that allows handling roots of negative numbers.
> Does varying twist rate contribute to that uncertainty?

Yes, but beyond the effect that you're saying. The distance between conductors affects speed down the cable. Tighter twisting also changes the distance and the amount of dielectric around, which also varies speed of propagation.

These effects can be massive; a typical cat 7 cable has a velocity factor of 80% of the speed of light, varying by a couple of percent; a cat 5e cable more is often more like 65%. If you launch a pulse into a mess of mixed wiring to find out where something is unplugged or cut, you could be off by 20% or more.
Medtronic’s StealthStation for neurosurgery navigation blows my mind every time I see it be used… I’m like wow - that is cool.

https://europe.medtronic.com/xd-en/healthcare-professionals/...
strings.Split does return subslices of the original string. It's not making a copy of the string. Allocations still have to be made for slice that holds the result of strings.Split. That's where the allocations are coming from.
This doesn't really seem comparable -- the big draw to the Express seems to be the WiFi built-in; at $149 for the Express vs $172 for the Gateway Lite + (at least) ~$100 for an AP, these are entirely different categories.
You're looking at the wrong unifi product then. UDM Pro SE (for example) you can choose between any two of (2x)1G, (1x)2.5 and (2x)10G SFP+ uplinks.

Obviously 2x 10G uplinks don't make a whole lot of sense ;)

Enabling the IDS drops throughout to about 3G (IIRC) but IDS is snake oil at the best of times.