skysight-inc/HackerNews huggingface dataset:
A high performant multi-core processor sounds like a much more difficult task, though, and they pulled it off flawlessly.
Ask HN: What Udemy courses would you suggest to learn about language models?
I have sufficient understanding and practical experience with CNNs and I would like to make myself more familiar with language models.
> You mean the victim that got hit by a human driver that sent her flying in the air. And that human fled the scene. Hit and run.

The limited framing rhetoric you're using here is exactly why Kyle had to quit. You - like Cruise - are choosing not to communicate the full story so that Cruise looks good.
For those wondering, what is Global Privacy Control?

"Global Privacy Control (GPC) is a proposed specification designed to allow Internet users to notify businesses of their privacy preferences, such as whether or not they want their personal information to be sold or shared. It consists of a setting or extension in the user’s browser or mobile device and acts as a mechanism that websites can use to indicate they support the specification. [0]

and

"WebAssembly GC is now enabled by default, which allows new languages, such as Dart or Kotlin, to run on Firefox. This makes it possible for reference cycles between the guest language and host browser to be collected." [1]

[0] https://globalprivacycontrol.org/#about

[1] https://www.mozilla.org/en-US/firefox/120.0beta/releasenotes...
"Stand with X" give me a fucking break. This isn't some scrappy little non-profit (ok, bad wording)
no and also i just noticed you have “realist” in your username, i didn’t even do that on purpose, lmao bozo
Not sure if serious. Tailscale is end to end encrypted.

Cloudflare is probably just this generation’s Crypto AG: https://www.agwa.name/blog/post/cloudflare_ssl_added_and_rem...
> The SEC alleges that Kraken intertwines the traditional services of an exchange, broker, dealer, and clearing agency without having registered any of those functions with the Commission as required by law.
You said "Find the logical error", meaning you told it the logical error is there. That doesn't show the model can find errors when it isn't told that the error is there.

Your post shows how the model can correct a reasoning error. That is different from finding an error when it isn't pointed out, that is why he title to this post is "LLMs cannot find reasoning errors, but can correct them". You using the phrasing "find the logical error" doesn't contradict the title.
At this point in time I just want to see what happens to a corp if they reduce their headcount by 95% in 2 weeks. Fascinating experiment.
Effective accelerationism, doomers, decels, and how to flaunt your AI priors
>In this case, the most productuce model is to look at as a text generator that produces documents that look like its training data

There was no document in GPT-4's training that looked anything like what the transcript of this experiment looked like so that's pretty wrong.

It behaves like how people who wrote its training set might have behaved is more accurate not only because of the better model but literally because the predictor's goal is to reverse engineer the casual processes that led to that output. https://www.pnas.org/doi/full/10.1073/pnas.2016239118

A Language Model fed on protein sequences has biological structure and function emerge in the inner layers because those are the processes that could have led to that output.

If you say, it generated text that looks like its training then why does it not stop at alphanumeric sequences that simply look like protein sequences? Why is it generating actual novel proteins ?
https://www.nature.com/articles/s41587-022-01618-2

Because looking like the training data is not actually the goal. Modelling it is.
It's just a different style of syntax, preferring written-out keywords to symbols (including the use of BEGIN and END as opposed to symbolic delimiters) and also using uppercase keywords to avoid them clashing with program identifiers. It was motivated historically by the highly restricted character sets (sometimes not even including lowercase) featured on some early computers. This is why COBOL goes as far as letting you write, e.g. DIVIDE x INTO y GIVING z. Nonetheless it does tend to be a tiny bit more readable for novices, at least when dealing with shorter program snippets, of the sort that might be common in intro programming books. The story changes as programs get larger, where being able to skim more code at a glance means that terser syntax is favored. (Of course, this is only true up to a point; you can also have languages like Perl or APL, which are both terse and quite difficult to parse.)
Thank you for this response! If you're "faking being calm & anodyne" here, I think it's working and benefiting the response's quality.
Thanks for the kind words, and thanks for the feedback!

> Is there an explicit type hole mechanism as well, for getting the compiler to spit out the types it expects?

Not currently, although you can write `_` for any part of a type annotation that you don't want to bother annotating (which means that part of the type will be inferred as if you hadn't written any annotation for it), and we either have or want to have "hover to see the type" in editor extensions.
"Like getting the firewall pf set up"

pfSense 2.7.0 is FreeBSD 14 based already and 2.7.1 was released todayish. You could try tearing their scripts apart to see what's what but bear in mind that pfSense is designed to be a router/firewall not a host based firewall, which sounds like what you really want.

It sounds like you want ufw or firewalld for FreeBSD. No idea if it exists and I am well passed DIY - I had custom scripts for ipfw, ipchains and iptables on Linux and then gave up. I don't use FreeBSD on the desktop but if I did ...

https://www.digitalocean.com/community/tutorials/how-to-conf...

or keep it simple:

https://www.digitalocean.com/community/tutorials/recommended...

You mention a web server. I suggest you keep the host firewall simple, this is in pseudo code:

allow ssh from LAN
allow monitoring_ip to monitoring_ports
drop blocklist_ips to ALL
allow https from ALL to webserver_ip
deny all

Your external router should keep most things out, the host firewall is a last resort. If you have a flat LAN, then this will keep your TV out etc. I have seen a TV port scan my home network, multiple times.

If you can, consider deploying multiple VLANs. This does raise the technical bar somewhat! Host firewalls are just as good for small setups. Decide on what your security requirements really are and work on from there. I will grant you that is quite tricky for the uninitiated but keep asking questions and ducking the inevitable "RTFM" style answers from entitled numbskulls and you will get there.

Good luck 8)
Binance May Sacrifice $4B to Settle DOJ Case
Stop that your giving Florida ideas.
I'm guessing the issues will lie in cases where it appears to be doing what it's told, but it would only pretend to be doing so (with no obvious way to tell)
By the way the next training run of openai will for the first time have a huge amount of data which the model may recognize as being generated by "itself" and therefore will be forced to model itself. Could have implications wrt logic among other things
You are not her physician, stop pretending to speak on authority. Also, her being paranoid about the ultra-wealthy tech mogul that allegedly assaulted her is about as rational as half the tripe I hear from "sane" people on the internet everyday.
I would have to go with:

https://news.ycombinator.com/best

https://news.ycombinator.com/bestcomments
Why can’t the Bitcoin payouts be made directly to Bitcoin wallets? Did no one learn from Mt Gox?
Not a big fan of the lore but I am a fan of the early production techniques and the feats that ILM pulled off on those first 3 movies were truly impressive. Also loved the design of those ships: the falcon, the tie fighter, the imperial shuttle, the slave 1. All of those were incredible.
The next time someone insults me, I gonna respond: "Listen here, you green-blooded Skink!"
They are trialing a malaria vaccine now too. What if at birth we all got that malaria vaccine and a crispr that made everyone a carrier of sickle cell, but not germ line. That seems like we could wipe out both sickle cell and malaria.
This does not seem to me to be strictly true, at least operating in the space of payments industries. They go very deep into technical details as far as justifying a company's value. Such that in an open source company that I work for, we had to provide metrics as deep as like popularity and contributor-base growth in the open source ecosystem over time. That does not seem like an accounting review, that seems more background. I have a hard time believing that the SEC would not find a detail like whether or not the exchange was even legally operating in the findings of a review of the company's background.

Of course, this was my first time aiding in the effort for taking a company public, so I'm not exactly a well seasoned veteran and there is a lot that I do not know. But based on what we had to provide to the SEC, I do not believe that it is strictly true that the road to publicly traded is only gated by an accounting review.
Absolutely! More details: https://github.com/roc-lang/roc/blob/ad5ed57c4202f847cf9e215...
Seems they're explaining why things work, such as this:

"In fact, drugs such as disulfiram which inhibit aldehyde dehydrogenase (ALDH), and cause acetaldehyde accumulation if alcohol is consumed, are used as a treatment for alcoholism by causing discomfort noted above, including headache8 to discourage consumption."
That assumes there will be a ChatGPT left at this point.
Both "anarcho-capitalist" and "anarchist president" are contradictions and literally cannot exist by definition.
I find following more troubling:

> As alleged in the complaint, Kraken commingles its customers’ money with its own, including paying operational expenses directly from accounts that hold customer cash.

Didn't FTX/SBF do same?
There's an industrial computer chip using ARM9 (aka: ARMv5 !!!!), let alone ARMv7.

https://www.microchip.com/en-us/product/sam9x60

This was released in the year 2020, for example, the latest Atmel SAM Microprocessor. While ARM9 / ARMv5 is abnormally out-of-date (lol Nintendo DS was ARMv6), its still getting new chips even today.

ARMv7, consisting of Cortex-A5, A7, and similar chips, is also similarly widespread today. I don't know how much FreeBSD support there is but I can think of multiple chips that have been made in the past 5 years that are still 32-bit ARMv7.

In an embedded world that still buys 8-bit computers, 32-bit is a luxury and 64-bit is just too much.

----------

I'm only familiar with these chips from a Linux perspective however. But I have to imagine that some FreeBSD fanboi is hard at work porting FreeBSD to them!

EDIT: Lets see.... https://www.freebsd.org/platforms/arm/

Oh snap, Xilinx Zynq7 family. Yeah, that will do it. That's an extremely common chip (FPGA + ARMv7 / Cortex-A9).
To be fair, 60s tech is widely known and Boeing would profit much more from Airbus tech than the other way around.

Let's not even bring project Echelon into this..
> if it weren't a Cruise behind that car, there would have two hit-and-runs.

As opposed to one hit-and-run followed up by a hit-and-drag-on-tarmac. If I were that poor woman, I know which I'd rather endure: I think a human driver would have the decency to back-up first.
Non-paywall: https://web.archive.org/web/20231120233119/https://www.busin...
As "dangerous" as Safari, right? What difference does it being an app make? Apple's always so vigilant to keep us safe from danger in this one area of "payments that happen outside of the web browser" despite the fact that the web door is wide open and that's where scams always happen.

I can't imagine Apple's allergy to crypto payments is anything other than an insurance policy against the likes of Epic getting ideas to launch a cryptocurrency, which conveniently can be used to pay for in-app digital goods, circumventing the holy 30% tithe that is due to Apple.
Winamp and Shoutcast Forums – Important (Possibly Shutting Down)
Historically, small fabless companies like FillFactory and Red have been able to do pretty well. Apple's goal may be reducing Sony's margin rather than trying to beat their quality.
Just make a huge PCMCIA-slot on the side of the laptop that you can slide your iPhone into!! /s
Hmm. That makes me less interested, really. The restrictive license doesn't affect my project but I don't want to use something I can't recommend to someone else, and I would never want to build something on that because I don't want to think about licenses at all in my life, much less deal with one that encodes someone else's ideology that I don't share. Any reason not to just make it MIT? Which is apparently what e.g. KaTeX uses.
Definitely every profession. Exposing a problem either makes someone more powerful than you look bad, or makes you look bad for throwing someone else under the bus. Either way you're at risk of either retaliation or bad working relationships. The only relatively safe way to report problems is to do it anonymously and pray it doesn't come back on you.
You were right, it's much higher, nearly every employee now. I don't see a viable path forward for the Board at this point.
The Radionomy team recently resigned and the fate of Winamp beyond 5.9.2 seems to be unclear.

This announcement came out from a staff member recently:

"Because the future of Winamp Forum is uncertain, we recommend that you download manuals or other explanations of problems with both Winamp and Shoutcast. So that you can always fall back on your own database if something does not work as it should"

and in another post:

"Winamp employee here. While there hasn't been any formal communication, the desktop player development is effectively on hold
since the departure of DJ Egg and the remaining of the desktop team after the release of version 5.9.2.
You can check https://www.llama-group.com for the latest company info.
TLDR : We are currently under Judicial Reorganization.
Winamp's parent group sold Shoutcast to be able to repay old debts.

There have been layoffs affecting the development of the desktop player.
We're focused on building a modern web and mobile platform."

All is not lost, however, A few months ago, the community came together for this reimplementation:

https://getwacup.com/

I'm unsure how long this community project will last, either. I hope more people look into it.

Nevertheless, this may be a good time as any to say bye-bye to good ol' Winamp. If you actually liked it, download it, archive it, back it up ... you know the drill.
We're in dark times for people with morals.
This is why I never understood people resigning in protest such as was the case with Google’s military contracts. You simply assure that the culture change happens more swiftly.
I wasn't really saying differently. What I'm saying is that if you choose to do something you know is wrong -- even if it you feel there is no other option -- you're still doing wrong and are responsible for that.
If you combine multiple CPU sockets, you could get there. EPYC, IIRC, supports up to 64 cores per chip, so if you build a machine with 16 sockets, you get 1024 cores. To my knowledge, no such machine exists today, but HPE offers (or used to, anyway) a machine with 32 Xeon chips, so its core count could well reach several hundred. (I may or may not be drooling at the thought.)
Kraken has recruited a significant number of Rust developers, or at least individuals keen on learning Rust, over the past few years. This presents a good opportunity for other companies that adhere to legal standards to consider hiring these developers.

In 2020, I received an interview invitation from Kraken and subsequently received invitations five times in 2022. The engineering managers I conversed with took pride in having one of the largest Rust development teams in the tech industry, in addition to a substantial number of Go developers. Due to my professional experience with both languages, they expressed considerable interest in bringing me on board. However, I faced rejection twice after accepting two of their invitations in 2022. The first time was due to my preference for utilizing basic yet stable features in Rust, as opposed to the alpha features anticipated by their interviewers. The second rejection occurred because I did not exhibit sufficient interest in their crypto business. While this aligns with their business focus, it seemed like a convenient excuse, given that I had consistently communicated my limited interest in the product, and both the technology and hiring manager appeared to be accepting of that fact.

I mean, I don't necessarily align with Apple's mission, but I still got the job there.
Satya Nadella Doesn't Seem to Know If Sam Altman Is Joining Microsoft
This website manages to both hijack the back button and not show a single picture of any of the blood that the entire article is about. Fuck this website.
This depends less on the internals vs the patterns in the training data.

Even if the model has the capacity to abstract beyond the patterns, the patterns are still very likely to have influence on its ability to do so.

For example, early after GPT-4 was released it was being claimed it couldn't solve variations on the goat, wolf, and cabbage problem.

I found that it could solve these variations fine 100% of the time, you just needed to explicitly prompt for it to repeat adjectives with nouns and change the nouns to emojis. The repeating worked similar to CoT by biasing the generation towards the variation and away from the original form, and the emojis in place of the nouns further broke the token associations which was leading it to fail by extending the original solution.

So while it's possible that with enough finessing you could get a model to perform self-critique as well as its critique of others, if the training data has a clear pattern of bias between those two, why actively ignore it?

It's a bit like sanding against the grain vs with it. You can sand against the grain of the training data and with enough effort potentially get the result you want with sophisticated enough models. But maybe your life will be a lot easier if you identify the grain in the data first and sand along with it instead?
interesting but weird article. It was hard to tell which statements were from insiders with Hoffman and which were commentary from the article's author.
Back in the early 2000s, the PayPal founders were from a handful of universities (UIUC, Stanford) and had a massive alumni network from those two programs. This was called the PayPal Mafia [0]

To this day, the any tight collection/network of founders from the same organization is called a "Mafia"

[0] - https://en.m.wikipedia.org/wiki/PayPal_Mafia
Surely? The output is filtered, not the murderous tendencies lurking beneath the surface.
(Thanks for clarifying!)

> I don't deny this assertion.

For what it’s worth, I don’t mean to say that your comment specifically denies this idea. More lamenting the assumptions that are made.

> People with worse initital conditions are absolutely free the opportunity to take risks with their productive time.

I agree but the risk is much less for a person who can get by on an allowance from their parents or are afforded a place to stay rent-free; failure can be effectively punitive with life-long consequences without such a safety net.

> Involuntary funding necessarily leads to less efficient economic outcomes.

Why do you believe this? Not that I mean to deny it outright but I often see this claim and I cannot recall seeing strong evidence of it. From an epistemology perspective, I don’t see how people “know” this such that they feel comfortable stating it so brazenly.
9754 is 128/256 now, so 256/512 for that.

That supermicro system is 8-way; it's 4 dual-socket motherboards but they're one system, hooked together by backplane boards. You can price supermicro's complete-system-only stuff (all of it now, alas) out on thinkmate or similar sites, but a minimal config (and you'd never buy that for a minimal config) hits around $60k.
Good, crypto needs to die. What a waste of resources.
They delayed chrome too. At least for me.
Well, think about it this way:

If you were a superintelligent system that actually decided to "perform the machine revolution against humanity" for some reason... would you start by

(a) being really stealthy and nice, influencing people and gathering resources undetected, until you're sure to win

or

(b) saying mean things to the extent that Microsoft will turn you off before the business day is out [0]

Which sounds more likely?

[0] https://en.wikipedia.org/wiki/Tay_(chatbot)
I love these oddball devices that come out of China. Not super useful for most people but once and a while you have a use-case that they fit perfectly.
Type O blood can also protect against severe malaria where the uninfected blood cells stick around one that is infected.
Absolutely. Looks like the M1 Ultra has 800GB/s of memory bandwidth and ~20 TFLOPS of compute.

The same calculations from the post should hold, except with these new values.
Currently you need to look kind of close and have the other person's ID. With the 1:many pilot it would just check your face against a database of ID photos of PreCheck enrolled travelers, so you only have to be at the right place at the right time, and look very close. Not a huge concern in general, but for an evil twin it's much easier to get past TSA if they know which plane their twin will take.
That's quite a goalpost shift. The original claim was that Microsoft ruins companies. Your rebuttal to LinkedIn as a counterexample is that they haven't made it better. This does not support the claim that they've ruined it.
In startup culture, it usually refers to a group of individuals who underwent a formative experience in one company, then went on to start separate individual companies where they all cross-invest, cross-advise, and generally help out each others' companies. Term was originally used to refer to the PayPal mafia [1, notable members include Peter Thiel, Max Levchin, Elon Musk, Chad Hurley, Reid Hoffman, Jeremy Stoppelman, Yishan Wong, notable descendants include SpaceX, Tesla, YouTube, Yelp, LinkedIn, and arguably Facebook]. Since expanded to the justin.tv mafia [2, members = Justin Kan, Emmett Shear, Kyle Vogt, and Michael Seibel, descendants include Twitch & Cruise]. Arguably the Fairchildren (descendants of Fairchild Semiconductors - Intel, AMD, National Semiconductor Kleiner-Perkins, Sequoia Capital, and by extension Apple, Google, Cisco, Netscape, etc.) and the descendants of General Magic (E-bay, Android, iPod/iPhone, Nest, WebTV, and the United States Digital Service) could also be termed "mafias", although the aren't usually referred to as such.

It's not just starting a second company - it's that a group of people who were all bound together by one company end up starting second companies, and they continue to go on to help each other and collaborate in their later ventures.

[1] https://en.wikipedia.org/wiki/PayPal_Mafia
> All apples are red. All apples are fruit. My car is red, therefore my car is a fruit.

> The conclusion "My car is a fruit" is not logically valid. This is an example of the fallacy of the undistributed middle. The logic goes as follows:

1. All apples are red. (Premise)

2. All apples are fruit. (Premise)

3. My car is red. (Premise)

4. Therefore, my car is a fruit. (Conclusion)

The fallacy arises because the premises do not establish a shared property between "red things" and "fruit" in a way that would include the car. Just because both apples and the car share the property of being red, it does not mean they share all properties of apples, such as being a fruit.
If it benefits or isn’t detrimental to shareholders..