skysight-inc/HackerNews huggingface dataset:
don’t start a sentence with um. its arrogant. and you are wrong. just go and look up what proportion of the population pays the most tax by income band. the rates are irrelevant
I see chefs use these daily at the local food court to prepare Asian dishes. Your comment doesn't track with reality
You're committing the toupee fallacy[0]. You think you'd know the fake one if you saw it, and these are real because, well look at them, they must be real.

> prompt leaks are so easy to pull off

Only if you assume the prompt you're seeing is real. How do you know?

[0] https://en.wiktionary.org/wiki/toupee_fallacy
My bet is on "object-oriented obfuscation" and bloat caused by "modern" coding styles. Looking through the Signal source you linked to, I see tons of the former. There is an absolutely insane amount of boilerplate-looking code in here, for example: https://github.com/signalapp/Signal-iOS/tree/main/Signal/src...

I don't know Swift or the iOS UI API, but a lot of that code seems to be manually creating and positioning UI elements and otherwise implementing UI functionality that I'd expect the OS to handle. It's a lot of code that should really be data (arrays, structures).

To offer a huge contrast, a long time ago I wrote an MSNP chat client in pure Win32, and it was around 2kloc. The binary was 24KB. Of course it only supported contacts, presence, and text messaging, but I still can't see features like audio/video or the crypto that Signal has needing 100x more, especially if they use OS functionality for much of them.
Can it follow instructions with time codes in order to generate music that is synchronized with another performance?
What? Have you seen police in real life? When I see them, shit is going down, which is why they were called and turned on those flashy emergency lights.
There’s a separate criteria for notability.
Protip:

Write longer posts in paragraph form that use positive language if you wish to successfully convey complex ideas.

Or don't and people will just think you're a shallow dick.
I|1l 0Oo gq S5
You can always go back and watch the old videos - I think that you're expected to anyway, unlike the pre-Nelson SBC trainings. CELA figures the policies being taught don't change that much, so they no longer repeat all the material in the same detail between seasons/fiscal years.

* Microspeak decoder: CELA is the legal department (Microsoft Corporate, External, and Legal Affairs); SBC is the abbreviated original and formal name of the Microsoft Trust Code (Standards of Business Conduct).
Here's why I think it's probably the real prompt: https://news.ycombinator.com/item?id=35925239
Dynamically created inodes (might be useful if you work with a very large number of files — ext4 might run out of them and refuse to create new files even if you have lots of free space), more stable performance under load (standard distributions of latency and throughput are typically lower), reflinks. In return you lose BSD and Windows compatibility, if you ever need those, and performance averages are somewhat lower (used to be a lot lower but XFS has caught up very close to ext4).
I'd rather talk about how Microsoft employees aren't getting raises this year, and the bonus pool is getting dropped to a target 80% bonus within the bonus band instead of 100%. On top of DTO and mass layoffs this year.
Ah, that explains it. Who would've guessed! [surprised Pikachu face]
> Sounds like it would be a great lesson in unintended consequences

If you look into the history of progressive taxation in the US this holds true. When they got rid of it (lowered taxes) the government took in more tax dollars because it was cheaper to just pay the taxes instead of paying to not give 90% (or whatever the highest bracket really was) of your income to the government.
Except an MMF is literally not an investment. It's a form of savings.

There's nothing invalid about saving. However whether you want to invest or save has very little to do with "circumstances" and everything to do with personal inclinations and needs.
Cracking down on CEOs who perform disastrously and then cut staff while paying themselves giant bonuses is no more about funding the treasury than slamming mega-billionaires with some punitive tax: taxes (at the federal level in a nation-state that denominates its sovereign debt in its current) aren’t first-order about generating revenue, they’re first-order about creating incentives.

The IRS is trying to incinerate dollars at something like the rate the Fed generates them, which is not a bad system (you’ll notice how many people invented the “gold sink” in game economies). Keeping deficit spending inside some tolerance is about sovereign debt auctions, not like, running out of green ink.

The argument for not doing this kind of shit is that no one will work hard or innovate if there isn’t permanent dynastic wealth and legal immunity as an incentive: wrong. People will work insanely hard for mere absurd luxury and favorable treatments by the courts.

You punitively tax this stuff to make “wannabe serial killer” seem like a comparatively attractive job opportunity vis-a-vis CEO of Herman Miller.
Ownership - they don't want to pay font licensing fees forever.
Don't know about best, but it's pretty great. That's what I've been using for the last one year.
It's not being pedantic. RLHF and instruction tuning are completely different things. Painting with watercolors does not make water paint.

Nearly all popular local models are instruction tuned, but are not RLHF'd. The OAI GPT series are not the only LLMs in the world.
Unreal Engine for Apple Silicon
I remember when telling a woman, who was dressed very revealing, that she was "asking to be raped" was really taboo. I guess nowadays victim blaming is okay.
Yep that too. I’ve often said twitter is a MOBA and it’s always been that way, way before October 2022. I once spent an awful morning having Jake Archibald and his 40K followers abuse me because I didn’t like the ’fetch’ spec.
I was able to get to get a software job with no degree, with a portfolio of apps I built. However that was when the market was hot, and startups that had a hard time recruiting were willing to take a shot on me. In your case, I think it makes sense to finish the degree. In the couple years it takes to finish your degree, the economy will be on the upswing again, so you need to maximize your chances of getting aboard the train.

Build apps, practice LeetCode, really use your university resources to help you get your first job (things like career fair, internships, referrals).

Also consider expanding your interests into hot in demand skills. Unfortunately, physical hardware retro gaming has way less employers than say a mobile app. The other problem with embedded is that it requires knowledge of hardware as well, which has its own barrier of entry in addition to CS.
https://nebula.org/whole-genome-sequencing-dna-test/
Controversial, sure.

So do you want to cut your customers who like pineapple pizza or your customers who don't like pineapple pizza?

Or... Maybe neither and sell to everyone?
When I want code that has a reasonable chance of working, or to bounce ideas off of someone decently intelligent, or just to talk philosophy, I’m not going to get great results out of the kind of model I can feasibly run at home. Even 30b parameters isn’t enough. That’s 75% of what I want out of an LLM.
That would truly be the most American response: consider the problems of local crime, regulatory capture, and simple error; discard them; and fire until Daffy's bill is backwards.
Many kinds of hardware have a display of some kind. Microwave ovens, home entertainment, lab equipment, printers, oscilloscope, circuit testers, etc.

Even the ones that don't have a display may have printing on them, from part numbers and serial numbers to instructions and warnings.
The desktop messenger apps are still react native. The mobile apps were always native (ObjC and C++ on iOS, C++ and Java on Android). The mentioned project was mostly to rewrite the core of messenger in C to further reduce overhead and code size compared to those other mentioned languages.
I don't know for certain. But I've been messing around with prompt injection for six months now, so I've developed pretty good intuition about this stuff.

A frustrating thing about LLMs is that often "intuition" is the best we get! And it's really hard to explain intuition to other people.
One factor is that licensing fonts can be extremely expensive. So, make one: pay a higher upfront cost, create something unique to represent your brand, and never pay another cent.
I find these Microsoft ethics training videos quite cheesy, but I appreciate that they try to keep your attention by falling into neither of the buckets you mentioned. The originally linked news story goes into that quite a bit.

As an alternative, Microsoft provides transcripts of all these training videos, which you can read instead of sitting through the videos themselves. Feels much quicker especially if you don't like them.
Terrible memory -> take notes

Speech -> rehearse

Why let things stop you.
> there are flash-dedicated filesystems that will beat ext in performance and reliability

If you mean f2fs, it really won't. Be careful with it.

https://www.usenix.org/system/files/atc19-jaffer.pdf

The paper is old at this point, but I found a fresh PhD thesis from the same author from 2023, and it seems to re-confirm these findings.
Yes, I was more talking about the older ccTLDs for more real countries.
If that bit is a literal bit, there will be an extension that just sets that bit, thereby bypassing ads when you didn't actually pay a subscription.

If that bit is some sort of encoded identifier that an extension couldn't generate, then they will know who you are.
Sacrificed lives: on Romanian women looking after elderly people in Italy
Well that's a grim tragedy of the commons. Not that I doubt you at all, but how depressing!
Hmm, why did I upvote this article?

I haven't been logged in to my twitter account for probably more than a year. And when I see an interesting tweet somewhere, my first thought is, why can't that person use a more decent platform?
https://www.youtube.com/watch?v=5UyHHsCmtoc <-- This local TV news story includes clips that give a bit of a taste of these Microsoft ethics training videos.
Basically trained by Microsoft's investment [1]. This fits with the parent commentator's thesis, which I also agree with.

There hasn't been a significant effort to enforce antitrust in the software domain since United States v. Microsoft Corp in 2001, and we are seeing the consequences.

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

[1] https://www.theverge.com/2023/3/13/23637675/microsoft-chatgp...
Thanks! Since that's both the original source and posted by the author, we'll merge these comments thither and re-up that thread, er, hither.

I think we'll nick simonw's title, though, as it's clearer and more neutral.
Both bribery and insurrection are already illegal.

Are we punishing Future Crime now?
Noam Chomsky is fascinating to read if you're a 14 year old anarcho socialist like I was. His self-contradictory and confused opinions about the future highlight the fact that he's basically an ancient malcontent who's eked out his living trying to form an unsuccessful apparatus to do exactly what he claims to despise, i.e. lay out thought patterns for a group of followers who in his case never seem to materialize any power or wealth. (The secret is, they all consider him irrelevant after they get out of high school).
<crickets>
The standard assumption seems to be that the US had two options: shock-and-awe by dropping the bombs or engaged in a protracted invasion of the home islands.

Were there other options? By the last months of the war, they had largely lost control of the naval and air spaces. Japan was an import-dependent economy to begin with, and had consumed everything that wasn't nailed down for the war effort.

Couldn't they just be blockaded? Either they end up an isolated novelty that occasionally scrapes together enough scrap iron to launch a low-grade weapon, sort of like the DPRK is seen today, or it "starves out a surrender" by allowing domestic conditions to collapse, potentially nudging a coup towards a new regime who's more willing to negotiate.

That might take 5 or 10 years to reach endgame, but it seems like a less direct, but still viable way to complete the war.
SSDs are very likely to put all those copies into a single physical block underneath. Since ZFS makes backups easy, better stick to copies=1 and do backups often.
Nobody is trying to sue 9 year old you.

But we have come to the point where we disapprove (rightly so) of those who put a 15 year old in the spot so that 9 year olds would objectify her.
Pigs elicits images of heavy exchange of bodily fluids between the intervenients
Well, it just means we trained the model to work on instructions written that way. Since the result works out, that means the model must've learned to deal with it.

There isn't much research on what's actually going on here, mainly because nobody has access to the weights of the really good models.
I don't understand how a hardware company who just reported its largest quarterly loss in history with revenue down 36% year-over-year [1] is working on fonts. Or maybe this explains that.

[1] https://www.intc.com/news-events/press-releases/detail/1615/...
That's already been discussed quite thoroughly on this website. If you're interested, you can find discussions in the following threads:

https://news.ycombinator.com/item?id=35889709

https://news.ycombinator.com/item?id=35896935

https://news.ycombinator.com/item?id=35895550

https://news.ycombinator.com/item?id=35888668
A brief summary giving context is here: https://simonwillison.net/2023/May/12/github-copilot-chat-le....

(via https://news.ycombinator.com/item?id=35924293, but we merged that thread hither)
Intel produces more software than most software companies.
Volcanoes of Indonesia [video]
Those caught my eye and I think I like them.
yes. the point of the button is to add extra time. the point of the button is to decide if you want to make a decision based on the limited context you have directly in front of you or do you want to spend some time getting more context to make a better decision. which is absolutely a thing in real moderation
Followed by whom? Every law will end up being too complicated to follow for some fraction of society. Do you think Donald Trump should wriggle out of a lawsuit because the tax or election law was too complicated for him to follow?

Law is CODE. The words are there in that order for many reasons that have been bug tested and are still being bug tested. Test the bugs! But don't claim you can't read the language.
The aftermath of a nineteenth-century vaccination mandate
Yes you can see I started my comment with the words "Messenger on Android". Hope that clears things up.
Concurrency.""There are three hard things in computer science: cache invalidation, naming things, off-by-one errors, and

Original quote:

There are only two hard things in computer science: cache invalidation and naming things. — Phil Karlton

The one that most people know:

There are two hard things in computer science: cache invalidation, naming things, and off-by-one errors. - Jeff Atwood
>taxes (at the federal level in a nation-state that denominates its sovereign debt in its current) aren’t first-order about generating revenue, they’re first-order about creating incentives.

Income taxes makes up 50% of federal tax receipts, and disincentivize productive individuals from working by taxing their income more. According to your theory, income taxes aren't there to collect revenue, they're to... incentivize people to work less?

[1] https://www.taxpolicycenter.org/briefing-book/what-are-sourc...
Do you really need font support for that, though? I've found editor support for it much cleaner -- it knows when it's best to expand then and when they should be ligatured.
> there's no excuse for your pages to load slower than a static site.

Indeed all web pages should be static pages. Anyone still doing server-side rendering in 2023 and defending it for any use case at all needs to turn in their badge.

Same goes for people promoting frameworks like react or vue for anything but sufficiently complex web apps.
I don't think it's the feature count that's in question; it's the ratio of feature count to lines of code that seems abnormal.
>In the case of ChatGPT, I’d love to know how much of the bias is in the original (pre)training data, and how much is due to OpenAI’s human trainers

I'd bet it's almost all in the human trainers, because LLaMA 65B, the closest uncensored alternative, doesn't have the same US Silicon Valley Democrat biases as ChatGPT.
Not exactly the same, but ARM v8.3+ processors have an instruction named FJCVTZS, which stands for "Floating-point Javascript Convert to Signed fixed-point, rounding toward Zero"
1. That still needs a GC, and thus heap space. Unless you make everything stackalloc which is impossible in kernel programming

2. It is heavily pinned by unnecessary metadata. Well, actually some maybe necesdary to facilitate GC but it is bloated anyway

3. RyuJIT is not as optimized as LLVM, and RyuJIT produced the AOT code. There in an abandoned project called LILAC attemping to use LLVM as a second AOT generator but it was never heard from again after 2019.

4. Native interoperability in .net requires JIT as well, to generate things like call sites and runtime thunks (function pointers to restore CLR context). Not only that wastes more resources but also that not all P/Invoke calls can be AOT compiled.
Performance is better on ZFS too, especially for bittorrent and VM images. Just remember to set recordsize appropriately (typically 1M for large file storage).
Greg Egan describes all this and more in "Permutation City"
This is the coolest thing to me:

“We accomplished this by using the native OS wherever possible, reusing the UI with dynamic templates powered by SQLite, using SQLite as a universal system, and building a server broker to operate as a universal gateway between Messenger and its server features.”
The post was specifically about mailing lists as opposed to things like forums.

I would love to find out about high-signal tech mailing groups. Even if they're niche tech or non-software or specific language or if I need to translate them. Bonus points if they're not currently perceived as bleeding edge getting all the attention.
Pretty much any kind of non-trivial digital logic. For instance emulating a typical ARM microcontroller accurately, while technically within the realm of possibility, would require a huge amount of effort; every bus and every peripheral's functionality would have to be replicated, including hard-to-gauge details like their power consumption. Even if you have access to the HDL that was used to build the chip (which you usually don't), such a simulation will never be 100% accurate.
I think of this as ~writing a story in which the agent helps us achieve our goals.

The prompters don't tell the LLM stories because they think "someone" is in there, but because they need to write the LLM into the place it can help them from before the "predict the next token" part is terribly useful.
(This was posted in https://news.ycombinator.com/item?id=35924293, which we merged hither. It makes more sense there but I don't want to leave it stranded, so moved it over.)
If you're changing the title make sure to use "GitHub Copilot Chat Leaked Prompt" (the original title on my blog) - the title of this post is missing "Chat" which is misleading.
>Compare this with CEO salaries in Scandinavia or Japan, which are significantly lower and yet their companies are highly competitive.

Are they? Those countries trail the US when it comes to labor productivity.
That’s about the only thing I find immediately appealing. I wish more mono fonts made the various brackets this strikingly different. They don’t need to look good necessarily, just distinct.
Plenty of things are useful to society even if they are too complicated for the vast majority to follow, experts are a good thing.
What about code? Or structural codes? Or details about electricity generation and distribution?
"Don't think of a pink elephant" comes to mind with this stuff as well, where telling someone not to think about something causes them to think about it.
Sorry that's obsolete, we will remove it from the Readme!

The updated paragraph:

> In addition, a commercial license grants you a dedicated engineer to transition
your current infrastructure to Windmill, support with tight SLA, and our global
cache sync for high-performance/no dependency cache miss of cluster from 10+
nodes to 200+ nodes.
Nope, Google’s quad eights is “recursive DNS server”.

Resolver is usually a part of operating system (sometimes) implementing DNS client functionality and serving as a link between a userland library providing, say, getaddrinfo(), and DNS implementation.

This one is even less than a resolver, it does not implement a library link. It’s a toy DNS client, implementing minimal functionality.
Even worse is that utcnow() returns timezone unaware dates, when it could have easily returned dates with timezone set to utc. Leading to accidentally mix of local and utc times.
Let’s not forget the Soviet’s. We didn’t want them to invade Japan first, we needed to end the war before they could have an excuse to do so as our ally (which was already coming undone by the end of WW2).
Great work! This was a very interesting read. A lot of clever approaches here to make a generic JIT. How would one try out deegen?
>No single human needs a billion dollars

And no human being needs however much you're earning, as people in third world countries survive on far less. Life's about more than "need", and if you give the government enough power to prevent people having more than they need, you inevitably create a horrible dystopia, probably accompanied by genocide, like happened in Russia, Chinaa and Cambodia when they let the government make the final decision on how much wealth people are allowed to have. Because when the people in the government have that power, they'll inevitably decide that they're the only ones who should have wealth.
Man it really doesn't need to be said that RLHF is not the only way to instruct tune. The point of my comment was to say that was how GPT3.5 was instruct tuned, via RLHF through a question answer dataset.

At least we have this needless nerd snipe so others won't be potentially misled by my careless quip.
With their lake naming convention, they totally missed calling the typeface "Mono Lake" or maybe more appropriately Lake Mono, if there were other fonts to the typeface.
This is going to be really interesting when(not if) someone gets Apple or Google's phone tracking history of all their device holders.
Defund police!!
Horizon: Call of the Mountain is a recent example of a UX interaction that I really like with eye tracking + a peripheral. It uses a button press, so it's an intentional action, but the eye gaze determines which action to take.
Companies compromise of multiple people. Different people can work on different projects. The design team may wish to improve the company image by releasing a font named after them that people may like, improving their public relations.
Don’t forget the training on not doing insider trading!
High x heights were considered more legible for low-resolution displays (though I'm not sure if the evidence was there or if it was just something that sounded sensible) but have not been considered good with high resolution ever I think.

Think something like Verdana (invented for low-res computer displays) vs Garamond (staple for a long time and not just because it looks pretty.)
Yeah, nice touch. It shows they care.

To the parent, not snark, but the font is open source. You can add those ligatures!