skysight-inc/HackerNews huggingface dataset:
I originally studied EE and we did a lot of math. Fourier series, Laplace transforms ... Never used any of it. The most I've used has been some simple statistics and a cubic spline for some curve fitting. Even ML seems to just use basic linear algebra. That said, trigonometry can be quite useful for DIY jobs.
LBOs are amazing. You can steal any company as long as you don't care if it gets bankrupted (and then you can steal its assets in bankruptcy)
Every time I've ever tried 12ft, I've gotten a 503 error. Multiple devices tested, always the same thing.
It’s end to end encrypted. Apple doesn’t have access.
> 8 core ARMs aren't typically automotive grade and that's the expensive bit. An automotive grade iMX.8 with 4 A53 cores runs somewhere around $100.

I think we're into splitting hairs territory. You're right, automotive industry is typically unbelievably crazy far behind, and accounting for that is a pain.

ARM in general has made me very very very sad for a decade of non-delivery now. Cortex A53 turns 10 years old in October. ARM still doesn't have any replacements actually shipping that are really any better- A55 was like a 5-15% boost (a real stinker), A510 isn't actually shipping yet, & who knows if it'll really be better this time, another sad repeat of A55.

But I don't think it changes my arguments or belief significantly. We could easily not-suck if we wanted to. Some big car company could go work with a foundry or hyperscaler & decide to kick out a lower-middle speed automotive ARM chip, which would cost very very little. I think it's also conceivable that simply using an extended temperature range chip & being a lot more careful about power regulation & noise tolerance is perfectly doable.

Let's look at the parent:

> You need top end device with mobile connections to drive experience similar to Carplay or Android Auto with fancy map animation, fast touch response time and music streaming apps. That device cost at least $700+.

If we evaluate your critique a little more, look around, we can go further with your arguments: anything decent and Automotive-grade is not available, at any price. No one cares, no one buys it, no one makes it. Right now.

Anyhow I was just throwing out numbers. You're right, we might not have 8 cores to throw around right now. Maybe only 4. A Google TV runs off a Allwinner S905D3 with slow quad A55 and low end G31MP2. It still runs a decent 4K, is pretty fast & responsive (hindered largely by flash speed). It's barely warm to the touch. The gist was: even basic cheap computers are quite fast & capable, and you're pointing out that automotive prices are high. I have to add that there are no high end cores for automotive right now, at any price, and generally just automotive is vastly under-served. But I think, ultimately, there's probably still plenty enough oomph to run a system like this, with whatever we've got.
Nice, original LaTeX code is there too.
But why not substitute the $999 MacBook Air with the $999 iPad Pro 13”? That’s the one that bothers me. It’s very nearly the same device.
Thoughts on Tether's $10.5B Contraction
I find it hard to believe that anyone working as a programmer / software engineer wouldn't be using any actual computer science (as in data structures, algorithm complexity,...). I could believe that most people working as engineers in civil/mechanical engineering would mainly use Excel, but not that they wouldn't be using exponential functions.

But I guess his point is rather that most graduates of engineering schools don't even work as engineers at all, which might be true, I don't know (I even have difficulty believing that given the number of people I know who weren't even trained as engineers and are now working as software engineers).
I have tried this site multiple times and never been successful. I find archive.ph to be much more reliable.
They are, but they are far more expensive than mainstream consumer gun "safes" and very heavy.

A buddy of mine's dad dealt in wholesale jewelry and my friend inherited one of his dad's safes (I don't recall the brand offhand). It's over 5,000 pounds, has a tempered glass relocking plate in the door to defeat drills, etc. It is far beyond what almost any gun owner would go for. If something were to somehow fire the relockers, it would be an expensive proposition to get into the safe afterwards.
Carnap – A formal logic framework that runs in the browser
Well fabs used to be hugely important, not only did each generation halve in linear size (4x in transistors per area), but each shrink was a big win on clock speed and power use. This revisions happened often, around 18 months.

These days the shrinks are smaller, i.e. 5nm -> 4nm -> 3nm, but each gen lasts longer, and provides very modest improvements in power and clock speed. They are also coming out in ever slower release cycles.

So now the competition has more time to catch up, and less of a disadvantage of they are a process behind. TSMC is currently leading, Apple, Nvidia, AMD, and others are bidding for the latest/greatest, while Samsung and Intel try to close the gap with their fabs.

Apple has an advantage of doing several generations in phones/tablets before bringing out the M1. Additionally they have an architecture license, so they do custom cores, not just what ARM is offering. This allowed them to tune their designs, use engineers from various companies they acquired to tune their chips, and get rid of the cruft, like 32 bit compatibility.

With all that said I expect Apples the perf/watt advantage to decrease over time. What does seem somewhat unique is they have build in a relatively small, power efficient, and inexpensive package (compared to similar functionality) 128, 256, 512, and 1024 bit wide memory interfaces. Sure you could build a dual socket Epyc with 16 dimms and likely burns north of 100s of watts and takes at least 1 rack unit, or you could buy a mbp m1 max. To match the M1 ultra you'd have to switch to some exotic CPUs that use HBM and sold by companies that typically send 3-6 sales people in suites before revealing their prices.
Greenhouse gas pollution trapped 49% more heat in 2021 than in 1990, NOAA finds
How long before this starts being monetized? “Surely you can see that paying for a single monthly subscription beats paying many?”
Seems topical considering they just finished their annual conference.
That's the same for all chip makers. It's the end of Moore's law that's bringing the diminishing returns, as you probably know.
None, unless you’re in a warm room and have a long compile job. For that case, which only happened once to me, I just put my Macbook on the cold balcony.
This works most of the time but I find archive.is gives me an almost perfect 100% paywall evasion.

Admittedly the idea of having the full url included is appealing.
I started using Wundergraph as a backend service for our recently launched platform in February of this year. I found the usage to be simple and easy to understand, but development and deployment was rough at times, earlier this year there were bugs on some of the common use cases. The team has been very responsive and those issues have been resolved.

Two major changes have pushed this framework into a really mature place. One was a recent rewrite around custom resolvers, which allows for adding business logic in between GraphQL calls. The other is going fully open source.

Despite some initial challenges with the framework, I can't deny that Jens understands the problem domain probably better than anyone else in the world. Glad to see so many issues like authentication and API interconnectivity solved in a production ready way. I'm getting out of the box functionality that I used to depend on entire teams for. The depth of auth implementation, from one line config of Auth0 all the way down to per-operation RBAC is the shining example of how well this framework is architected.

Can't wait to see the continued development and growth from their team!
> it is only a matter of time before someone with malicious intent figures out how to arm them

You mean like in Ukraine right now, where they are dropping grenades from DJI drones?
They're playing with fire here. What happens when civilians make their own tazer drones and start randomly hitting cops?
If your monitor can supply power over USB-C it can charge the iPad. There are many options for dongles though. Or even Apple's $350 keyboard has a second charging only port built into the keyboard stand which leaves the main port available for other stuff.
Tasers displaced some beatings, not shootings. It’s harder to be held accountable because the taser company is partially accountable. When you crack Johnny Crackhead’s skull, the civil jury is more likely to be sympathetic.

Back in the day, the cops would beat the crap out of people with nightsticks. Guns were less commonly used - that changed in the 80s.
Sadly at this point, the micro problem is the day’s school shooting.

The macro problem is decades of 2nd amendment “purism.” No other country has this problem to the extent that the USA has. Also, no other country has such lax gun laws. At least no country of which I’m aware.

In regard to this matter, I honestly don’t see what the political paths going forward could be for the USA.
This is… really fucking cool.
I've been getting less and less success with 12ft.io. I mostly use it on my phone. On my computer I use Bypass Paywall Clean[0] (chrome/firefox addon) which uses different tricks to access the full article.

[0] https://gitlab.com/magnolia1234/bypass-paywalls-chrome-clean
No "dark" patterns he says. Even after all the revelations, iFads just keep mindlessly worship Crapple. When in reality:

https://www.scss.tcd.ie/doug.leith/apple_google.pdf

"iOS sends the MAC addresses of nearby devices, e.g. other handsets and
the home gateway, to Apple together with their GPS location.
Users have no opt out from this and currently there are few, if
any, realistic options for preventing this data sharing."

Power corrupts and when one company wields too much of it, shit will hit the fan.
Mental health checks sound like a good idea, but there is a risk that it prevents people from actually seeking help.

See the way mental illness is treated in aviation - mental health care is inaccessible to pilots because seeking help for serious issues will put a black mark on your record and end your career. So pilots with serious mental health issues intentionally avoid getting help.

Not that it's a bad idea just that it's not as easy as it seems. Penalties for seeking medical care push people away from seeking care and in turn make the health issues worse.
let's not get crazy here. Guns don't kill people. If we banned them, they'd still stone each other. /s
Have you considered looking abroad to see how other nations do it?
I use Markor Editor plus Syncthing. Markor is open-sourced and has a plethora of features, as you can read on their github page[1]; among these features, it includes file encryption.

Syncthing is really easy to set up and works like a charm. If you want accounts and user management, Markor also works with NextCloud.

[1] https://github.com/gsantner/markor
Given it doesn't seem to work all that well, I wouldn't be worried.

There have been many attempts to federate paywalls but the publishers will never play ball.
Combine this with police militarization post 9/11 and we're on a terrible path. We have a trained military police force which views the public as an insurgency and is given ever increasing ability to subdue and subjugate the populace.

The endless videos of people being tased into compliance is bizarre, no less the number of voices which condone the act.
> willful misinterpretation of the 2nd amendment that has been specifically rejected by the Supreme Court

I can interpret the text how I want, regardless of the opinion of a captured, political organization like the SC.

> It’s also contrary to many state constitutions, which provide an even more definitive individual, affirmative right to bear arms.

See: Article VI, Paragraph 2 of the U.S. Constitution (again, I reject the SC's opinion on these matters, so I believe the supremacy clause should override those state's constitutions)

I'm not going to reply to you again, though, because clearly we have different base axioms we're starting from here.
Show HN: Mercedes-Benz Group AG owns an IPv4 /8 subnet
https://bgp.he.net/AS31399

From what I have researched, it doesn't look like they use it. There are not too many /8 subnets, "owned" only by one company, too. Softbank also has one.

A more detailed list can be found at: https://en.wikipedia.org/wiki/List_of_assigned_/8_IPv4_addre...
Try out Colima with the experimental 9p mount type. Network performance is improving. It's as good as it will likely get on the platform.
Agree, but we've been trying to treat the symptoms for decades now and it is just getting worse.
It would mean 96GB. They increased from 2 memory channels per M1 to 3 memory channels per M2.
Yes, having the verification done by the secure enclave itself is more secure. The TPM spec does allow for direct integration with biometric devices, but I'm not aware of any general purpose computers that ship in this configuration.

> TPM tricked in giving out its secrets

To be clear, the key can never leave the TPM (with how tpm-fido is implemented). The threat is an attacker can perform an online attack by getting the TPM to sign messages it shouldn't. But you couldn't steal the key from the TPM and use it somewhere else.

But it doesn't really matter for the Webauthn threat model. An attacker with root access can steal your browser sessions directly.
Crypto token hyped by Inter Milan and Croatia players fell by 98%
I think you both agree there. How do you make cops that are willing to neutralize them? Clearly more funding, weapons, and power doesn't work.
I have - other countries don’t seem particularly better at stopping active shooters. What they’re better at is preventing them, but the tech in the article is about stopping them.

Obviously making it harder to get guns will prevent them, but I’m talking and asking about stopping an engaged active shooter.
I have used LibreOffice Writer with some success, and Calc with more limited success, but in the latter case, perhaps just because I am limited with spreadsheets.

Writer is a problem in that it is a straight rip-off of Word, which supports the same file formats, but which is not fully compatible with Word.

Word and Writer handle styles differently: glyphs change, despite availability of the same fonts; alignment changes; tab stops are all over the place.

They handle images and floating things differently, sometimes placing things on different pages or behind other objects or text. Word online makes this even worse, because it doesn't handle image captions properly, and converts the image and the caption to a second image.

I get all sorts of weird problems with Writer and Word - no particular blame attached - and unfortunately the answer is always the same: do your work in native Word on Windows, unless all your work is going to be in LibreOffice.

I think that the basic premises behind modern word processing are just wrong, and it's because Word is so ubiquitous that everything else has to follow it. I think there is a space for a new style of WP which takes nothing from Word, or Writer, and which lies somewhere between that point and professional typesetting wares like LaTeX or InDesign; something which does less more professionally.

But it's just a dream, and it doesn't really take into account Excel, which is Microsoft's killer app and probably the keystone of the company's entire business.
This is surprising! Thought they would have found a way to extract more money from people.
I wonder if Apple can strong-arm themselves into doing so. "Dear car manufacturer, [insert high percentage here]% of people who buy your cars use iPhones. If you want iPhone connectivity, we want the deep integration, or you and your customers get nothing, and they'll buy [competitor brand] instead.".
12ft has become useless when big publishers started demanding the content to be taken down

just use archive.is which will take care of the paywalls
With 8gb?

I am aware that macOS is better than Linux with low memory conditions but I can’t imagine this, granted I have an older (2020) MacBook Pro, but I have ran out of ram and I specifically opted for the 32G one.

As in: I got the infamous “your system is low on memory” dialog.

All it took was teams, slack, chrome, MS word, docker (vm with default config) and 2 1G VMs invirtualbox
Or return to improve sticky foam?

https://en.wikipedia.org/wiki/Sticky_foam
The reality is that those things happen. Technology must inevitably deal with human problems too, it isn’t as easy as saying “just don’t do that thing”.
Idk, it’s stretching things a bit to say web servers are “one thing.”

Agree with you in general, but in this particular case, I am glad there is an alternative to Genie.jl.
I had the same issue, for me updating the TPM firmware solved the issue (but it is convoluted)

https://superuser.com/questions/1668861/alert-tpm-device-is-...

My guess is that Dell didn't update the TPM firware, my guess is this breaks some keys so can't be done automatically and a BIOS update at some point then screws up the handshake with the older TPM firmware unless the laptop is fully powered off.

But I'm not a huge fan of dell hardware.
> challenger explosion

https://atariemailarchive.org/thread/on-the-challenger-shutt...

Can we get these archived at archive.org? What a treasure trove.
> "Air is like a browsing the web laptop. It's in the class of laptops that should be $500."

I do some volume purchasing of tech product (Lenovo / Dell Laptops and desktops + poweredge on server side + some networking on other gear). I like those products, they are fine.

That said, my wife has an air. I think folks are seriously underestimating the air if they are thinking it just something to browse the web.

The "pro class" X1 screen resolution is 1920 x 1200 / the "web laptop" Air is 2,560 x 1,600.
> having used C++, python+javascript (ahhhh) and Rust concurrency, I found the assurance and debuggabilty the type system gives you very relaxing

Not to say anything about C++, python and pre-async JS, but if you compare with async in modern languages and especially if you compare with Go, async Rust leaves a lot to desire imo, mostly in terms of ergonomics and total system complexity.

> but it's not unnecessarily complicated: basically everything is there for a reason

Yes and no. Let me be careful with my words here. Everything is there for a reason, which is always locally coherent. However, globally speaking, these reasons can get more and more detached from the end goal, including the core principles of Rust such as zero-cost and fearless concurrency. I believe this is exactly what happened to async Rust.

A simple example would be lack of async traits. Traits are one of Rust's best features, and everyone has to work around them, meaning that you have to think differently about the same problem depending on if you're in async vs not.

Another example is implementing the Future trait (implementing a trait is standard practice in Rust). Only this often requires awareness around auto traits like Send, HRTBs and pin projection, (which happens to be one of the most complex things I've done), and all I'm trying to do is wrap some user provided future. These deep topics are more of a convoluted type system puzzle (and if you like those it can be fun). But it has very little to do with concurrency and much less with whatever business logic we're trying to manage.
It's QEMU emulation. It's slow. It also segfaults a lot. I am able to run a select few containers on it, but I needed to sort out native arm64 for the vast majority.
> Discrete mathematics is indeed crucial to understand computer science.

FAANG engineer here, having worked in multiple companies you would recognize as a principle (or higher) engineer. I've also taken Discrete math when I was a CS undergrad.

I've never used any of the advanced math learned in school, and I've had the pleasure of working on some of the largest and most complex systems ever made. Lots of basic Excel. The "math" I have needed for work (such as TLA+ modeling, percentile distributions, etc) was always learned "on demand".
An actual VM, fully sandboxed from the OS would be terrific.
it's just friction... by making it harder to attain guns, you reduce the NUMBER of active shooter situations... really, it's that simple.
Because choices come with consequences.

Web push whilst great for developers and some use cases has also meant dealing with spam and user hostile behaviour. I have 50+ websites that I have to block from sending me web push notifications. It's yet another thing making the web less enjoyable.

Likewise alternative app stores mean that I will inevitably have dozens of companies to deal with for refunds, subscription cancellations etc. And many of them will be driven by the need to make money from the store and not the interests of end users.
You shouldn't crash, but it's not unheard of for the speedometer to fail.

Certain early-2000s GM speedometers were prone to breaking. Either the servo motors straight-up stopped working, or the label started peeling up and jammed the needle. My brother had several trucks from that era with this problem.
Magsafe is fine; having to travel with a separate charging block is terrible. The USB-C consolidation has been awesome for people like me who travel frequently- my phone, external battery, M1 Air, headphones, Nintendo Switch... all charge over USB-C, so I only have to travel with a single charger. It's wonderful
The effort to support Linux has made decent progress. https://asahilinux.org Apple said Microsoft would have to cooperate to get Window working. https://www.macrumors.com/2020/11/20/craig-federighi-on-wind...
Does the word “civilized” have any content here?

Or are you just saying, “guns are illegal in countries where guns are illegal.”
> This is a conjecture that desperately needs resolving with solid statistics and in-depth interviews.

Ironic that a hypothesis that most people won't need mathematics should require solid statistics to resolve.
try this

https://archive.ph/ybCe9
Can Education Be Standardized? Evidence from Kenya
I was curious about Bryan Kaplan, since he seemed hard to categorize, so I did some research.

Hate to say it, but he looks like a Malcolm Gladwell wannabe with some attention-grabbing book titles. Perfect for a TED talk.
I don't think that's right - containers are just userspace code, nothing to boot.

By my reading of TFA, your container runtime (eg Docker for Mac) should be able to provide an ARM VM, and use this Rosetta feature to run amd64 containers directly.
If the F9 key in Firefox doesn't make the paywall go away, I generally don't bother looking further.

It's pretty rare that some combination of mashing F9 and F5 doesn't bring up a nice, readable copy of the article.
In a business context a google account requirement would be fine. Microsoft is basically going there to get folks to move AD into the Azure cloud. We're feeling a ton of a pressure towards that, and entitlements for Office etc are being delivered that way (so you end up with a mini AD instance in cloud already).
Yea, I've been through mental stuff as well in a career where it runined my future (I had to switch careers), but honestly if a mental health doctor thinks you might be a danger, then perhaps you shouldn't own guns for a period of time. Perhaps a system where doctors can report "this person is a danger to themselves or others at this time" and then after 1 year the report is scrubbed from the database. I do understand this is a "slippery slope" and perhaps it is hard to not have "false positives" (aka: people who lose access to guns who shouldn't have), however I prefer a small rate of "false positive gun removals" to a small rate of young children getting shot in the face. To me, as someone who has owned guns and even concealed carried them for several years, I would happily trade all of my guns and the perceived "defense" they provided me for a reduced mass-shootings rate.