skysight-inc/HackerNews huggingface dataset:
Not really - drag is proportional to velocity squared. There's little penalty to driving a brick at 30.

You can feel the wind resistance on a bicycle at 30km/h, mind. The penalty is not zero. But we're discussing body styling for a given frontal area, so the possible improvements are more marginal than for a cyclist who adopts a racing tuck.
I think you'd enjoy Alastair Reynolds' sci-fi stories, particularly the short story "Glacial" in the "Galactic North" collection.
> To what degree can these large language models arrive at these same conclusions, and by what process?

By having visual understanding more deeply integrated in the thought process, in my opinion. Then they wouldn't be Large Language Models, of course. There are several concepts I remember and operate on by visualizing them , even visualizing motion. If i want to add numbers, i visualize the carry jumping on top of the next number. If i don't trust one of the additions , I go back , but I can't say if it's because i "mark" the uncertainty somehow.

When I think about my different groups of friends, in the back of my mind a visual representation forms.

Thinking about my flight route forms a mini map somehow, and i can compare distances between places, and all.

This helps incredibly in logical tasks like programming and math.

I think it's something that we all learned growing up and by playing with objects around us.
They're doing well, but at least Instagram and WhatsApp are much worse for the end user than they were pre-acquisition. To the point where I've stopped using Instagram, and have moved as many of my chats off WhatsApp as I could.
A model that can learn from it’s users would be interesting albeit scary. Sometimes when chatGPT fails to produce the right answer in coding tasks I paste back the solution when I figure it out. I know it can’t learn from it but it might be helpful if I continue the same chat.
Which Wayland compositor? Does it matter? I recently got an Intel iGPU + Nvidia dGPU machine.
Ask HN: Is there an end to tech job market crash?
I'm a Java/Scala dev in London with over 12 years of experience and I've been unable to find a job for almost a year now. Long time ago I chose what I thought was the most popular tech stack, so that I would never have a problem finding a job. Up to this year it never took me longer than a month to find a new gig. What happened? I thought if the day came when a guy like me can't find work, we would have bigger problems, like WW3 or extinction level asteroid heading for Earth.

Thing is, I've never worked for FAANG, I was always content working for random non-tech companies that were definitely not a target of the so-called "rock star engineers". The world runs on software and most of that software isn't FAANG. I've been in the trenches for a long time, and most of it is endless vastness of legacy code. Java is the new Cobol times 1000, there should be a demand for countless number of devs to maintain and rewrite this legacy code. How did the market go from developer shortage to developer surplus overnight? Is there an end to that?
The difference is that when this happens to a private organisation, it's not the taxpayer footing the bill.
Maybe you meet someone and your respective bots go on a date to
decide if you are a good match
The important bit

The decimal value of 11111011 is -5

Is not really explained? I would have thought this was -123
Creating a macOS App with Haskell and Swift
Nvidia cards being unreliable on Linux make me choose an other card instead.
It's been slowly getting better though. Nowadays they have a working search function, pasting works most of the time, and it's much harder to break the input area. Took them several years, but for pretty much all of 2023 it has been an acceptable chat software
Maybe they’ve achieved this position for Chrome leveraging Google’s strength, not because Chrome’s quality? I can name a few reasons, like an aggressive marketing campaign for Chrome circa 2012 (promotion on Google search, bundling Chrome with popular apps) and sabotaging Google web apps in rivals, specially Firefox, that makes Chrome look better for Google’s users (basically everyone online).
Or just don't provoke a war.
I feel very comfortable to say that while the ability to solve grade school maths is not a predictor of abilities at a research level, the advances needed to solve 1 and 2 will mean improving results across the board unless you take shortcuts (e.g. adding an "add" instruction as proposed elsewhere), because if you actually dig into prompting an LLM to follow steps for arithmetic what you quickly see is that problem has not been the ability to reason on the whole (that is not to suggest that the ability to reason is good enough), but ability to consistently and precisely follow steps a sufficient number of times.

It's acting like a bored child who hasn't had following the steps and verifying the results repetitively drilled into it in primary school. That is not to say that their ability to reason is sufficient to reason at an advanced level yet, but so far what has hampered a lot of it has been far more basic.

Ironically, GPT4 is prone to take shortcuts and make use of the tooling enabled for it to paper over its abilities, but at the same time having pushed it until I got it to actually do arithmetic of large numbers step by step, it seems to do significantly better than it used to at systematically and repetitively following the methods it knows, and at applying "manual" sanity checks to its results afterward.

As for lemma conjecturing, there is research ongoing, and while it's by no means solved, it's also not nearly as dire as you suggest. See e.g.[1]

That's not to suggest it's reasoning abilities are sufficient, but I also don't think we've seen anything to suggest we're anywhere close to hitting the ceiling of what current models can be taught to do, even before considering advancements in tooling around them, such as giving them "methods" to work to and a loop with injected feedback, access to tools and working memory.

[1] https://research.chalmers.se/en/publication/537034
First author here, half of the crafting process actually consists in double checking the questions
Everything influences the incredibly vague notion of “the society we live in”.

It’s not a useful litmus test.
> and also brain can involve some quantum mechanics

A neuroscientist once pointed this out to me when illustrating how many huge gaps there are in our fundamental understanding of how the brain works. The brain isn't just as a series of direct electrical pathways - EMF transmission/interference is part of it. The likelihood of unmodeled quantum effects is pretty much a guarantee.
Amazon only comingles inventory among FBA sellers, and gives each an option to opt-out from it if they want to. They never comingle 'sold by amazon.com' items. In cases where I've bought amazon.com items and not from FBA sellers I never received bad products, and I've easily bought dozens of SD cards, flash drives, SSDs, etc.
If that is the case for you, consider yourself lucky. And for once, this comment isn't containing even trace amounts of sarcasm.
Karpathy has an excellent zero-to-hero series on the topic in which he explains the very core of the neural networks, LLMs and the related concepts. With no background on the topic, I was able to get an idea what's all this about and even become dangerous: https://karpathy.ai/zero-to-hero.html

There's something enlightening in hands-on learning without using metaphors. He even opens the code of production grade tools to show you how exactly the concepts he explained and build together are actually implemented IRL.

This is a style of teaching that clicks with me. I don't learn well with metaphors and high abstractions and find it magical to remove the magic of amazing things and bring it down to easy to reason pieces which can create a complex structure with composition so you can just disregard the complexity as a separate thing of the core.
Did he have a "reference shower" anywhere that he liked? I don't think so.
They are scary too with their HUGE man size binoculars waiting for you. By the way. Poland. The only place on earth I ever got ticketed for jaywalking.
iPhones have all sorts of little niceties that are directly enabled by good ML performance. For example, automatic OCR of text within images, even on websites. I think the facial recognition for grouping photos by person is also done locally by the ML chip.
You were talking about the number of parameters on existing models. Like the history of Deep Learning has shown, simply throwing more computing power at an existing approach will plateau and not result in a fundamental breakthrough. Maybe we'll find new architectures, but the point was that the current ones might be showing their limits, and we shouldn't expect the model suddenly become good at something they are currently unable to handle because "more parameters".
I am sorry, but I thought it was a bold assumption it has an internal model of chess?
I'm not a lawyer but I'm fairly sure that writing "I didn't violate any law" doesn't necessarily mean that the statement is true.
Heard the same in France, with the army making some trucks drive around in circle to use some gas to make sure their gas budget doesn't get cut.
I tend to agree. I have been working in IT for 48 years and it is not at all uncommon to come across developers who have a very narrow and niche view of software development. I have had the privilege to work with a wide range of architects and senior engineers over the years and I have found that the ones who tended to be the most creative (solution wise) were the ones who had deep knowledge right from the bottom of the stack all the way to the top - they did not look at a problem through the lens of a specific language (they all knew multiple languages) - when I have hired for senior positions, unless its been for a very specific skill set, experienced generalists have tended to impress more
I agree that it's fanatical. I don't understand how people can be such sheep to these fake engineer celebrities like Altman and Musk. They talk like Trump: no real substance, half fluff and half word salad compared to listening to an actual expert who, god forbid, had the attention span to finish linear algebra. It's sickening how much credit and money these narcissistic charlatans walk away with.

Look up to the true geniuses that actually do the work and discover and invent rather than the ones who can only pretend to.
Yes, and making even small bribes illegal and enforcing that is how you get people who are influenced by them out of that line of work.
Archive of InsideRockstarNorth Blog
Wow, I just had this for the first time yesterday morning. I woke up too early for some reason and heard a loud "screech" for a second or so just as I was falling asleep again.
As someone with an S21 too that doesnt sound normal, have you checked your background apps and battery health?
The energy saver setting works pretty good too.
Then it is very clear. I am a major fan of ProPublica, but I feel like they were too biased here and were trying too hard to write a good story.
Building a freedom-friendly WiFi pocket-router (2020)
This article may have been created or edited in return for undisclosed payments
One more reason to not get caught up in the hype.

If you claim to have AGI, show it, prove it. Otherwise, I will continue to assume that it's not around the corner.

If you claim that GPT4 is close to AGI (as was done a lot), then you very likely have access to a GPT4 that I don't have access to. The actual usable thing available out there clearly isn't.

Not that long ago some people predicted that software engineers would be out of a job within weeks. "Brilliant" CTOs claimed they would replace developers with ChatGPT. What happened? Nothing.

I'll boldly predict that this time what will happen is exactly nothing again.

I may be wrong, but at least I don't waste my time with the buzz about the next "big thing" which in reality isn't ready for anything useful yet.
We should praise leaders for doing what the people want instead of what they might want themselves.
> As it was pointed out, no, EU regulations don't mandate cookie banners. It seem you have an axe to grind with the EU.

EU regulations do require cookie banners.
Indeed. But Google is a company built on 3p cookies, perhaps more than any other. Innovating is very difficult at Google in general, but in the search/ads pipeline it must have been near-impossible. I’d imagine that any replacement that isn’t entirely feature complete (ie does the same thing 3p cookies do today) would have been politically impossible to push seriously. The higher leadership (VPs etc) act mostly like middle-management but with more kool-aid and corp speech. The few who were more bold usually came from acquisitions and left for more impactful work elsewhere, after their bonus payouts (me speculating, but lines up).
I experienced this twice in my life but it was not an explosion type sound. Just a very loud sound with a sawtooth waveform, fast attack, ~1 second release.
I see this as a failure of responsibility on the part of the drivers:

The rules were clear, and well-justified, but the drivers chose to ignore them.

(I recognize that this position is tied to my personal views on civics and ethics, so I don't expect people to agree with me.)
> But you could say that Fenton just really cares about public safety.

If they really care about public safety, they would design their traffic situations so that people are less likely to speed. You can do a lot with clever traffic design, and it's more effective than simply fining everybody.

But of course that costs money rather than bringing it in. Considering traffic fines are their primary source of income, I think they strongly prefer unsafe driving over safe driving.
Hypercorrection
Nice! Can you say what company you were working for?
Honestly, I haven't met many people who speak to their phones. [edit: where I live. Can't speak for the north American/Anglophone market]

They usually use their phones to speak to other people, hence why signal reception and battery life is one of the most important things I look for.

All ML gimmicks are nice to show off at events, pub gatherings and in reviews videos("hey look at what my new phone can do, yeah it looks the same as the one from last year and the year before, but can your phone do THIS? <insert ML gimmick of swapping people's heads in the picture>"), but won't help me if the signal reception quality sucks and drains my battery.

Phones need to work good as phones first and foremost. High-end compute abilities come second.

My most used ML gimmick is ChatGPT which doesn't run on device anyway, nor is it something I need in case of emergency like you know... being able to call someone to come pick me up/help pe when I need it the most.

So IMHO bad modems like the ones in Pixel phones, are inexcusable in a phone no matter how fancy the other features are.
That scenario is not a problem at all though. It's much safer for everyone involved and can be optimised a lot better.
May I ask why you did not like Tuta? They now have unlimited email addresses for custom domains, which is pretty neat IMO: https://tuta.com/blog/summer-releases-2023
I occasionally hear a sound like a thin metallic tank rupturing due to air pressure, while trying to fall asleep. Not very loud, and I can kind of tell it's not real.
Maybe the vision is to eventually bring UBI into it and cap earn outs. Not so wild given Sam’s world coin and his UBI efforts when he was YC president.
I tried searching « chocolate », and I have to select an option in the list (chocolate beverage powder dry mix, chocolate beverage powder light dry mix…)

I want to search just « chocolate »
ctrl-f "Hofstadter" => 0 results

I'm disappointed.
Hi some authors of the work here, thanks a lot for sharing the paper, it's been quite some time in the work and we're super happy to share it with the world.

A short note on some of the reasons we decided to go with openly-sharing the questions instead of holding them back (which was another option we contemplated):
- with closed-models we need to send the questions through an external AI anyway so a full privacy of the test set is not possible in general unless the leaderboard is restricted to open models (would be quite restrictive)
- also, the benchmark contain a limited number of questions which are non-obvious and take a significant time for human reviewers to solve. We thus don't expect the dataset to become training material for models and to lead to having model over-fitting on the benchmark pattern in the traditional sense that happened with larger benchmark datasets including a training split. This benchmark is generally closer in philosophy to small, hand crafted benchmark datasets, like HumanEval for instance has been for code models.
UK government blocks MP questions about Gaza-related activity at its Cyprus base
The best fix would probably be to change the roads to prevent the speed limit drop in the first place.

RS 32:61 [1] mandates a speed limit drop there (though only to 55) because it goes from multilane divided highway to multilane highway.

A frontage road, and merge/exit lanes as needed, and keep it divided highway the whole way and then it's no longer an issue.

We use highways and interstates as main streets way too much in Louisiana.

[1] https://legis.la.gov/Legis/Law.aspx?p=y&d=88480
> Instead, AI capabilities increase year after year and month after month and the AI will simply be able to bide its time to start the game. To use the chess metaphor the table is set where humanity has all the pieces and AI only its king - but every hour AI adds another piece. If we never make a move we will face it at full strength.

This is a very optimistic view. I'm not so sure that true AGI will be developed even in this century. GPT-4 and the likes are hitting a data limit, and are not close to being AGI.
I'm waiting if any CEO can maneuver this gigantic complex organization.
Totally. On site welders are often more like fabricators too. Also many are specially certified for specific things like pressure vessels, water tanks, oil pipe, underwater, etc. That's all wildly different than the production line welding I've been around.
Wow, number theory was once my thing...

Carmichael numbers are interesting indeed. Their very existence indicates that the "true nature" of primes is more obscure and complicated than people of the earlier ages thought. Some applies to regular and irregular primes. If all primes were regular, Fermat's Last Theorem would have been a lot easier to prove. It is possible that Fermat himself was mistaken and saw the outlines of the proof for regular primes.

Also, maths is one of the last remaining sciences where a fresh insight from a relative newbie can still move major, century-old obstacles.
Is it bad in _every_ way, though?

I do understand it would lose every time to an F-16 in a dogfight, but it would have vaporised that F-16 long before visual range.

Afaics it has more operational capability than the previous generation of warplanes, in ways that matter to military planners.
Similarly, Town of Hanging Rock, Ohio
An automatic theorem proving project (Tim Gowers, 2022)
Now imagine not having the internet, and getting a few times a year. Everyone I spoke to thought I was insane (including doctors!), and I was beginning to think so myself. It tapered off and I hadn't had it for years when I accidentally read about it somewhere.

Until then it was on my ever growing list of "shit that only happens to me, apparently". Makes me wonder how many people got misdiagnosed with mental disorders, because the world was just smaller back then.
What's terrifying on the bathyscaphe Trieste (pictured in the article) is that the 'living quarters' are only the small sphere attached underneath.

Still it is larger than the one on Deepsea Challenger, which can only barely fit a single person, and which James Cameron used for his dive.
Though there's probably better examples, this article reminds me of this: https://en.wikipedia.org/wiki/Battle_of_Athens_%281946%29
this happened to me regularly for a period of several months. i blamed being very stressed at the time. it later went away on its own.
Other than bringing up Google Assistant with Bard, the article doesn't mention giant LLMs at all. It lists features such as Gboard proof-reading that are not done on device, as well as the chips heating up when doing some of the general tasks such as downloading, so from that regard, it seems that most AI tasks are not done on the device. Which was the promise sold with these chips.
And accessibility is not dead.
> Does the author have a legitimate reason for having not uploaded anything?

Sure, he mentioned it. He reserved the name in preparation for open sourcing some projects, but medical and personal issues delayed that happening for a while.
They should add one more map: of their website.
Hmm, interesting. I've had the exact same sensation/"sound". Though not always that sound, I experience something like this moderately frequently when just about to fall asleep, so maybe it's likely that it would at least sometimes line up well with what others experience.
That's a bit reductive. They also care if their apps work _well_ – if their pictures look nice, if their dictation is responsive, if their assistant understands queries, if OCR is accurate… which is all about "ML performance".
> An alpine docker container doesn't have the kernel, so all that hardware support

Only if you run it on Linux through para virtualization; in which case it's using the host's kernel. Potato/potato.

The fact that it supports virtualizing an entire other OS in a safe and privileged manner should just further reinforce why the kernel is larger. But ok, got me.

> 8MB GUI-less image

Sure, and you can see all of the contents of that here:

https://github.com/linuxserver/docker-baseimage-alpine/blob/...

Let's just pick a few things from that:

curl - a library that can handle full bidirectional HTTP communication in Unicode, including via SSL/TLS and arbitrarily manage file streams *or* utilize linux's built-in piping/redirection functionality
ssl - a full suite of cryptographic libraries and keys to allow secure communications and integration into other libraries/code (the aforementioned curl, for instance)
onigurama - a full regular expression library for use in other programs (language VMs like Ruby, for instance)
musl - a libc runtime and it's standard library
zlib - in-built compression functionality utilized by gzip, png and others

Can you point to a base install of workbench being able to do all of that? About the only thing in the alpine base layout that it is directly comparable to is BusyBox+bash.

> Part of it is elf header size vs hulk. Part of it is that no one bothers stripping symbols. But the reason for both of those reasons is simply that memory isn't scarce so we are lazy/efficient.

This is just some old guy "bah humbug" rant/conspiracy. Your Amiga with workbench is nowhere comparable to modern hardware+OSes. It can do somethings similarly, if you squint appropriately. At a much degraded image fidelity, color quality, insecure, primitively multitasking and non-networked manner with heavy RAM and CPU constraints.

I fully acknowledged software bloat is a thing. But we're not comparing some half-ass coded Electron app to some sleek handcoded C/C++/Rust desktop app. You're comparing base software built by decently-well educated engineers that does inordinately more than the comparison set, by so much moreso that it's ridiculous on its face. And then going on a rant about debug symbols and ELF headers (which brings a ton of benefits itself).
_They usually use their phones to speak to other people_

Counterpoint – I haven't met many people who use their phones to speak to other people. YMMV.
A notebook. Comments in code. If I get far enough Trello ToDo/Doing/Done style kanban board.

I use those for architecture thoughts, process flow thoughts, db schema, product features etc..

I wouldn’t pay a cent for a product mgmt tool until I have an actual working product and users. Even then it’s not high on my list..