skysight-inc/HackerNews huggingface dataset:
Like getting people to think about how they would spend lottery winnings, getting people to think about the social problems of waking up a century or two after being frozen is one way to get them not to think about how staggeringly improbable a frozen brain will ever be revived to consciousness.
So based on this one singular case where Gmail didn't catch a spam that Protonmail caught, we can therefore conclude that Protonmail has a better spam filter than Gmail.

When I word is like that, does it make it easy for you to see what may be wrong?
dang does a great job, but I don't think it's enough to qualify (anymore).

HN's indexed, registration is open, and its size/influence have grown enough that I regularly see people here trying to grind ideological axes. I've found myself retreating from it along with the others.
I left the machine hosting this small enough to see what posting to HN would do to it - rescaling it now :)
People often think VC companies are either 0% or 100% unicorn; quite a few of them are somewhere in the "this probably almost could have been a viable business if it didn't have so many demands on profit" (there's a term for this, lifestyle business? I forget.) Acquihire can be a wonderful exit for those, as the VC can basically get back some or all of the money poured in, the people in the company get a job, and sometimes the product even survives as a feature.
I used OCaml as my daily driver in grad school and my postdoc, and recommend my students use it. I think the main benefits of OCaml are:

Functional
Has mutable references
Not lazy

Haskell's type system is just better. But for large, complex systems that require performant code, it can be quite difficult to track the laziness, and sometimes life is just easier if I can use a mutable references.

The author is completely correct that there's a big failure in the lack of a type-class-like system. This is why people ask so much for modular implicits. Core is also a decent standard library (though I don't know why they require sexp_of_t and t_of_sexp on like all their data structures).

So I'd gladly use a different functional language with mutable references and strict evaluation. But there isn't any besides F#, and I have a Mac and don't personally want to figure out .NET on Mac.
something something email servers
I don't think the OP was trying to sway minds when they described meat consumption as stupid, they were simply stating the obvious.
Sounds to me that the real takeaway is that the essentials you list don't, in fact, matter if you have incompetent developers.
Internet killed the video store.
> Somehow the intersection is right: AI is not really smart, but it will replace a lot of human activity anyhow.

Which will really show how much busywork we humans do in a lot of areas. If -- before AI is "smart" -- it can impact humanity.. well, i feel it says more about our current society foundations than it does AI heh.
What was the premise behind buying a stock for a company headed for bankruptcy?
> You could argue that Java (and C, and C++, and Javascript, and...) has the same "ambiguous parsing problem", then -- except that it doesn't

The author didn’t claim there’s any ambiguity in parsing, only ambiguity in reading as a human. And I would agree that all the languages you mentioned have the same problem. And this is a real problem as long as people use this form of if (which they do). New languages avoid this pitfall by mandating the use of braces, in return dropping the parens, and I think that’s great.
> For example, how is the chipset getting “List of the software on the device” unless the chipset is aware of the operating system?

This surely isn't "the chip" doing this. It's the driver suite provided by Qualcomm, which is (obviously) required for a functioning device. The open Android distros still need drivers, and are essentially copying these files verbatim without review.

Somewhere Qualcomm has a privileged daemon able to get this info.
I went to a nearby store in St. Louis about five months ago on a Saturday afternoon. It was sparkling clean (with one exception), shelves were stocked bottom to top and many items were marked with discounts. But there were only two other customers in the store, besides my s.o., while we were in there for around 30 minutes. The employees seemed to be wandering around with no clear tasks.

The exception to overall cleanliness was that a horrible smell came from the public mens restroom when I opened the door, and I found that one of the toilet stalls was thoroughly smeared (floor, stall walls, toilet itself) with feces. It didn't look fresh... bleh, so disgusting.

Anyway, after exiting the building I told my s.o. that surely BBBY is not long for bankruptcy.
Anytime I need to fix something in my house, I research it via Bob Villa or ThisOldHouse and cross-reference TikTok videos to see what people & professionals are actually doing in quick-video form.

I'm not quite sure what your angle is for this example, TikTok clearly serves low-follower & low-view videos in their algorithm. It's probably about every 1 in 8 videos if you scroll on the FYP. Each video is given a 1000-view chance to see if it gets boosted further.

Depending on what you like is what you're served, so if you like Home DIY videos & follow those accounts - you'll be served that. They then mesh in the more popular videos depending on external likes of people you follow, general trending (probably 1 in every 5 videos), and location.

If people are telling me TikTok serves scam, manipulating content... it's because of the videos they liked & people they follow. I doubt their account is dedicated to looking up SDR radios, fixing electronics, and general DIY videos.

It's incredibly easy to test this. There's a rough 4-week learning curve per account created that fine-tunes the content delivered to the user.
>Well, the user doesn't create any .eml, he just selects "forward as attachment" on the email, so the .eml file creation is transparent to him.

Hmmm, I believe it's not so given that an e-mail client (or web-mail interface) has such "forward as attachment" feature.

Anyway, for the PoC anything goes, while for a possible future practical application this whole stuff must be automated and placed "before" the final user mailbox, I think we are fully agreeing on this.
Agreed, the article is lacking. In some other threads it's come out that this is a GPS sync feature to speed up the time it takes for GPS to get locks. A useful feature to be sure, but IMHO not one that has to be implemented in such a user disrespecting way. It should be a toggleable switch, preferably opt-in. It wouldn't be hard to throw up a dialog on first GPS access that lets the user opt in. As implemented where the user is utterly powerless to stop it, it's an egregious privacy violation.
I couldn't agree more. When the PR is approved then the button to complete the PR in Github is (drum-roll please) MERGE. And who is doing the merge? Me. Gitlab calls it merge request.
For many types of furniture there are different price points at IKEA and you can pay for more quality. For bar tables for instance, you can go for a TOMMARYD and have a cheap flimsy table. But if you have the budget to spend over a hundred euros more you can go for a fully wooden NORDVIKEN.
The UK will give £100M to an MP's spouse

Give it a few weeks and we'll find out which one I imagine
They're 25 days late with this announcement, which is also about right for the UK gov.
So are people going to AppleBees only for “status” and not because the food is actually better than McDonalds?

Not everyone wants a $60 Blu R1 HD for $70 no more than everyone wants to eat off the $1 menu at McDonalds. Many people find the entire Android ecosystem janky.
So, this site, which is for 'hackers' ostensibly should probably like to see articles about computer science and computer science related issues. I know that's what I come to this site for. If you post articles about AI, that seems legit. As long as they aren't 'how to make a million dollars over lunch using ChatGPT' I'm perfectly fine talking about it here
Something notable about eww is that it's configured in a lisp language, as opposed to a more traditional XML and CSS: https://elkowar.github.io/eww/configuration.html
1. The compiler will vectorize simple operations like that pretty well.

2. Zig has built-in @Vector types that are fixed-size data types designed to compile down to things like SIMD as efficiently as possible given that you might be asking it to do 16x operations on a CPU only supporting 8x width SIMD. You'd often write your high-level code as a runtime-known iteration count over those comptime-known vector widths.

2a. Inline assembly or inspecting the architecture before choosing the @Vector width are both options, so you can write your high-level code with that information in mine if necessary (e.g., to make bolt vector quantization work well in Zig I'm pretty sure you need to inline-assembly one of the swizzling operations).

3. You can always link to LAPACK and friends. Zig has a great c interface.

4. Matrix/tensor ops aren't built-in. That doesn't matter for a lot of what this demo shows since it'll be RAM/cache bandwidth bound, but you'd definitely need to link in or hand-code inner product routines to have better asymptotics and cache friendliness if you were doing too many large matrix multiplies.

5. Wrapping any of the above into a library would be pretty easy. That sort of code is easy to write, so I haven't looked to see what other people have made in that space, but I'm sure there's something.
The EU suppressed a 300-page study that found piracy doesn’t harm sales (2017)
Ha ha ha, free load test. Don't forget to $$$cale it down, later :)
The title is clickbait. The cases only apply to public officials blocking people. Not private citizens.
I'd say `expect` is idiomatic for situations in which the error is due to an unrecoverable logic flaw. If it's due to user error, I'd want to do something else just to customize the error message format.

Also, as another commenter mentioned, the `let process = p.unwrap()` is suspicious. I imagine this can happen if a process simply exits between being returned from the `/proc` traversal and `opendir("/proc/<pid>")`. If the error is `ENOENT`, it should simply continue to the next pid without printing an error at all.
If you speak a language that has been influenced by Latin, learning Latin is really useful for understanding our own language.

Additionally, because of the way that Latin is taught, you learn a lot of classical history and philosophy through the process, which - given the impact of Rome on the world - is useful across a wide range of disciplines.
Internet is wholesome: MVCC edition
2020 YLR W 42K miles. I have 6.15% range loss, and the reported average range loss is 5.33% of cars with a similar age and miles. That puts my total loss at 304 miles the day I bought it, to 285 today. Range loss generally slows down after the first little bit too.
The other half of this is how Apple never shares anything or collaborates outside its walls. I can't tell you how many good engineers I know who took a job at Apple and then immediately disappeared. Websites taken down, GitHub projects removed, all trace of their professional work scrubbed off the Internet now that Apple owned all their time.

I get how valuable the secrecy is for the company but it's not good for the individuals who work there or for the profession.
This is all assumptions. Just because izatcloud.net is owned by Qualcomm = they must be exfiltrating personal data? c'mon! Then you go and peddle your own NitroPhone as a "Qualcomm free" alternative? You're just gaslighting your customers to buy. This is a very short-sighted article based on lax assumptions and NO WIRESHARK to back it up. Just because a firmware makes a call home doesn't mean it's sending your personal data. Does it have access to all the hardware? It should, it's a MF'ing driver for a CPU. Name me another CPU that doesn't have access to the hardware via it's user-space blob? The consequences outlined in the article are true for EVERY mobile device, laptop, tablet, consumer electronics w/ wifi.

Wireshark logs or you're just doomsday speculating. Show me the call to izatcloud.net with more than just http header identities every AdTech/MarTech company is already capturing from your web traffic and deanonymizing you.
> So I can't tell what any of this is supposed to mean at all?

Quantum mechanics is defined by three axioms:

1. States are unit vectors. Vectors whose 2-norm is 1.

2. Operations preserve the 2-norm. They are described by unitary matrices.

3. Systems are combined using the tensor product. If system A has state u and system B has state v, then the combined system (A, B) has state u⊗v. If you apply operation x to system A and operation y to system B, the operation on the combined system is x⊗y.

What this paper proved is that, if you use these axioms but limit yourself to unit vectors and unitary matrices with real entries, you cannot explain some experiments. This is surprising because a complex number can be thought of as just a pair of real numbers. For example, in numpy, you can turn any complex ndarray into a real ndarray by making an ndarray with one additional index of length 2, like this:

def complex_to_real(complex_ndarray):
real_ndarray = np.zeroes(shape=(*complex_ndarray.shape, 2), dtype=np.float64)
real_ndarray[..., 0] = np.real(complex_ndarray)
real_ndarray[..., 1] = np.imag(complex_ndarray)
return real_ndarray

These real ndarrays can represent all states and operations that the complex ndarrays could. So how could they possibly fail to explain any experiment?

The problem is axiom (3), where systems are combined using the tensor product. The issue is that complex_to_real(A ⊗ B) has one more index than A⊗B, but complex_to_real(A)⊗complex_to_real(B) has two additional indices because you gained one real-vs-imaginary index from A and also one from B. The tensor product doesn't understand that these indices should be merged, instead of concatenated. Using complex numbers tweaks the definition of the tensor product so that it does merge these indices. The experiment is basically a way of checking that you contracted those extra indices instead of keeping them both.

So really this result is not about complex numbers vs real numbers. It's about how the states of quantum systems are combined. If you want to use real numbers, you can't use the normal tensor product; you have to use a modified one that understands every system has a special real-vs-imaginary index and that when combining systems you must contract these indices together. Complex numbers just happen to have a tensor product that packages this contract-one-index functionality nicely.
I beg to disagree. There are already hundreds of real-world examples whereby these models are doing terrible jobs with anything related to jurisprudence.
Agreed except for the part at the end: Java, C, C++, and JavaScript definitely do have the "dangling else" problem! It's a manifestation of the same basic issue. Who is saying they don't? You just showed how they do! It is a real problem and they all have it. The takeaway here isn't that those languages don't have the issue. They do. It's just really common in language design, that's all; certainly not something to single out OCaml about. Apple's infamous "goto vulnerability" was directly caused by this language design issue in good old C.

https://en.wikipedia.org/wiki/Dangling_else (just to show that this is something people commonly consider to be a problem with Java, C, C++, and JavaScript)
Yeah your choice of the word "practice" is the important part. A lot of people imagine that developing skills is like plugging into the Matrix and downloading knowledge into your brain. But it's about cultivating a style and approach to thinking that only works through practice.

The first year of law school is often said to be the hardest for the same reason, they're breaking down your intuitions and teaching you to think like a lawyer. I went through the same process as a social scientist. Every discipline has this acculturation process where its disciples are trained in the skills and values of the discipline. It's not just information transfer. You can study sheet music all day, but unless you actually PLAY you will never get it. It's not something you can just boot-camp in a few months.

If people have the skills or values they developed from other disciplines that they can transfer over then the boot-camp can work. If you learned how to do logical reasoning from being a philosophy major, then you'd probably figure out symbolic logic and learn to program pretty easily. If you figured out how systems are put together from a career as an electrician or mechanic, then you can probably apply those skills to architect software too. But you need some foundation there to build on and I don't think a lot of people just getting into it because they heard it's a lucrative career have that.
I wouldn't call a card catalog a search engine.
The off label use of "makes animals gain weight faster" is why the entire industrial animal meat industry has been feeding antibiotics to cows for over a generation now. It's why "antibiotic free" is a marketing label now, because the opposite was the previous default. The antibiotic properties of antibiotics are basically a side effect.
Right, but not every "should" needs a law behind it.
One must be mindful of how a law would be enforced, before creating it.. and if it makes sense in the context of consistency with existing law.

If blocking a constituent on Twitter is illegal, can they mute them? Must they leave their Twitter & IG DMs open? What about the absence of an account on a social media platform, is that allowed?

Are thy allowed to have a spam filter on their email inbox? Can they ignore "Spam Likely" flagged calls on their iPhone? Does someone in their office have to go to through the spam flagged items in iMessage & WhatsApp?

How many communication methods are they legally mandated to have openly available to constituents? Does each need to be enumerated in law?
Geomagnetic storm hits Northern Hemisphere with ‘northern lights'
To me, Obsidian really became the killer app overall. I used Notion and Foam before and while the interface there is much more beautiful, I like having my files locally (synced via Syncthing) and being able to write my own plugins easily. The existing plugin ecosystem with instances like Dataview or Templater makes Obsidian such a great solution for personal and work planning, and as a knowledge base.

The only thing that's really missing is a collaborative version of Obsidian to be able to work in teams. I found craft.do that has a very similar feel, but it's quite pricey and, of course, you can't self-host.
WHO says there is a biological risk after lab take-over in Sudan
Why would they not?

Why do you think that is a reasonable assumption?
Meh - I don't know. At least in the UK, "History" classes at school were less about memorising the facts, and more about questioning the who, what, why of some source of information.

One thing that stands out in my memory is multiple different teachers always drilling into us: "never trust photos" (you don't always know who took them, for what reason, and if they were real or staged or whatever)

If 12 year old kids are being taught this, I don't think future historians will be fooled by a pretty photo. It is not like people have been unable to generate imagery of non-true stuff before - CGI in films (and also games for that matter) have been pretty close to 100% realistic for some time ... no one is complaining that future historians are going to confuse the scenes from The Matrix about what really happened in the 1990s. The barrier to entry is lower now of course, but I don't think that changes the position: you cant trust a photo.
I have access to it and it is just marginally better performance wise and lot buggy. I doubt the performance will improve in GA.

I guess JavaScript is the problem.
There's also a lot of faux-intellectual attention grifters who don't really have any beliefs other than whatever the local kool-aid is and will say whatever gets the number in the top right to go up because that makes monkey brain feel good.

These types of participants are the most easily simulated with AI because they're (whether they know it or not) just optimizing for a variable, something that existing AI tech is pretty good at so I expect their numbers to explode before the other three types you listed.
Agreed! This might be the fastest moving tech area right now, so it makes sense that it's generating a lot of news and interest.
Everyone is at the whim of Qualcomm - including Apple.

The only two companies that aren’t just integrators are Apple and Samsung yet there are dozens of Android Manufacturers.
So you never waste a few minutes to an hour doing not-work things such as browsing Hacker News, Facebook, trash talking Elon Musk with your coworkers at the watercooler, etc?

(not saying you don't, just curious, I know some rare individuals on Earth are like this)
I feel like we're the same person (8 years for me though). But of course, this is by design and exactly how the most powerful people here want it.

It's an endless struggle at the moment between love of our life in London and feeling of the creeping death of the UK at its own hands.
For what it's worth, and at the risk of sounding like I'm nitpicking, traditional Luddism is not dismissal of technology as overhyped or smoke-and-mirrors. Quite the opposite; the technology is recognized as very real and very impactful. The question instead becomes, "what happens to us, the ones it replaces?". And at least in the original incarnation, given an insufficiently satisfying answer, you smash some looms up to try and slow the encroachment of automation.
You may enjoy https://lobste.rs then.
If the content is thought-provoking or interesting, then it doesn't matter. Usually there's a goal for human-human interaction. I am not sure the goal is any different for human-bot interaction. Persuasion or marketing or charming? Not sure what else is there.

Interpersonal relationships end up benefitting a community in some manner, e.g., maybe you make a friend via your online interaction etc. I can imagine human-bot friendship to be equally fruitful and fulfilling. The issue is that bots in their current state don't exist outside their realm, and they are always someone else's slave. So absent those two features of bots, they could practically fulfill human roles in relationship. I don't think the thrall-like nature of bots impacts their ability to intiate or disseminate discourse.
That is certainly true. 1Password might be a good one. But I'm thinking that they are both businesses, who offer their thing as services, both have taken investor money, management can change anytime... I think the risk category is similar.
I got flashback memories from my days in Obj-c. I love rust but tend to stay away from reference counting as much as possible :). The first example with the two buttons showed my main annoyance with them. They had to decide which closure keeps a strong reference and which one a weak. A refactor later can be a tricky thing because one always needs to double check again if the reference links are still correct. At least with obj-c these errors will only pop up at runtime.
"I'll copy paste this snippet from a 2013 StackOverflow thread instead."

"Let me just install this 2MB js dependency real quick. I don't know anything about its author nor if its maintained at all, but it will prevent me from writing 10 lines of vainilla js."

ChatGPT is a vast improvement from this.
https://archive.is/svqGg