skysight-inc/HackerNews huggingface dataset:
> Solving hard math problems requires understanding the structure of complex mathematical reasoning. No animal is known to be capable of that.

Except, it doesn't. Maybe some math problems do -- or maybe all of them do, when the text isn't in the training set -- but it turns out that most problems can be solved by a machine that regurgitates text, randomly, from all the math problems ever written down.

One of the ways that this debate ends in a boring cul-de-sac is that people leap to conclusions about the meaning of the challenges that they're using to define intelligence. "The problem has only been solved by humans before", they exclaim, "therefore, the solution of the problem by machine is a demonstration of human intelligence!"

We know from first principles what transformer architectures are doing. If the problem can be solved within the constraints of that simple architecture, then by definition, the problem is insufficient to define the limits of capability of a more complex system. It's very tempting to instead conclude that the system is demonstrating mysterious voodoo emergent behavior, but that's a bit like concluding that the magician really did saw the girl in half.
Accurate, but also true that if you are research bound you typically enter at the year 2 or 3 level, already having finished calculus, and maybe linear algebra in high school.
All that work (AGX acceleration...) is done in llama.cpp, not ollama. Ollama's raison d'être is a docker-style frontend to llama.cpp, so it makes sense that Docker would encroach from that angle.
You know how certain professions are known for attracting certain pathologies? CEOs/narcissism, car salesman/ lmachiavellianidm and surgeons/God? Reddit moderator/d-bag is not exempt from that phenomenon and for reasons unknown to me, because it’s volunteer (Ok, I can’t say 100%, but mostly it’s volunteer) seems to be some kind of mental illness XP multiplier attractant for the role. Perhaps it empowers people because they’re giving so much of their lives to their own perceived cause, that no one asked for. But there are a lot of good, great even, mods out there. Surely. But anyhow,
I’m going back to irc.
Just a trick out there for the pram-frusturated, on my very own G4 pinstripe I was able to get it working without a (correct) battery, instead alligator-clipping on a pack of 3 triple a batteries. Worked like a charm (Connecting three AAA batteries in series [1.5V + 1.5V + 1.5V] provides a total of 4.5V, slightly exceeding the required 3.6V but it did work, and for a while). RIP if you want to revive a TIbook battery though.
It is an API. You can implement all this stuff from scratch with raw requests library in python if you want. Its the idea of a standard around information interchange, specifically geared around agentic experiences like claude code, (tools like aider, previously, that are much worse) - its like a FastAPI web app framework around building stuff that can helps LLMs and VLMs and model wrapped software in ways that can speak over the network.

Basically like Rails-for-Skynet

I'm building this: https://github.com/arthurcolle/fortitude
Thankfully this is also right in the window of much of what's being captured from aircraft in many places, too. It's not uncommon to find 7.5 - 15cm / px imagery from public agencies around the globe. Even some more philanthropic acquisitions are acquiring within this envelope.
I mean that is just talking about probabilistic systems where the probability is either zero or one. When you get in to probabilistic systems with a wider range of options than that, can you can feed back new data into the system you start getting systems that look adaptively intelligent.
Apple's built their entire company on dropping backwards compatibility. It's how they've maintained their agility for so long, despite being one of the largest companies on the planet.
It's a spec for how external info can get into a language model's context window. Part of that is tool calling, but there's also templated input, cancellation, progress tracking, recursive generation sampling, statefulness of tool servers, etc.
Everyone's computing the next token. Intelligence is computing the right token.
Much appreciated. The only donation I can think of is if you help spread the word. I learned a tough lesson this week that it is extraordinarily hard to market a product lol

P.S. If it wasn't for @dang putting it in the second-chance-pool, this post would have never been seen by more than 2 people.
He seems pretty sane to me.
> car ownership remains high in the US, so for personal travel, the independence of driving would still outcompete rail.

I mean, this is the catch-22 that prevents a lot of public transit projects from being built. Car ownership is high largely because in most places there is no viable public transit. Then people oppose building public transit because car ownership is high!
I used my 2003ish Power Mac G4 MDD some time around 2014 before giving it to a friend and I noticed how quickly everything responded. Kinda annoyed me how we've regressed in that regard.
It’s a basic lack of empathy. Many founders do have the privilege of choosing opportunities and seemingly cant or are unwilling to relate to people just working with integrity and sometimes being fulfilled by their choice of trade, without needing to be married to someone else’s idea and cause.

Also most founders ideas aren't unique and there is often a tone deafness there. Employees with experience have already seen their idea even if it was in a prior cycle.
This is not true at all. It only has to do with if you have "substantial risk of forfeiture". If they are your shares to own forever, the IRS considers receiving them taxable. This is why double trigger RSUs have expiration dates. It's possible they never become liquid. Therefore they're not your property yet. Therefore you don't owe tax until they are. Or they expire worthless someday, and you don't owe anything.
Are there any well documented cases of the bags selling for these prices?
I've actually been pleasantly surprised by how well most Linux stacks work in resource constrained environments.

I have a first-generation Framework - the ones with the shitty Intel CPUs that don't support proper S3 sleep, only the awful "modern standby" - and I often throttle the clock to 400 MHz to save battery. GNOME's performance doesn't degrade at all; the only place it feels "un-snappy" is when starting heavier apps.
This simply creates a passing status in the repo so that the pr can be merged.

There is no obligation on the dev to actually run the tests locally, so you could just save time by disabling status checks.

The point of a ci pipeline is that the build ran in a more controlled environment and here is the build log for everyone to see proof.
I am prone to defend them, but they do it in a sensical way (most of the time), I plugged in a G3 whose hard drive was last written to when I was playing hopscotch and when I connected it to wifi it had an official update patch ready for me. They aren't perfect but how many other companies do that. I'd argue that their unflinchingness to move on hardware-wise, and long software support is what gave them success.
They’re speaking specifically about the TV series.
I don't follow that scene much, either, but I do subscribe to https://www.masteringemacs.org/ which has good roundups when new major versions come out. I also have several open tabs from there about various libraries I need to fold into my own emacs configuration.
I've come to see plants as actually living underground with what we call the roots. What is above ground, are just air- and sun-roots.
U.S. Government Structure
I would absolutely get that same feeling from reddit. But like do you not interact in the actual world? Trump would have a rally and areas 45 minutes away are backed up with traffic for 8 hours. Kamala had one and you can't even reliably figure out how to get tickets and other than motorcade closures traffic is nothing.

So much anti-Kamala and pro-Trump stuff in the communities that are supposed to be strong for her.

That Kamala did as well as she did was really shocking to me. I mean it wasn't close, but Kamala couldn't even make past the very first debate in 2020 and her list of accomplishments is basically nothing. I never met anyone in real life with an actual compelling or supportive argument for her. At best it was "she's not Trump".

Taking Biden out and having no primary is probably the worst thing Democrats could have done.
A lot of employers who only pay cash have salaries similar to companies that pay cash salary plus equity. Perhaps the equity won't be worth anything, but often times it's extra on top of what's being offered. Those accepting cash only are often leaving potential expected value on the table.
https://archive.is/X6dpP

Related:

Singapore: Right to own a car costs $76,000. And that doesn't include the car (63 points, 2 years ago, 139 comments) https://news.ycombinator.com/item?id=37779018

Singapore to Stop Adding Cars in February 2018 (108 points, 2017, 76 comments) https://news.ycombinator.com/item?id=15536481
A candidate wants a _competitive_ offer. While stock is almost impossible to compare across offers, candidates can at least stack-rank the company’s funding and check to see how the proffered percentage compares to the mean for the funding round. So if a company has high-percentile funding, and gives a high-percentile equity fraction, it’s a good sign to the candidate. But of course, the company could be WeWork, or even OpenAI could get risky if the tender offers stop (which will happen when/if the market crashes).

At the end of the day, it means a lot to the candidate if the company _wants to compete_ for a hire, especially in the current economy (layoff-friendly and SWE saturated, especially versus 10 years ago). A story like “your options could be worth $XXX in 4 years” I hope is not seen as competitive today.
> I don't exactly know what it means to be conservative

That could undoubtedly lead to misapprehension. As the GP indicated, and as the word itself means, it references systemic stability and self-preservation behaviour. Reciprocally, however, the obligation to be liberal absolutely does not mean absolving faulty inputs of their flaws. For example, it would not excuse a dud response to an SSH handshake like trying to negotiate RC4. Both Steve Crocker and Eric Allman have been at pains to unpack the understanding of robustness, forgiveness, and format canonicalisation in security context, and they're hardly wrong. It's also why I'm particularly an advocate of the "do", not the "send", formulation. This is a much more systemic and contextual verb in its consequences for implementatation.

> staying away from generating inputs for other programs that exercise dark corner cases

This is exactly the kind of focus-solely-on-the-wire misdirection that I identified above as a common misinterpretation. Conforming to the most precise and unambiguous interpretation of a protocol, if there is one, in regards to what an implementation puts on the wire, can most certainly be a part of that, but that isn't always what being conservative looks like, and processing is equally if not more important.

The introduction of Explicit Congestion Notification (ECN) aka RFC 3168 (2001) springs to mind. RFC 791 (1981) defined bits 14 & 15 of the IPv4 header as "reserved for future use" and diagrammatically gave them as zero. RFC 1349 (Type of Service, 1992, now obsoleted) named them "MBZ" (Must Be Zero) bits but gave them to be otherwise ignored. RFC 2474 (DSCP, 1998) did much the same with what it termed the "Currently Unused field". When ECN was introduced, making use of those bits as a supposedly backwards-compatible congestion signalling mechanism, we discovered a significant proportion of IP implementations aboard endpoints, routers, and middleboxes were rejecting (by discard or reset) datagrams with nonzero values in those bits. Consequently, ECN has taken two decades to fully enable, and this is where both sides of the principle prove their joint and inseparable necessity; to this day many ECN-aware TCP/IP stacks are passive, stochastic, or incremental with their advertisement of ECN, and equally forgiving if the bits coming back don't conform, because an implementation that resets a connection under the circumstances where the developer comprehends the impedance mismatch would be absurd. Thus fulfilling both sides of the maxim in order to promote systemic stability and practical availability and giving ECN a path to the widespread interoperability it has today.

The exposition on page 13 of RFC 1122 (Requirements for Internet Hosts, 1989) broadly anticipated this entire scenario, even though the same section misquotes Postel (or, rather, uses the "send" restatement that I find too reductive).

The statement of the robustness principle is an integrated whole. A partial reading is, perhaps ironically, nonconformant; as with Popper's paradox of tolerance, one thing it cannot be liberal about is itself.
I'm not familiar with that one and can't seem to find it online. Do you have a link?

Limes will actually turn yellow when ripe. We just pick them early.
Yep: https://github.com/basecamp/gh-signoff/blob/0e402078ad1483cf...

HTTP POST …/repos/:owner/:repo/statuses/${sha}
state=success
context=signoff
description=${user} signed off
My teacher teaching me about features I built
So they're scripting languages?
I just click the hide button. The political posts are exactly what HN needs because these rich fucks aren't hackers and need to know what people think about them.
You're not going to drive 18 hours straight. It would be wildly dangerous for you to try as you will fall asleep at the wheel. Even if you tried it, you're going to have to make stops for gas, bathroom, and to eat, which will push the trip beyond one day. Which means you're going to have to get at least one hotel room along the way (more expense and time). And, you're assuming perfect traffic conditions, which doesn't exist, we all know.

You can go to the bathroom on the train. You can sleep on the train. You can eat on the train. Which means the 28 hours is the total time and the $175 is total price. Avg gas price is 3.37/gal. (https://ycharts.com/indicators/us_gas_price) Avg new car milage is 25 mpg, 52*3.37 is ... $175. Same as the train fare, but that's just the gas.

Taking the car is just dangerous and miserable IMO. Train wins.
Original iPhone 1 is worth quite a lot actually.
IPO is not the only way for employees to access liquidity
The mechanical watches are not open source at all - most (all?) of them do not come with engineering drawings nor with list of materials.

Even if you have a watch in front of you, it does not mean you can create a copy of it without a lot of work - you need to measure every gear, guess the materials used (how stiff should this spring be?), and re-draw mainplate and dial.

Compare to things like old electronics, which came with full schematics, service manual and sometimes even debugging guide.
Try defining data in C. Try extracting data from that data you've defined in C.

If you can understand the appeal of having JSON in JavaScript, you can understand some of the appeal of Lisp.
I mean, thank you, but calling Rust abandonware just because it uses a rolling release model is misleading IMO. Also there's nothing wrong with unstable features being discarded, they're unstable.
Make everyone use the metric system.
Both Chimera Linux and Adelie Linux have support for 32 bit PPC. They are fresh off the press distros. So, support can still be found.
Presumably STDIO depends on the local AuthN/PAM that enabled the user space IO to begin with? I suspect what people are concerned about is the authorization of the LLM to the agent and its data rather than authN. AuthN in stdio would be the user that started the processes, or went through some AuthN chain allowing stdio to forward (I.e., ssh, sudo, etc). Am I missing something?
Who are the authors for the content of the first month's issue? The articles on the site don't list an author, which makes me think it's all written by Edwin Nagle, which makes me wonder if anyone else will contribute to the monthly issues.
Show HN: Nissan's Leaf app doesn't have a home screen widget so I made my own
Nissan's official mobile app for their LEAF electric car doesn't have a widget for quickly checking the car's battery charge status on your phone's home screen, so for a fun side project I decided to make my own using free tools like GitHub Actions, Appium, Tailscale, and Apple Shortcuts.
Launch statistics for 2024, for reference:

https://rocketlaunch.org/rocket-launch-recap/2024
Depends on distro

OpenBSD uses it. So off to /opt

NetBSD I use it for my items, no need for /opt

Linux I use /opt for my items because some distros throw items there or messes around with /usr/local. Also some proporatary packages I used at work on RHEL tosses items there.
Regarding the loud power supply fan of the G4 MDD: Apple actually had a free of charge replacement program for the power supply. The replacement was somewhat less noisy, but still loud, mostly a (rather subtle) change in frequencies than anything else.
I agree with the premise (dev machines are under utilized) but the environment (or lack thereof) of the CI machine is its major selling point. No stupid forgot to add dependency x. Of course it works, you developed it on your machine.
I would say that counterintuitively, it’s a factor in the Mac’s strong indieware/botique software scene, which has been going for decades now. Most devs in that camp keep up with the platform changes and those who don’t get swept away, opening up space for someone else to fill that niche.
I have an API, but I built an MCP around my API that makes it easier for something like Claude to use — normally something that's quite tough to do (giving special tools to Claude).
I have this and am just 39yo. It’s crazy how I forget someone it’s embarrassing. Usually when I don’t get enough sleep. Forgetting actors or movie names.
The incentives are very different (or used to be).

Microsoft was selling software and needed that software to work. Making it work in as much hardware as possible was a good thing.

Apple was selling hardware and needed customers to upgrade that hardware over time.

Microsoft sells hardware now too, and cares more about the cloud. So, they are not so much about deep compatibility anymore.
I don't know what your point is but the recipe for birth rate decline is increased quality of life + low child mortality. South Sudan has one of the highest child mortality rates https://data.unicef.org/country/ssd/ and I'm going to guess the quality of life there is just a smidge lower than South Korea.
"The selfish gene".
They're a phone device manufacture, which is how they became the first or second largest company, depending on how the tariffs blow.

Mac and macOS are afterthoughts at this point.
https://archive.is/YzaF7
Don't you trade battery-every-5-years to "adjust time weekly"?

In the other comment, someone mention Vacheron Constantin watches can be off by as much as a minute per week! This is bad enough that I'd call a watch like that "unusable".
When the founders still control the board, in practice the buying company understands that what makes the acquisition work is that said founders end up happy, and that the outcomes for your typical employee can be sacrificed to the edge of what the law allows.

Maybe there's management carve-outs. Maybe the total value of the acquisition is lower, but as part of the negotiation, there are great transaction bonuses, or retention bonuses. The investors with preferred shares still get their liquidation preferences, but the common stock is worth a pittance. Maybe instead of an acquisition, some of this is turned into an asset sale, or there's some considerations for founders that involve very friendly rollover equity. Maybe the founders add a new kind of stock, or create a new legal entity as part of the acquisition that does... "interesting" things. An inventive legal team cannot do miracles, can make sure that the employees feel robbed either way.

The acquirer, the founders and the VCs with the biggest share will get what they want, and come up with something neither will challenge. So it can be down to just the workers to pool together and decide to sue for violation of fiduciary duty, which might not be fast or easy to prove. You aren't in the room where it happens, but everyone else is.
There's nothing inherent to the Chinese Room thought experiment that prohibits the operator inside from using a random number source combined with an arbitrarily sophisticated sequence of lookup tables to produce "stochastic parrot" behaviour. Anyone who has played as a Dungeon Master in D&D has used dice and tables for this.

Similarly for feedback. All the operator needs to do is log each input in a file marked for that user and then when new input arrives the old input is used as context in the lookup table. Ultimately, arbitrarily sophisticated intelligent behaviour can be produced without the operator ever having any understanding of it.
NB. This "pocketable" mini PC contains a fan and vapour chamber liquid cooling.
I have this too. What’s your age?
You sure it was "perfect"? Or was it just like that advice - realstic looking but actually not the best...
Linux desktops certainly handle low-resource environments well, particularly compared to Windows, but even so it has some omnipresent elevated latency relative to late 90s/early 00s commercial operating systems, which can be felt even on powerful hardware.

It’s hardly a dealbreaker and not even really a problem (which is probably why it’s still there) but making software instantaneous does wonders for improving how it feels to use.
MCP is absolutely a UI. It's just that the "user" is an LLM agent. Properly defining that interface is the main crucial piece of developing any tool.
The conclusion goes into that glassy-eyed realm of, “what if we’re no better than the algorithm?”

Problem is, we don’t even know what makes us think. So you can jump to any conclusion and nobody could really tell if you’re wrong.

We do know how transformers and layers work. They’re algorithms that crunch numbers. A great deal of numbers. And we can use the training set to generate plausible outputs given some input. Yes, stochastic parrot is a reduction of all the technical sophistication in LLMs. But it’s not entirely baseless. At the end of the day it is copying what’s in the training data. In a very clever way.

However, resist the temptation to believe we understand human brains and human thought. And resist the temptation to anthropomorphize algorithms. It’s data and patterns.
can you imagine saying something like

> The fradlis language encourages your average reader
to think of essays as syntax [instead of content].

and thinking it reflects well on the language

A reciprocating saw[0] is a great tool to have. It can be used to manipulate drywall, cut holes in various material, and generally allow "freehand cutting."

But it is not the right tool for making measured, repeatable, cuts. It is not the right tool for making perfect right-angle cuts, such as what is needed for framing walls.

In other words, use the right tool for the job.

If a problem is not best expressed with an AST mindset, LISP might not be the right tool for that job. But this is a statement about the job, not about the tool.

0 - https://en.wikipedia.org/wiki/Reciprocating_saw
A core idea of Richard Dawkins's second book “The extended phenotype” is that genes can also select for anything affecting the environment of the organism - i.e. genes for characteristics/behaviours that are external to the organism itself.

So there could be a gene selecting for getting watered by humans (e.g. via wilting or colour).

This can also create a connection between genes and memes e.g. a new flower characteristic could be genetic but affect popular memetic choice.

The concept is hard to grok & explain, so beware that there's a good chance I've misunderstood and mistranslated the idea.

https://en.wikipedia.org/wiki/The_Extended_Phenotype#Summary