skysight-inc/HackerNews huggingface dataset:
I have no interest in BPs but your post is very informative, and your writing is insightful and funny. I wish I wrote that well!

Are you aware of any uses of your software in other domains, e.g., health?
JIT optimizers operate at runtime, there are no test suites to verify before/after. It's happening live as the code is running so if you use AI then you won't know if the optimization is actually valid or not. This is why the article is using Z3 instead of neural networks. Z3 can validate semantic equivalence, neural networks can't.
Yep. It hides itself from lsmod and the sysadmins on Linux as well.
That's a great way to remove incentives for future researchers to pursue acedemia instead of pitching their projects to Microsoft directly. Or for private schools to hoard all the best researchers.

I don't really agree on the hard line of "information should be free", but the first step to that ordeal isn't to remove incentives from creators. If creators didn't have to fear for being left in the dirt by corporations after having a breakthrough, we wouldn't need copyright to begin with.
Marineland Under Investigation Amid 17 Beluga Deaths
Concepts.app right now. My only gripe is shortcut bindings are not arbitrarily configurable and for color selection I have to tap a pretty darn small target area.

But no others have infinite canvas that I could find.

Otherwise the standard notes app is good. I don't need fluff.
Yes, a very crucial point, the search is abysmal. The search has no user filter bar trivial things. Related - iTunes store searches used to allow searching such categories as composer, bpm, label (iirc), and other details, but were removed in some iteration prior to 'music' replacing it.
> However, using a transparent color significantly slowed down the number that can be drawn too which doesn't make as much sense to me. I'd imagine that with hardware today transparency should be somewhat free.

That's because transparency limits how you can batch draws on the GPU. With opaque draws, you can use the depth buffer and draw in any order you like e.g. maximizing batching. With transparency, you need to draw things in the right order for blending to work (painters order).
Maybe they are referencing that the article is from Dec 2020. I agree, it still seems highly useful.
The problem you are complaining about here is the weakening of labor and consumer organizations vis a vis capital or ownership organizations. The software must be updated frequently due to our lack of skill in writing secure software. Whether all the corporations will take advantage of everything under the sun to reduce the power the purchasers and producers of these products have is a political and legal questions. If only the corporations are politically involved then only they will have their voice heard by the legislatures.
> "Gen Z’s current average is 666, according to VantageScore."
> I'm pretty sure

If you're not actually sure I don't understand how you can make a post claiming they did it without your consent.
I've disliked Twitter since way before Elon acquired it. And I actually really like Elon as a person, even if I disagree with a lot of things that he's doing with Twitter, because I didn't really care about Twitter to begin with.

Fundamentally, what I don't like about Twitter is the low signal-to-noise ratio. Even if you try to curate the people you follow, Twitter will find a way to push useless stuff in front of you, and even the people who post interesting stuff tend to post pointless stuff from time to time because of the prevailing culture in Twitter.

And I also don't assign a lot of value to accessing ground sources in real time. If anything, I think people care too much about being up to date on everything.
Context is a website, so HTTPS requests per second would be the relevant metric.
Bud Light and the generally chilling effect on corporate "progressive messaging" (or however someone would choose to phrase it) their boycott has had would like a word with you.

Boycotts work quite well, but you have to have a sufficient base of customers to participate — and it helps to avoid spurring counter-boycotts: Chick-Fil-A's business increased after some chose to boycott them. It also helps when the company's product is commodity swill that's easy enough to rotate out (Bud Light) vs. a generally positive customer experience (CFA).
Accrescent: A private and secure Android app store
This is no excuse. At least in larger companies, you have safety inspectors that routinely visit shops unannounced and will give you and your manager trouble if you’re not following procedures. They answer directly to higher up and can’t be pressured into letting it pass.
You're absolutely correct! I mention this elsewhere in the documentation even. Buttplug really is just a userland HID manager at its core. The only specialized part is the context of commands we send to devices.

The original plan (and it may still happen, who knows) was to figure out a way to chop off that top message layer and create a generalized system for doing exactly what you've said. That was going to be called 'deviceplug', and it's why btleplug is under the 'deviceplug' org on github (https://github.com/deviceplug/btleplug). I've just never gotten around to it because I'm not quite ready for the additional support burden yet.

All that said, Buttplug is also a haptics experimentation project aimed at finding out what it's like to create a way to communicate about a very specific type of touch via technology and programming. There are specific goals within the project related to that, but the amount of tech required to actually pull that off means I end up with what basically amounts of a fleet management framework. :)
Educative also has a very strange (to say the least) way of interacting with authors: https://antonz.org/educative
I have lived in Cuba for one and a half years and have studied there. The education system is in same aspects superior than the one in my home country, Germany.

I have visited schools and the education level of the vastly higher. The knowledge of the children greatly impressed me. In fact you could talk the average person on the street about complicated issues regarding history, philosophy and economy. Many where even multi-lingual.

It is true that Cuba has trouble getting some medical equipment due to the sanctions but she also has a for a small island impressive pharmaceutical industry. There is a great medication for diabetics that would save many lives if it were allowed to be exported in the US. Not to mention having developed their own covid vaccine.

You are probably living in a exile-Cuban bubble.
I am opposed to legal immigration of skilled workers. My reason is because it causes what Peter Turchin called elite overproduction. We have too many highly credentialed people who fight over who gets entrance to our top schools and who monopolize the highest ranked high schools. Immigrants have more social and income mobility than natives. I would argue that the professional class has become increasingly isolated and contemptuous of non-elite citizens as they continue to grow in size and monopolize elite positions. For example, our top schools seem to mostly be the children of immigrants or immigrants themselves. Those schools feed into the most elite business and government positions giving those people disproportionate power.

The reasons for inviting them I think are a combination of disingenuous or outdated. The arguments about economic survival or humanitarian reasons just don't seem true to me anymore but that's a separate point.
> There has never been a time when most technology in use was understood by the general population.

There is nothing surprising in that, we know where we have been historically.

When people don't understand vaccination, or electricity, or the shape of the Earth, the more interesting question is where we are going.
To continue your thought: if they really opposed illegal immigration, there wouldn't be illegal migrants at all.
Depends on where I'm sending the CV! It's always on there in some form, but I can recontextualize the library as a "haptic device management system" if necessary. I've also just basically repeated the design of the system verbatim in architecture focused interviews before.
In the UK at least, the vendor needs to show that their process was transparent and fair in order to fulfill their side of the contract. One of the examples specifically called out as unfair is "renewing without sufficient notice".

In this case, they didn't send any kind of email before or after payment.
https://tenor.com/view/oh-boy-here-we-go-again-oh-dear-omg-a...
Close!

Generate the z3 too - as the need is to verify, not test. It can be a direct translation. For all inputs, is the optimization output equivalent. (Bootstrapping a compiler prototype via LLMs is nice though.)

One place LLMs get fun here is where the direct translation to z3 times out, such as bigger or more complicated programs, and so the LLM can provide intuition for pushing the solver ahead.
The same happened to me a few years ago with educative. Scumbag company.
Totally agree, the complexity of 3D, heterogeneous nodes, and chiplet integration are necessary. Thank you for your efforts, and I wish you great success.

It's just that for over 50 years optimizing transistor pitch in 2D was sufficient to drive demand and investment. The clear winning single path forward provided the exponential growth we've come to expect. I suspect the complexity and uncertainty of this new heterogeneity does not. Underlying system and process simplicity and reliability support overlaying complexity in software and network.

I started in semi with 68020/30 to see the huge jump from 2um to 0.8um and stayed in on the trailing edge of analog down to 28nm. Maybe there is another 40 years of growth, but it feels like even though 3D stacking increases the power law of dimensionality, it may reduce iteration rate more. We've got 8 high HBM, but will we have 100 in even 8 years or 1000 in another 8 more?
> What would it take for the US to lift sanctions

If you understand the origin of the sanctions against Cuba, you know the answer to this question is that the US wants control over Cuba and their resources.
This isn't censorship.

That's the poor assumption being made.
That's not what OP claimed.
Threatening people to make them behave a certain way is actually illegal, even if that threat is legal action. Especially if you are trying to stop someone from doing something well within their rights, knowingly abusing your privileged access to the law as a lawyer.
Especially with all the tightly-coupled components.
China is on track to reach its 2030 clean energy targets already
Almost every current era is golden if you lived in that era, unless you look back. Tech is always improving every year, if it isn't tech, is laws and social structures.
Not a pandemic that has any relevance to me, above the prevalence of the common cold.
> What digital protections did the kid circumvent?

This was my first thought too. While the entire DMCA is misguided draconian bullshit, I'm having trouble figuring out by what tortured logic dumping an image from a game file would trigger it.
There is plenty of evidence that both the climate and Covid exist. Not sure what case you're making here.
>They will willingly make the public worse off in order to prevent a private profit.

Because historically speaking, private profit does not fundamentally "provide the foundation for a better society". If we had more benevolent actors in my lifetime, I'd feel differently. But it's always a monkey's paw. I see no contradiction to be afraid of being exploited when everytime a cool idea scales massively it ends up exploiting me.
Boeing Commercial boss sticks to message, leaves big issues to next CEO
I'd bet on single consumer against distributed lock, but there's not enough context to decide.

Neither is scalable.
Hilariously Air conditioning is very common in the US but very uncommon in Europe.

Is there actually any evidence of a positive effect?
Here's a batteries-included local-first dev-environment which does that in order to compartmentalize your credentials:

https://github.com/legobeat/l7-devenv

Something like Lokal might till be useful here to facilitate remote collaboration by providing a tunnel (ie I can connect to your local session behind NAT without you opening ports or connect to VPNs etc).
When you call in you can do so as to remain anonymous. Sometimes that can still be a problem, for obvious situations, but like you say it wasn't even your house you noticed it at. Of course the only obligation here is a moral one but I mostly don't want people scared off from calling just for being identified in situations they don't have to worry.
One reason I didn't go back and check was that I always turn this off. Of course, I'm fallible and may have made a mistake here, and so I'll give them the benefit of the doubt on that one. Either way, I encourage people to check.

The other reason is that they didn't send me any kind of email telling me they were going to charge me.
> I feel we're going over the actions of an individual researcher with a fine-comb, searching for any hint that there was an arguably better course of action, when there are multiple huge obvious mistakes from a16z.

You're going over things "with a fine-comb". I just wrote two sentences that made a single point.
There is no standard writing system for Swiss German. So she might have used it, but it would be unclear to most Swiss what it means/how it should be pronounced.
I learnt UNIX on Xenix.

It was so expensive, that we shared a PC tower with the whole class.

Not timesharing, rather we would prepare our C applications on MS-DOS 3.3 with Turbo C 2.0, using with mocks for UNIX APIs, and then take turns of 15 minutes per group, trying to make it work on the Xenix tower.
AI is another excuse to not learn the foundation. Without foundation you don't have the skills.
That should put pressure on the deserted areas to increase compensation or offer better CoL in return for production. Similarly, it increases demand on housing and other services in global cities, putting pressure on the workers to move to greener pastures. Of course none of this works as intended due to outsized govt. intervention and corruption.
I'd say the applications are witchcraft as well, as in you can get food from tapping a screen on your phone, instead of mana you use money.

Or now with latest LLM and voice recognition you can just utter the words to summon food.
I could not care any less. My post wasn't even addressed to you, obviously it was addressed to OP, so you not having read it would have been totally irrelevant to me, except you totally misunderstanding the intention of my post and trying to debate me on it. Oh well.
If you're running CrowdStrike I would think Windows Defender is probably disabled, no?
Most PPE has very real tradeoffs. Respirators are uncomfortable, especially in hot weather. Safety glasses get dusty and smudged. Gloves limit dexterity. Mortar mixer grates make it difficult to clean unmixed sand and mortar from the sides. Safety harnesses take time to donn and doff and limit mobility. It's rare that the safest procedure is the quickest and cheapest.

As a society, we've decided that we are willing to pay the price to keep our workers safe on the job. But it only works if our regulators are effective and make the costs of noncompliance greater than the costs of compliance.
Stalin and Mao enter the chat…
I don't like his style of communication.
Can't you mathematically work out how to change the colors/opacity to rearrange the job?
All the EdTech companies (e.g. India's Byju, once valued at $22 billion, bankrupt now, LambdaSchool, AlgoExpert etc.) start with lofty and noble goals, but reduce themselves to profit greedy companies. Don't get me wrong, nothing against profit seeking, but profit greed at any cost makes them indulge in dark patterns and even illegal strategies.
I don't know. An /i/ near a vowel in Spanish tends to become /j/. I usually see the consonant y transcribed as [ʝ].

Wikipedia on Spanish phonology notes the difference in pronunciation between viuda and ayuda which is an interesting contrast in two very similar sounding words.

Old Spanish had a lot of phonological differences so I'm not sure you can do a straight comparison.
> The discovery of scraps of cloth in an ancient septic tank in Herculaneum led also environmental archaeologist Mark Robinson to conclude that scraps were used for wiping instead of a sponge.
I imagine having an unencrypted disk in 2024 can be most charitably called 'an oversight', so there's little point in attempting to deal with them. (Remember we're talking about boxes with crowdstrike installed...)
“Trench work can be so precarious that OSHA also requires companies to have an experienced supervisor on-site with authority to stop work in a trench if they consider it unsafe”

Isn’t safety supposed to be on-site at all times? The point of the law is to prevent people who don’t know the risks from jumping in the hole, right?
> Hmm I think this is unneeded, vmlinux already has all the code.

Yeah, I was just thinking about it as a way to reduce the scope of the "preload" step of symbolic interpretation, for the case where you want to work with semi-structured IR (GIMPLE) rather than machine code.

My assumption was that by the time you're down to machine code, you'll still be able to recover the key column of the table — the syscall numbers themselves — but the rest of the data you want to show in the table won't exist any more, having existed only as things like identifier names. So you'd want to back up at least one or two steps.

> This is not the case unless you meticulously configure it accordingly, which is not so simple and requires constant manual (sigh) updates to the build configuration each kernel release.

I was less assuming the possibility of one kernel that has all syscalls, and more assuming that you could build O(N) "probe kernels", one per uarch.

I think the concept of there being "optional syscalls" that only appear if you configure in added capabilities beyond the uarch, didn't even occur to me.

How does that even work, libc-wise? I had assumed that the userland-kernel-ABI expectation was such that the set of syscalls possible to call for a given uarch is static, but with some just be stubbed to always return an error if the given capability isn't in the kernel. But I guess, if the "return an error like a stub" logic is the same as the "this syscall isn't implemented logic", then there needn't be any concrete code in the kernel that calls out those syscall numbers as existing...

If so, maybe consider that a bug? Submit a patch to have an arch's stubbed optional syscalls return a different error than for syscalls that don't exist for that arch, thus forcing such syscalls to be somehow documented in the kernel even when stubbed?

> There isn't a way to e.g. pretend that "all kernel services were already initialized" as you say in point #2.

To be clear, I wasn't talking about compile-time code inclusion; I was talking about runtime, when using the strategy I outlined to compile a subset of the Linux kernel as a "library kernel" / exokernel. The kernel does a lot of stuff on boot — brings up hardware, starts daemons, etc — and you'd want to skip including any of that, if you wanted to throw the code into a fuzzer, because that'd all distract the fuzzer from your goal of fuzzing the syscall handler. So you'd want the executable you built to just call the syscall handler as if it was running in the context of a bootstrapped-and-running kernel — statically declaring all the same static globals, but just never calling the code to initialize any of it. So you'd likely get a program that always crashes with a null dereference — but that doesn't matter, since your goal is to discover through fuzzing the conjunction of value constraints that overdetermines the control-flow to reach one null dereference vs another.
This is British English for "I'm sure".
>Attribution might be an issue, but that is a separate conversation and perhaps dealt with, if possible, by having LLM’s cite sources more accurately.

hand-waving it by "oh just have corporations promise they will cite their sources, honor system" is the easiest way to not have corporations cite their sources. Plus if these corporations are so gun-ho about how "we don't store your data in an LLM", that wouldn't be a trivial matter anyway.

>a bigger societal loss in my view is publishers like Elsevier restricting LLM access to research articles, rather than being too permissive.

it's only a bigger loss if you think the knowledge will be proportionally handed down to society. Which it rarely is.
That one is no good because it tries to normalize DRM and tivoization by pretending they're for "security". E.g., it says to set kernel.kexec_load_disabled=1, debugfs=off, module.sig_enforce=1, and lockdown=confidentiality, all of which only restrict the root user.

It's also terrible for other reasons, e.g.:

> net.ipv6.conf.all.accept_ra=0
> net.ipv6.conf.default.accept_ra=0

> Malicious IPv6 router advertisements can result in a man-in-the-middle attack, so they should be disabled.

But that's the main way to configure IPv6. The IPv4 equivalent of that advice would be to disable your DHCP client, since malicious DHCP servers can result in a man-in-the-middle attack.

And it also has the same horrendous advice for PAM to require the kinds of passwords that we now know reduce security.
I haven't read any Chalmers so I can't comment on his writing style. I have seen him in several videos on discussion panels and on podcasts.

One thing I appreciate is he often states his premises, or what modern philosophers seem to call "commitments". I wouldn't go so far as to say he uses air-tight logic to reason from these premises/commitments to conclusions - but at the least his reasoning doesn't seem to stray too far from those commitments.

I think it would be fair to argue that not all of his commitments are backed by physical evidence (and perhaps some of them could be argued to go against some physical evidence). And so you are free to reject his commitments and therefore reject his conclusions.

In fact, I think the value of philosophers like Chalmers is less in their specific commitments and conclusions and more in their framing of questions. It can be useful to list out his commitments and find out where you stand on each of them, and then to do your own reasoning using logic to see what conclusions your own set of commitments forces you into.