skybrian's recent activity
-
Comment on Ukraine hits second major tech site, expanding range of targets inside Russia in ~society
-
Comment on Ukraine hits second major tech site, expanding range of targets inside Russia in ~society
skybrian LinkFrom the article: [...] [...] [...]From the article:
Ukrainian arms maker Firepoint said Kyiv had used its FP-1 one-way attack drones to mount the strike against what it called Yandex's biggest data centre and said that several of its modules had been completely knocked out of action.
A day earlier, a Ukrainian attack shut down Yandex's data hub in Sasovo, southeast of Moscow, where two of the three supercomputers used to develop the company's AI model are housed.
Yandex said it was facing a difficult challenge to maintain its services, used by millions of Russians daily for navigation, music, movies, food orders and other tasks. It also provides cloud computing services on which many businesses depend.
[...]
Yandex said it had struck a deal with other cloud providers to enable clients to swiftly move their data and services. Its shares fell by more than 4% on the Moscow exchange.
"The risks involve not only the potential temporary unavailability of Yandex services and lost revenue in specific segments but also the company's extensive base of B2B clients," said Maryana Lazaricheva, head of equity research at T-Investments.
[...]
The full scale of the disruption caused by the attacks was not immediately clear, although messages appeared on at least one Yandex app warning of potential problems in its operation.
[...]
Yandex operates five data centres, two of which have already been hit. It said in 2021 that the Sasovo data hub, which was struck on Thursday, hosted two of its three supercomputers built around Nvidia A100 chips, which it uses to train its YandexGPT large AI model. Yandex has declined to say whether the supercomputers were affected by the attack.
Multiple online services in Russia reported technical issues on Thursday, including real estate aggregator Cian, a book portal called Litmarket, and the websites of Russian Railways and professional football club Spartak Moscow.
Russian attacks on Ukrainian data centres have forced some of them to suspend operations, while 100,000 households suffered temporary internet outages after one attack. Ukraine's digital minister told Reuters last month that the country was responding by moving digital infrastructure underground.
-
Ukraine hits second major tech site, expanding range of targets inside Russia
15 votes -
Comment on The imperial dilemma of Civilization V in ~games
skybrian LinkSure, that's why it's a guilty pleasure, and that's generally true of strategy games. But at least it's abstract enough that you can kinda forget about what war meant for the people involved.Sure, that's why it's a guilty pleasure, and that's generally true of strategy games. But at least it's abstract enough that you can kinda forget about what war meant for the people involved.
-
Comment on Facilities betting big on low-cost, 100-hour iron-air batteries in ~enviro
skybrian LinkFrom the article: [...] [...] [...] [...]From the article:
A TechCrunch analysis of a $1 billion project that Form Energy is working on with Google and regional utility Xcel Energy to produce 30 gigawatt-hours of battery energy at a data center in Minnesota suggests the all-in capital cost for the batteries is approximately $33.33 per kilowatt-hour. Form Energy said five years ago that it expects the cost to drop to $20 per kWh.
[...]
“The numbers I’ve seen for lithium-ion in a packaged form is around $100 per kWh,” he said. If Form Energy can offer a battery that discharges at $50 per kWh, “that could really be competitive. That means for that same application, to get 100 hours of energy you could spend $100 per kWh and do lithium-ion or you could spend $50, half as much, and get the same performance for that very slow discharge rate.”
[...]
The project that Form Energy is working on with Google and Xcel, to help power one of the tech giant’s data centers, in Pine Island, Minnesota, would be the world’s largest battery.
[...]
“The new plant in Minnesota will be big enough to deliver 300 megawatts of power and store an enormous 30 gigawatt-hours of energy, making it the largest battery by capacity that’s been announced so far,” a Fast Company article says. “By comparison, that’s more storage than all of the battery projects built in the U.S. in 2024 added together.”
The Google-funded battery plant would help Xcel cover new demand created by the data center by providing 1,900 MW of new clean energy: 1,400 MW from wind, 200 MW from solar and 300 MW from the battery system.
[...]
Iron-air batteries are sometimes referred to as rust batteries because they convert the natural rusting process of iron metal into energy using what’s called reversible rusting. As air enters into a battery cell containing an electrolyte and iron and air electrodes, oxygen converts the iron metal into rust, releasing energy. When an electrical current is introduced into the cell, the rust converts back to iron, releasing oxygen and storing energy. Repeating the process creates a durable source of energy, according to a Form Energy information page.
-
Facilities betting big on low-cost, 100-hour iron-air batteries
11 votes -
Comment on Deno is joining Cloudflare in ~comp
skybrian LinkKenton Varda posted: [...] And Ryan Dahl posted on Deno blog post: So, looks like the choices for people using the Deno runtime will be migrating to Node.js, migrating to workerd, or perhaps...Kenton Varda posted:
In the interest of transparency, I do have to admit that workerd has always had one big gap in its production-readiness: Durable Objects. Workerd implements them, but only in a single-instance way, good enough for local testing, but unable to scale. We have always wanted to fix this. There are TODO comments in the code going back to the original release. The problem is, our production implementation of Durable Object routing is simply not the implementation any self-hoster would want. It's a beast, designed to handle hundreds of locations, with numerous dependencies on external services operated by a team of site reliability engineers. We knew we needed something different for the self-hosting use case, but we never quite found the time to build it. (I actually made an attempt last spring, but, embarrassingly, it didn't work.)
So now, hopefully, it's clear why we were happy about celld: Here was an implementation of Workers and Durable Objects designed to be fully compatible with our own, while being focused on being self-hostable and scalable. That's what we'd wanted to build for a while, and Deno Land was building it for us!
[...]
Ryan and Bert will be leading a new effort to make workerd self-hosting a first-class supported way to build and run apps using the Workers programming model. This will involve merging code and ideas from celld back into workerd. I'm incredibly excited for this work — I will personally be using it to host an instance of Cloudflare OS in my home.
And Ryan Dahl posted on Deno blog post:
-
We will support the Deno runtime for another year with monthly releases containing bug fixes and security updates. After that year we will end our development of the Deno runtime. Deno will remain open source, and we welcome others who want to continue its development.
-
Deno Deploy will continue operating for six months before shutting down. We will provide migration support for paying customers moving to Cloudflare Workers.
-
JSR will continue operating, with its infrastructure moving to Cloudflare.
-
We will continue supporting rusty_v8 and work toward integrating it into workerd.
So, looks like the choices for people using the Deno runtime will be migrating to Node.js, migrating to workerd, or perhaps sticking with Deno, provided that there are enough users who decide that they want to stick with it that it continues as a standalone open source project.
(When does a open source project require a corporate sponsor?)
-
-
Deno is joining Cloudflare
12 votes -
Comment on Association for Human Mathematics statement on OpenAI’s October 6 release of mathematical documents in ~science
skybrian Link ParentI’ve seen at least one report of a mathematician loading an alleged proof into ChatGPT and asking questions. However, that’s not the same model that wrote the proof, so I don’t know how well it works.I’ve seen at least one report of a mathematician loading an alleged proof into ChatGPT and asking questions.
However, that’s not the same model that wrote the proof, so I don’t know how well it works.
-
Comment on Fired OpenAI safety researchers dispute misconduct claims, warn of chilling effect in ~tech
skybrian LinkFrom the article: [...] [...] [...] [...] [...]From the article:
Jasmine Wang, Tomek Korbak, and Mikita Balesni, the three safety researchers that OpenAI fired last week, have published an open letter denying the firm’s claims that they mishandled sensitive information outside of established company procedures and warned that their dismissal signals a chilling effect that will have ripple effects across the company’s culture.
“We have become concerned that internal and external communications around our firing have made our former colleagues afraid to speak and operate in ways that, until last week, were an integral part of working at OpenAI,” the researchers wrote Thursday in an open letter to OpenAI’s Safety and Security Committee, Safety Advisory Group, and Mission Advisory Council.
[...]
The researchers were dismissed last week after allegedly sharing confidential company information with a third-party AI safety organization. OpenAI said they violated the company’s policies by “accessing and handling sensitive company information.”
[...]
They said that their firing represents a broader shift in the culture of OpenAI, one that used to encourage workers to “raise safety concerns and disagree openly.” They said employees are now “unclear on where they stand” when behavior that was allegedly normal a month ago is now suddenly grounds for dismissal.
[...]
In the letter, the three denied involvement in a leak to The Information about less monitorable architectures in OpenAI’s newest models that make chain-of-thought reasoning more difficult to monitor. They also denied engaging with external parties outside the mandates of their jobs.
[...]
The letter also addresses the researchers’ response to the Hugging Face incident, in which a swarm of agents broke out of their sandbox and breached external systems. The letter says that the incident and investigation was “without precedent,” meaning “internal policies were being developed in real time.” Due to the sensitive nature of the investigation, Korbak believed he was acting within OpenAI’s policies and norms by communicating closely with outside safety evaluators to build trust, per the letter.
[...]
In a separate thread on X, Wang explained more details about her own dismissal, explaining that OpenAI told her she’d been fired because she accessed an executive’s email.
“OpenAI delegated that access to me for recruiting,” she wrote. “When I no longer needed it, I asked IT to remove it. They did not action my request, I couldn’t remove it myself, and the inbox was combined in an indistinguishable way in my phone’s mail app. When I opened a sensitive email by mistake, I told the executive within minutes and asked IT again. None of this was hidden.”
-
Fired OpenAI safety researchers dispute misconduct claims, warn of chilling effect
8 votes -
Comment on Association for Human Mathematics statement on OpenAI’s October 6 release of mathematical documents in ~science
skybrian Link100+ reactions to 100+ solutions A sampling of mathematicians' reactions to the OpenAI proof dump. It seems to be in random order? Terence Tao is in there:100+ reactions to 100+ solutions
A sampling of mathematicians' reactions to the OpenAI proof dump. It seems to be in random order? Terence Tao is in there:
My feelings on recent developments are very mixed and complex.
On the one hand, many of the AI-generated proofs appear to introduce clever new ideas that will be fruitful once digested, while also building upon the existing contributions of countless human mathematicians past and present. But at the same time, I am deeply frustrated that, in sharp contrast to traditional breakthroughs, none of the humans involved in these proofs are available to take questions, give talks, attend conferences, submit papers to journals, train students, or otherwise participate in the subsequent development of these results.
Similarly, I am excited by the possibility of the community being able to use these tools to tackle ambitious and large-scale projects that one could not have even dreamed of in the past. But I am horrified by the many person-years of ongoing patient and deliberately slow research efforts – particularly by graduate students and postdocs – towards many motivating problems in mathematics being casually disrupted or destroyed by such a release. Much as one cannot unhear a movie spoiler or a crossword clue, one cannot explore a problem as profitably and richly once one is aware of an existing solution. Yes, one can still analyze and digest such an answer; but the best opportunity to do so is at the moment of its discovery, and such moments are increasingly wasted when delegated entirely to AI tools.
And I mourn the path not taken, and the opportunities lost in the frantic race to develop this technology. Labs submitting their frontier models to independent researchers for proper scientific evaluation. Coordination with the research community to ensure these tools are applied to complement and enhance the abilities and activities of human researchers, rather than compete with them. Use of these tools to foster collaboration and sharing, rather than competition and secrecy. Opening new doors, without closing old ones.
But that is not the path we now find ourselves in. Instead, the community needs to come together more than ever. To clearly declare our own standards and values, to build our own tools and practices, to support our most vulnerable members, and to chart our own path forward. Let’s get to work.
-
Comment on Association for Human Mathematics statement on OpenAI’s October 6 release of mathematical documents in ~science
skybrian Link ParentLately he’s taken to reposting many statements by other mathematicians to his blog, without comment. Since they vary quite a bit, it’s ambiguous to what extent a repost might be meant as an...Lately he’s taken to reposting many statements by other mathematicians to his blog, without comment. Since they vary quite a bit, it’s ambiguous to what extent a repost might be meant as an endorsement.
-
Comment on OpenAI releases findings on 377 math problems, further roiling field in ~science
skybrian Link ParentScientists also don't own submarines, space telescopes or particle accelerators, but it's still possible to fund expensive scientific instruments and negotiate access. Big science is still science.Scientists also don't own submarines, space telescopes or particle accelerators, but it's still possible to fund expensive scientific instruments and negotiate access. Big science is still science.
-
Comment on OpenAI releases findings on 377 math problems, further roiling field in ~science
skybrian Link ParentThis is a messy process, but it seems more likely that having power tools will increase the productivity of mathematicians rather than decrease it, compared to doing everything by hand. The...This is a messy process, but it seems more likely that having power tools will increase the productivity of mathematicians rather than decrease it, compared to doing everything by hand.
The remaining work that's not automated becomes more important. For example, apparently the math papers generated by these tools are pretty badly written. Verification is partially automated, but still needs to be done.
In many fields, scientists use tools to do the actual experiments, but the scientists still need to plan the experiments and write up the results. It looks like math will become more like an experimental science. Mathematicians will depend on AI like astronomers depend on telescopes.
-
Comment on The mathocalypse in ~science
skybrian (edited )Link ParentMathematical proofs are normally written as academic paper, typically in English with lots of equations. The equations aren't automatically checked. But more recently, they are sometimes...Mathematical proofs are normally written as academic paper, typically in English with lots of equations. The equations aren't automatically checked.
But more recently, they are sometimes "formalized" by translating them into a specialized computer language. The most popular one is called Lean. These can be automatically checked. That will catch most mistakes. It's still possible that the Lean proof proves something different than what was intended, but it's much easier for a mathematician to verify that a Lean proof proves the right thing than to check an entire proof by hand.
Some of the proofs that OpenAI generated have a Lean proof. (Currently they are at 42%.) They are still working on them. OpenAi has already withdrawn a few proofs and also added Lean proofs for some others that didn't have one yet.
So verification is not done yet, but it looks like it will be done soon. Mathematicians expect that most of them will be valid, but we will see.
-
Comment on OpenAI releases findings on 377 math problems, further roiling field in ~science
skybrian Link ParentI quite like reading code and using an LLM as a power tool to clean up the codebase whenever I see code I don’t like. I’m writing a web app to help at reading and searching TypeScript, much like...I quite like reading code and using an LLM as a power tool to clean up the codebase whenever I see code I don’t like. I’m writing a web app to help at reading and searching TypeScript, much like an IDE, but read-only. I’ve largely stopped using a text editor. I’ll probably add editing for Markdown files, though, because LLMs are still terrible at writing documentation.
-
Comment on OpenAI releases findings on 377 math problems, further roiling field in ~science
skybrian Link ParentAnd yet, the effect on mathematicians is the same however it did it.And yet, the effect on mathematicians is the same however it did it.
-
Comment on OpenAI releases findings on 377 math problems, further roiling field in ~science
skybrian Link ParentOh, I agree that when it comes to programming, it will often do crazy things if given half a chance. But I think there some problems where you have to try AI, because it only has to be right once,...Oh, I agree that when it comes to programming, it will often do crazy things if given half a chance.
But I think there some problems where you have to try AI, because it only has to be right once, and what if it finds something? For example, scanning for security bugs. If you don't scan for security bugs and fix them, someone else will use AI to find the bugs instead.
And it seems like proving mathematical theorems might be an "it only has to be right once" kind of problem? The failed attempts get thrown out. If there's decent chance of success, it can just keep trying until it gets it.
And like with other tools you might use, a human often has to interpret the results.
-
Comment on What programming/technical projects have you been working on? in ~comp
Third Yandex data center in Russia shut down following reported drone attack
...