skysight-inc/HackerNews huggingface dataset:
If you are concerned with the core concepts of computing with Von Neumann-esque machines then SICP will certainly cover it.

Will it make you better at your job? No.

The only thing I walked away with after SICP in undergrad many years ago is how much utter bullshit and non-innovation there is tech with new hotness and frameworks all the time. They can all be reduced to SICP.
This was a good read! Thanks for sharing
I don't want to make RH the good guy in any of this, but I'm not sure why this is surprising. In my corporate, regulated environment (and most other places I've worked) the dev teams have virtually all said "we aren't going to commit to fix medium and low vulns on any particular schedule unless there's an overriding business reason to do so (fixes a customer visible bug, regulators start demanding it, we get hacked because of it, etc)". Usually, this is couched in terms of 'resource constraints' or similar. I'm sure similar issues confront RH, and they are applying similar reasoning, right or wrong.
Aside from other issues mentioned, I think a lot of people would object to that sort of light pollution.

And if we are concerned about the damage to desert ecosystems that covering them with solar panels would cause, consider what the damage would be to an area that is now suddenly perpetually bathed in daylight, even at night.
Byron Bay data breach victim told to pay Adidas, NBA $1.2M by US courts
Are you using Chrome now? Hate to say it, you are part of the problem. Switch to anything else.

I'm not a super anti-Google person. I use Gmail and Google as my search engine. But Firefox is a good browser that I use as my daily driver, and Edge, Brave, Safari and the DDG browser are other options.

Switch today and start taking away Google's leverage.
Sounds like hell on Earth
It’s useful but it’s less used than dummy tokens.
Looks like Musk needs to invent a very creative way for circumvention...
Paxos is so mistifyingly hard that Raft was invented as part of a project to understand Paxos (and the advisor and proponent of the project was John Ousterhout, who's pretty badass). There are also I believe a few papers trying to trying to explain Paxos more clearly
I've read a lot of scientific papers in the comp sci / machine learning space and they are rarely precise. It's been over a decade since I've ready many papers so maybe this has changed, but I remember reading a paper out of Microsoft about how to make spell correcting auto-completion for search, and it was nearly impossible to figure out precisely how it was implemented. Precision would have been achieved easily by providing code and a sample data set. instead of was a mix of prose and math equations with many gaps where you had to guess how to fill.
Actually it is available via the clearweb - https://sneed.today.
Funny, I just saw a headline how railway execs in the UK expense tens of thousands in flight tickets because they're cheaper than the rails they operate.

https://www.dailymail.co.uk/news/article-12330029/Network-Ra...
Twitter no doubt has a huge legal department that ran a trademark search and decided their use was permissible.
If you have that modeled as an expense, you can click that expense's icon in your plan to toggle it on and off. Same for other things like income items, real assets, accounts, and cash-flow priorities.
Trademark “X” for social media owned by Meta
> On Linux, glibc has AVX-based optimizations for simple functions (string
and memory copies) which will store secrets into the register file which
can be extracted trivially, so the impact on glibc-based systems is
HUGE.

Interesting. I would have expected it to be some amount of worse performance not using AVX. Though perhaps the past throttling effects from AVX-512 and friends made it so it was too complex to manage which instructions to select in BSD.
You can disable it in Accessibility settings
X owns the trademark for "X" simply by using it, whether it was registered with a trademark office or not. It certainly doesn't hurt that Elon's company registered X.com in 1993, then he purchased it from Paypal in 2017 and has been using it in various capacities since then.
Email the mods at hn@ycombinator.com to request a title change.

I've done so in this case.
“What is sending a message to my process and making it crash?!”

“My synchronous reply timed out, so why I am I getting a message after the timeout?!”

“Why did deleting my build directory fix the compile error?!”

“How do I keep my app from crashing when my supervisor crashed too many times in a given timeframe?!”

So many adventures to be had.
Do you need to actively use and defend a trademark to maintain it? And does using and defending "X-box" don't the same as "X"?
Had.
playing around with the parameters of your interactive sea shell model, I got these other beautiful shapes which then made me wonder how come there wasn't some random mutation in their generation in nature in the past to make them look that way, and then I realize survival is the name of the game, and these natural object could have been that shape at one point in history but didn't make it through for us to see them... though more I think, some of their fossils should have remained....
No one I knew really cared much about the U2 album except that it was a bad album and they didn't want it in their collection. From the people I know there no one upset about the power dynamics - everyone who complained would have been 100% happy if Apple had given them an album they liked.
I'm not sure a higher level "intelligence" (which some folks think AI is moving towards) should be overly-reliant on human "intelligence", lest it inherit flaws which may outnumber benefits. (Humans believe a variety of outlandish things, such as "Q-Anon has the real facts", etc.)
I wonder why the author didn't try it on some metal?

What is the minimum cost to get information that would say "this is better" or at least "this has a good chance of being better, spending a million training a bigger model is worth it"?

Could you rent a bank for 8 A100's for a day and try it out on a smaller model and prove something. Not cheap, but doesn't need VC money either. Probably about $400 on LambdaLabs to test with/without "quiet attention"

The OP can be as sure as he wants, but it is not worth sounding all "I told you so" without a single benchmark. Should be more "what about this - did you miss it ML people...?" in tone.
> Clojure doesn't stop you from passing null anywhere

As a C++ programmer (oh, the horror!) I'd say that's an issue with Clojure rather than the general principle. And also one of the reasons I like the pointer/reference distinction in C++ (the former allows null values, the latter does not).

But sure, that changes my interpretation somewhat. It doesn't really change program safety, however.
China is still rapidly expanding generation capacity. [1] The US has had relatively stable capacity for the last 15 years [2]. China is growing generation of all types; if it's transitioning to green, that's because it's growing green production more than others, but it's still building new coal. On the other hand, the US's transition is a more real transition: coal is being replaced by a mix of natural gas, wind and solar.

[1] https://en.wikipedia.org/wiki/Electricity_sector_in_China#/m...

[2] https://en.wikipedia.org/wiki/Electricity_sector_of_the_Unit...
Have you ever worked in an American industry that makes physical products? Let me give you a hint, it's got the same pressures as software engineering but it's often harder, the environments can be twenty degrees above room temp, and the people get paid a hardly liveable wage.

You can doubt it all you want, but people are out there cutting corners like no tomorrow in pretty much every industry you can Imagine. Usually it's not the employees idea, but rather middle/upper management.

Some of the products people buy have basically never been tested. Yep. Even high end expensive equipment.

I'd say more but I'd rather not...
1. AVX512 allows a 64-bit conditional mask to be used over the 64-bytes (aka a 512-bit operation). Like GPUs (NVidia or AMD) before it, this allows for far simpler implementations of if-statements (or loops) in practice.

2. AVX512 has vgather and vscatter, aka vector-load and vector-store. While no computer accelerates this process, this still simplifies programming and read/writes to memory can be thought of on a per-lane basis.

3. Compress and Expand, new instructions not found in GPU-space, perform the stream-compression operation (and inverse operation). See: https://www.cse.chalmers.se/~uffe/streamcompaction.pdf , lots of practical applications here, nice to see just a simple "instruction" that handles this detail. Though GPU programmers can prefix-sum and build this primitive themselves in practice, its a common enough operation that a proper-instruction is likely a good idea.

------------

Just a few tidbits of AVX512 ISA that shows that Intel really knows what they're doing here.

#1 can be seen as a 64-bit generalization to the cmov conditional instructions that are in Intel's normal 64-bit instruction set. Except instead of being a "1-bit" compare or 1-bit if-statement, might as well generalize it to a 64-bit operation across 64x8-bit bytes that naturally map into a 512-bit register, right?

Its "why" you can just say "if(blahblah)" in CUDA or OpenCL, because under-the-hood, the GPUs are holding onto these 64-bit conditional registers and are turning-off and turning-on lanes to execute. (GPUs don't do if(){A();} else () {B();} like a CPU. GPUs turn on conditional-execution masks per-lane and then execute both A-and-B, though if the lane is "off" then the results are thrown away). It all comes down to S-registers (GCN), opcode-masks (AVX512) or whatnot, its fundamental to "proper" GPU-like SIMD.

In any case, AVX512 is still playing catchup to the gpu space, but Intel has shown me (IMO) that they're the CPU-assembly group that has fully understood what makes GPUs tick and why parallelism is possible in CUDA / OpenCL. Maybe they'll leapfrog the GPU guys in the next few years, but I still consider GPUs to be the cream-of-the-crop in terms of assembly-language design for parallel SIMD systems... for today anyway.

Then again, NVidia has also shown themselves to be very innovative in this low-level space. And in many ways, its easier to "catch up" (as Intel has done) rather than trailblaze. Still, Intel showing off compression instructions is a good sign, it is true innovation.
LTO does rarely break things in hard to detect ways, but I have never heard of a -march x86 compilation bug.
And yet, our electricity costs are still among the highest in the country...
I guess this was meant as a tongue-in-cheek joke comment, but it comes off as needless gatekeeping.
Coal is dying fast in the US. It’s international coal use (India and China) that is the problem. The coal lobby has nothing to do with that.
That was irony.
They don't have departments anymore and I don't think they can afford legal advice. It's probably just Elon using ChatGPT.
Hey! Cofounder of Devbox here.

One aspect I would emphasize about Devbox is that we're focused on providing some of the best properties of Nix (easy to install packages, reproducibility, and ephemeral dev environments) without requiring developers to master the Nix DSL.

We've also added features that help with some rougher parts of Nix, like the ability to search and pin specific package versions using `pkg@version` in your config. See our post here for more details: https://www.jetpack.io/blog/0-5-0-install-nix-packages-by-ve...

We've heard from teams that adopt Nix and Devbox that this simplified JSON config helps with onboarding developers. If you're looking for a way to share your local dev environment with other developers, Devbox could be a good choice.
not sure if sarcastic or not. with musk at the helm and with the how he has been firing large swaths of people and has a habit of impulsively acting i wouldn't count on it.
Hasn't it been a blank page with a x for a long ass time?
*virtue, as you know
Ask HN: Best substitute for compressed air can?
So I've been trying to keep my keyboard and workstation clean on a regular basis recently. Purchased a single can of compressed air for about $12 or something and it lasted maybe a week/two of dusting a keyboard like every other day. Not very long or at least not as long as was expected.

I don't have an air compressor (and that's also overkill for my needs) but are there alternatives to compressed air in a can? Am just looking to blow off dog hair and dust that settles on a computer etc.
The author nails so many points, it's a bit overwhelming.

The war on general computing seems to be the common underlying culprit, but how can this exploit ever be mitigated? The average person just wants "iPhone", and the subject of purchased hardware not serving them is even something they are interested in discussing or bothering trying to understand.

Computers are sneaky because what a computer is really up to can be made opaque to the end user.

Remember that experiment a few months back that made the computer beep everytime the web browser sent telemetry?

https://twitter.com/bert_hu_bert/status/1561466204602220544

https://news.ycombinator.com/item?id=32617787 (11 months ago, 108 comments)
Regardless of the judge, I don't think a patent about a scenario, or mechanism like casting something to TV does anything good to the industry.
"This is the captain. We have a little problem with our entry sequence, so we may experience some slight turbulence and then - explode."
Even the standard library isn't consistent on that. There are plenty of "Something.to_string"

But "standard library" never was a strong point of OCaml anyway so I guess meh shrugs
>Gender bias: Both models disproportionately predict male historical figures.

It doesn't really surprise anyone that for much of history, societies were patriarchal, meaning that women had limited access to education, and traditional gender roles assigned women to domestic roles while men were the primary actors in public life. So, it shouldn't surprise anyone that the 'top 10 most important historical figures' are (mostly) men. GPT-4 and Claude cannot change history, and I think it's much more important to think about the present.
If we're to be exact, we can't prove that if I throw an object upwards with 5 N of force right now, the gravitational field won't suddenly shift (for some reason) and send it out of the atmosphere. If you reduce it to a mathematical construct (Newton's laws, the gravitational field stays within a margin of 0.00001, blah blah) then sure, you can prove that it's not possible. Of course, I would bet a million dollars that it won't happen when I try it, if I'm sure it's not a scam, but I can't be sure that everything will work out like some simulation. Science is based on observations. Some things we have observed and reasoned about enough that we feel really confident. Great! Some things we're less certain about. Some things are really hard to observe (social "sciences") in a controlled way. And some things are simply far beyond the purview of observation.
Evidence suggest: NO. mainly because of the ultimate mirage: infinite growt in a finite world.

But anyway now the market is global, the world is a -global village-, hard to imagine to really step back from this in short times, so we need new rules in the village,like.. less free and more regulations, more recycle, local circular economy, and so on, many ideas are around..

But again evidence suggest (me) that human beings take right action when all others options fail..
The latest shipping processor is the 4-th generation Intel Xeon "Sapphire Rapids". AVX10 looks like it won't be fully supported until the 6-th generation "Granite Rapids" Xeons, probably in 2025.

So AMD has plenty of time to implement the additional instructions, of which there don't appear to be that many. Mostly it's a unification of feature sets and a simplification of the CPU ID flags.

Also, Intel is still nerfing the efficiency "E" cores to AVX10-256, so the instruction sets will remain non-uniform in practice for the foreseeable future.

Meanwhile, AMD is implementing AVX-512 on all of their CPU cores including in the high-density 128-core AMD EPYC "Bergamo" line, which is a significant differentiator.

Intel just cannot resist segmenting a market, even when announcing that they're ending market segmentation!
Is this Trademark for "X" the text too, or just the "X" logo shown on USPTO? The logo doesn't look like Elon's logo at all (that said, I don't think that would stop him from his rebranding shenanigans either way)
My understanding is that, while double pumped 512 bit makes sense from AMD from a compatibility perspective, it's not a great solution. The sheer amount of architectural stare you need to keep track of with all these 512 bit instructions gets unwieldy, especially on smaller cores, and there's no real performance advantage to double pumped 512 vs normal 256.

This new ISA seems to include 256 bit versions of the instructions which were previously only in AVX-512 though. That's exciting.
I've wondered if such systems could act as thermal batteries. That is, use industrial heat pumps to generate moderate temperature steam, inject that into fracked rocks, then recover later as geothermal steam. The storage time constant of the rocks scales as the square of the linear dimensions, and can easily be many years (that's why geothermal works.)

For extra fun, do this in rocks that contain subeconomic levels of some interesting mineral resource and use the hot fluids to transport that mineral out of the formation for recovery.
FWIW, I did get a response from the individual mentioned above. However they were unable to help with finding a copy of the paper. The search continues...
You could test this on a toy Transformer-based model trainable on a consumer GPU.
Most masterlocks are even easier than that: tear an aluminum can in half (or if you're feeling civilized, cut a strip) and you've got a shim that works on most cheap padlocks. And that's not counting the ones that can be opened with a hard strike (say, from another masterlock). Any company competing in the cheap-tier lock segment shouldn't be trusted, for ANY of their locks. They'll leverage the name recognition they get from the cheap locks to try and get you to choose their more expensive, "higher security" locks, but in many cases they'll be selling you a just as shitty product.
Xerox did it first.

And don’t forget google’s X department.
Lots of people are apparently unaware of just how far Firefox has sunk toward irrelevance.

Opera now has a larger worldwide market share than Firefox.
Good point, I believe there's an item on the public roadmap you might like to upvote for adding more property tax options (e.g. to help with modeling cases like California's handling).

Ideally you'd probably want to be using the "Estimate for me" setting in Plan Settings > Tax rather than using a fixed rate. But for those just playing around with the free sandbox that doesn't include tax estimation, would you suggest a different default default fixed rate?
And in practice it will eventually mean being unable to do online banking if you're on Linux. My Android phone with a custom ROM doesn't pass even a basic SafetyNet check, and this means I essentially cannot use mobile banking. For now, using a browser on my phone is a "workaround", but this proposal could change that
Man, at this point, I just want a shitty old car that I can fix everything myself without tons of computer stuff in them. But there's always the issue of parts availability.

Anyone know of a dumb(ish) car that is user repairable with decently easy to find replacement parts?
I'm reading a book on sleep training a baby that's ~20 years old, I think, and it's like 75% unnecessary. I attribute it to the fact that when it was out, there were fewer books/other media competing for attention, plus it wasn't easy to go find additional information by Googling, so people attributed value to extra, borderline-useless info in books.
Just wait until he changes his middle name to s3xy.
Didn't know, i just keep seeing them pass laws like this.
This defies my Occam's Razor view. You seem to be assuming Google is an extremely well connected organism with vast coherency: each limb knows what the others are doing, they are working together in close fashion, & doing things for ulterior motives.

This is such a horrific & bastardly case - of creating unparalleld rank awfulness hither-to-fore unimaginable - that I am tempted to agree. And I do think there probably was some cross-pollination on this idea (which I personally would characterize as unlike the vast majority of things happening on the Chrome team).

But I still think there's a very necessary "reel it in" counter-response that has to happen here. It was me who characterized this as "only a technical change". Google is trying to shift how the web works & knows it, with this change, and that's clear, and their explainer indeed rather twists words somewhat to make it sound like it's for the user: but it is also imminently clear they seek to shift of the web works in a wide way, and they're not cloaking that behind anything or as simply technical: they're wrong & immoral & awful, but up front about what they're doing, and they're not presenting it subtly.

I linked Yoav Weiss's post with some disdain (for rebuffing), but I think a lot of these rules hold true in most circumstances, and I think even under duress many should be respected to the degree possible. But reciprocally, I've already advocated (in the HN thread) that sometimes I don't think constructive replies are appropriate or possible. When we are working to define the only open accessible shared hyper medium humanity has, there is a higher degree of engagement necessary, which also has to permit explosively deconstructive argumentation sometimes. That was my main critique: that Yoav is sheltering Chrome unjustly from the minefield of conflict he created (or more generously, let be created).
Netflix’s new mobile tab could make it easier to find things to watch
Update on the summer Friday news dump: by Monday evening, it's been crickets.

And in the first 5 pages of Google news search hits for "microsoft" (before giving up), I saw only 2 mentions total. Most of the hits are PR fluff, product promotion, and stock market noise 'news'.
> Standard Character Claim: No

> Mark Drawing Type: 1 - TYPESET WORD(S) /LETTER(S) /NUMBER(S)

They do not own the trademark for the letter "X" (that would make a "Standard Character Claim") but the very specific typeset, as featured on the right side of the linked page.

Here [1] it patents a specific illustration format of X. Again no standard character claim.

So no issue for former twitter, as you can easily see the typeset is very different.

I do not know if there is any precedent of a standard character claim for a single letter, but that would really sound ridiculous to me tbh.

[1] https://tsdr.uspto.gov/#caseNumber=87980831&caseType=SERIAL_...
They didn't attract voters by peddling Holocaust, they came to power on the promise of tackling the perceived immorality of drugged-up parties, child prostitution and its contrast with poverty. Yes, "stolen victory" too, but who would care about that if the country wasn't in disarray?
just kick his ass and take it ;p
Oh yes who needs to sense and regulate the heat in a place forging, annealing, and quenching various metals while keeping both people and property safe! Also who would want to save money because the energy to melt tons of steel is very cheap.dont even get me started on the HVAC system! It's not like those are prime targets in lesser demanding industries for automation or anything.

Wait I guess I do buy it...
I don't mind knockoffs if the originals are drastically overpriced.

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

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

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