skysight-inc/HackerNews huggingface dataset:
The point of the article isn't that all symbolic thinking is pointless—just that the specific types of symbolic thinking we spend years teaching aren't actually used very often. Why not spend that time playing with code instead if you want to learn this skill?
"The organizational structure and performance is a marvel for this."

Totally agree, plus Sirouji, who seems like a modern day wizard
Yes, it appears so.
A tangential but related thought.

I’ve heard people say things like, “The world is math”, but it never seemed particularly coherent to me. Sometimes I’d assume they meant, “Inference systems with mathematical languages make useful predictions about my empirical experience.”

But now I’m favoring the interpretation that experience is purely formal/syntactic with no semantic component. There is no additional meaning beyond (or behind) appearance.
I don't believe that is true.

As a trivial example, to say that you have never used Discrete Math in your work means that you have never for example write if(a && b) or have never done if(!a && !b) and judged it to be cleaner than if(!(a || b)). This also means that you never used a finite state machine, strings, combinatorics, trees, graphs or modulus.

I would believe that you have not explicitly sat down and worked out Discrete Mathematics proofs. But the ideas of Discrete Math are pervasive and unlikely that you have never used them.
MRI is easy, conceptually, at least. The nucleus of the hydrogen atom (or other target of choice) wobbles at a frequency directly proportional to the ambient magnetic field. MRI machines have a VERY uniform but strong magnetic field. If you left all the other scanning coils off... it would detect ALL of the hydrogen in your body at the same time, at one very narrow frequency band.

By adding a gradient to the field along your spine, for example... they can cause the magnitude of the field to ramp as you go from head to toe. By sampling at frequencies above and below the resonant field, you can now detect that hydrogen in a plane slicing at right angles to your spine, it's still a single value, but now you've narrowed the selectivity to a small slice of a single axis. By sweeping the frequency, you can get a set of values that vary with the hydrogen content of your body along that axis.

You repeat across all 3 axis, and you can effectively sample very small areas of the body sequentially. The modern MRI machines are a highly optimized version of this process. (And I think they sound like dancing chipmunks when they start)

It is possible to use the earth's magnetic field to do MRI scanning. The rate at which you can discriminate signals is proportional to the frequency, and this has to work at audio frequencies (about 2 khz), so images take hours or days.
As a Korean I can tell you we mostly don’t care about their threats day to day. Their missiles don’t even make our news cycle sometimes. But we did care when they were more brazen (like sending specialists to assassinate our president) and now anti-communism is one of driving ideologies of our society, for better or worse. Calling someone “socialist” can be an insult :p
I think you're right. In my very limited-need case, it worked fine in the opposite direction. Generating .docx files for customers who would not accept older word format files, pdf's, and certainly not odf's. But admittedly, this is not enough for most folks.
In other words, Apple only supports a proprietary protocol that notably differs from the standard every other browser uses in that you must pay them a yearly fee and agree to their massive developer ToS in order to use it.
Tangential: I’m not satisfied with the existing control of notifications in iOS. I want to allow ebay to notify me when my shipment gets updated but shut up when it wants to advertise. Not possible in the current setup. I have disabled notifications of many apps whose notifications include useful information but also too much garbage.
The act of getting a prompt for something you never want and needing to deny it before being allowed to consume the content you do want is the issue.
Transaction fees are a market-based mechanism to allocate a scarce resource (limited amount of block space on a given block chain). Moving from POW to POS will not reduce transaction fees in any appreciable amount, instead the fees previously paid to miners will instead be paid to stakeholders.
And yet Bandcamp seems to be doing just fine.
let’s give them some time, they just finished the big weather project!
macOS 12.x supports the 2015 (and 2017) iMacs.
Safe to install random add-ons like this?
It's based on arch, but there are already people who ported the necessary changes to nix and something else I can't recall. The idea though is that once things get upstreamed, any distro will work.
Phishing is an artifact of stealing and reusing passwords. Even if you need to enter a PIN, there is nothing reusable that you provide to the site you are logging into.
Is he not a fully tenured, late-career professor? I doubt he has even an ounce of concern for job security.
There's no good business sense to do so. Why compete with three other titans in hardware (where they've been beaten several times already), where they can just release software on whatever platforms makes the most sense, or all platforms.
Do you really think lobbying groups or special interest groups, or groups in general, have ‘nothing’ to offer to politicians?
45W is likely plenty for almost any use.

I have the 16" M1 Pro MacBook Pro and regularly run it from a small 30W USB-C PD charger. That keeps up with the demand even running Photoshop, Minecraft, Xcode, etc.
Archive: http://archive.today/2022.06.06-232319/https://www.ft.com/co...
Plus, as with everything involving money, this would cause even more clickbait to get those 25c out of you.
Apple's advantage is manifold. They have an in-house chip design firm that is very talented and an architecture license for ARM. So they can make CPUs that do whatever they need. They also build the OS so can take advantage of new CPU and GPU features or go the other way and request hardware features to support software designs.

They're also using essentially the same cores between their mobile and desktop products. Apple is their own ARM ecosystem. An improved core for the A-series chips is an automatic improvement for the next M-series chip. Most arm licensees have to wait for ARM to come out with new cores.

The fact Apple can book the initial runs of any of TSMC's process nodes is just one of many of their advantage over other ARM and x86 manufacturers.
Just like communism in practice. We can look at Venezuela, North Korea, Cuba, USSR, etc, where the top elite certainly own things, just not the general public.
You really have to ask? Because why? You live in an Apple world before Google search has existed because Apple hasn't invented search yet right? Also it's $1500; because no one wants a laptop in a 8 / 256 configuration, no one; it's just there for money extraction purposes.

HP Spectre Laptop Computer 13.5" WUXGA+ Touch Screen Intel Core i7 16 GB memory;

Count the number of ways it's better and cheaper.

https://www.walmart.com/ip/HP-Spectre-Laptop-Computer-13-5-W...
> I used the the app Maps.me for that (which by the way I would not recommend anymore).

Organic Maps is its successor - https://organicmaps.app/
I too am an EE, though doing digital design. It is true I never have to do a Fourier transform in my professional life, but the time/frequency duality and all the ideas related to it have been useful throughout my career.

In addition, that section of math was the most beautiful thing I've learned in my life.
That's confusing, strategy-wise. I still picture apple as a somewhat upmarket/aspirational brand. Getting into the predatory lending game seems a weird fit. Don't these companies have to "recover" delinquent payments, and how is that sort of activity, basically being a loan shark, going to fit with the rest of their brand image?
> I just wish WebRTC wasn't so prescriptive of DTLS/SRTP.

There was a webrtc-webtransport spec, but it got renamed/retasked to p2p-webtransport[1]. It got renamed/rebuild ~1 year ago[2]. Feels like a pretty strong indicator of webrtc being deconstructed, but whose to say this goes anywhere. We'd also need webcodecs.

It's somewhat scary & also somewhat exciting thinking of the one good, working, browser supported standard being ripped into pieces (p2p-webtransport, webcodecs, more) & being user-implemented. Having the browser & servers have a well-known target is both great but also perhaps confining. If we leave it up to each site/library to DIY their solution, figure out how to balance the p2p feeds, it'll be a long long time before the Rest of the World (other than the very big few) have reasonable tech again. WebRTC is quite capable & a nice even playing field, with lots of well-known rules to enable creative interopation. We'd be throwing away a lot. I'd hoped for webrtc-webtransport, to at least keep some order & regularity, but that seems out, at the moment. But Webrtc-nv is still ultra-formative; anything could happen.

The rest of the transport stack is also undergoing massive seismic shifts. I feel like we're in for a lot of years of running QUIC or HTTP3 over WebRTC Data-Channels and over WebTransport, so we can explore solutions the new capabilities while not having to ram each & every change through with the browser implementers. It feels like a less visible but far more massive Web Extensibility Manifesto moment ("Browser vendors should provide new low-level capabilities that expose the possibilities of the underlying platform as closely as possible."), only at sub-HTML levels[3]. The browsers refused to let us play with HTTP Push, never let appdevs know realtime resources had been pushed at the browser, so we're still debating terrible WebSocket vs SSE choices; terrible. I think of gRPC-web & what an abomination that is, how sad & pointless that effort is; all because the browser is a mere glimmer of the underlying transport. I feel like a lot of experimentation & exploration is going to happen if we start exploring QUIC or HTTP3 over WebTransport. Attempts to reimagine alternatives to WebRTC are also possible if we had specs like p2p-webtransport, or just did QUIC over DataChannels. Running modern protocols in the client, not the browser, seems like a semi-cursed future, but necessary, at least for a while, while we don't yet know what we could do. The browsers are super laggy, slow to expose capabilities.

[1] https://github.com/w3c/p2p-webtransport

[2] https://github.com/w3c/p2p-webtransport/commit/63370be4bb61a...

[3] https://github.com/extensibleweb/manifesto
Perhaps this is the ultimate way to gatekeep paywall circumvention for hackers only, you have to build your own novel solution for yourself.

/s
> Surely they didn't write a Linux version of Rosetta

They did just that. The folder share is just for licensing as far as I can see.
that's not a lot to show for over a decade when you compare that to the relative progress made over previous decades.
…thereby dropping support for their smallest currently supported phone. I still have and appreciate the original SE.
For a while I would get web pushes from some new site I just have visited once and accidentally accepted. I had no clue how to disable them for ages until a friend showed me. (Yes I could have looked it up, never reached critical energy)

I have to imagine many people are in the same boat.

But engagement is up 3%!
They acquired Dark Sky and have turned it into a new API service (WeatherKit) that's being released with iOS 16. Presumably the wait was that they built the API and dogfooded it as the basis for this new app.

Why it didn't come with a weather app at release in 2010 I'm not sure, but why it hasn't come in the past few years is almost certainly because they were building it with their new in-house weather API.
I don't get what it's all about this passwordless. I make my browser (Firefox) generate strong password and store them in its password manager, this is synchronized with end to end encryption to all my devices, I have only to remember a master password. It's kind of the same but it works with every website. It is not complicated, doesn't require certificates that you may loose, and that sort of things.
> I now have tinnitus after a year of a really loud laptop.

Hmmmmm....

Does your laptop sound like:

- A Dyson vacuum ?
- A jet engine ?
- A Harley Davidson exhaust ?
- The sort of sounds you hear in the datacentre hot aisle ?

No ?

Well, I didn't think so either.

Not a cats chance in hell your laptop caused hearing damage.

More likely you had the laptop speakers too loud, or you had headphones plugged in which were set too loud.
* per-watt. Intel is faster overall.
Isn't that the 12ft pivot? They can offer people a $10/mo subscription and then give them 100 articles or something spread across all the major publications, and forward that revenue "on demand". It's a classic pirate start: 12ft starts out life by hand subscribing to all the pubs, violating ToS by proxying 3rd party traffic through those subscriptions, demonstrating demand, and then they reach out to publications (carefully) and find out if they'd be willing to take a monthly check from 12ft that is less than they'd get if your N customers were paying the full subscription fee, but far more than the 0 you're currently getting from those customers. I think it's a good idea. Actually a great idea.

The key is going to be dealing with narrow-minded execs irrationally attached to their current business model(s), and they will argue that this product removes their leverage to get more full-subscription customers. But if they can be rational and at least do the experiment, they'd get an easy OOM improvement in revenue.
reminded me of this captivating tale of tracking down wreckage from a destroyed A-12 Oxcart in the Nevada desert. https://www.otherhand.org/home-page/area-51-and-other-strang...
> This is not compatible with an inquisitive, academic or intellectual mindset

The world has millions of things to learn about. Why is Math specially subsidized? That’s good argument. That’s not anti-intellectual.

> He's free to advance arguments in support of this position, but he should be met with extreme skepticism, as he is defending a difficult position.

Again, you’re just assuming[edited] your conclusion. You and I and he are people who like ideas and arguing over ideas. He’s arguing that what he teaches isn’t that useful and asking why it gets so many resources. There’s nothing there about the beauty or joy of Math, which I presume he could wax rhapsodic about as a professor. You’re attacking a position that doesn’t appear in article. It’s about the practical value of advanced Math.
Sure, that name would have been fine too.

I don’t think “honesty” is an issue at play here either way, as I have discussed in great detail (and with many examples that you surely have encountered), given how people (unfortunately?) communicate in the real world.

If the study had shown something substantially different (or if people online were frequently having bad experiences), I would totally have been onboard with calling it marketing overreach and lies.
One day these researchers will learn to give Bojan Tunguz a quick first pass before claiming their new model is the latest tabular data wonder tool.
That's the trade-off between security for the masses and savvy individuals having more control. A person can't get phished for their credentials if they can't access the private key. Journalists have emailed their GPG private key when learning how to use it. Even TOTP can be beat with fake webpages or a social engineer who asks for the code.
That actually seems like a real benefit of a platform that handles all your transactions for you, and presumably can automatically calculate your tax owed (or loss).
In my engineering degree, the instructor would do the hard math on the board (or hand wave it away), and then often we'd hit the end result with a taylor series expansion or something like that. This gives a nice locally linear model that we could play around with using good old algebra.

Sure -- most engineers shouldn't use advanced math, because that's easy to screw up. But either they are aware that their linear models came from some more complex equations that have been simplified, or they are living in a magic demon-haunted world where equations are just runes handed down by mystic sages. Hopefully it is the former!

Teaching engineers the hard math serves dual purposes -- it helps them understand where their models come from, and somebody is going to have to invent the models. They are one population that has already shown at least some mathematical aptitude.
Your work sounds very interesting. Would you mind sharing more about the kind of programming you do?
I'm a professional systems programmer. I agree with everything you're saying, in principle.

Except I have two M1 MacBook Pros (one 16GB, one 64GB). I frankly don't notice the difference between the two on any workload. This involves compiling multiple projects, running multiple docker containers locally in virtual machines, running VS Code, Slack, Chrome, and other productivity tools.

These machines frankly feel like alien fucking technology and I don't say that lightly. I'm used to year-over-year improvements being almost unnoticeable. These machines feel like I've jumped ten or more years forward in performance and responsiveness. And they do so while barely generating heat. My previous Intel MBP would make my home office hot just by being in a Zoom call. When I first got my M1 MBP, I left it running all night performing a SIMD-heavy pure math workload pegging every core at 100%. Not only was it faster, but the room wasn't even perceptibly warmer than ambient.

I have a gaming PC next to my work area. Zen 9 3950X, GeForce 3080, 64GB of DDR-4000 RAM, and Samsung 980 Pro SSDs. The fans go blazing and I start sweating just booting Windows. And unless I'm doing something in VR, it performs comparably to the MacBook Pro. I barely turn the damn thing on these days.

Alien technology.
A curriculum focused on STEM or a curriculum focused on humanities would do little to change how the younger generation thinks about the world. The reality is that current education patterns are stuck in rigid patterns that confine creativity into a small box for a majority of students. There are rules upon rules upon rules which disable student from thinking critically and creatively.
How do you explain then why so few features in Tech Preview graduate to mainline Safari?
I have an M1 pro (16gb) and don't have this issues. Might be worth checking your system/taking it to Apple for a check.

Only time I got any similar issues were when I was hitting the ram pretty hard, but MUCH better than my i9 32 Gb with the same problem on memory (FUCK YOU DOCKER!)
It’s quite clear where this is going. Apple wants to fully take over the in-car digital experience, with CarPlay not just being an app inside the OEMs own OS. Car makers would be well advised to see this as the power play that it is. Once CarPlay is central to the user experience, cars become even more interchangeable. What’s more, Apple fully controls (and can monetise) what digital apps and services passengers get to use. Funny how Apple even used the announcement to implicitly threaten OEMs: integrate CarPlay or have your cars turned down by cashed-up iPhone owners.
Indeed that seems like the market telling small manufacturers of lower priced goods, who are unable to increase the price of their product, that other manufacturer’s goods are providing more value.

For those who were expecting cheap electronics to be preordained forever this serves as an effective wake up call, and that nothing on this Earth is truly guaranteed even one second into the future.
Yeah, gay marriage, of all places, wasn’t even legalized in California until 2008
> I've always wondered what it would look like [...] if the primes were mapped on to some crazy topological shape?

This is easy: consider the spectrum of the ring Z, Spec Z (by definition, the spectrum of a commutative ring consists of its prime ideals; all prime ideals of Z (with the exception of the zero ideal) are generated by the prime numbers; in this sense, we can identify all elements of Spec Z (with the exception of the zero ideal, which is "just another point" of Spec Z) with the prime numbers if we desire).

On Spec Z, we can define a topology, the Zariski topology, by defining

V(I) := {P \in Spec Z | I \subseteq P},

where I is an ideal of Z, as the closed sets of the Zariski topology.

See

* https://en.wikipedia.org/w/index.php?title=Zariski_topology&...

* https://en.wikipedia.org/w/index.php?title=Spectrum_of_a_rin...

for details.
Birds lay eggs and are definitely not reptiles.
> async

Concurrency does automatically not imply async outside of Javascript.

I am in the camp that async/await in Rust is a mistake.

There are certain things like "Concurrent Data Structures" that don't even have well-defined semantics in a non-GC language. I think "async" is in a similar category.
Agreed. The M1 drove me to become a Mac user/customer. I have been buying $600 used Dell professional laptops for ages...laughing at the stupid Mac people. The performance/effeciancy/quality/value of the M1 laptops exceeds any Intel laptop I'm aware of. Match the specs the best you can--Intel fan is going to howl all day and you better have a charger ready--the Mac is cheaper. Anyway, Windows sucks your dignity out and sends it back to Microsoft in a telematics stream.
When the US legalized gay marriage (at least for now), one of the talking points against it was that men could marry their sons to avoid the inheritance tax, the same idea you are talking about. But the fact is fathers could marry their daughters and mothers could marry their sons to avoid taxes before that law was passed, yet it wasn't done. It was all just a smokescreen.

The other funny thing was that the people against gay marriage by and large were also against inheritance taxes, so you'd think they'd applaud a new loophole.
Except that nothing has changed. People don't have the right to protest or to vote. It's still the same authoritarian government with a nice coat of pink. Coincidentally this changes very little for the islands lgbt community which is still quite persecuted (by the government no less)
Probably haven't phased out old manufacturing pipeline so they "have" to keep making these (and make money off it) before it is gone entirely in the future
Anker Nano II is tiny and does 65 watts.

RavPower sells some dual-port models that will do 90W PD if you use one port or 45/45W or 60/30W using both ports. I ran my i9 MBP on the single port and it regularly drew 90W.
Something needs to set up the VM that Docker runs in. Docker Desktop is that something. The GUI even lets you tweak the VM resources. I suppose you could do it all on your own, but most macOS users probably just install Docker Desktop and let it handle the VM.
Very few people are capable of "investigating what things are" with "critical reflection", usually trained professionals in their field of expertise. Most people think by correlation and adjust based on the feedback. I think with the right feedback an AI could get by with parroting and correlations, and parroting becomes critical reflexion at some threshold of complexity.
Apple users above all want something that “just works”. The more flexibility and options that Apple offers, the less likely that will remain true. If you want choice, Apple is not the way to go.
I dispute that there's a lot of evidence for the "lab leak" theory.
Musk, Twitter, and Bots; Bot Experience; Bot Science
SRE has gotten so good that people don't even think about it. It is default expectation that any online service is basically five nine availability or better. If it is worse than five nine is the only time it gets talked about.

SRE is really one of the only well solidified parts of tech as far as career and expectations go. The author seems to look at the same info and come to a different conclusion.
He's worried about running out of fresh low wage workers that will work 80 hours a week.