skysight-inc/HackerNews huggingface dataset:
Code search is indeed hard. Stop words, stemming and such do rule out most off the shelf indexing solutions but you can usually turn them off. You can even get around the splitting issues of things like

a.toString()

With some pre-processing of the content. However were you really get into a world of pain is allowing someone to search for ring in the example. You can use partial term search, prefix, infix, or suffix but this massively bloats the index and is slow to run.

The next thing you try is trigrams, and suddenly you have to deal with false positive matches. So you add a positional portion to your index, and all of a sudden the underlying index is larger than the content you are indexing.

Its good fun though. For those curious about it I would also suggest reading posts by Michael Stapelberg https://michael.stapelberg.ch/posts/ who writes about Debian Code Search (which I believe he started) in addition to the other posts mentioned here. Shameless plug, I also write about this https://boyter.org/posts/how-i-built-my-own-index-for-search... where I go into some of the issues when building a custom index for searchcode.com

Oddly enough I think you can go a long way brute forcing the search if you don't do anything obviously wrong. For situations where you are only allowed to search a small portion of the content, say just your own (which looks applicable in this situation) that's what I would do. Adding an index is really only useful when you start searching at scale or you are getting semantic search out of it. For keywords which is what the article appears to be talking about, that's what I would be inclined to do.
It was slightly warmer than 2K (which itself was noticeably warmer than 98).

However, the nice thing about the Windows Classic theme is that you could change all of the colors arbitrarily, including the bezels.
I revisited Aider a couple of days ago, after going in circles with AutoGPT - which seemed to either forget or go lazy after a few prompts - to the point it refused to do something that it did a few prompts before. Then Aider delivered from the first prompt.

PS. I've gathered a list of LLM agents (for coding and general purpose) https://docs.google.com/spreadsheets/d/1M3cQmuwhpJ4X0jOw5XWT...
Is there a better way to compare performance across these high-end chips? The only comparable numbers I was able to find were the TFLOPS.

Meta seems to be reported these numbers for this v2 chip:

708 TFLOPS/s (INT8) (sparsity)
354 TFLOPS/s (INT8)

And I see Nvidia reporting these numbers for its latest Blackwell chips https://www.anandtech.com/show/21310/nvidia-blackwell-archit...

4500 T(FL)OPS INT8/FP8 Tensor

Am I understanding correctly that Nvidia's upcoming Blackwell chips are 5-10x faster than this one Meta just announced?
Pretty fascinating they mention applications for ad serving but not Metaverse.

I feel like Zuck figured out he’s just running an ads network, the world is a long way anway from some VR fever dream, and to focus on milking each DAU for as many clicks as possible.
Let's say it's not just booting from it, but constantly reading.

Let's say no one implemented the checksum. Edit: I forgot that floppies have a crc check, my bad.

Let's say the machine that can write the new disk is physically far away from the machines that read them. (Or the guy with a stack of new disks -- which are harder to find every year -- his office is some distance from the control machine).
What does it remind you of ?
Ef Themes for GNU Emacs (Protesilaos Stavrou)
Pretty neat article!

(Don't have much to say, just didn't want "typo" to be my only feedback)
> on Kobo you need to quasi dual-boot your system into koreader or stock firmware via a menu.

Is this info up to date? It was not the case with our 2E - an option to start koreader just got added to the menu.
What does 'on the fly' entail here?
Ramsophone
Ask HN: Open-Source Chat Platform Matrix, Rocketchat, Mattermost, ...
I am looking for an Open Source Chat Platform for around 1k non-tech users. I thought it is easier on the market...

Matrix: For non-tech end users still quite complicated when dealing with keys, encryption, etc

Rocketchat: Moved a lot of features to the enterprise version and the community edition is not really sufficient for such a use case

Mattermost: Moved some features to enterprise as well and the clients (especially Android) still encounter performance problems (e.g. startuptime of several seconds)

Do you know any good alternatives?
Push notification from what? Another app? How'd you get that app?

Imagine needing two apps to login to one app
how does the model know how to do a johnny cash style? did you feed it johnny cash tracks? if so, what were the licensing terms? are you interested in answering these questions about training data or would this be too dodgy to chat about on a tech website?
Call it my opinion but 60g is way too low and adult males should have at least 90g protein. I'm not an athlete but I lift somewhat regularly and I'm trying to hit at least 120g.
>Let me guess, you also think public servants are lazy, overpaid and unskilled? Comments like this belie how many people form opinions of public agencies without having any real experience with government.

I've worked in the public sector for several years, and there are definitely a decently-sized group of people in many different positions that are riding out their time until retirement trying to fly under the radar and do as little as possible. Not to say there aren't people that aren't competent, but as a competent person you have to work around the people that don't care and often actively don't want to see more work come their way to get anything done. It becomes tiring and eventually the private sector is too enticing and the competent people leave.
> I feel both Musk and Jackson could have greatly benefited from a few more people telling them "you idiot, that's fucking mental".

I agree with you but imagine if Elon had listened when people said the same thing about starting an electric car company, a reusable rocket company or a brain-interface company.

Or if Michael Jackson had listened to all the people that told him the sounds on his album were too crazy and fused too many genres together.

Ultimately it's a fine line between genius and crazy. You have to acknowledge that often where genius resides, so does crazy.

I mean look at Steve Jobs, clearly incredible talent - but also harbored some unconventional beliefs about medicine which many say ultimately led to his premature death.

Even Achilles had his heel.
The title is completely different from the original, which is not about Netflix/OpenAI at all: "I tried Duolingo Music and you should probably stick to learning Spanish".

It is a review of Duolingo Music.
> The problem is not with Funkwhale. The problem is with archaic IP laws

Yeah, as I mentioned a couple posts up: "I recognize that for copyright reasons at the very least, projects like funkwhale can't possibly provide this functionality." But at the end of the day it doesn't matter what the source of the problem is or whether or not it can be reasonably fixed. The problem exists, and it makes FunkWhale a non-starter for people like me, as unfair as that is.

> If you don't mind straight out piracy

I don't at all. Pretty much the entirety of those hundreds of gigs of flacs I mentioned earlier are pirated.

> there is a ton of solutions that could give you a virtually infinite music collection and just get the algorithms to select the songs for you

The thing about getting the algorithms to select the songs for me is that if I'm doing that, the service has already bundled a very convenient way to actually play those songs as well, so I don't have any reason to maintain my own library. I'm paying for the service primarily for its algorithm, and the service just happens to also cover the trivial case of actually listening to the music it recommends, so I don't really need another service to handle that part. Even if I did have a reason for wanting to separate out the discovery from the playback, I don't think it would be possible to do without significant friction, and I've found that any suggestion to the contrary usually just ignores or minimizes any use cases that the suggester doesn't personally value.
They have over the ear versions, take a peak at those! I actually don't mind little ear bud things as long as I'm not exercising.
The diverted company funds and property to their own sole benefit, in secret.
What are they still running OS/2?

(they probably are…)
Debugging the Doctor Brain
Is there a music-generating AI that takes audio as input? I’m looking to upload simple guitar melodies or chord progressions I’ve doodled and receive an enhanced version back. Similar to how image generators turn doodles/sketches into polished drawings.
The Rise and Fall of the Village Voice
> If the future of music was truly just typing some text into a box and taking or leaving what the machine gives you that would be kinda depressing.

Hm... From my vantage point, it seems like a pretty weird choice of businesses if you think that.

> IMO AI alone will never be able to touch hearts like real people do, but people using AI will be able to like never before.

That's all very heartwarming but musicianship is also a profession, not just a human expression of creativity. Even if you're not charging yet, you're a business and plan on profiting from this, right? It seems to me that:

1) Generally, if people want music currently, they pay for musician-created music, even if its wildly undervalued in venues like streaming services.

2) You took music, most of which people already paid musicians to create and they aren't getting paid any more because of this, and you used it to make an automated service that people will be able to pay for music instead of paying musicians.

3) Your service certainly doesn't hurt, and might even enhance people's ability to write and perform music without considering the economics of doing so. For example, hobbyists.

4) So you're not trying to replace musicians making music with people typing in prompts-- you're trying to replace musicians being paid to make music with you being paid to make music. Right? Your business isn't replacing musicianship as a human art form, but for it to succeed, it will have to replace it, in some amount, as a profession, right? Unless you are planning on creating an entirely new market for music, fundamentally, I'm not sure how it couldn't.

Am I wrong on the facts, here? If so, well hey, this is capitalism and that's just how it works around here. If I'm mistaken, I'd like to hear how. Regardless, this is very consequential to a lot of people, and they deserve the people driving these changes to be upfront about it-- not gloss over it.
In the USA, anyone can be an engineer. All they require is the will to call themselves an engineer. (Except for a few specific types). Eg, customer service engineers are now a thing
Bash/Perl/C being precursors don't disqualify Python/Ansible, though. Otherwise my retort would be this: assembly.

While I empathize, your experience isn't [widely] representative. A reproducible Python environment is just as attainable as any other - anyone struggling with it has accepted it, in my opinion.

Most of my peers/community uses the distribution packages. They don't even need to care about venv/pip at all.
Measuring the Persuasiveness of Language Models
Thanks so much, that’s really kind.
Also power users may be using ad block or opting out of tracking and therefore being left out of the success metrics.

Everything will be optimized towards the clueless.
The nonbinary people are behind it
Inflationary Expectations: We shouldnt plan on low rates returning any time soon
Whether the computer in your basement had a hard drive or not has no bearing on whether or not SelTrac was cutting edge at the time (it was). That there were even computers with microprocessors put SelTrac decades ahead of what was in use elsewhere at the time.
https://blame.email/ is a website that does this. I wrote a Lua checker for rspamd that bypasses the spam filter if the address is "signed". I also have a bookmarklet that generates a signed address and inserts it into the current text field.
Twitter was notorious for crashing. The fail whale was a internet meme... Then they fixed it and for about 7 years I basically never saw a problem with twitter, even in the worst internet conditions.

Today the bugs are back. Things are constantly a problem. This isn't a "well all software has bugs" -- yeah true, but somehow for 7 years twitter was bug-free. Or rather the bugs were quickly caught and fixed. And now... nothing.

Musk got rid of all guardrails, and now we face the consequences.
Your bank account is an asset for you, so debits increase the balance while credits decrease it. This is also called a "debit normal" account.

Liability accounts are tracked in reverse and are "credit normal". You increase the value (how much you owe) with a credit to the account and decrease the value (payments you receive) with a debit.
Maybe this is one of those things that's harder to understand if you have an accounting background. As someone without an accounting background, I found it incredibly intuitive: if money moves out of an account, that's a posting with a negative number; if money moves into an account, that's a posting with a positive number; a transaction is a set of postings that together sum to zero, indicating that no money has been created or destroyed out of thin air.

There's no need to learn any confusing "credit" or "debit" jargon, you just need to think about the movement of money (which you had to do already).
Considering how much money are poured into AI development would not say that "everything is about minimizing expense". But it is true that user interfaces are not something that will sell your application to the masses.

But to be honest, trying to sell any kind of "advanced software tools" (like compilers or other very specialized tools that provide small gains compared to existing free ones) for "power users" is extremely hard. Was involved in something similar in ~2010 and many power user think they don't need it or they can do it better themselves but anyhow does not want to pay for a complex tool.

Probably the web interfaces is exactly a manifestation of that, many users trying to implement things themselves because they know better. But I prefer writing interfaces with React than with Win32 so I think there is progress.
“Tsu” is the Hepburn romanization, “tu” is Kunrei-shiki (and the older Nihon-shiki). The latter is nominally the official standard Japanese romanization, though there is currently a proposal to change this to Hepburn, which in practice is much more commonly used. This is strictly about transliteration, not about pronunciation. The pronunciation has always been “tsu”.

You are right about the transliteration of English words into kana.
Chronic traumatic encephalopathy
The devil doesn't need an advocate. You think he's running low on lawyers?

But I agree with you about buying from Amazon. I haven't bought an ebook from them in at least many years, perhaps not ever that I remember. I've never owned a Kindle and I'm not sure I could even load one of their books on my Kobo (or the Nook I owned way back when). I buy most of my books from Kobo's store, but also check out a lot from my library via Libby. I recently bought a bundle of Cory Doctorow's books from Tor (through Humble Bundle), and I downloaded plenty from Standard Ebooks.

If there's a book I'd like to read that's only available from Amazon, I haven't stumbled across it yet.
My two cents: Duolingo kind of has a quasi-monopoly on language learning. Adding LLM (which they are doing) may improve their quality, but it probably won't get them more users. I would even guess that it won't even get existing users to pay more.

Adding music and maths may bring them new users, though, and therefore more revenue.

Netflix/OpenAI can obviously hope to get some revenue by going into language learning, so it makes sense for them to try and compete with Duolingo.
You can use a lot of words, but it doesn't change the underlying fact that you're too lazy to make your dietary principles really work. Burning 3000 calories a day while working in software is absolutely possible. I did it today.
In a nutshell, double-entry bookkeeping is tracking all your money in two ways:

- where has it come from/has it forever gone?
- where is it now?

So, you start a simple ledger of having $100 in cash with a transaction like this:

Dr "cash" Cr "original funds" $100

Then you spend some of it on food and loan some to Bob:

Dr "food expenses" Cr "cash" $25
Dr "loan to Bob" Cr "cash" $20

Bob pays you back $22:

Dr "cash" Cr "loan to Bob" $20
Dr "cash" Cr "interest income" $2

You can't write 'Cr "Bob" $22', because... I don't want to get into the principles of accounting, but basically all asset accounts only go one way. You can't have minus two dollars in your pocket, and Bob can't owe you minus two dollars either.

Some of the accounts, like "original funds", aren't very useful by themselves, but they are the only way to make sure "money I literally have in my account/pocket", "money I owe people" and "money that people owe me" can all be counted together: if you tally up both kinds of the accounts, the total sum should be the same, just with the opposite "sign".
Oh please.

Do I need to go back and explain how the computer chip is made and what transistors are, too?

Or maybe we start at the part where you have to find a store to purchase a phone, and walk through that process?
Credit-Card Delinquency Rates Were Worst on Record in Fed Study
Yeah, Canada seems easy to me. United States of America, I could relate to due to so many different ways of writing it.
I do wonder how many exploits are hidden in modern day silicon, i mean we find exploits almost daily in code of a few thousand lines of code, meanwhile we've got microchips that are basically the equivalent of billions of lines of code in hardcoded silicon
Ouch. I'm a couple years into my Libra. I'd be seriously bummed and annoyed if it died that quickly.
He has no freedom in Russia either. In ironic twist of fate, his is now a mouthpiece for one of the most oppressive governments on the planet.

There's plenty of whistleblowers who haven't made such deal with the devil and haven't sold their soul.
I’m a liberal democrat, but it’s clear that one party politics is not tenable. There has to be an option to the status quo that you can vote for to incentivize competency in government. But with the state of national politics it would be almost impossible for a republican to win in most of urban America. So that leaves just primary challengers from within the Democratic Party which is very difficult. So urban political machines have become absolutely rotten with complacency and now the richest zip codes on the planet have trains running on floppy disks.

One option is ranked choice voting.
You don't need to authenticate with anything and it's even easier to do since a firmware update - just add a line to the config file:

https://old.reddit.com/r/kobo/comments/mt2f30/how_to_bypass_...

Connecting it to wifi afterwards isn't a problem, to tbe best of my knowledge.

Firmware downloads: https://pgaskin.net/KoboStuff/kobofirmware.html
Log in to your vpn, then log in to a website to download a token. Then use said token to log on to a virtual desktop. From here you can open a browser and log in to powerBI, which has access to data in the data warehouse.

Yes, such workflows are something to be routed around.
The economy is terrible for most people and this AI driven loosening of financial conditions is only benefitting a small number of wealthy people at the expense of prolonging the pain for most. The longer the stock mania keeps the Fed from lowering interest rates the worse things will get for most Americans.
Google acting like they just invented Group Policy, which turns 25 this year.

I don't want Google as my anti-malware vendor thank you. The reason half these security problems exist is because Chrome is so bloated.

IE seems simple and efficient by comparison.
There’s also the fact that a major component of music fandom is about the community and sense of personal identity that derives from an artist or a particular scene.

Saying that you’re a big fan of a band doesn’t just mean “I like the audio they produce” but often means something much bigger about your fashion/style and personal values.

How would any of that work with AI music? Is it possible to develop a community around music if everything is made on demand and nobody experiences the same songs? Will people find other like-minded music fans by recommending their favorite prompt engineers to each other?
AdHawk MindLink Eye Tracking Example – Rock Climbing [video]
Exactly, upload or even multiple songs for influence, some lyrics ... tada! Holy shit thats gonna be powerful
Presumably buying 3 boxes of sudafed isn't something you do frequently.
Testing is necessary even for social media, not doing so is a big security threat for its users. Even apparently dumb bugs like this one can be exploited to steal important information.
Social media may not seem as important or vital as banking or healthcare, but most of our modern society depends on it. Socials are the best tools for social engineering after all.
Was it some sort of slow scrolling without arrow keys as well? I vaguely remember a horrible process of finding my country, but I'm not sure if it was Windows Setup.
Ideally yes, but sometimes you need custom controls that are similar to existing ones. Example: Notepad++ is famously a vanilla win32 app, but uses the Scintilla code edit control rather than subclassing the native win32 edit control. Code edit controls might implement features, like multi-cursor editing, which are foundationally incompatible with the assumptions the native control made. These subtle design differences can impact core assumptions, like the implementation of undo/redo, so subclassing isn't always an option.
But social media is part of our life as a whole, we are a social species. If our mental health had a net decrease as a whole on the whole society, yes, we could throw stones as social media as the author wants.

But for that we'd need to first include assesment of absolutely everything touching social media and look at the net result. Doee it improve family communication? Does it help or hurt social discourse ? Does it help or hurt minorities ? What's the impact on social mobility ?

IMHO social media is just a catalyst of our social trends and while the lows are really low, the highs can also be incredibly high.

I'd be more sympathetic to an argument about raising the floor to cut te more toxic behaviors than just try to isolate it in an "adult only" corner and pretending the situation got better.
SiA is quite secure, but on my end, it could be quite insecure. It's basically an SSO-type thing.

The workflow is a bit different from the standard login ID/password entry. You use a "Sign In With Apple" button that the OS provides, and that has its own on-device (and cloud) credential generation.

I was not optimizing for the button. There's no need for a user ID, if you are using SiA, so I should not have presented that field to users. Also, some credentials are only available at generation time, and have to be maintained by the app (securely, in the keychain).

That behavior can get reflected in the UI, and may be confusing to folks.

SiA is the only SSO solution we use. I won't use anyone else's code for that stuff, and we keep all user data inside the app. We also don't collect very much.
I think the up/down keys make more sense here, since they can't be mistaken for search characters.
My dad has three "pointy" (meaning the corners got cut off) fingers on his right hand, and at least on his left, courtesy of tablesaws. At the very least this technology should be mandated for the large non-portable saws like you find in most commercial wood shops. I'm glad to see action being taken on this finally.
What effort, their just running ffmpeg under the table.