skysight-inc/HackerNews huggingface dataset:
> The practice of solving problems that you describe is to ingrain/memorize those steps so you don't forget how to apply the procedure correctly

Perhaps that is how you learned math, but it is nothing like how I learned math. Memorizing steps does not help, I sucked at it. What works for me us understanding the steps and why we used them. Once I understood the process and why it worked, I was able to reason my way through it.

> The practice of solving problems that you describe is to ingrain/memorize those steps so you don't forget how to apply the procedure correctly.

Did you look at the types of problems presented by the ARC-AGO test? I don't see how memorization plays any role.

> They have now been able to achieve near perfect accuracy on comparison tasks, where GPT-4 is barely in the double digit success rate.

Then lets see how they do on the ARC test? While it is possible that generalized circuits can develop in Ls with enough training but I am pretty skeptical till we see results.
> available featureset

What features are missing from SQLite compared to "more entrenched databases"?

Also, as I understand, it is the mostly widely deployed database in the world. They have a whole page about it.
Respecting human rights and self-autonomy is not the same thing as removing rights from people to benefit the companies/government and I wish people would stop arguing in bad faith that they're remotely similar.
The current GPUs aren't really that generally applicable though, as they are most useful when you need to do a bunch of number crunching on a lot of data of the same structure—which is why we still run compilers on CPUs.

If you are offended by the term GPGPU, maybe we could use the name Compute Processing Unit :-).
You are completely detached from the real world. Even in super rich countries like the US there are a lot of people without savings, living paycheck to paycheck. Most/all software engineers outside the US can only dream of ever earning that much money. And yet here you are, worrying that you'll end up only slightly richer than people earning ~$1M per year.
India Today features GenAI-powered TV anchor
Then use those five years to enjoy the fanciest office equipment VC money can buy. Don't cry because it's over; smile because it happened.
Sorry, I'm depressed about SaaS, IoT, secure computing and remote attestation. And everything being rented instead of owned - from the edge devices in question to apartments they're installed in. Good luck with parents letting kids hack on stuff when it violates multiple lease agreements.
If you're not working at scale, IMO this is also not a difficult problem to overcome with integer IDs. Dump the DB into a CSV and increment the ID column by N, then reload. Or copy the table to a new table, add a trigger to copy from the original to the new with an ID increment, then do `UPDATE <temp_table> SET id = id + N WHERE id <= $MAX_ID_ORIGINALLY_SEEN`.
My experience was similar, right down to the $10,000 worth of options. Eventually the company went public and those options would have been worth $5M if I'd had the foresight (and cash) to exercise them (which I didn't). The co-founders did not have exercise costs or AMT of course. It is an unfair system indeed. I'd encourage those seeking to be early engineers to go work at a FAANG for a few years before joining a startup so that you have the cash reserves to take the risk.
I don't know much about chemistry, so I don't really understand the significance of that.

Is the idea that there's no highly energetic reaction, and so nothing to produce the energy levels needed for intense UV?
The real science behind Corona Virus [video]
what is sad is that the extra-tariff will only push the Chinese EVs to work harder to reduce the price and become more price competitive
one of my all-time favorites was "We are so conditioned to think that our lives revolve around great moments. But great moments often catch us unawares" – from the blog post titled 'The Cab Ride I'll Never Forget'

over the years, i kept my interesting finds at https://jerrynsh.com/food-for-thought/
Sure memory helps a lot, it allows you to concentrate your mental effort on the novel ot unique parts of the problem.
not too much, statusgator looks great as a fully-featured standalone product.

we use the data that we collect that generates the arewedownyet site as part of our beeps on-call platform -- check it out at beeps.co -- and we've found that having this set of vendors is really helpful for a certain set of engineers who build on the nextjs/react stack so we quickly put together this simple site.
That Hitchens quote is pithy and snow-clonable but demonstrated an impoverished and static epistemology. It is circular and self-falsifying by respectively assuming the existence of “evidence” independent of the assertion’s observation bias and not obeying its own assertion.
I've occasionally seen evidence that some humans seem to sometimes understand. I've learned not to generalize that though.
Irssi remains my gold standard, not just for IRC, but chat clients in general. This does result in a lot of disappointment as no one's made anything near as good for XMPP or Matrix. You've just got superficially similar stuff like Profanity that falls apart under real use.

Irssi has incredible UX, features, extensibility with scripts (this is a big one, go2.pl is a killer feature for me). I also like that I can create aliases doing all sorts of things, like PMing a specific bot, giving me shorthand if I need to set a bunch of reminders or run wolfram alpha queries or YouTube searches. You can also run shell commands and send the output as a message, and these can be made into convenient aliases. Suddenly I can type /fig before some text to spit out the figlet output.

One thing that feels minor/obvious that most modern stuff is missing is having ordered numbered chats, and preserving that order but also letting you rearrange it. I remember the numbers for frequently used channels and can jump to them with about two key-strokes, e.g. esc-5. This lets you develop muscle memory and something like a spatial awareness of the chats. New stuff is like a hellish fever dream where if you close your eyes for a second, you're screwed. Everything is ordered by recency or activity and constantly jumping around. The room list only brings me stress in my Matrix clients. Meanwhile with irssi I can have my second monitor off because I was watching something immersive and pause for a second to quick send something to a certain IRC channel or person without looking and near 100% success rate. Jump to my named remote tmux terminal window with my Sway keybind, C-b 1 for the tmux window with irssi, my friend I talk to a lot is my 6th window so I hit esc-6, if it was already on that chat it gracefully does nothing (unlike weechat by default), I write my quick message, hit enter, jump back to mpv with another Sway keybind and continue watching. I simply don't trust gajim or nheko UX enough to do something similar with them. Irssi never lets me down.
Bug looks resolved - or I can't replicate it.
The comment you replied to was talking about risk of people damaging it, not running off with it.

And using your white house example, while I'm sure people stealing copper cabling from it isn't considered a high risk, the possibility of people using guns to shoot at the white house certainly is something they take quite seriously!
> The practice of solving problems that you describe is to ingrain/memorize those steps so you don't forget how to apply the procedure correctly

Simply memorizing sequences of steps is not how mathematics learning works, otherwise we would not see so much variation in outcomes. Me and Terence Tao on the same exact math training data would not yield two mathematicians of similar skill.

While it's true that memorization of properties, structure, operations and what should be applied when and where is involved, there is a much deeper component of knowing how these all relate to each other. Grasping their fundamental meaning and structure, and some people seem to be wired to be better at thinking about and picking out these subtle mathematical relations using just the description or based off of only a few examples (or be able to at all, where everyone else struggles).

> I think you're wrong. The research on grokking shows that LLMs transition from memorization to generalized circuits

It's worth noting that for composition, key to abstract reasoning, LLMs failed to generalize to out of domain examples on simple synthetic data.

From: https://arxiv.org/abs/2405.15071

> The levels of generalization also vary across reasoning types: when faced with out-of-distribution examples, transformers fail to systematically generalize for composition but succeed for comparison.
Where do live that people are giving away crack?
Am I way out of line to assume TSMC will be well past the capability of this fab when in finally comes on line? Not when the current schedule says it will be ready but when the first actual production wafer comes out of the factory.
https://news.ycombinator.com/item?id=40621611 182 points | 3 days ago | 108 comments
No. copy&paste was released with iPhone OS 3.0 system wide (https://en.wikipedia.org/wiki/IPhone_OS_3)
Passkeys are an implementation of FIDO2 - technically an expansion of the protocol to include so-called platform authenticators that are device bound, but also syncable credentials, which is what the major players are implementing with storage in iCloud Keychain, Google Accounts, Microsoft Accounts, password managers, etc.

In this way the promise of passkeys, and the main marketing message around passkeys, is that they are phishing-resistant. This isn't strictly true though, because within some of these syncable ecosystems you can share a passkey. For example I can AirDrop a Cloudflare passkey to someone else's iPhone. If they accept, they can now authenticate as me.

The core intentions of FIDO2 generally and passkeys specifically is sound, but solving the age-old problems of device loss, resets, impersonation, sharing, etc, are human issues that the tech companies and consortiums still can't solve. In this way I would argue that passkeys are an improvement but are oversold. They are still better than passwords for many use cases though. And IMHO should remain optional.
LEO, "GER"! (Loss of Electrons is Oxidation, Gain of Electrons is Reduction)
iCloud works fine, and there are many alternatives as well, as mentioned in this thread.
A personal account is by nature personal. The historians are there for big picture.

> it's a crazy system that makes a person like that a leader of soldiers in the first place

You go to war with the people you have available, few of whom are ideally suited to it.
If you use gnome you can use eyedropper
> What is the correct text anyway?

Exactly.
The fact that language is fuzzy is why LLMs work so well.

The issue is that most people expect computers to not make mistakes.
When you write a formula in an excel sheet, the computer doesn’t mess up the math.

The average non tech person knows that humans make mistakes, but are not used to computers making mistakes.

Many people, maybe most, would see an answer generated by a computer program and assume that it’s the correct answer to their question.

In pointing out that LLMs are guessing at what text to write (by saying “average”) you convey that idea in a simplified way.

Trying to argue that “correct” doesn’t mean anything isn’t really useful. You can replace the word “correct” with “practically correct” and nothing about what I said changes.
If that were the case the story would just be "18 lorries are going to do a boring trip", and there wouldn't need to be any special plans made for road use at all.
Apple Passes Microsoft to Become Most Valuable Company Again
You're correct that for simple one-off cases, in a new-ish table, the performance difference is tiny if you can measure it at all.

As tables and indices age, they'll bloat, which can cause additional latency. Again, you may not notice this for small queries, but it can start becoming obvious in more complex queries.

The main issue I've seen is that since software and hardware is so absurdly fast, in the beginning none of this is noticed. It isn't until you've had to upsize the hardware multiple times that someone stops to think about examining schema / query performance, and at that point, they're often unwilling to do a large refactor. Then it becomes my problem as a DBRE, and I sigh and explain the technical reasons why UUIDs suck in a DB, and inevitably get told to make it work as best I can.

> Insert performance I could see being an issue.

And UPDATE, since Postgres doesn't actually do that (it does an INSERT + DELETE).
Sidewalk riding can be ok if there is a clearly marked and fully dedicated bike lane on the sidewalk. Without that it’s just too dangerous for pedestrians
I think so, but especially since the advent of the internet.

I think a mixture of being (1) a small minority (~1%), (2) which is ostracized, and (3) exists roughly homogenously in the population meant the internet provided an opportunity for community that didn't exist before.

The big thing is the super low-risk and anonymous environment. If you're gay but feel shame about it, or that you might suffer violence for coming out, then your computer might be the first place you don't feel alone.

For ~1980 through ~2010, community meant having a sysadmin to host a bbs / usenet / email list / irc / phpbb, and community meant having the technical knowledge required to join one of those. So, lgbt people and trans people especially have a good reason to become computer people.

I think this pattern applies to other groups which meet the same criteria. E.g. people at far ends of the political spectrum, the extremes you might have found under alt.sex, fans of specific media like TV shows, or people talking about weird alternative operating systems.
do investors allow that
i joined as founding engineer as my second job, 2 years after college. The founders were the same age which I think let them consider a young founding engineer. It worked out for me and I think if you have the opportunity then it is a great time to take the plunge. Knowing what I know now I would likely not take the same role at 30 due to lifestyle requirements (have wife and house now, back then I was paying very little for rent with roomates and had no issue with 12 hour days. I think the risk can make sense early in your career but most founders probably dont want to risk it on an untested dev with sub 3 YoE.
All of these are addressed by Peter Miller in his debate with Saar Wilf[1].

What you're proposing isn't probabilistically sound. I'd really encourage you to watch the whole thing. They dive into likelihoods in much greater depth.

1. https://www.youtube.com/@tgof137/videos
Esperanto is definitely a failure in its goals, which included replacing English —- it is not a rapidly growing communications medium.

I think you may have gotten my point backward - I love the creation of new words that English affords; it’s the best part of the language.

Glish is removing words for “simplicity” — IMO this is bad because blind removal is losing information that has been proven to be valuable over the course of the evolution of the language, like many of Shakespeare’s invented words. And tens of thousands of our borrowed words.

Glish is also cool because it’s using somewhat modern technology to mess with semantics, but taken as a serious endeavor, I hate the direction it’s going. Like I said in my comment, taken as a sweet hack, I like it.

Overall you would not find me hating on something that was adding interesting new words to English - it’s the technocratic removal I object to. If there were a project that was finding maximally far apart spaces in word2vec embedding space and trying to name them based on definitions from the surrounding words, I would love it.
Something I think I should have better understanding of:

My impression is that automotive and military applications mostly use older, more mature, cheaper modes. Are the fabs for these older nodes mostly re-purposes formerly cutting edge fabs, or do they go around building brand new (higher volume?) fabs for these nodes?

I guess I’m wondering if the capacity to build automotive chips in 10 years will be limited by the ability to build cutting-edge chips nowadays. Or maybe if TI (or whoever) can, like, borrow a couple near-retirement TSMC guys in a couple years and spin up some brand new old-tech fabs.
The Tyranny of the Flake Equation
> Discussing the lab leak theory

Harmful disinformation.

> or writing news pieces about Hunter Biden were “hate speech”?

Evidence for this?

> I don’t like the idea of some label like “hate speech” because it is highly subjective.

No, it's not. Saying one group of humans is somehow inferior, racism, sexism, calls for violence, these are clear and unacceptable. Your comfort is not more important than a safe public space for all citizens. Even the constitution doesn't allow unlimited speech, so that's not an argument against this. Further, the constitution doesn't apply to private companies limiting user activity on their own sites. I don't have to let you put signs on my lawn.
Yes, but then again there doesn't seem to be any Danish restriction on Fugu (pufferfish). Hard to see how this isn't a subjective policy (which is fine, but call it what it is).
Yes. Typically. Unless you have some compelling reason to sacrifice, it's typically a safer bet to be alive having killed some other random driver than be dead. Especially when the perspective is a parent ensuring their genetic pool.
Piper seems very interesting, but unfortunately the last time i tried it on macOS it didn't seem to work (anymore).
I worked for an organization with more than 150000 employees. All their PCs had Greenshot pre-installed and it was part of their standard software. Greenshot was used a ton over more than a decade, maybe still is, and (observed from my limited view) loved very much.

They never payed a cent to the developer - shame on them.
I don't think you fully understand the context in which this was written, but you probably should before passing so much judgement.
The RP20240 is not only available for embedded development in C, C++, Rust but also interpreted languages like Python and JavaScript. Super versatile.
Wreck of Quest, explorer Sir Ernest Shackleton's last ship found in Labrador Sea
> unfortunately in the browser it needs to be downloaded so you’re stuck with indexeddb

That argument implies that we're stuck with the browser's single built-in home page because every other web page has to be downloaded.

How is having to download sqlite3.wasm any different from having to download HTML, CSS, JS, images, etc.?
> They’re frequently syndicated at double-digit spreads

What does this mean?
X: This week we're making Likes private for everyone
I suspect trying to reductively understand intelligence is a bit like trying to reductively understand biology - every level of abstraction is causally influenced by every other level of abstraction, so there just aren't simple primitives you can break everything down into.
I'd heard about this, and wondered how America squares it with its ridiculously large and expensive War on Terror.
Apple has tried suing researchers, before: https://www.theverge.com/2021/8/11/22620014/apple-corellium-...

On top of that, they fail to commit to iOS security on the level of AOSP and don't let researchers create hardened variants or custom patches. With actively-distributed exploits like Pegasus still being used, that's the sort of behavior that turns your userbase into a stationary target. Giving researchers iPhones is insultingly usel

Apple vehemently opposes the concept of anyone securing their iPhone except them. They have a well-documented habit of ignoring vulnerabilities and offering zero compensation for the discovery of zero-days. Apple's ambivalence towards the security research sector is like one of the only things they're known for, among hacker communities. It is "verifiably false" in the sense that Apple spends quite a lot of money marketing the opposite of what they actually do in reality (not that you should be surprised by that).
I would guess based on their description this is not expensive or precise...at least compared to the cleanroom tooling like an EUV tool. This is probably a gas tower that is used to produce high purity gas on site (like N2). They are large and often transported from where they are built. TSMC AZ had one delivered from Texas a few years ago (or more precisely Linde had it delivered to their site next door to TSMC AZ). You can see the large towers in the pictures linked below.

https://www.phxind.com/projects/linde-spectra-30
>Kind of surprising that someone as mainstream and reputable as Microsoft got wrapped up in this fraud.

Wow, people really think there is some magic about corporations 'not doing bad'.

You know they are full of regular humans?

Kind of amazing. I've seen people say stuff like: "Nooo Apple doesnt Astroturf!". Buddy, Aldi astroturfs, you better believe that the best companies in the world at marketing are astroturfing(or outsourcing it). Its foolish to think they are perfectly moral, but maybe it makes it mentally easier to be a customer/fan to be so idealistic.
And change.
Show HN: ATS Hack Mode
It just needs a Minotaur.
It’s a double edged sword.

After mucking around with import paths in so many languages for so long, I like that elixir is like “all the namespaces everywhere”
SpaceX's New $100M 'Starfactory' Plans to Build One Rocket Every Day
So this whole thing is about you being angry that your dad doesn't use iMessage?

Sounds like your dad is the cool dude, and you're the tech-obsessed weirdo. Do you visit him often?
Sidewalks are for pedestrians, not bikes. In my US city, riding bikes on the sidewalk is illegal (we have perhaps the best bike path network in the US -- riding on the sidewalk is never necessary and rarely the most desirable option), but people do it anyway. And pedestrians are frequently injured by bicyclists riding on them.
The model is no open, you need to get a license to make money with it.
> But that just means you have to compare them with ability of humans to one-shot tasks on the spot, "thinking on their feet", which for most tasks makes even adults look bad compared to GPT-4.

This simply is not true as stated in the article. ARC-AGI is a one-shot task test that humans reliably do much, much better on than any AI model.

> I don't believe someone could learn calc in 100 exercises or less.

I learned the basics of integration in a foreign language I barely understood by watching a couple of diagrams get drawn out and seeing far less than 100 examples or exercises.
> seeing salaries consistently lower than more mainstream languages

That seems surprising to me as an Elixir developer. Are you looking in the US, or elsewhere?
I expect Apple's focus on privacy (whether you wish to believe that is for marketing, or real) is at play here. While passkeys don't really work as a tracking mechanism, you could do some profiling based on attestation. I am sure Google would love for you to use passkeys and be able to control what devices those are used on, and know about what devices you have. "Oh you want to sign into YouTube? Are you really on an iPhone, or are you pretending it's an iPhone?"

I use AAGUID attestation for Yubikeys at work, but that addresses an actual security need to enforce known authenticator types and prevent enrollment of non-hardware tokens.