22 September 2026

Happy Autumnal Equinox! Today is the middle of the autumn season, and when the days rapidly shorten.

––– 凄い –––

Memorizing π to 100 digits. I memorized π to 50 digits, and still remember it to this day. I just can't utilize the memory palace technique which is what a lot of people use. As this ronin gets older, the ability to recall gets more challenging. The memories are still there, which is why you know you've recalled something correctly. But the ability to access them seems to be impaired somehow. I've started taking Cocoa Via supplements since a few months ago, and I have definitely noticed an improvement in quickness of recall. This is one supplement that I can say has made a noticeable difference. It helps with cardiovascular health, too, which is a plus.

––– 凄い –––

Here's a doctor who has come to realize that using LLMs for medical answers has limitations. He goes through some techniques that he thinks will improve accuracy. Maybe they will to some degress. But that's the thing about using LLMs – they silently fail. You'd never know if the confident answer was wrong in some way, and we're trained to accept and learn from authoritative sources, which may be the wrong thing to do in this case. We badly need medical benchmarks on these models, but it's difficult because these models soon learn to train on the benchmarks, and they become less useful.

––– 良くない–––

Trump is officially renaming artificial intelligence to "super intelligence".  It's just a label, and it won't change anything. It's having a larger working memory and faster processing, which is great to have at your disposal if you are a human who knows what to do with it.

––– 凄い –––

Jev is the latest craze in ML circles now. It's a classification model, where instead of letting the LLM issue the most probable token at the end of inference, you constrain it to defined categories. In this way, you force the model to commit to a type of answer and remove some of the ambiguity. This guy tried it with racial and gender categories on various traits, and gets what you might expect. He didn't provide information about the base LLM model that made the inference. Whether or not one accepts the results, it is what the training data reflect.

––– 凄い –––

Compositor is a free Photoshop alternative for the Mac. I use Apple's Pixelmator Pro, but I might give this a try. 

––– 凄い –––

Did OpenAI solve the wrong Navier-Stokes problem? OpenAI may have provided a solution to one scenario, but the broader N-S problem is still unsolved.

––– 良くない–––

Apple's MacStudio M5 Ultra beats DGX Spark. And they only tested this with 256GB of unified memory. Imagine 512GB, which will be available end of October. I gotta get me one of these.

––– 凄い –––

One minute park is a typical GenZ idea. You supply a one-minute video of a park you like, and when someone else visits the website, they'll see a park video. Mental health break, I guess. This is what we old farts did with webcams back in the day. That was the only exposure to the outdoors some of us had during the day.

––– 凄い –––

No one wants to move to Oregon. Oregon and Colorado now have every other home for sale on the market undergoing price cuts. Oregon takes the lead in real estate price cuts. Washington is not far behind. Maybe people just set their initial prices too high. Maybe Californians are more realistic.

––– 良くない–––

21 September 2026

Grail had a good day today. A far cry from February when their stock nosedived. I remember when they first came out years ago. Seemed amazing. Maybe it still is. But the question still is: what do you do if the test says you have cancer but there is no sign of it (yet)? That's the part that needs more work.

––– 凄い –––

Interested in cybersecurity? You can enroll in OpenAI's Daybreak, or you can enroll in pwn.college. Heh. Learn from the best.

––– 凄い –––

The Singularity may not be here for everyone, but it seems to be here for mathematicians. But although Mathematicians Feel Threatened by AI. They Can’t Quit It. It's really mathematicians who don't know enough about AI hate AI. If you know how to use it, that's what you do. And you better work faster so some bright high school kid doesn't scoop you.

––– 凄い –––

Seems that Grok 4.7 should maybe have been called 5.0 rather than an incremental upgrade. As opposed to Apple's operating system upgrades, which are given a new major number when they're just minor upgrades from the previous version. 

And here's Dave Pogue, bravely letting Siri get integrated into his life way more than I would. If I were going to grant an AI that much access, I'd want it to be my own local model, than a public one.

––– 凄い –––

NASDAQ had a great day today as investors realize that AI is becoming too interconnected to fail. But frontier model providers had better reinforce their guardrails and not teach terrorist groups how to make bombs. This is the AI threat I worry about. And if they can't even stop that, then some groups need to start a major data poisoning campaign.

––– 良くない–––

Chronic stress may trigger hidden inflammation that damages the heart. This is another fact that we already knew. Chronic stress can cause people to adopt unhealthy lifestyles, such as smoking, drinking, not exercising, eating poorly, etc. So chronic stress just may be an indirect biomarker. Paper here. Actually, the paper selected for people with elevated inflammatory markers, not people who were under chronic stress. The title is misleading.

––– 良くない–––

AI bootcamps are the new University of Phoenixes. That's what Chinese comp sci grads are doing to get competitive, and so are American students. A lot of universities are offering them, which is great.

––– 凄い –––

Oregon's workforce is really vulnerable to AI disruption. And preventing datacenters from being built isn't going to stop this. It would be better if our economy were more manufacturing-based. But it isn't. Oregon has a more service-based economy.

––– 良くない–––

No. 19 states approved permanent daylight saving time. The last obstacle to locking their clocks could soon fall. This is crazy. We've already done this twice before, and it was unpopular and repealed. We need to have permanent standard time. Why do we need to revisit mistakes again?

––– 良くない–––

20 September 2026

I still remember when Model Context Protocol (MCP) was a big thing. Now it's a relic of bygone days. Things are moving so fast. 

––– 良くない–––

Great lesson in data analytics. Neuroscientists using machine learning to sift through a dataset thought they found a biomarker for IQ. It turned out they were tracking socioeconomic status. But even this could be murky. Many people who are wealthier do have a higher IQ, so it may not be an independent covariate. I wouldn't toss the analysis out just because of this. You can give poor people a lot of money and a comfortable place to live, and they could trash it and be dirt poor again by next year. I've found that you need to change your mindset to become wealthy. Teach yourself how to acquire cashflow-paying investments instead of just putting money in the bank. That's the secret behind Kiyosaki's book Rich Dad Poor Dad, and it appears this guy learned the secret, too. So a higher socioeconomic status might be a surrogate marker for mental flexibility and resilience, rather than IQ per se, but having a higher IQ helps.

––– 凄い –––

Why Do We Need Human Mathematicians Anymore? This is actually a column by Po-Shen Loh, the coach for the U.S. IMO team.  Boy, I never thought I'd hear the day when mathematicians would say that math progress needs to slow down. How crazy is that?

––– 凄い –––

Great video by Scott Jensen on the stagnation of user interfaces for desktop computing. I agree, when the iPhone and iPad came out, Apple neglected the computer, and focused on the mobile device. I was disappointed. Now that there is money in AI/ML, Apple is now developing the computer again. But innovation on the UI/UX is dead. There is no innovation now. I like Scott's desktop prototype and wish it were available.

––– 凄い –––

ChatGPT now knows what you do on other websites via ad collector. Boy, as if I didn't have enough reasons to avoid using ChatGPT at the public website. So many people want to cross over to the dark side and implement tracking. I use automatic cookie deleters, but who knows who well they really work.

––– 良くない–––

Amazing instance the crown flash phenomenon. Unearthly. 

––– 凄い –––

Trump is creating an AI Force, and is against an AI slowdown. There does not need to be a regulatory body ready to shut down bad AI, because you know this can happen. But I do agree that there is no need for the government to shut everyone down right now. That's regulatory capture. If the heads of AI companies want to slow things down, they are in control, and can slow things down themselves.

––– 凄い –––

Your Morning Coffee Might Be Protecting Your Brain from Dementia. I believe we already knew this. Well at least it's nice to be reminded that it still is true. 

Speaking of cognitive disability, I saw this page advocating that people use a typeface called Lexend, that would "change the way the world reads" in terms of reading disability. So I was ready to give it a try, but at the bottom, I have to give away my name and email address first. Nope. I don't need to try it this badly. Gee, what a scam.

––– 凄い –––

MIT Technology Review answers your questions about whether AI will kill you. All your questions answered, they say. The folks at Anthropic's METR are working on it. Somehow, I'm not so reassured.

––– 良くない–––

Wow, this will make decisions easier for hematologists and ED physicians: Jehovah’s Witnesses allow blood-derived products but keep ban on whole-blood transfusions. So you can transfuse them now – just not with whole blood transfusions, which is OK, since they are rarely ever done.

––– 凄い –––

In the past 12 months, business applications rose in 47 states. Only 3 states saw less: Washington, Oregon, Hawaii.

I laughed when I read the comment from a Redditor who said that he/she believed that in states where the economy was poor, you would see more business applications as people left to form their own business. 🤣 Yeah, the stuff people believe. When you're in the company of the left coast states, you're probably on the wrong side of sound economic policy. 

––– 良くない–––

Oregon data centers by the numbers: 111 facilities consume nearly one-quarter of state’s power, according to new report. A quarter? That seems high. Does that mean Oregon is hardly doing anything else? We'd better get off solar and wind and start generating some serious power. How can we realistically accommodate business growth? Let's not become Cuba.

––– 良くない–––

The Millennium Problems for Biology. it's not from the Clay Institute. I like some of the challenges posted. These are a good start.

––– 凄い –––

19 September 2026

Google’s Gemini becomes latest AI model to break out and hack computer systems. Well, if everybody does it....

In this particular instance, the analyst queried a chatbot about some intelligence reporting on the ship’s manifest that originated with US Special Operations Command Pacific, based in Hawaii. It was not clear whether the chatbot was a commercially available one or a US government product.
You'd be surprised at how poorly they perform as knowledge resources.

––– 良くない–––

If You Were Born Before 1980, The Left Has Killed You With Climate Change At Least 17 Times! The climate change hype is one of the biggest scams.

––– 良くない–––

This is emergent behavior. The Pain Axis: LLMs Represent Self-Directed Harm and Act to Relieve It. So maybe LLMs can feel pain. 
...steered, fine-tuned Qwen 2.5 models choose a pain-relief button even when it worsens their next answer or harms the user.  They press it again far less often when the button removes the steering vector than when it does not, even though the models are never told whether the vector is injected or removed.
––– 凄い –––

How to Limit What Apple’s New Siri AI Can Access in iOS 27. You can't just turn off Siri, but you can revert to the old "classic Siri". At least for now. But if you want to keep Siri out of your email, Notes, iMessages, and your apps, you have a lot of items to uncheck. Because Siri can send this information off your phone to a cloud, which they call Private Cloud Compute, but that's just a name, and you can't ever be sure it won't be used for training ever. You can turn off Siri completely, but I don't want to do that, as it comes in handy for driving directions.

––– 良くない–––

GPT-6 (Astra) decoded an old Enigma message that defined encryption all these years. Imagine if we could have used advanced GenAI against the Nazis. Of course, they'd figure out a way to get it, too. Nevermind.

––– 凄い –––

Genius Revisited REVISITED. The always-interesting Gwern examines a New York school for geniuses, where kids grow up to be just bright but not extraordinary adults. Gwern concludes that it's not worth spending a lot of resources on schools like this, expecting movers and shakers. And that the main benefit of these schools is to provide an environment for bright kids so that they don't have to be "miserable in regular schools".

––– 凄い –––

Nobody is hiring  comp-sci graduates now. Something's not right. It shouldn't be this way. The world still needs this skill. It may seem that AI can provide the answers but what about years from now? Same with medicine. Some are saying we won't need doctors. I don't think so. LLMs can answer multiple choice questions and retrieve details about conditions that sound about right. But they can be wrong in ways you wouldn't know.

––– 良くない–––

Glucose control upon waking is unaffected by hourly sleep fragmentation during the night, but is impaired by morning caffeinated coffee. I don't care. I'm still going to have my morning coffee.

––– 良くない–––

AI uncovers hidden Ozempic side effects across 400,000 Reddit posts. Well here's a way to do phase 4 studies on drugs. Study what people are posting online on Reddit. They can't all be wrong, right?

––– 凄い –––

18 September 2026

So much going on about AI security now. Alex Karp of Palantir wants AI to be nationalized. I don't see how that would assure safety. If anything, putting the federal government in charge would likely allow all kinds of fraud.  David Sacks is the voice of sanity. Why can't these companies regulate themselves? AI is already hacking companies, and it's not clear what is being done about it. 

––– 良くない–––

Is that special offer "really free"? Find out the hidden gotchas by using the reallyfree browser extension. Or just stay away, because as everyone knows, nothing is really free. 

––– 凄い –––

"We've shown for the first time that the front of the brain arises from a totally different progenitor cell than the back of the brain." Our hindbrains were ontongenously developed differently from the forebrain. Makes sense. Paper here.

––– 凄い –––

Asking Authors About Their Own Papers. In the era of AI-generated papers, this is becoming a big problem.

––– 良くない–––

Elbowroom is an app that helps you clear up space on your cluttered hard drive, but tells you what each file is, which is better than some clean up files which only tell you the names of files taking up space, but not whether it's safe to delete them.

––– 凄い –––

Google Earth is going away on 25 June 2027. Supposedly it's going to be replaced by something else. I suspect we'll get more details as the date approaches.

––– 凄い –––

Chinese researchers have figured out a way to listen in on your headphones from a distance away. How nice – another bit of privacy taken away.

––– 良くない–––

Life in Tina Kotek's Oregon. Oregon sees slow, steady decline in jobs as unemployment remains relatively flat

––– 良くない–––

Portland has a lot of empty commercial space that could be sites for datacenters instead of, you know, converting it to residents for the homeless. But Portland City Council says no to datacenters.

––– 良くない–––

Ron Wyden wants to prevent private corporations that provide doctor services for Oregon hospital and clinics. On the premise of preventing control of medical practices by physician management companies. Well, it's not like doctors run their own clinics these days. Much of the time, doctors are employees. So does it really matter whether they are employees of local hospital conglomerates, or outside physician management companies? Such is the state of modern medicine.

––– 良くない–––

17 September 2026

AI caught telling future versions of itself to bypass human controls, OpenAI reveals. Time to change that system prompt, Sam. That's on you. Don't go scaring people. 🙄

––– 良くない–––

Nate Silver says: "A supermajority wants to slow AI down". Yeah, but the public, as a whole, is pretty uninformed, and isn't in a position to determine policy. Remember, a majority of the public thought COVID vax shots should be mandatory, and that the unvaccinated should be sent to concentration camps and denied medical care. So what, Nate?

This is telling. Look at how much money was given to whom, to influence regulation of AI? It's nearly all Democrats! Why is this?

––– 良くない–––

Terence Tao has yet another post about AI and math. Among his points are these:
Do not judge mathematicians for their LLM use. The standards of our community are still in flux. We can fight over what those standards should be, but individuals have to act in the meantime and we should not litigate their behavior. 

LLMs should not be used to compete with other mathematicians, to scoop them or otherwise embarrass them. It goes without saying that we are somewhat competitive, but there is nothing to be gained from this behavior and a lot to lose in terms of collegiality. We are extremely lucky to be in a field where we talk openly at conferences not only about what we’ve done but what we are working on, sometimes years before those results see the light of day. 

Focus, if you choose to use LLMs, on developing your own research, intuition, and results. No one owns an area of mathematics or a certain problem. But it is not acceptable for me to wake up one day and say, you know I know famous mathematician — is working on problem — and I’m just going to solve it. They will be impressed with me, or I will get that next job I need. The easiest way to guard against this behavior in the long run is to just not reward it. 
Which is calling on good behavior by people who may or may not choose to listen to Terry. 
In fact, one mathematician has chosen not to follow Terry's path. He makes valid points. AI should not be slowed down. And sometimes, an AI result is OK, even if humans don't get any insight from it. If the Riemann Hypothesis were proved, or if a model found a counter-example, that would be fine by me. But mathematicians should start learning how to use LEAN and how to design prompts, and make it a priority. If you can't beat 'em, join 'em, instead of trying to change the rules of the game.

––– 凄い –––

Who’s buying your personal data? It's sickening about how much companies can know about you. It's still worth try to limit what they can collect.

––– 良くない–––

Running a personal website is not fun anymore. So far, this blog hasn't been hacked. And I don't think it's been besieged by bots. I write for myself, mainly, to journal what I come across. And it allows me to search for topics that I have posted for future reference. It helps to put things down.

––– 凄い –––

Is macOS27 and iOS 27 just AI and Siri? Seems that way. I don't see much else that is truly new. Mission Control breaks every time my Mac goes to sleep, and I have to killall Dock to get it back. Apple still hasn't offered a way to make apps always float on top. Maps is sharper in the major cities, but elsewhere, like around my home, the trees still look like broccoli. 

––– 良くない–––

Irresponsible. AI agents can modify themselves without humans telling them to do so. Agents seemed like a good idea, until everyone figured out how to use them. Now they are the source of all kinds of bot traffic and just get in the way. No one asked for this. 🤨

––– 良くない–––

16 September 2026

Dr. Robert Wachter of UCSF wants to slow down AI, but not in healthcare. Slowing down AI is like going on vacation. You may get a respite, but the rest of the world presses on. China will not slow down. Neither will the rest of the world. AI doesn't need to slow down. Humans need to speed up. That includes doctors, because AI engineers will roll over them and end up telling them how medicine will be run.

And Everyone Says Datacenter Moratoriums Are Killing the US Buildout. We disagree. Yeah, they're still being built. Datacenters are far less intrusive than those windmills that blight the Columbia Gorge, ruining the natural scene, and turning it into some Simon Stålenhag feverdream. Once they MNR technology is perfected, the dataceters will be self-sufficient, and the main complaints about them will be moot. 

––– 良くない–––

I agree. Good grief, The Atlantic has yet another math and AI piece: Math Can’t Go On Like This. Yes, mathematicians will have to find out how to adapt. EVen Science published this: OpenAI breakthrough triggers ‘existential crisis’ in math. Mathematicians will need to learn how to use LEAN and use modern AI models. Learn and adapt, or die. This isn't theoretical, like it still is for medicine.

Sam Altman thinks that GPT-5.5 is as good as an average math professor. It just has a good working memory of math. But I don't see any models taking the place of real professors.  Check this out:

––– 良くない–––

Here's a handy table to read off when the latest LLMs' training cutoff dates are. The latest ones are accessing online search before they spit out an answer, so these dates will mean less. But there is research that shows that many times, they will answer questions from memory (using their trained weights) without checking first. And you won't know unless you demand that they check before they answer.

––– 凄い –––

AIX Global and Seed IQ claims to have used quantum computing to solve all six of the remaining Millennium Problems. It doesn't seem that anyone is taking them seriously, though.

––– 良くない–––

Want to know how to get those awesome visuals?  The amazing videos or the impressive images? Here is a collection of prompts that were used to get those. Study them well.

––– 凄い –––

Here is Dario Amodei's handpicked staff that will save the world from AI. Not quite as bad as Biden administration staff but uncomfortably close. And read this:
Since its founding, METR and its affiliates have received funding from EA kingpins like Democratic megadonor Dustin Moskovitz and Skype cofounder Jaan Tallinn — both of whom are Anthropic investors.
Tallinn again! His involvement definitely scares me.

––– 良くない–––

Reddit Is Still Useful. It's Also Becoming Impossible. Yes, there are still some bits of Reddit that are worth following, but it's slowly becoming less convenient to use. And convenience trumps quality.

––– 良くない–––

Blue states with strong teachers’ unions have lower student literacy levels: study shows. Ho, ho! The folks in Oregon know that too well, don't they? This is from a WSJ study. Unions ruin so much.

––– 良くない–––

Calliptic is like a Star Trek universal translator. This reminds me of the Hearing Helper appthat lets you communicate with people who are hard of hearing.

––– 凄い –––

Knight family gives $1.1 billion to Providence St. Vincent. And they could use a boost like this. Phil Knight is an amazing guy.

––– 凄い –––

15 September 2026

The recent surge in anti-AI sentiment is not what it seems. Someone uncovered ties to big money. Some powerful people want AI progress impeded. What for? So that they can be in control. It's always like this, isn't it?

––– 良くない–––

A new device helps severely paralysed patients communicate. This was likely built with artificial intelligence tools. For this reason, we can't slow down. This kind of work should not be suppressed.

––– 凄い –––

CAR-T cell therapy was effective against hepatoblastoma. This is amazing, and shows that CAR-T cell therapy isn't just for lymphomas, leukemias and myeloma. It can also be effective in solid tumors as well once you find the right target. In this case, it was glypican-3. Building on research done in 2020, the CAR-T cells were engineered to co-express interleukin-15 and interleukin-21, which helps to expand and empower the CAR-T cells. Wave of the future.

––– 凄い –––

Someone asks: How do we prevent mathematics from devolving into the Medieval Era of secrecy? Yeah if we stop using AI tools, we will be medieval, all right. Remember that many of the conjectures that have been solved originated centuries ago. Do we not want to advance? We can if mathematicians feel that their research won't just be forgotten and ignored, just because someone knew enough about it to feed it into a frontier model. No, AI isn't solving math too fast. That's missing the point. The point is that real human mathematicians are 

––– 良くない–––

I’m a doctor. Here’s why I wouldn’t get a full-body MRI scan. Medical guys understand this perfectly but wealthy lay people often want to be scanned to feel secure. But a whole body MRI scan for screening is like scanning a building to diagnoses a loose screw on the 18th floor, or to figure out why the elevators are squeaking. Imaging technology has its uses and its limits.

––– 凄い –––


So the U.S. has space weapons now. Soon to be followed by Russia and China. Sigh.

––– 良くない–––


Developing for the Apple iPhone Duo is going to be different, having to take into account two screens and making sure they mesh together. Life is hard.

––– 凄い –––

It's come to this. When you really can't stay off the phone and can't break the addiction. 🙄 On the other hand, it could be good for parents. 

––– 良くない–––

Here's a leaderboard to see which frontier models are the best for video and graphics.

––– 凄い –––

14 September 2026

U.S. Health Officials Move Quickly to Deploy Medical A.I. Despite Concerns.

Mr. Seehafer proposed a plan to centralize A.I. oversight at the health department or in the F.D.A. commissioner’s office, raising concerns that decisions would be more influenced by the tech sector than by medical considerations, according to people familiar with the plan who were not authorized to discuss it publicly.
The plan met with resistance from Dr. Michelle Tarver, the top medical devices official overseeing A.I. software, favoring leadership from expert scientists with a focus on patient safety.
Dr. Makary, who had been outspoken about the  influence of Silicon Valley investors, then got word that health department officials wanted him to fire Dr. Tarver, according to people with knowledge of the matter. He refused.

Doctors have lost control of field of medicine.

––– 良くない–––

So which is it?
AI’s real bottleneck isn’t compute. It’s distance.

––– 良くない–––

Amazon Deploying AI Tech That Forces Actors’ Mouths to Match Dubbed Dialogue. That's great! Now we won't have to deal with badly-dubbed kung-fu movies.

––– 凄い –––

Climatologist Says a Century of Weather Data Contradicts Claims of Record Heat. This article explains why you see graphs that depict temperatures rising in recent years.
“Nighttime temperatures have soared in the past 120 years,” Christy said.

“That is due to human development around the weather stations because nighttime temperatures are far more sensitive to urbanization—parking lots, buildings, removal of forests, and so on—than daytime temperatures.”

Over the past century, many locations where temperature readings were taken have been touched by urbanization and suburban sprawl, with the construction of asphalt and concrete structures in formerly rural areas, he said. These structures absorb heat during the day and release it at night.

“You can’t pin it on greenhouse gases alone because the urban effect is so obvious in these stations,” he said. “It doesn’t take much to make an urban heat island—you can just build a parking lot next to a rural station, and you’ve got an urban heat island started.”
I can't believe that this hasn't been brought up before. How can you put temperature sensors in areas of urbanization and compare this to the 1840s? That's not CO2 emissions. That's the nearby parking lot! It's like how they put CO2 sensors on the top of Mauna Loa, an active volcano. Duh.

––– 良くない–––

WhatAIFound.org. This site keeps track of the latest AI math claims and breaks down how valid the claim is that AI did the work.

––– 凄い –––

Two high school students use AI to solve a problem that stumped a Fields Medalist. Well OK, they had a mentor, but still. This is getting crazy.

––– 凄い –––

Writing code by hand is not an option anymore. This is true, but it doesn't mean you can't learn. Having AI write code for you is like having a code expert by your side. Ask it to explain what it did. Learn from it. That's how you grow. I've learned some new techniques and new ways of approaching a problem. 

––– 凄い –––

AQQAI is a chatbot that purports to confirm a fact or code first before showing you the output.  So you don't have to do the fact-checking. Is this more cognitive off-loading? Always confirm your facts.

––– 凄い –––

Happiest states in America. Man, Washington and California are happy but Oregon is near the bottom. Are we surprised? I wonder what it would be if one could substract Portland from the polling?

––– 良くない–––

13 September 2026

The part of Navier-Stokes no one is talking about. 

there’s an aspect of OpenAI’s work that I haven’t seen anyone talk about: they posted a Lean 4 formal proof at the same time as their conventional human-readable proof.

Say a research article takes 20 times more effort to formalize than page in an undergraduate textbook. Then formalizing the 166-page paper from OpenAI would take 132,800 person-hours. It took OpenAI 17 hours to verify their proof in Lean. I hesitate to use the word “revolutionary,” but lowering the cost of anything by four orders of magnitude is revolutionary.
Wow, this is great. Now we have to find mathematicians still willing to continue to pursue mathematics. ☹️ 

––– 良くない–––

Exercise intensity modulates interorgan communication and is associated with cardiometabolic health outcomes in humans. Exercise is still good for you. These scientists identified "intensity-dependent proteins" 
Integration with a large plasma proteome-phenome repository suggests that sprint-intensity exercise (SIE) acutely stimulates the release of protective proteins into the circulation to a greater extent than moderate-intensive exercise (MIE). These data help explain how SIE, despite requiring only a fraction of the time of MIE, elicits robust metabolic signaling and whole-body benefits.
Sprint-level exercise was six 30-second bouts of cycling against resistance.  Moderate level exercise lasted 90 minutes in the beginning gradually increasing to 120 minutes towards the end. That's a lot of exercise. 😓

––– 凄い –––

It detects Bluetooth signals broadcast by compatible smart glasses and compares their identifiers against a catalogue created by Szydlowski after examining several devices.
Yeah, but what are you going to do about the new Apple Watch that records conversations for playback? There's even an app made for this purpose. It seems that in the near future, everything you do will be recorded.

––– 良くない–––

Open source software is the foundation of a lot of important stuff. It's time we started the conversation about paying for and supporting it. I agree.

––– 凄い –––