skysight-inc/HackerNews huggingface dataset:
Correctly: almost all of them were removed from the HTML spec many years ago (but not <object>, that's still a valid HTML5 element).

But: invalid according to the spec doesn't mean it won't do something in a browser, browsers aren't pure spec implementations, they're applications used by humans to view content made by humans =)
>That's not really related to floating point though. You'll have the same issues for fixed point.

You don't. "-" is exact for fixed point unless the operation falls outside the range of valid values.
Very informative paper.

They find:

* Inner layers of transformers share a representation space

* Some middle layers can be dropped without total failure (though it results in reduced performance)

* Middle layers are not interchangeable, they are performing different functions

* Order of layers only matters somewhat

* Layers can somewhat be executed in parallel

Each layer performs a different function but speaks the same language as other layers. A stack of transformers isn’t performing a sequence of fundamental transformations as much as it as performing a sequence of additions, each layer adding new paint to a shared canvas.

Since the layers speak the same language, it makes me wonder how we could modify and extend a transformer. Can you train other models to share the same representational space and have them “plug in” to the transformer? Does this shared representational space make it easier to perform RL and unlock agentic behavior?
PC emulator comes to iOS, but Apple's restrictions hamper performance
Multiple Attacks and attempted attacks have happened in last 10 years even. A far right winger sent 16 mail bombs to democrats (including Biden and Obama) in 2018, and a dozen men tried to nap Michigan governed.
Ukrainian startups are creating a low-cost robot army to fight Russia
this looks pretty sweet. tla+ looks scary and mathy at first, but it's really a pretty simple concept: define some state machines, explore the state space, see if you run into trouble. with this you get a nice classic sequence diagram to show how things went down.
[I work on SCALE]

Mapping inline ptx to AMD machine code would indeed suck. Converting it to LLVM IR right at the start of compilation (when the initial IR is being generated) is much simpler, since it then gets "compiled forward" with the rest of the code. It's as if you wrote C++/intrinsics/whatever instead.

Note that nvcc accepts a different dialect of C++ from clang (and hence hipcc), so there is in fact more that separates CUDA from hip (at the language level) than just find/replace. We discuss this a little in [the manual](https://docs.scale-lang.com/manual/dialects/)

Handling differences between the atomic models is, indeed, "fun". But since CUDA is a programming language with documented semantics for its memory consistency (and so is PTX) it is entirely possible to arrange for the compiler to "play by NVIDIA's rules".
Indeed.

Every one of us, without exception, views and interprets the world through the lens of our own minds. That lens distorts our perception far more than many think. Correcting for that distortion takes a lot of effort and is rarely perfectly or consistently done.

"People often mistake the limits of their view for the limits of the world."
Yeah, there are important qualitative differences between the steps of:

1. Neighbor X claims they saw {embarrassing thing}

2. Neighbor X has objective proof that the event occurred

3. Here's a picture of the event

4. Here's a picture which is endlessly duplicable and broadcastable
https://www.bloomberg.com/news/features/2024-02-21/car-washe...

TLDR; it’s not just you, private equity and a subscription business model.
Yeah a secure-by-default system "doesn't treat you like an adult."
ZLUDA is pretty good, except that it lacks cuDNN which makes most PyTorch projects just not work. Not sure if this project does cover that? That could be a game changer, otherwise yeah ZLUDA is the better open-source option.
It would be nice, but for starters I just need pinyin.
It’s not an industry. It is an ordinary business practice that makes suing a company less attractive and less lucrative when successful.

Bob controls Acme.LLC and sets up Assets LLC. Assets LLC buys acmellc.com and leases it to Acme LLC for $1,000,000/year. Acme LLC now has less cash assets and no valuable domain name asset to loose in court. In addition there’s a $1,000,000 less net revenue to be distributed as profits among non-controlling Acme LLC shareholders and all that money went to Bob.

Setting up holding companies has been ordinary for many decades and is easy to do. It’s a practice not an industry.
Conceptualize what it would take for web sites to become well-defined, self-contained, subdivisible, versioned, redistributable packages and develop a standard (perhaps with varying degrees of strictness/compliance) for that. Demonstrate with an example site and client software.
There's Marginalia [0] and Kagi Small Web [1] but you could also try Bing. It's far from perfect but it has more sites indexed than Google.

[0] https://search.marginalia.nu/
[1] https://blog.kagi.com/small-web
It was a bit stronger than just affecting hair-

http://amasci.com/weird/unusual/e-wall.html
Mercurial is simply too good (2020)
Written or printed out at 3 digits per centimeter, 202 trillion digits would make a string about 670 million kilometers long -- or about the distance between Earth and Jupiter.
Incredible that this is the #1 post on HN. The slightest amount of basic research what this functionality does is absent, combined with the obviously ignored knowledge WHY firefox still has any users at all.

Glad the whole thread was apparently flagged to death though. I'd guess 90% of firefox users already turned that off and are actively looking for the next best alternative.
Sounds like you need to carve out some regular time for learning - you are right, it is important to do continuous learning.

In terms of what to learn about, you could try an analytical approach and score technologies according to your criteria.

One criterion could be: does it have a good tutorial and documentation?

Replit and Stackblitz can help you try out new things.

Also, the learning effect is multiplied when you build an actual project: often this will influence what you need to learn.
Google Search hasn't felt less relevant to me ever than it does now. And I first stopped using Yahoo and switched to them some 20+ years ago.

It'll find anything except what I'm trying to find. Quotes are useless. The content itself is often garbage. It works ok on common queries, but that's not when I need it to work - I need it to work the most when the query is hard. The long tail is the only thing that matters when a user is judging a search engine's quality.

The web itself has gotten worse over time, but that's also partly Google's doing. Google extracted all the value out of the open web and kept it for themselves. Meanwhile online publishers of all varieties are dying, despite being the ones producing much of the value. Google should have identified this as a strategic threat decades ago.

Now I just keep a tab open to ChatGPT all day and use it as a search engine without all the trouble of dealing with webpages.
I don't find it wrong for someone to attempt to make money back on their time and experience of doing the work. I don't mind people that offer that back as open source either. However, I do have a problem of people expecting everything to be open/free, especially those that then go on a crusade chastising those that do try to make money.
That's not how I interpreted it: There is a clear need to be able to write filesystems in Rust, and the kernel developer(s) who write the filesystem API don't want to have to maintain the bindings to Rust.
Who needs <marquee> when we have @keyframes? Now everything is marquee.
Lots of claims without any specific examples or hard evidence. Typical SEO blogpost.
By the looks of it, the announcement webpage also breaks Tridactyl unnecessarily, so I doubt they are interested in supporting *vim... Joking aside, I would be shocked if someone doesn't quickly write a plugin for at least Neovim to support this.
Odds are high that the password wasn't very strong or long. Who really wants to type a long and complex password every time. This means the phone can be imaged, then brute-forced on a server.
Thanks. Agree on Rust. Liked zig at first but it seems they lost focus and started adding syntax sugar which just complicates things so I lost interest..
In order to access the string contents in the first place you need the pointer. The length is stored right next to it. So they're both going to be in the same cache line, assuming proper alignment. In the rare case in which they straddle a cache line, you just have to load once and then the length remains in cache for the remainder of the loop. (This is true regardless of where the length lives, in fact; as far as CPU cache is concerned it really makes little difference either way.)

(This is assuming SROA didn't break apart the string and put the length in a register, which it often does, making this entire question moot.)
Technically it was after starting - AMD was founded in 1969 as a second-sourcer for Fairchild and National Semiconductor, and had reverse-engineered the 8080 by 1975 and acquired a formal license to it by 1976.

The 1982 deal you speak of was actually pretty interesting: as a condition of the x86's use in the IBM PC, IBM requested a second source for x86 chips. AMD was that source, and so they cross-licensed the x86 in 1982 to allow the IBM PC project to proceed forward. This makes the Intel/AMD deal even more important for both companies: the PC market would never have developed without the cross-licensing, which would've been bad for all companies involved. This gave Intel an ongoing stake in AMD's success at least until the PC market consolidated on the x86 standard.
Rape is only one kind of sexual assault. It’s not just one term being more “provocative” than the other.
I do, feel free to DM on Twitter. Just pull an 18 kW system in a few months ago and it’s been great.

(Full disclosure: I’m in the solar industry, but on the software side. Recently left Cloudflare to join Aurora Solar as CPO.)
I understand what you're saying, and while I'm sympathetic to that position, you've gotta lay a lot of that at the feet of spammers who try every trick they can think of to fill the results with crap. The same thing happened with email. Maybe I want my doctor to send me information about, I don't know, herbal cholesterol treatments, but she can't because they get caught in a spam filter.

Countless terabytes of junk web content make it hard to find the needle in the haystack. Frankly, I don't want to see that low-value part of the web. Every time it shows up in search results, that's one less decent result appearing on my screen. I suspect that anyone who says they want to see everything doesn't really appreciate what everything means. There will never be a page on Experts Exchange that I want to see. I'll never be grateful for a result from answers.com. Although those sites are capable of creating useful information, their business model been to dump a ton of junk on search engines with the hope that people accidentally click on it so they can make some ad money. I picked on them because I can name them off the top of my head. There are a million sites just like them. And none of them have anything to offer me whatsoever.

I'd hate for Google's changes to remove the site maintained by that expert kid in Tampa who has precisely the answer I need, along with part numbers and wiring diagrams. If Google has to nuke the Experts Exchanges and answers.com of the world so that the Tampa kid's site does start showing up, yay!
Show HN: Mutable.ai Codebase chat that uses a Wiki for RAG
Hi HN!

We wanted to introduce our codebase chat that uses a wiki of your repo to do retrieval instead of traditional vector or keyword RAG.

We have been pleasantly surprised by the quality of responses. We think creating a language knowledge base for LLMs to do RAG is the future. The way this works is we first write a Wikipedia style article on your codebase complete with diagrams and citations to your code.

We’ve run it on some of the most popular repos. If you want us to run in an open source repo please comment below. You can also run it on private repos and the permissions will follow those of the repository on GitHub.
The wikis auto update via a GitHub bot and even show you previews of the new wikis in a diff view.

Please check it out and let us know your thoughts.

Thank you!
Omar

PS Here are some examples:

https://wiki.mutable.ai/hashicorp/terraform

https://wiki.mutable.ai/ggerganov/llama.cpp

https://wiki.mutable.ai/ethereum/go-ethereum

https://wiki.mutable.ai/NVIDIA/TensorRT

https://wiki.mutable.ai/langchain-ai/langchain

https://wiki.mutable.ai/ollama/ollama

https://wiki.mutable.ai/tensorflow/models

https://wiki.mutable.ai/grafana/grafana

https://wiki.mutable.ai/OpenAutoCoder/Agentless

https://wiki.mutable.ai/unslothai/unsloth

https://wiki.mutable.ai/Dao-AILab/flash-attention

https://wiki.mutable.ai/vercel/next.js

https://wiki.mutable.ai/microsoft/vscode

https://wiki.mutable.ai/wasm3/wasm3

https://wiki.mutable.ai/deepfakes/faceswap

https://wiki.mutable.ai/huggingface/transformers

https://wiki.mutable.ai/vllm-project/vllm
I’d say there are three groups: A) casual photography for capturing memories B) casual but with a desire to take better quality pictures C) enthusiastic amateurs and pros.

Now only C will buy a dedicated camera. But in the late 0’s and the 2010’s, segment B did too—lots of people bought DSLRs to get better quality pictures — often sticking to the kit lens and not getting all geeky about photography… just putting everything on automatic would still offer much better quality than a compact camera or a phone camera.

As phone cameras got better, people in this market segment switched to phones — they might just care more about the type of camera on the phone than the most casual of users do.

Consequently camera sales have plummeted: https://www.statista.com/statistics/799526/shipments-of-digi...
No, but when the roof eventually needs repair we probably will.
Sounds like an interesting idea though!
Yeah, highly doubt they'd leak info about some exploit in a high-vis press release like this.
and you whipped out the whole "the browser doesn't care, as long as there's corresponding CSS that defines its page layout and styling"?
Same place as museums. Benefactors.

Check out Wikipedia for an example of a huge site that doesn’t make money and just runs on donations.

I run my crappy blog and a bunch of other sites for “free” because I just pay the fees.
>central and high loop gain periodic breathing

Does this require treatment beyond a CPAP machine?
That was my reply to you, not the original point. If it helps:

I think the GP implied with the statement that we should subscribe to some non-empirical theories ("outside spacetime"), because the endeavour is not supposed to be human-centered.

1. You said that the observations are not human-centered since we need to make machines, so the GP does not need to be suspicious and should stick to empiricism.

2. Both you and the GP seem to assume that the endeavour is not supposed to be human-centered

3. I say it is human-centered because we make the machines for us as observers at the center, so your argument doesn't quite work

4. I think our science is entangled with us as observers on many levels, and it should be. So the GP's statement should actually be pushed through suspicion towards neccessity.
Google thinks what you really want is to give them all your attention and money in return for the privilege of breathing on the same planet as them.
I've been having a great experience with Kagi, personally. Especially once I'd upranked and downranked various sources according to my needs.

Upranking/downranking sources turns out to be more powerful and meaningful than I thought at first. At first, I didn't even bother with it, but it turns out that being able to provide a "correction factor" signal makes a serious difference.
> Life in a village was likely that same dynamic but for a person's whole life, not just high school

One BIG difference between high school and ordinary life is that high school is filled with a bunch of adolescents who are forced to be in a place where there isn't much to do for fun other than gossip about the other adolescents. Given that adolescence is a time when humans are maximally embarrassing and maximally interested in other adolescents' embarrassment, I don't think it's a good model for general life.

People in small towns and villages today do not act like high schoolers, and they are perfectly capable of keeping secrets from each other. You don't need a legally enshrined right to privacy when your most dangerous threat model is Fred down the street who is a nosy twerp.
1. What kind of work is boring and wants to be automated?
Hi guys, I am working on my RPA software startup. Could you please help me out?

I’m happy to receive your insight and advice. Let’s brainstorm some solutions to it.
Thanks!
Or for .NET
I have bought ink-on-calfskin art and had it shipped to me, the artist wrapped it in parchment paper and taped the parchment envelope to the inside of a cardboard sandwich.

But for SD cards, I would expect affixing it to the inside of a cardboard sandwich with masking / painter's tape to be perfectly adequate, though not by any means pretty.
How can RPA help with your work or task?
Hi guys, I am working on my RPA software startup. Could you please help me out?

I’m happy to receive your insight and advice. Let’s brainstorm some solutions to it.
Thanks!
I just realized my previous comment left out what I was trying to say—my bad! I think what I was trying to ask was: would it be possible to generate a formal specification from a graphical representation, and then use that specification to verify the source?

Also thank you for those links! I'll definitely give them a read.
> I almost never want brand/big name sites and the like, but that is mostly what I get.

Google is doing the same thing with youtube. Youtube was a place to get away from traditional media, cable tv, etc. That was the point of the "You" in youtube after all. But now, no matter what I search, it's mostly corporate/traditional media in the list. Youtube was a major part of the 'cut the cord' movement. Now youtube is rebranding itself as 'cable tv re-imagined'.

It's amazing how google and youtube did a complete 180 in just a few years. Google search and youtube are nothing like what it was 10 or 15 years ago.
Let me try to do it without Avogadro's number approximately:

m_oxygen / m_carbon = (n_oxygen * A_oxygen) / (n_carbon * A_carbon)
m_oxygen = x * (2 * 16) / (1 * 12)
= 2.7 x

and more accurately:

m_oxygen / m_carbon = n_oxygen * m_oxygen / n_carbon * m_carbon
m_oxygen = x * (2 * 26.567 yg) / (1 * 19.945 yg)
= 2.664 x

Can you do it more easily using Avogadro's number?
Google has been playing this game for 20+ years and failed hard the last 10+. You think you could easily solve it?

I'm not saying they're applying the best of ideas and doing it well, but I'd wager none with good experience in this field would bet it would be that easy. I think it's more akin to hackers and defenders, each surpassing the other one in a never ending race.
You're right that most people only use a small subset of cuda: we prioritied support for features based on what was needed for various open-source projects, as a way to try to capture the most common things first.

A complete API comparison table is coming soon, I belive. :D

In a nutshell:
- DPX: Yes.
- Shuffles: Yes. Including the PTX versions, with all their weird/wacky/insane arguments.
- Atomics: yes, except the 128-bit atomics nvidia added very recently.
- MMA: in development, though of course we can't fix the fact that nvidia's hardware in this area is just better than AMD's, so don't expect performance to be as good in all cases.
- TMA: On the same branch as MMA, though it'll just be using AMD's async copy instructions.

> mapping every PTX instruction to a direct RDNA counterpart or a list of instructions used to emulate it.

We plan to publish a compatibility table of which instructons are supported, but a list of the instructions used to produce each PTX instruction is not in general meaningful. The inline PTX handler works by converting the PTX block to LLVM IR at the start of compilation (at the same time the rest of your code gets turned into IR), so it then "compiles forward" with the rest of the program. As a result, the actual instructions chosen vary on a csae-by-case basis due to the whims of the optimiser. This design in principle produces better performance than a hypothetical solution that turned PTX asm into AMD asm, because it conveniently eliminates the optimisation barrier an asm block typically represents. Care, of course, is taken to handle the wacky memory consistency concerns that this implies!

We're documenting which ones are expected to perform worse than on NVIDIA, though!
...and ever since generations of electric guitarists have been confused over tremolo and vibrato, because Leo Fender mixed them up.

One the the Stratocaster's major innovations was a bridge system that allowed for large string bends without messing up intonation. For unknown reasons he called this a tremolo system, even though the effect produced using it is vibrato (varying pitch) rather than tremolo (varying volume).

He did a similar thing with the Fender Vibrolux amp. That had a tremolo effect built in, but Fender marketed as vibrato.
> Sometimes there are ways to mitigate this, sometimes there aren't. Sometimes you need to precondition, sometimes you need to rearrange, sometimes you need a different algorithm, sometimes you need to normalize, sometimes you need to use a different arithmetic and so on.

> For solving linear systems alone, there are definitely thousands of papers dealing with the problems arising from this. For every single algorithm you write and for all data which comes into that algorithm, you need a careful analysis if you want to exclude the potential of significant numerical errors.

It sounds like we agree that cancellation is avoidable with some analysis, and there are hundreds of techniques you can use to deal with it, but mostly it's the ~5 you listed there. And as you suggest, I don't believe this is nearly as significant a problem in the general case as you think it is. A careful error analysis is possible if you care (and if ever you cared, it would be on a spacecraft), and far easier in floating point than in many other number systems, including fixed point number systems.

Numeric systems that truly fix cancellation are incredibly big and heavy, and cannot usually be used for real-time calculations in a generic form. Fixed point certainly doesn't fix cancellation - it introduces precision loss issues on every operation you do that causes a number to go down in magnitude. It is actually harder to design systems in fixed point that avoid massive precision losses than it is in floating point, and the error analysis is much more substantial.
I just tried it with llm.c ... seems to be missing quite a few key components such as cublaslt, bfloat16 support, nvtx3, compiler flags such as -t

And its linked against an old release of ROCm.

So unclear to me how it is supposed to be an improvement over something like hipify
I was about to comment the same - even before ITimeProvider existed it was already very common to have an ITime or IDate or IDateTime etc that would then be implemented as you need for tests.

Having this now as a built-in is excellent.
Wow, thanks for the heads up! Was not expecting this...