aeyes
aeyes on Hacker News
What has changed? On my Google Maps it shows as: Gulf of Mexico (Gulf of America).
I'm located south of the equator.
It would be interesting to know what ThinkPad model it was. The older ones had pretty small trackpads so they were difficult to reach.
On Macbooks the trackpad is so large that you can reach it even from the sides of the laptop and the two finger scrolling actually works without second thought.
What phone is that? I thought they all had variable refresh rate nowadays.
looks like their normal layoff package
It's also extremely short-sighted, a working exploit could be published at any time. The PoC was confirmed by the PHP developers so this is only a question of time.
And what do you do then? Walk around the block? Flip a coin?
Good reminder to never use Amazon Linux. What is taking them so long to package a minor release?
Its already live, Starlink works in the Arctic far outside the line of sight of any base station.
But how do they do it technically? Some countries require anti-islanding devices for grid connected solar, these are around $1000. That alone is much more expensive than the $300 plug in panels.
Looks like a mainframe computer and their selling point is that the operating system is open source.
I have no idea why you'd buy that over any of the more established players that have a proven track record of being able to support these multi-million dollar machines for many years.
> theorem main : MainStatement.{u} := by
> sorry
no proof
Check the pictures, this doesn't look like a house to me. 2 levels of workshop areas and an office area.
Also the swimming pool is in the front yard, thats a weird one.
That could be caused by EU regulation because they have to meet fleet emission standards. Pretty much the only way to get there is to sell some EVs.
You don't need an EV charger. I charge my car from a normal wall socket over night, limited to 12A. That gives me 60 miles of range over night.
On Windows its not the same.
- MDI applications, for example old Photoshop and old Excel, can have multiple child windows inside of a single window. If you close the main window with the X button then everything closes.
- If you start multiple instances of an application you'll see multiple instances in the taskbar. On MacOS this is not really the intended way, you are supposed to have multiple windows. Afaik you can only launch multiple instances from the command line.
On Windows there are apps that minimize to tray instead of closing. I'd say that this is a similar problem but its a bit better than Slack on MacOS that just minimizes to Dock when you click the X button.
> You might want to read Apple human interface guidelines for what those buttons actually do.
Almost every app on MacOS does whatever they want with the minimize and close buttons. They are completely useless to me, you never know what will happen. And this isn't a recent problem, the way multiple windows are treated as one app is just unintuitive.
I don't think that nuclear projects of any size could pass current environmental impact assessments.
Only a severe energy shortage could motivate politicians enough to temporarily skip these, like they did for the LNG terminals. But you can't build a nuclear power plant of any size within a single legislative period so its just not going to happen.
The reason is money. They want regulation to make it harder for new competitors and competitors from other countries.
They invested billions into training the models but there is no competitive advantage, we see that within a couple of months everyone catches up. There is no way to profitability unless they get some policies to shields them against competitors that can't comply with the regulatory requirements.
That is also why there are things like Claude, Codex and Cursor. They are trying hard to build a customer relationship with a higher switching cost that hopefully sticks.
But the problem is that the AI buildout has become a large percentage of GDP. So obviously the government wants to keep it going because these companies are pumping enormous amounts of money into the economy.
The cold start numbers on that blog post show that its faster than AWS Lambda but your linked benchmark page [1] shows that Lambda is not only much faster but also much more consistent.
[1] https://cold.picheta.me/#bare
The author is not rebuilding anything, they just stuck a Raspberry Pi in the case.
My stream doesn't have constant pressure throughout the process ;-)
net income was 80 billion in the last 2 years alone, what are you talking about?
If those 1000 devs write to different branches then you only take a light lock on the branch, usually that is not the problem.
The problems start when there is a lot of changes on one branch and usually the first band-aid is to put a commit queue in place. The few very big companies that need even more than that probably aren't going to put their code on a new git hosting provider tomorrow.
I was there before 2018, their reliability was never that good.
I still remember that they launched GitHub Actions in 2018 and back then I was thinking: They can't even make the website reliable, surely this will only cause them more problems.
The kernel is solid, its all the userspace software where they are fumbling hard.
For intelligence, I expect the next breakthrough to be colocation of memory and compute in the same chip. And we'll need much more of this memory, probably a few petabytes.
It's a terminal emulator with a command prompt that also gives you access to LLMs. But the interesting bit for people who work on a lot of machines is that this also works when you ssh to any remote machine.
So you can bring your agents to any remote system, it even works somewhat well for network devices.
And now there are tools like Warp Terminal which make me feel like all that knowledge about command line tools is just dead weight in my brain.