skysight-inc/HackerNews huggingface dataset:
"Can AI do math for us" is the canonical wrong question. People want self-driving cars so they can drink and watch TV. We should crave tools that enhance our abilities, as tools have done since prehistoric times.

I'm a research mathematician. In the 1980's I'd ask everyone I knew a question, and flip through the hard bound library volumes of Mathematical Reviews, hoping to recognize something. If I was lucky, I'd get a hit in three weeks.

Internet search has shortened this turnaround. One instead needs to guess what someone else might call an idea. "Broken circuits?" Score! Still, time consuming.

I went all in on ChatGPT after hearing that Terry Tao had learned the Lean 4 proof assistant in a matter of weeks, relying heavily on AI advice. It's clumsy, but a very fast way to get suggestions.

Now, one can hold involved conversations with ChatGPT or Claude, exploring mathematical ideas. AI is often wrong, never knows when it's wrong, but people are like this too. Read how the insurance incidents for self-driving taxis are well below the human incident rates? Talking to fellow mathematicians can be frustrating, and so is talking with AI, but AI conversations go faster and can take place in the middle of the night.

I don't want AI to prove theorems for me, those theorems will be as boring as most of the dreck published by humans. I want AI to inspire bursts of creativity in humans.
Or if you don't want to do it from scratch, you can get a programmable readymade for a little more: https://shop.m5stack.com/products/m5stamp-fly-with-m5stamps3...

The included software stack is very basic, dig around on Japanese nerd Twitter for open source avionics.
The main difference being that Cargo is both for distributing and building locally AND it’s the blessed way of building all Rust projects. This means that as long as you have a copy of the codebase, it’s going to be using Cargo & you can add it with Cargo regardless of it being published formally to crates.io (the copy can even be remote since you can build from a git reference directly). Python packaging requires more work although there’s typically no build step so you can probably just __import__ the path and move on. JS is closer to Rust in that package.json is the standard way to manage components and you can import them even if they’re not published via the npm registry.

Pretending the situation isn’t very different for C++ is completely ignoring the standard committee’s complete abdication of standardizing a build system (which by the way if they’re not going to do, why are they bothering to standardize anything?)
I've bought 5 used and they're all perfect. But that's what buyer protection on ebay is for. Had to send back an Epyc mobo with bent pins and ebay handled it fine.
pgvector - I wasn't able to get HNSW to build/rebuild quickly [enough] with a few million vectors. Very possibly I was doing something wrong, but fun research time ran out and I needed to get back to building features.
Every one of those employees is capable of either using the new tools to start their own companies and solve unaddressed customer problems, or negotiate for comp that has equity. This has always been true.

The losers here are algorithm junkies who refuse to learn new skills and want to solve yesterday’s problems.
I’m sorry, but if LLMs are going to change the way we code, and the way we code is not even print debugging for junior developers. I know very few senior developers that use a debugger at all. I don’t understand why my question is trolling.

What is the best diet for those easily triggered?
Not in the embedded space. When you've worked on embedded systems long enough, you learn that you have to accept the compiler that the vendor provided you with, and you adapt your codebase to the limitations of that compiler. This means working around code generation bugs, adding #ifdefs to define typedefs for things like int16_t if they don't exist.

That said, things are a lot better than they were 15 years ago, and the mainstream ARM compilers used today are leagues better than the barely functional cobbled together ports from the early '00s. ARM64 is a tier 1 platform, and there are enough users of the platform that the extended QA team that embedded developers were unintentionally part of in the past is no longer really the case (at least when it comes to the compiler).

However, there are still truly obscure architectures (mostly 8 bit and 16 bit) that continue to have oddball compilers. And you accept and deal with that insanity because it means you're only paying $0.01 for that microcontroller to blink an LED when some kind of an event occurs.
> Incorrect. I was referring to the Nix language, as was hamandcheese.

I am hamandcheese. I replied to your comment. You didn't describe a single aspect of Nix-the-language. You wrote this:

> What does setting `foo: true` do? You can't go-to-definition on it. You can only hope it is well documented (it isn't) or try to find the place that reads that key ... somewhere... in all of Nix... Good luck.

It's appears (despite the wrong syntax, another clue that you are not particularly well informed) that you are referring to a NixOS module option. Or maybe a Home Manager module option. Either way, not a language feature.
A typography maestro getting calls from Hollywood
>I don't recall anybody being celebrated. They got a cool TV. Cool.

The original video gives plenty of appreciation to the people who made moving it possible, the shop owner, and the people who restored it to perfect working condition.
I nearly collapsed while moving my CRT out of the house. I have no recollection of the size, but putting it on my shoulder by myself was a terrible idea, and I’m very lucky I didn’t injure myself.

Nothing could persuade me to voluntarily go back to CRTs.
Show HN: I made a contract builder for frelancer and clients
Create & Sign Contracts 10x Faster.

ContraFast streamlines your contract workflow. Create, customize, and get contracts signed in minutes, not days.

— Create and send contracts in under 5 minutes
— Pre-built templates
— Digital signatures
Very cool! That’s hypnosis, if we want to insist with the psychological metaphors.

> If you run on the conversation the right way, you can become their internal monologue.

That’s what hypnosis in people is about, according to some: taking over someone else’s monologue.
Your optimism should be tempered with the downside of progress meaning that AI in the near future may not only inspire creativity in humans, but it can replace human creativity all together.

Why do I need to hire an artist for my movie/video game/advertisement when AI can replicate all the creativity I need.
Most people running local inference do so thorough quants with llamacpp (which runs on everything) or awq/exl2/mlx with vllm/tabbyAPI/lmstudio which are much faster to than using pytorch directly
You're dealing with much larger datasets than I have, so far - mine is only a few million vectors. I have a hard constraint on resources, so had to get things working quickly in a relatively gutless environment.
AI Girlfriend List
Huh, I've had much better luck, often buying from shadier places. I've bought a couple dozen cables from $CHINESE_RETAILER and they've all met the listed speed/power specs. I like to think I have an eye for spotting the passable items in an ocean of dropshipped sludge, but I'm not omnipotent. I do have an American brand that I'll order cables from if my money isn't paying for it.
A gotcha with importing ZFS pools and NFS exports on Linux
In free democracies, politicians are elected representatives, not rulers. They are accountable to voters through regular elections. Power is distributed across multiple branches/institutions. Citizens have protected rights and freedoms. Politicians can be voted out or recalled. Laws apply equally to politicians and citizens.

In practice, there's always a slippery slope, can wealthy people integrate themselves in that power structure, lobbying, media control, strength of checks and balances, level of corruption/transparency, etc. But when that slips, we stop calling it a free democracy, and it becomes an oligarchy, or a plutocracy, or an illiberal democracy.
I think the point they are making is that you only read what is shown you instead of seeing the full docs and being encouraged to follow rabbit holes and browse nearby info. Speaking for myself, this has been one of the largest boosters in my own career: visits to a docs page that led to me basically reading the whole docs.
Controlling Nondeterminism in Model-Based Tests with Prophecy Variables
AMD GPUs are becoming a serious contender for LLM inference. vLLM is already showing impressive performance on AMD [1], even with consumer-grade Radeon cards (even support GGUF) [2]. This could be a game-changer for folks who want to run LLMs without shelling out for expensive NVIDIA hardware.

[1] https://blog.vllm.ai/2024/10/23/vllm-serving-amd.html
[2] https://embeddedllm.com/blog/vllm-now-supports-running-gguf-...
Speaking of RTFM,

I visited my daughter's place and the new equipment there was a puzzler, with only little hard to see and not so intuitive icons to indicate different trays. So I downloaded all the pertinent manuals and figured out which tray does what.

Mine is simpler, older, and (I thought) obvious.

Cameras come with both a manual and "get started guide", the latter more like a checklist, a popular topic today.

https://news.ycombinator.com/item?id=42495262
DDT is still approved for mosquito control. It is problematic, but is very effective... The big deal was banning it for agricultural use. Targetted use to control malaria is probably justified, given the negatives of malaria.
But they're not using it wrong. They are using it as advertised by Wolfram themselves (read: himself).

The GP's rocket equation question is exactly the sort of use case for which Alpha has been touted for years.
Because like everything else in law, the lower charge becomes irrelevant in light of a worse offense. Breaking into someones home is burglary, but do it when someone is home and it becomes home invasion. Do it with a weapon and it becomes an aggravated charge.

At that point, nobody cares if you were trying to steal the silverware.
I've never noticed a title being rewritten automatically when posting an article. Are you sure that's really a thing?
Whats the difference between "idiots have to be scammed" vs "people who can't fend off a knife fighter while en route to the grocery store have to be stabbed"?

Some people are gullible, or trusting. This doesn't mean they don't have other gifts, or most of all good intentions. Applying an evolutionary pressure against people who can't fend off knife attackers is ultimately useless for human wellbeing

The real issue in the world isn't people not being smart enough to fend off attacks, but greed and ego

And besides, what is the root of such a 'idiot' person's deficiencies in the first place? Is it genetics? Or is it education, upbringing, early life traumas that stunt development?

Besides, the whole point of having fit genes in the first place is to bring about human happiness. If we use this to make people miserable it then shows that there is no substance to our perspective

> O CHILDREN OF MEN! Know ye not why We created you all from the same dust? That no one should exalt himself over the other. Ponder at all times in your hearts how ye were created. Since We have created you all from one same substance it is incumbent on you to be even as one soul, to walk with the same feet, eat with the same mouth and dwell in the same land, that from your inmost being, by your deeds and actions, the signs of oneness and the essence of detachment may be made manifest. Such is My counsel to you, O concourse of light! Heed ye this counsel that ye may obtain the fruit of holiness from the tree of wondrous glory.

> ~ Bahá’u’lláh
I think the paper referred by GP is this one: https://www.sciencedirect.com/science/article/abs/pii/S00035...
Lua "tables" are flat associative structures.

Rye "spreadsheets" are rectangular structures composed of rows and columns, like a SQL table or a dataframe.
> it's going to be locked into registered users, the system can go down

I didn't see anything in the screenshots presented that wouldn't be doable in a single HTML file containing the data, styles and scripts?

This is a countercultural idea but it fits so many use cases; it's a tragedy we don't do this more often. The two options are either PDF or SaaS.
My biggest disappointment with C++ is that the standard libraries are completely unsuitable for use in embedded systems where you have to control when, where and how many memory allocations occur. This is particularly important when the system level design choice is to perform all allocations at system startup, which is a common design pattern for high performance systems with real time characteristics. A high speed messaging system I worked on ran into this all the time. We couldn't use the standard implementations of things like heaps, hashes or queues because they don't have a way of making memory allocations occur at startup. It was quite common to have to re-implement those data structures when adding a new feature, as the stl or boost implementations were not suitable for this design pattern.
The pedestrian in front of you has the choice to be steered or to ignore you--or more unexpected actions. Which ever they choose has nothing to do with the person behind them taking away their autonomy and everything to do with what they felt like doing with it at the time. Just because the wants of the person behind them and willingness & aweness and choice of the person in front align with those wants does not take away the forward person's self governance.
There is research on AI limiting creative output in completive arenas. Essentially it breaks expectancy therefore deteriorates iteration.

https://direct.mit.edu/rest/article-abstract/102/3/583/96779...
> The ultimate answer is that it doesn't matter that much who controls the means of production, as long as we have access to its fruits.

That mattered a lot in communist places, we saw it fail. Same thing with most authoritarian regime today, it's a crap shoot. You simply can't entrust a small group with full control on the means of production and expect them to make it efficient, cheap, innovative, sustainable and affordable.
Giant hornets all got diabetes on the Standard American Diet and died... is my working theory.
It is a short paper well worth reading in full. The full quote is;

Simplicity is a great virtue but it requires hard work to achieve it and education to appreciate it. And to make matters worse: complexity sells better.

Another good quote is;

To which we may add that, the less the new science is understood, the higher these expectations. We all know, how computing is now expected to cure all ills of the world and more, and how as far as these expectations are concerned, even the sky is no longer accepted as the limit.

The analogy raises, for instance, the questions which current computer-related research will later be identified as computing's alchemy, and whether this identification can be speeded up,

Describes the current ML/AI craze perfectly.
I won't use TS again. I'll wait til JS gets a better types story and adopt that. Build step is a deal breaker imho.
Yeah, in retrospect, I'm an idiot. I wasn't considering `ssh foobar.io dothething` to be equivalent to what I was thinking in my head even though it is exactly equivalent.
I agree. Until i see better evidence for 1a, wmap, and cluster formation in another theory, i really want all the charlatans to be quiet. We dont know what dark energy is, but we have decent evidence to say it is there and also decent theory.

I am not saying this paper is made by charlatan btw. This type of work attracts those people though.
Just like when Deep Blue beat Kasparov, it was far from first page news.
LCM is revolutionary, but everyone still drinks the LLM cool-aid.
In Washington state they never expire.
Are you out of your mind? LLMs will require much more debugging, not less.

Separately, I have no idea which “senior developers” you know, but with or without LLMs, debugging is an immensely important part of development across the industry.
I know what kind of havok a gambling addiction can cause, and it's no joke. It's powerful enough (for some people, at least) that a comparison to addictive drugs generally is apt, yet the traps are everywhere and usually legal. Exploiting the psychological weakness that underpins gambling addiction is something sought after and optimized for outside of overt gambling, like modern video game mechanics, social media, cryptocurrency, retail stock investment, and so on.

In reflecting on why it's so addictive, I've come to believe there's a sort of feeling of adventure in random outcomes --that people like the entropy as well as the wins.

That said, going back to what I said before, my issue with the title of the article is with invoking crack specifically as some especially scary super-addictive thing, which is an idea that was over-hyped at one time. They could have just said cocaine, or better yet, made a comparison to opiates, but they're playing to an old and incorrect bias.
This is a fair question, though it's probably still mostly the same as pre-LLM: spoiled data, heinous cackling laughter, various darkweb fungi, and occasional raw flesh.
I don't think LLMs have anything to do with it. I've rarely seen devs reach for a debugger until they really really need to. In web dev it can be pretty hard, you need a reproducible bug or production server access. I can probably count on one hand the number of times a bug occurred that stumped me to that point.

If anything, I can see LLMs making debuggers more used because they'll help you with getting setup and interpreting what is going on.
My team was working with 2 non-tesla charging vendors this summer. Terrible, couldn't get them to work, waiting weeks for the vendors to fix their shit, no support, no documentation (seriously). It was like a college intern who went through a bootcamp tried to throw one together. Wouldn't trust them to make a USB charger.
This thing seems like tcl and forth had a baby

Anyway, in the spirit of being helpful I found an asciinema of the spreadsheet behavior https://asciinema.org/a/647708 (from https://github.com/refaktor/rye#asciinema-demos )
I discovered copilot was disrupting my flow and providing subpar suggestions. Autocomplete and language servers seemed to result in me not knowing the language and libraries as good as I would otherwise.

I almost always have a browser with documentation open on another monitor and while there is a speed hit removing the tools I feel like it improved my mastery of software engineering overall.
Langsmith only shows the llm inferences. Also it hardly works with other frameworks like crewai for instance.
You can't beat the market but you don't need to. The ordinary returns of GDP growth are pretty good.

The free money has definitely been screwing with GDP as a base. I'm still unclear on why the Fed would lower interest rates when the market is fine, the GDP is fine, and inflation is still slightly above baseline 2%. I know everyone is yelling for the punch bowl to come back but now would be a good time to pay down some debts.
Congrats David & the whole team! Really enjoy everything Sakana AI produces and always look forward to your research results.
What effect did the DOJ have on MS in the 90s? Didn't all of that get rolled back before they had to pay a dime, and all it amounted to was that browser choice screen that was around for a while? Hardly a crippling blow. If anything that showed the weakness of regulators in fights against big tech, just outlast them and you're fine.
10 ways Amazon Nova LLM suite can shape the future of product development
If you ever go near there again, and havn't seen it, take a detour to https://de.wikipedia.org/wiki/Müngstener_Brücke , unfortunately you can't go over it, except by train, but one can go by car through the valley below it, and stop there. It's from about the same time.

(I've been up there in a cold and clear night in spring, during full moon, crystal clear starry night, light mist rolling down from the forests on the hills into the valley, owls and bats flying, all very silent, except for the calls of the owls and that strange sound bats make. Almost got caught! But didn't :))

Otherwise lovely smalltown germany near there is https://de.wikipedia.org/wiki/Hückeswagen with cobblestone streets in 'downtown' and old houses with this: https://de.wikipedia.org/wiki/Bergischer_Dreiklang

Also much water near there in the https://de.wikipedia.org/wiki/Bevertalsperre

Maybe https://en.wikipedia.org/wiki/Heimatschutz_Architecture is of interest to you ;)
I suggested the same queueing system like a year ago, haven't heard of anyone implementing it. Even companies doing managed charging, they are in much more of a rush to sign a contract than make it work well.

You can tell nobody thought it through, just pushing all the chargers up against the borders of properties because that's what requires the least construction and least coordination with property owners. Customers get the shaft.
Demis Hassabis: Alphabet has shipped a ton of major AI products recently
With regards to US politics, there's campaign funding considerations as to how corporations assist candidates https://defendcampaigns.org/donors
Really cool! Now do it with colored text. :p
Tbh, while their SDK openllmetry is good, traceloop the product hardly has their basic solution in order.
Hey look, it's Ryan from The Office
AI Trends 2024
Actually, we haven't all been there. Some of us took to heart the lesson from War Games (1983), and apply it liberally:

"An interesting game Dr Falkon: The only way to win is not to play."
Correct, URLs can be something like 4,000 characters long in 15 year old Firefox. I wonder what the current maximum length is?

Today, Chrome supports 32,768 characters.. good luck processing that in 4,000 cycles! It'd require SIMD or some other fanciness.
I have heard serious concerns about letting genetically modified organisms loose in the wild, but not about killing mosquitos.

YAALS (yet another anti-liberal strawperson)? The term 'hand-wringing' seems to signal it, but I can't read anyone's mind.
Planetwalker: Why One Man Didn't Speak for 17 Years
relevant: https://news.ycombinator.com/item?id=42449482
Welcome to hacker News! Yes, we find ignorance funny. I think people adding fuel to the fire are the ones freaking out about aliens or Iranian mother ships. Pointing out that the this is a hysteria event is more akin to pouring water on the flames.
> There's a wide variety of valuable benefits to plastic food packaging in general

Yea, it's cheap and makes an effective seal. I still think 95% of it is unnecessary, and some of that 95% is probably actively worse in its damage compared to its benefit. I'm no chemist, nor no doctor, but the amount of plastic that's intended to be used in cooking food itself at high temperatures makes me extremely uncomfortable. This goes for restaurants, too, it's not just frozen dinners and instant ramen.

Legislating use of chemicals—particularly around industrialized food production—seems extremely difficult, but I think it's still worth the effort
i see it as just accelerating normalizing cheap drones everywhere.
Gee, before talking about complex stuff like decision trees, how about we start with something really simple like not requiring a login to download the stupid PDF from NCCN?
Concepts are in C++20. I don't know the specifics but it's my understanding that the version we got is stripped down in comparison to the original proposal.
I think I'm missing your point? You still want to enjoy doing math yourself? Is that what you are saying? So you equate "Can AI do math in my place?" with "Can AI drink and watch TV in my place?"