skysight-inc/HackerNews huggingface dataset:
Yes, o1 hid its input. Still, it also provided a summary of its reasoning steps. In the email case, o1 thought for six seconds, summarized its thinking as "summarizing the email", and then provided the answer.

We saw this in other questions as well. For example, if you asked o1 to write a "python function to download a CSV from a URL and create a SQLite table with the right columns and insert that data into it", it would immediately produce the answer. [4] If you asked it a hard math question, it would try dozens of reasoning strategies before producing an answer. [5]

[4] https://github.com/ubicloud/ubicloud/discussions/2608#discus...

[5] https://github.com/ubicloud/ubicloud/discussions/2608#discus...
That's a lot of great information that doesn't come close to actually answering the question.

How does that image betray anything you just said. In the example image, the background is clear while the earth is a motion blur. This is obvious of a long exposure image while showing the camera is moving to track the stars with the earth is in motion below it.
go to https://en.m.wikipedia.org/wiki/Legal_status_of_cocaine and sort by legality
I think technology is making the general populace stupider. Presidential debates are a litmus test for what politicians expect of the populace. A hundred years ago they sounded a lot different than how they sound now. Does your nihilism encompass this change as well?
YC’s own incredible Unsloth team already has you covered:

https://huggingface.co/unsloth/DeepSeek-R1-Distill-Llama-8B
Sonic Compliance
> US lawmakers were somehow convinced ByteDance would absolutely divest from TikTok if threatened with an ultimatum

I worked on the bill. Everyone assumed it would hit the ban, get an extension, and then either remain banned or get sold to Elon, Ellison or a Brexiteer.
Heh; I thought you were talking about trump the first few times I read this.

He appointed a bunch of corrupt Supreme Court judges, and they upheld an obviously unconstitutional law (bill of attainment). Now, on his first day in office, he gets to be a hero by unilaterally deciding not to enforce the law.

So, moving forward, (1) we should expect increasingly unjust and draconian laws, and (2) as long as you do what Trump asks, you can break whatever federal laws you want.

(Zukerberg, Bezos and Trump have already gotten in line for this.)
It's pretty clear, because OpenAI has no clue what they are doing. If I was the CEO of OpenAI, I would have invested significantly in catastrophic forgetting mitigations and built a model capable of continual learning.

If you have a model that can learn as you go, then the concept of accuracy on a static benchmark would become meaningless, since a perfect continual learning model would memorize all the answers within a few passes and always achieve a 100% score on every question. The only relevant metrics would be sample efficiency and time to convergence. i.e. how quickly does the system learn?
You're missing the part where 25% of the problems were representative of problems top tier undergrads would solve in competitions. Those problems are not based on material that only exists in half a dozen papers.

Tao saw the hardest problems, but there's no concrete evidence that o3 solved any of the hardest problems.
Thanks for that! It seems that unsloth actually beat me to [it](https://huggingface.co/unsloth/DeepSeek-R1-Distill-Llama-8B-...)!

Edit: Running the DeepSeek-R1-Distill-Llama-8B-Q8_0 gives me about 3t/s and destroys my system performance on the base m4 mini. Trying the Q4_K_M model next.
Germany has multiple successful and innovative engineering companies, where engineers work for good wages.

>Where is it? Did she really accomplish something?

Building a fusion reactor is not that hard, although that example is probably hyperbole. Note that a fusion reactor is something totally different than a fusion reactor which outputs net energy.
Ask HN: Learning iOS Development in 2025
Hello folks,

I'm gathering recommendations for beginning my studies on iOS development.

What resources do you recommend?
Besides courses I'd love to get to know the history of the development practices since those help me understand the current state of things.

From now I know that Stanford has a iOS development course that seems to be complete, and I've seen someone mentioning PluralSight as a good source.

https://cs193p.sites.stanford.edu/ -> the Stanford course.
Thank you for clarifying!

The english translations are similar enough that I assumed a connection.
Hey chatgpt, write me interview questions.
I used to live and work in Cambridge. In many ways it's a victim of its own success; people will, not unreasonably, argue that it's a beautiful little town of historic buildings, embedded in a primarily agricultural county of either prime agricultural land or protected wetland. They're not going to let you build Shenzen in Shelford no matter what the economic benefit might be. Meanwhile it's close enough to London that the property prices tick upwards to London commuter weighting.

(This is also why we have expensive electricity, because people oppose building any infrastructure. I'm coming round to the idea that there should just be county-by-county referendums where people have to pick either blanket allowing energy development or having a bill surcharge.)
Yep, my one support chat with Prusa was probably the best tech support experience I've had in at least a decade -- possibly longer.
Gyros on gimbals have other drawbacks, such as drifting and gimbal lock.
As an amateur leatherworker myself, these talented folk are so incredible to read about. Quite reassuring to see the familiar Fiebing's products in their workshops though (dye reducer in this case).
Trae IDE
Does anyone have any resources which explain why eSIMs tunnel your network traffic to the provider? My mental model for old fashioned physical SIMs is that they would roam on the network you're visiting. ie, a Chinese physical SIM on a US network would show up from the US network, and would otherwise be normal except that the phone and network traffic would be very expensive. My understanding of eSIMs is that they act more like a VPN; your network (and phone?) traffic is tunneled back to the home network.
> they were never prepared for an actual ban

This is have your cake and eat it too politics. I can pointedly say that Schumer’s office isn’t surprised Bytedance ran out its 180 days.
Executive order calls for cybersecurity review of civil space systems
That's the title link, too.
Out of curiosity, do you consider Twitter and X the same thing? I'm asking because you are placing them side by side.
Not that facts matter anymore:

https://www.theatlantic.com/ideas/archive/2023/09/trump-mill...
Better title:

> IdeaVim is a Vim engine for JetBrains IDEs.
This is all nonsense. I just got a a1, and its my first 3d printer. I dont have any expertise. Ive been able to use the Bambu App and Maker world and basically control+P. Ive print about 10 things so far in the first week. I dont see why people are mad. They made the apple of printers. It just works(tm). I dont need anything else. People just get so upset over nothing.
Not really. UK salaries are largely comparable to those for a similar caliber of talent in China or India ($30-50k mid-career is doable in both markets).

The difference is countries like India, Czechia, Poland, Israel, Romania, etc all provide competitive tax incentives or subsidizes for R&D work, so you can hire competitive talent AND get preferential tax treatment.
I would do this instead:

type MyEnum = {
active: 0;
inactive: 1;
}

const MyEnum: MyEnum = {
active: 0,
inactive: 1,
}

const showAge = MyEnum.active;
const showPets = MyEnum.inactive;

It's slightly more duplication, but a lot more readable (imo) to those unfamiliar to utility types. TypeScript also enforces keeping them in sync.
Show HN: Google Messages for Web" Alternative
I made an open-source alternative to "Google Messages for web" that utilizes WebRTC data channels to show your phone's text messages in browser.

It's an Android app you can install on your phone, with a server that uses Socket.io for signaling and coturn for the TURN server. You can also self-host it if you prefer. All source code is in the repository.

Product: https://textondesk.lol/

Repository: https://github.com/realchandan/textondesk/

Demo: https://youtu.be/-O3HVSjb_lo
Bit of a distance to go for a pint in the evening.

Isn't JLR in Solihull? That's two hours from London.
Possibly, but I take other steps to cover my tracks. At least the operating system itself isn't snitching via telemetry.
Many people in that thread you linked to have criticized ROS and explained the issues they have with the build system, some even proposed improvements, but somehow you're the only one that had to have their permissions restricted because of your behavior. And that's after repeatedly breaking the code of conduct for years. I've yet to see any technical contribution from you in ROS or any other project. You don't know what groupthink means, you only know to play the victim, and even in that, you're doing a terrible job.
It would be great to eliminate manifest files but Dependency Confusion, supply chain attacks and malicious project takeovers are a huge security challenge right now.
Just because he was a wannabe terrorist doesn't make him a Muslim which what you claimed

The people who were jailed were generally jailed for rioting and incitement to riot
But again, how does a lawsuit compel the president to do anything? They can’t arrest or fine him. Ignoring the lawsuit is legal according to the Supreme Court decision in July.

And as for the next president, well, he would just have to tell byte dance what his price is to allow them to operate.
try this one https://justine.lol/blinkenlights/
When systemd broke tmux (which isn't a Linux project, but ported from OpenBSD) and instead of reverting or fixing their own bug, systemd devs went to the OpenBSD folks and asked them to work around the bug that they caused themselves. This is ragebait-level insolence:

https://github.com/tmux/tmux/issues/428
They were selling at or sometimes below the price point of printers that you build yourself.

They're good products, and they are clearly selling at a low enough price point to push for market capture.

The pricing, special features tied into their own AMS + filaments, special features tied into their own slicer. These all indicate that they were building towards this sort of behaviour.
How Is AI Reshaping the Way We Do ECommerce?
I found my google maps app for navigation and image translation via google lens/translator app ate up a ton of my data. I had to turn off off a setting or two to reduce the maps data.
I'm not sure if LLMs would do better or worse at edge cases, but I agree humans WOULD need to study the edge case tests, like you said. Very good point. Interestingly though LLMs might help identify more edge cases us humans didn't see.
We already got Nordstreamed by Nordstream.
> My mental model for old fashioned physical SIMs is that they would roam on the network you're visiting.

No, that's never really been the case. It's technically possible (and called "local breakout"), but for various reasons I also don't fully understand, it's usually not done that way.

One is legal liability for user actions; another is accessibility of services at home, such as banking apps, that are probably more comfortable with a familiar IP.
Irritability and Social Media Use in US Adults
Alfred on the Mac is a one-time purchase that only works for the major version it was purchased for.

Rectangle Pro as well.
I've been on the fence about purchasing a Bambu. But given the amount of time I've spent over the past few years having to tweak my ender 3 V2 and CR-10- I was leaning towards finally splurging on a X1C.

Question to those more familiar with the bambu software ecosystem - do these recent changes to authentication require a constant online connection to print anything from a machine on the LAN? I'm assuming printing via microSD will still be possible?
The arrival of Islam in Sogdiana resulted in an immediate decline in written transmission of other major religions, and they were gone by approximately the year 1000 CE. Even the Pamirs, always a relative backwater, were Muslim by the middle of the medieval era. Of course Islam in the region, just like the world religions preceding them, was mixed with age-old pagan beliefs or laxly observant, but in terms of politics and society, Islam of some form certainly became the dominant religion early, and that was due to the violent overthrow of the preceding regime by Qutaya b. Muslim al-Bāhilī and the installment of one that chose Islam as an official religion.
Alternatively, use a global eSIM purely for data access, then use your phone as a SIP client (or use something like Google Voice) for PSTN access, eschewing the mobile network entirely.
Why "learn" anything when the computer just gives you the answer?

The computer won't chide you for not manually gathering and reviewing sources for an essay, not understanding units in physics formulas to check your own answers, not extracting casual relationships between events by closely reading a dense text. It'll give you the answer as quickly as possible so that you can go back to viewing short videos.

All the information has always been out there for students to pick it up but a vanishingly small few actually do.
I do almost the same thing, except I also offer a monthly subscription. The reason being that I’ve run into some companies that absolutely only want to pay monthly, and others that absolutely only want to pay once. I figure it’s best to make it as easy as possible for them to pay.
There were no famines in the USSR from 1947 to 1991.
Voron for life
Seriously. The example in the book goes A->C->F to get the answer and I needed the TA to explain how you get to C from A and then also the steps to get to F from C in order to understand better then merely filling in the numbers.
It apparently can be done: https://www.youtube.com/watch?v=twFC0A_m0KI

Supposedly the people doing this at scale (for grey imports?) even de-solder the eSIM module and resell it, but I have my doubts about that part of the story.
Even the Americans can't manage economic isolation. It takes a global civilisation to build a smartphone. We might have been able to get closer to it by being in the EU, but now we're on our own on that one.
That’s the theory, but I have yet to see it play out in real life. Very few products are so identical that this would be the case.
I hadn't heard of "Property Testing" if that's a sort of term of art. I'll look into it. Anyway, yeah in TDD it's hard to say which part deserves more human scrutiny the tests or the implementations.
Maybe the kid of some ASML exec gets to go to Harvard?

Who knows. In the last batch of negotiations they never made the deal public. These deals get made by elites and the public never learns the details.
What if you use a solution like the one described in the article, and physically swap the SIM card to another device?
I just booted up a Creality ender 3 from 2017 that’s been dormant in my neighbors shed for years. My maker-friend scoffed and said toss it, get a bambu ! And yeah it’s a chore to level the bed every time I bumped into it and I might have to unclog the nozzle every once in a while but I did print a replacement part (the nut for the spool holder) and I know ill be able to maintain it, barebones means there’s not much to break.

As for operating systems, I’ve been daily driving Fedora 40 and now 41 with gnome environment and it’s been the best OS experience I’ve had yet, I haven’t had to open terminal once to configure a single thing, all my apps are installed from the software “store” GUI and I’ve got the sleep and wake behavior all dialed in the way I like.

It runs equally well on a 2014 Intel Mac mini and a 2024 Mac Studio via Asahi Linux, which was also a super simple install process (uninstalling it and reclaiming the disk space required me to reset the whole drive but pretty sure that was my fault for deleting the asahi partition the wrong way)

Anyway maybe give it a shot, and self hosting things is only getting easier, Jellyfin and Immich have changed my life, at least the virtual side of it :)
Interesting, do you know why that is the case? Does it use BIP as a communication channel, and the iPhone doesn't route that over Wi-Fi?
I am disgusted by this deplorable memecoin fraud but the reporting on this is terrible.

A more real market cap is around $6 billion - still outrageous and there is no need to mis-calculate it.
> But they can’t be redownloaded if deleted or restored if you move to a new device.

I understand not being able to redownload the app, but you can't restore the app if you move to a new device? I had no clue Apple checked which apps you were restoring. On Android you could get the apk and reinstall just fine without Google stopping you.
I noticed that, tried it anyway, and it worked. Would probably be helpful if it was properly documented.
ErgoWarp Keyboard
i dont know any 15 year olds without access to a laptop in some form. mac os has a very posix shell. i did K&R c on an old macbook. stop wasting time worrying about this and go buy a 50 pack of old office thinkpads and give them to every teenager you know. and if they say no just break their phone in half. thank me later son i love you papa i wish i knew how much i loved arch linux before you died.
So many interesting events in history. But why a random one of them is at the HN top page?
Great, I've found DeepSeek to consistently be a better programmer than Chat GPT or Claude.

I'm also hoping for progress on mini models, could you imagine playing Magic The Gathering against a LLM model! It would quickly become impossible like Chess.
The main result is not about magnetism, it is that it is possible within quantum field theory to have phenomena that are stable whatever the temperature is. That is really interesting.
> how does the chinese spying on them make any difference for the average citizen? If I was a regular american and had to choose I'd take the foreign spy 10/10 times

I hope our adversaries believe the same one day!
Written with ed, of course.
I suspect that in any of the big cities in America you can't just buy a plot and start building, for exactly the same reasons. See also the complexities of CA fire insurance.
For anyone wanting GGUFs, I uploaded them to https://huggingface.co/collections/unsloth/deepseek-r1-all-v...

There's the distilled R1 GGUFs for Llama 8B, Qwen 1.5B, 7B, 14B, and I'm still uploading Llama 70B and Qwen 32B.

Also I uploaded a 2bit quant for the large MoE (200GB in disk size) to https://huggingface.co/unsloth/DeepSeek-R1-GGUF
Just make it hard enough to keep the mostly-honest people honest.
Don’t worry, Trump will get us another pandemic.

We still haven’t restored the part of the US federal government that stopped SARSv1 (they operated out of China and other countries with the cooperation of local authorities). Trump disbanded them before SARSv2 (aka COVID-19), so they weren’t around to respond to it.

Also, we’re still funding the biological weapons research programs that almost certainly created COVID (according to documents from multiple departments in the Biden administration).

On top of all that, RFK’s trying to switch everyone to raw milk in the middle of a bird/cow flu pandemic. That creates a new disease transmission vector that’ll probably help it cross to humans.
You are looking at the wrong thing. Nobody looks at bunched parentheses for any reason, unless they are investigating a suspicion that the code's indentation is wrong. In that situation, all that matters is whether the bunch contains the correct number of parentheses, not which specific closers match which specific openers.

(foo
(bar
(baz (xyzzy arg))
(bar arg))

We know from the indentation that this is supposed to be a closed unit:

(bar
(baz (xyzzy arg))

But it needs three closing parens ))) not just )).

If this problem is not accidentally compensated by a ) in the wrong place elsewhere, this code will error out.

One simple thing you can do is just automatically reindent the whole block. The indentation will then match the incorrect parentheses and the problem will be clear. Undo the temporary reformatting and fix it.
Where is it going to come from though? The news networks that propagated this nonsense seem to have realized this election cycle that its over for them. Comcast just spun off MSNBC and CNBC. That means they are going to milk it for whatever scraps are left and then toss it in the trash. The neoliberal left does not really have an effective online platform like the right and the progressive left have because they spent years dismissing online.
So now AI’s the hero of e-commerce, doing all the work we can’t be bothered with. Sure, let’s pretend it’s not just hype.
Just an end user, so don't quote me on this, but I think that requirement was largely a legacy Sprint requirement.

I've purchased newer Pixel devices from my local shop and activated Google Fi just fine overseas. (with the caveat that I might not have all of T-Mobile's bands if I'm back in the US).
I’m not familiar with Bambu, I’m a Prusa user, but if I had to guess you would always be able to print via microSD. It would be wildly unpopular to disable local printing.
> immediately becomes the target for GCHQ embedding/plants.

I'd be interested to hear more about this.
I don't think you have to draw that specific implication.

Given that the phenomenon is essentially real, what do you think that means?

Is reality problematic?
Correct. I advocated for both these bills. The TikTok ban carried Ukraine.
You can still buy a one seat perpetual license to Office
> It's going to be a major issue, especially in a world that requires higher and higher education

Society will bifurcate further; as mental labor is offloaded to GPUs, the demand for education will drop. A greater percentage of the workforce will be doing manual labor, and that doesn't really require much of an education at all. Those with means will have access to a proper education as always, but that group of people is going to shrink.
Speaking of inscrutable nonsense that antagonizes ally countries: I’m still pissed off about the Canadian lumber tariffs.
I'm told quantum navigation is the new hotness for being on lists these days
Took 1m 36s for me. My default prompt is a bit different “think from first principles”. It’s pretty verbose but I enjoyed looking through all the work it did. Pretty impressive !
I use it in rsmodules https://github.com/fretn/rsmodules and I’m very happy with my choice. Was easy to implement and the earliest versions already offered what I needed.

If the rhai author is reading this: thank you for this nice piece of software
Yet neighboring Nuristan (19th), Kohistan (18th), and Kashmir (17th) didn't fully islamize until the 17th-19th century - 7-10 centuries after Islam arrived in those regions.

> they were gone by approximately the year 1000 CE

Absolutely not.

Nestorian Christianity and Buddhism remained common in inner Asia until the 13th century with the Mongol invasions.

Depending on where you draw the line for Central Asia, non-Muslim religions remained significantly practiced in Central Asia well beyond that era as well.

At one point, the Tibetan empire even controlled Kabul during that era, and the Turk Shahis remained Buddhist or Hindu (depending on the leader) well beyond that era.

Even the leader of the Ghurid dynasty (Muhammad ibn Suri) was a Buddhist or Hindu Turk despite using a Muslim name.