skysight-inc/HackerNews huggingface dataset:
Show HN: I made a O1 AI math that turns F's into A+'s overnight
Late one night last year, I found my daughter in tears over her math homework. As a software engineer, I felt helpless watching her struggle with concepts I couldn't explain. That's when it hit me: if I, a tech-savvy parent, couldn't help, how were other families coping?

This realization sparked a 6-month coding frenzy. I dove headfirst into the world of AI and mathematics, fueled by countless cups of coffee and the dream of never seeing my daughter cry over math again. It wasn't easy - I hit roadblocks, scrapped entire prototypes, and questioned my sanity more times than I'd like to admit. But finally, after 3 complete overhauls and one particularly brutal all-nighter, AI MathGPT was born.

## What is AI MathGPT?

It's not just another math solver - it's a 24/7 AI-powered math genius that:

1. Breaks down problems step-by-step, explaining each move in plain English (or math-lish, if you prefer).
2. Adapts to each student's learning style faster than you can say "Pythagoras."
3. Provides instant feedback, turning those head-scratching moments into "aha!" celebrations.
4. Covers everything from basic arithmetic to calculus that would make Newton sweat.
5. Uses cutting-edge O1 AI technology to provide scarily accurate and lightning-fast responses.

## Why AI MathGPT?

- For students: No more math anxiety or late-night frustration. Just input your problem and watch the magic happen.
- For parents: Reclaim your evenings! No need to dust off your old textbooks or feel guilty about not understanding quadratic equations.
- For educators: A powerful ally in your mission to make math accessible and dare we say... fun?

I've poured my heart (and a good chunk of my sanity) into this project. Now, I'm turning to you, the HN community, for your brutal honesty. Try it out, push it to its limits, and let me know:

- Is it as revolutionary as I think it is?
- What features would make you do a happy dance?
- Any bugs that need squashing?

Let's work together to ensure no student ever has to face the math monster alone again!

https://aimathgpt.forit.ai

P.S. Did I mention it works faster than you can cheat? Not that we condone that, of course.
Despite all the bending over backwards to keep the fruit company on board with WebGPU, they still haven't actually shipped their Metal backend in Safari over a year after Chrome managed to ship DirectX, Metal and Vulkan backends simultaneously. Mozilla hasn't shipped WebGPU either but their resources can hardly be compared to Apples.
It's hard to understand how people view the NHS. Some people claim it's the national treasure, but how does that work if service is as abysmal as what you describe ?
> lowercase without caps reads with a warmer, informal tone

Personally, and I’m certain I’m not alone on this, it reads as annoying. It’s harder to follow and looks as if the writer didn’t care to do the bare minimum to make the text accessible and clear to the reader.

> there’s a Tom Scott Language Files video documenting it

Per that video (thank you for sharing), capital letters “make a paragraph easier to read” and “context matters” and “the conventions change fairly quickly” and typing in all lowercase is “sometimes okay”.

This is a post documenting a serious browser vulnerability, shared to the wide internet, not an informal conversation between buddies. Clarity matters. I don’t fully buy the tone argument and find words and sentence structure are more important. Take the following two examples:

> Just heard about your promotion, you beautiful bastard! Let’s go get pissed to celebrate, on me!

And:

> good afternoon mrs bartlet. the limousine will be available in twenty minutes. i would also like to apologise for my behaviour yesterday when i inadvertently insulted your husband it was a faux pas i promise will not be repeated. my resignation will be on your desk by noon.

I get that language evolves. You do you. Personally I hope this trend subsides like so many others before it. Maybe you don’t like to read properly structured text and prefer all lowercase. My preference is the reverse. And that’s OK, we don’t all have to be the same. I merely wish that people who prefer a certain style understand not everyone will see it the same way they do (and I’m including myself).
Google Flights seems to do this. Just leave the destination field empty and select direct flights only.
Ask HN: Anyone recently experience slowness on Google sites when using Firefox?
In the past few weeks, I've noticed that many of the google sites--Search, Gmail, Maps, Drive, Photos--have been frustratingly slow for me. I use Firefox on Mac OS. The pages take about a minute to load, and then it freezes again every few key strokes. It's practically unusable. But I really don't want to switch to Chrome. I can load and view others non-google sites without issues.

(Not) surprisingly, Youtube works well for me still, but I pay for Premium.

Anyone else seeing this?

EDIT: Add Gmail and s/notice/experience/ in title.
In high school my teachers were ok with me writing an app based on the formula sheets on my TI.

Some other students had complained, but the teacher knew I wrote the app and it required me to understand the math and risk my grades if I was wrong.

One teacher in specific said anyone was welcome to learn to program their calculator as long as they wrote it themselves and no two apps should look the same. I remember giving the teacher my app.

I was surprised and thought I might have to delete the app.
Good. The value of my pre-LLM degree is increasing.
Seriously, it looks like they just mine bitcoins :)
Sounds like they refunded you?
High quality boots definitely don't cost >$1000, and definitely not boots that are on par with the quality of DM from the 80s. DM from the 80s were "fine", but they still weren't really high quality and their soles were definitely not very durable.

Even today you can find excellent quality, resoleable boots, for $200-300. Just look at Redwing, Thursday, Wolverine and many, many others.
We need this for the Usagi Electric vacuum tube computer.
New invention mechanically destroys herbicide-resistant weed seeds
Note that this binary release is a preview of EloqKV. We're actively developing a cloud-native version with seamless scalability and a serverless experience. Stay tuned—it's coming soon!
You both are my people, haha. Did anyone build the connection cable?
Transactions are not needed for collusion or price-fixing. Those happen through regular communication channels. Economic coordination happens through price signals and commercial exchange. The more friction is attached to commercial exchange, the less people trade, and the fewer opportunities to coordinate for the benefit of all involved parties can be exploited.

In other words, taxing transactions reduces division of labor, which is one of the main sources of productivity:

https://en.wikipedia.org/wiki/Division_of_labour
what OS, build, and can you please link me to GH issues so i can chase them? We're not aware of any push problems.
Even solar energy's biggest fans are underestimating it
Humanize AI Text in Spanish
Elevate your AI-generated Spanish content to human-like quality with just one click. Try AITextHumanize and experience fluent, culturally relevant, and authentic Spanish text!
Isn't socio-economic status more heritable in the US than the UK? In the UK, inheritance tax is 40% and there's probably more redistributive taxation in general.
> Unsaid is of course that the USA accused, found guilty, and executed someone without trial

Wasn't this a military operation? He was killed in a raid on the compound.
This relies on Dust3r underneath as part of its stack (I didn’t read carefully enough to tell you if it’s training or inference but I think it’s training), which outputs splats. What’s special about this is that it outputs really dense nice point clouds with arbitrary photos. We have a lot more tools that work well with point clouds than with splats, so this is nice work.
Chris Lattner: LLVM 2.0 (2007) [video]
They were thinking...about the backhanders. Look at Cyprus, gateway for dirty Russian money in to the EU, swimming in Russian money, all sanctioned by the government and EU thanks to all the bribes they receive
It's really already very difficult to write good problem material for evaluations. Having to find a way where difficulty is intermediate for the target audience (not too easy, not too hard) but also too hard for LLMs would be very challenging / impossible for most disciplines.
Fascinating. How will we live ok back in, say five years, at this very funny period from, 2018ish to 2022ish when our echo chamber made us believe ESG was going to save the world.

How far we’ve come. Is it all due to the prospect of finally seeing a feasible road to AGI?!
Have you tried Vivaldi? It's really customizable and has a lot of features.
”I better buy a smaller clothes now in case I suddenly lose weight next week”
Unless you’re under the influence of something or having a severe mental health crisis you are not hallucinating, you’re confabulating.
Humans Wrestle Against Rivers
The "new Government" has not yet been in power for 100 days. How exactly have they not "come through on their promise to address it"? Given the old government didn't come through on similar promises on planning for 14 years, I think we can give them another year or so to get policy and statutes in place, no?
Surely in the same way early minters could see the dangers of forgery but not all its solutions, these new 'agents' will open up a host of new defenses to help deal with their potential terror -- especially in something like email spam, right?
Yeah with this and the privacy zinger at the end its definitely time my monthlong experiment with arc comes to a close. Too bad that the thing theyre actually proud of, the tabbing UX, was actually really good.
As you say, nginx does complain about the cert files not existing, so that's pretty close to what I do. I just start with the non-ssl version, let certbot do it's thing, and then copy the result after it's deployed (if I remember). It's mildly annoying, but it takes about 2 minutes in total so it's been like that for 2 years now.

I'm sure there's something smarter I can do, like reading back the result afterwards or someting and altering my local file. But honestly, once nginx is configured for an application, I almost never touch the config again anyway.

I suspect I'm more likely to move everything over to cloudflare tunnels and ditch dealing with ssl locally altogether at this point.
> 2 weeks to see a Dr, a year for an operation

Its the same in USA if you want to see a specialist. There is a worldwide shortage of qualified doctors.

I waited about 1.5yrs to get a routine endoscopy at northwestern hospital in chicago. We've gone to northwestern in downtown for decades and have never seen waits this bad.
Why the words we use in physics obscure the true nature of reality
Isn't this a machine for cheating?
Is this effectively some sort of knowledge distillation?
I don't agree, and your data points don't match my own. How is it readily apparent the new government won't "save us" when they haven't even got to 100 days in, yet?
I know that in some sense this is a duplicate [0] of a prior submission of the transcript, but I think it's very different to watch or listen to Fry actually give the speech, so I thought it could warrant a new post. I personally tried to read it and bounced off, but found the video to be much more accessible given Fry's distinctive style.

[0] https://news.ycombinator.com/item?id=41556195
> GP half a dozen times in the last year,

you are going to GP every two months? Usually you get referred to a specialist if you are that sick.
The thames tunnel costing as much in planning as Norway spent actually building the longest tunnel in the world. Construction projects are so fraught with regulatory burden that most of these costs are going to legal fees. It's not that they're not spending money. It's that public infrastructure is a money pit of legal fees
I had trouble with YouTube for a while but it hasn't been bad lately. No real problems with maps or search. I use Drive for work once a week to fill out a document that is kept there. No problems. I am running Windows though.
So, people who grew up with staff in the house are obsessed with class. That's perhaps disappointing, but not really surprising.

I'd bet, in the US, you'd find the same among people who grew up with staff in the house. The difference may be that, in the US, it's a lot harder to find people like that.
Mission impossible — do it with Windows!
Dynamic Thresholds in Grafana Alerting
Another factor is that Quantitative Easing (QE) kind of works for the US, but not for the UK: https://youtube.com/watch?v=goA9kkaDfTE / https://ghostarchive.org/varchive/goA9kkaDfTE
"So much for atoms being uncuttable."

This is a very common misunderstanding of what Democritus' atom means. Strassler forgets what he wrote a few sentences ago. Dalton named "atom" what he believed to be indivisible with the technology available to him at the moment. Dalton's atom was never indivisible. There is a confusion about naming. Physicists gladly perpetuate this confusion to suggest that they divided something that was indivisible. Democritus' atom is an ideal. Assuming that indivisible objects exist, if they exist, we call them atom. Of course, we can never know if what we observe is the limit of our technology or if it is really indivisible.

I think Strassler does not see that physics jargon is inherently and intentionally confusing and physicists like it that way.
As well as families that disagree with the politics and curriculum their public schools practice...
https://x.com/karpathy/status/1821277264996352246
He has a red stapler on his desk I think
So yes and no in my opinion. First, almost all recipes are written from being cooked in gas stoves and ovens. However, many people have electric. That alone will cause you a problem. Second, tweaking or hacking a little bit of a recipe is a great way to learn what techniques and ingredients do while not breaking the bank. At some point, you will have learned ingredients, tools, and techniques and you can just "cook". You know, like your grandmother could just cook somehow. It was from practice and experience and she always had her own "secret" recipes.
The answer lies in how much you like the taste of floor spice.
ESG ended up being a scam. Lots of these things are nothing but cover to make money off of people’s concern for the enviro.

All you need to look at is the carbon footprint of people who clamor and demonstrate for green policies. Including idiots gluing themselves to roadways —all the idle traffic they create and the manpower necessary to remove them and repair the damage. It’s a sucker’s game.
Either you ship one component to Asia where it'll be combined with thousands of parts made by factories literally in the same city, or you're shipping all those thousands of parts over the US for assembly. Even with zero labor cost for assembly it's not hard to guess which option is cheaper and easier to manage.
> third party (online travel agent)

I've used Google flights ~50 times and hadn't seen too many recommendations for flights booked through OTAs, but hard agree with avoiding them (and booking directly with the airline).
https://youtu.be/e-gwvmhyU7A?t=2h5m41s
Doesn’t this assume that the probability of a correct answer is iid? It can’t be that simple.
Actually Python was insufficient for the sort of grad student bugs I wanted to write, I was able to just wrap everything up in giant try blocks and then,

except:
print(“Something happened”, i)

(Where I might be an index. Or an element).

Fortran is able to generate better bugs, because it has allocate/free.
Most CPUs don't have the lanes for this anyways... after you install a video card and an NVME drive, you're lucky if you have 8 lanes to spare, let alone 16...
I roasted them on HN when they announced their product: Browsing the interest should not require an account. Its an "HTML Client", absolutely absurd. Hopefully they sit down and reconsider their choices.
Cybertruck Owner's Manual -Hitch Is Designed for Vertical Loads Up to 160 Pounds
She didn't write her book alone. Her partners were amazing. The result speaks for itself really. Anyone would be a better cook having read it and learned the fundamentals. Bridges a gap between French and American culture that benefits an American reader. Several recipes are 'best-of' for me. I have too many chickens so quiche is a staple at my house and I've tried so many recipes, but her's are my go to always. Even the book itself is beautiful, right down to the layout and font.
feels like the government need to set the tone for the rental market first then both owners and builders can decide if they want to participate.
Ok, but are you actually truly worried that it will happen to your phone out of the blue?

My point is a lot of crap in the world happen, I don't see this being something that will actually occupy anyones mind unless they're in job/role that puts them in harms way.
Why the hostile nature of your question? Sounds like there's some context to note.
Wouldn't this apply to all prediction machines that make errors.

Humans make bad predictions all the time but we still seem to manage to do some cool stuff here and there.

part of an agents architecture will be for it to minimize e and then ground the prediction loop against a reality check.

making LLMs bigger gets you a lower e with scale of data and compute but you will still need it to check against reality. test time compute also will play a roll as it can run through multiple scenarios and "search" for an answer.
Of course not! The main reason why people progress is to earn more money. Software is extremely unique in that you can make a lot of money on skill alone without needing to go into sales or management.

If you don't spend a lot and are saving, who cares what you do for a living?
I am not sure in this case, the explosive can be hidden inside a battery and the work can look professional if the people doing it had enough time and skills.
Perhaps an SMM ring -2 touchpad driver?

If you're developing anything on x86 that needs realtime - how do you disable SMM drivers causing unexpected latency?
This always seemed like a bit of bull from waymo. It's not an easy problem to work with existing manufacturers to give a better and or cheaper solution... Especially when there are established competitors with efficient verification and validation processes (that every manufacturer requires).

They decided it wasn't worth explaining that their techniques don't generalise to a driver assist. It would not be good or cheap enough to be worth developing the compliance and integration frameworks.
Arc was recommended to me by a friend. I deleted upon finding out I needed an account to use it. The excuse Arc gives is in case you want to sync. I'm capable of opting into that.
The article you link to explains that the Three Day Week led to the collapse of the Conservative gov in 74, and while Thatcher became leader, she did not come into power until 79. If the power outages led to anything, it was to a Labour gov.

(this is unrelated to the correct statement that there were widespread outages throughout the 70s)
Considering it is a teenager or young 20s person in the kitchen getting paid just above minimum wage and doesn't care about you at all ... yes?
If it makes any of us feel better, the wave of articles on this are more than likely an astroturfing campaign for early awareness of the movie.
this is like the human game of telephone.
Wow. AI has already accomplished more positive in a few years of big commercial stuff (admittedly as a side effect) than cryptocurrency has since, say 2009. :(
Good to see that he's still optimistic about Rust in the kernel. There was a small crowd when the drama was happening suggesting that Rust devs should just go write their own Linux-compatible kernel somewhere else which I found... insane. It's better to iterate and improve existing systems IMO.
The US has one of the largest freight rail networks in the world. We don't have as big of a passenger rail investment because nobody would ride most of it
These were the same Bolsonaro supporters who lost in the most recent election, yeah? A few thousand people in the streets is not material support in a country of 200M people.

https://en.wikipedia.org/wiki/2022_Brazilian_general_electio...

From your AP News citation:

> Supreme Court Justice Alexandre de Moraes ordered X’s nationwide ban on Aug. 30 after months of feuding with Musk over the limits of free speech. The powerful judge has spearheaded efforts to ban far-right users from spreading misinformation on social media, and he ramped up his clampdown after die-hard Bolsonaro supporters ransacked Congress and the presidential palace on Jan. 8, 2023, in an attempt to overturn Bolsonaro’s defeat in the presidential election.
Seems like customized version of luckysheet

https://dream-num.github.io/LuckysheetDemo/

https://github.com/dream-num/Luckysheet/issues/1454

I am not related to either sourcetable or luckysheet
Both models generate an answer after multiple turns, where each turn has access to the outputs from a previous turn. Both refer to the chain of outputs as a trace.

Since OpenAI did not specify what exactly is in their reasoning trace, it's not clear what if any difference there is between the approaches. They could be vastly different, or they could be slight variations of each other. Without details from OpenAI, it's not currently possible to tell.
I work here.
"Couldn't you keep both?"

Why would I want to? Did you actually read the story?
Thanks for the feedback! It’s not just a wrapper around an LLM—Trickle lets users integrate different tools into a workflow, all through a document-like interface. You can build multi-step processes that can be reused or shared as apps. While ChatGPT acts more like an chat assistant, Trickle helps you create structured workflows, making it more powerful and flexible for personalized tasks. And best of all, it’s as simple as writing a document!
> It’s readily apparent the new government won’t save us already.

I dont follow this line of reasoning too well. The conservative party was in power for fourteen years, 2010 to 2024. The new Labour government has been in power for less than fourteen weeks. Isnt it too soon to make any claims about their performance fixing the structural issues identified in this report?
Again the map is not the territory. On Twitter, I followed people I know amd companies/groups I’m interested in. That’s because I want to know what’s happening around them and the words are just the medium. Anything else is junk because I do not care. There may be some random thing that catch my interest, but that usually take more interaction than just reading. It’s all about intent and context, not the words themselves.
Stop learning to give feedback. Learn to receive it
Notes and Receipts (PCAPs) for TCP and ICMP Noise Storms
I feel like we are living in an episode of the Simpsons at this point
https://news.ycombinator.com/item?id=41594862
Book Review: The Essentials of Synthetic Aperture Radar (SAR)
> There is a worldwide shortage of qualified doctors.

I'm not sure you can extrapolate that it's worldwide because things are the same in UK and US.

FWIW, I had surgery in Spain recently and had to wait like two-three months tops. Probably depends a lot on the type of surgery and how urgent it is.
The local variation is incredible.

Where I am from the village health services act as gatekeepers for the more central services. Just in my direct circles I know of several situations where the central services gave the village services an earful for failing to refer people faster, in at least one case directly leading to death.

Those central services also seem to get further away every few years.