skysight-inc/HackerNews huggingface dataset:
Likely not.

A principal mechanism of action of metformin is AMPK-dependenent inhibition of mTORC1 in the liver. [1] mTORC1 inhibition also occurs when fasted and when taking Rapamycin. Rapamycin has been floated many times as a life extension drug. [2]

mTOR is one of the major nutrient sensing pathways in the body, particularly sensitive to amino acids (especially methionine and leucine) but also to energy levels in general via AMPK. Inhibition of mTOR slows down cell division and induces autophagic flux -- further mTOR dysregulation is implicated in about 70% of cancers. It is an incredibly highly conserved pathway in everything from yeast to humans, and [m]TOR inhibition has been shown to dramatically extend life in basically everything that moves. I believe there's a life extension trial in humans under way around Rapamycin but I could be mistaken.

It acts as a very targeted partial starvation mimetic.

[edit] > that it's healthy to not be overweight?

This is separately also true. But what's neat about metformin is that generally diabetics on metformin are less likely to develop cancer than non-diabetics. [3] So it stands to reason that non-diabetics taking metformin would have even lower incidence of cancer no?

[edit] I find this stuff very cool, and I personally expect mTOR to be the next golden child after everyone gets on GLP-1s.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5299044/

[2] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6814615/

[3] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5841986/
Lots of things I think, lack of understanding, lack of motivation. Typical suspects. I think We look for easy solutions like using LLMs for instance (but not exclusively) doing busywork when we shouldn’t be doing the busywork in the first place. Busywork is just example, but in creative non-busywork it could also be the extensive, time intensive exploration required to advance. In jazz for instance spending hundreds if not thousands of hours on scales and arpeggios over the instrument is a non-negotiable expense to access fluidity.

So while I think LLMs are great fun and I don’t judge anyone using them, personally wanting to use one for a difficult problem is a flag that I should allow more time to think before going ahead.
Right, I was surprised I had to scroll down here so far to see the first mention of laziness; it's the core feature of Haskell (copied from Miranda so researchers had a non-proprietary language to build their work on).

From everything I've ready about people's experiences with using Haskell for large projects, it sounds like lazy evaluation unfortunately adds more problems than it removes.
In either case you end up with an inscrutable black box into which you pass your html...honestly I'd prefer the black box that runs more efficiently and is intelligible to at least some people (or most, with the help of a big LLM).
Dang - I don't see the model listed for me in the iOS app nor the web interface.

I'm a ChatGPT subscriber.
It's interesting how it basically generates a larger sample size to create a regression against. The larger the input, the larger the surface area it can compare against existing training data (implicitly through regression of course).
Yes, it is possible to linearize it. You can, for example use do notation:

result <- do
a <- someEitherValue
b <- anotherEitherValue
return (doStuff a b)

In the above example the do notation will unwrap the values as an and b, but if one of the results is Left, the computation is aborted, returning the Left value.

This is one just of the many techniques available to make error checking linear.
it will roll out to everyone over the next few hours
The solution of the cipher example problem also strongly hints at this: "there are three r's in strawberry"
I wonder if this is why most of my engagements over the last 5-10 years were teams that hired "senior only" engineers, whereas some ocean of HTML updates could be handled by any number of juniors, and also provide a needed training funnel to move people up in seniority.

I certainly don't appreciate the cognitive load a lot of my daily stuff takes. It used to be simpler, more direct, and more satisfying.
Android pKVM hypervisor tries to constrain vendor-specific Arm EL3 TrustZone (~x86 SMM Ring-2) on Pixel 7/8/9, https://lkml.org/lkml/2022/11/16/1241

pKVM's primary goal is to protect guest pages from a compromised host by enforcing access control restrictions using stage-2 page-tables. Sadly, this cannot prevent TrustZone from accessing non-secure memory, and a compromised host could, for example, perform a 'confused deputy' attack by asking TrustZone to use pages that have been donated to protected guests. This would effectively allow the host to have TrustZone exfiltrate guest secrets on its behalf, hence breaking the isolation that pKVM intends to provide..

FF-A provides (among other things) a set of memory management APIs allowing the Normal World to share, donate or lend pages with Secure. By monitoring these SMCs, pKVM can ensure that the pages that are shared, lent or donated to Secure by the host kernel are only pages that it owns.. the robustness of this approach relies on having all Secure Software on the device use the FF-A protocol for memory management transactions with the normal world, and not use vendor-specific SMCs that pKVM is unable to parse.

On x86, SMM attestation was introduced by Intel (PPAM / Hardware Shield, 11+ gen) and AMD, https://www.microsoft.com/en-us/security/blog/2020/11/12/sys...

> Because of its traditionally unfettered access to memory and device resources, SMM is a known vector of attack for gaining access to the OS and hardware.. One could have perfect code in SMM and still be affected by behavior like trampolining into secure kernel code.. Isolating SMM is implemented in three parts: OEMs implement a policy that states what they require access to; the chip vendor enforces this policy on SMIs; and the chip vendor reports compliance to this policy to the OS.
> I highly recommend Stefan Zweig's "The World of Yesterday", his memoirs of life before WW1

I'm only about 1/3 in but as far as I can tell Zweig only claimed Vienna to be this "enlightened" place. He's still writing quite a lot of critique of the rest of Austria. He's also fully aware of how fragile that Viennese subculture is.
Token count was always an approximation of value. This may help break that silly idea.
What John Stuart Mill Knew About Happiness
I'm confused. Is this the "GPT-5" that was coming in summer, just with a different name? Or is this more like a parallel development doing chain-of-thought type prompt engineering on GPT-4o? Is there still a big new foundational model coming, or is this it?
Something to be aware of is that it can cause genital physical deformities in male offspring.

> Boys were more likely to be born with genital birth defects if their fathers took the commonly prescribed diabetes drug metformin in the three months before conception, according to a new study by Stanford Medicine investigators and their collaborators in Denmark.

https://med.stanford.edu/news/all-news/2022/03/birth-defects...

https://www.acpjournals.org/doi/10.7326/M21-4389
Instead people rave about Solaris.
I think it's too soon to tell. Training the next generation of models means building out entire datacenters. So while they wait they have engineers build these sidequests/hacks.
Unearned in this case doesn’t mean “undeserved.” It refers to the lack of work involved, aka passive income/gain.
It looks like parallel development, it's unclear to me what is going on with GPT-5, don't think it has ever had a predicted release date, and it's not even clear that this would be the name.
The Road to Simplicity
Looking forward to the day when FreeCAD is a viable and stable option for free parametric CAD. There are a few free options for direct modeling, but not for parametric design.

As far as commercial software goes, my current favorite CAD software for hobby use is Rhino[1]. It's not parametric[2], but it's stable, fast[3], can import and export a wide variety of 3D file types, and it's pay-once-per-major-release. It's not cloud-based. The marketing around it seems to emphasize design/architecture/artistic use cases, but it also works well for dimensionally-accurate mechanical parts.

For those eligible for a student license, the pricing is reasonable (cheaper still if you shop around among third-party edu software vendors). Surprisingly, the student license also allows commercial use.

1. https://www.rhino3d.com

2. Well, Rhino is not parametric in the usual sketch-based way. People do wild things with the Grasshopper plugin.

3. Rhino also runs on macOS, w/ hardware acceleration of graphics via Metal
> However, o1-preview is not preferred on some natural language tasks, suggesting that it is not well-suited for all use cases.

Fascinating... Personal writing was not preferred vs gpt4, but for math calculations it was... Maybe we're at the point where its getting too smart? There is a depressing related thought here about how we're too stupid to vote for actually smart politicians ;)
I don't think it's worth any debate. You can simply find out how it does for you, now(-ish, rolling out).

In contrast: Gemini Ultra, the best, non-existent Google Model for the past few month now, that people nonetheless are happy to extrapolate excitement over.
While we have a common ancestor in the original UNIX, so much of illumos is really more from our SVR4 heritage -- but then also so much of that has been substantially reworked since then anyway.
I'm currently using some of the latest popular stack, for a simple Web site that could've appeared almost the same 25 years ago[*], with static HTML and a little client-side JS. (And could've been implemented faster then, and would've operated much more efficiently.)

158 NPM packages already, and the page load requests are insane.

Two reasons I'm doing this monstrosity of an implementation anyway:

1. Resume-driven-development, on a personal/indie project.

2. Using the framework's interactive SSR just to make it harder for freeloaders (AI company scrapers, copy&paste developers) to copy the information or the implementation tricks.

[*] Except for a little flexbox "responsive" flowing, corner rounding (without kludges), and some fade transitions, none of which are necessary.
Out of curiousity can you try the same thing with Claude. Because when I tried Claude with any sort of ROT, it had amazing performance, compared to GPT.
Eric Topol – AI in medicine presentation
You can't put controls around grey goo. You can put controls around clearly defined access methods and data shapes.
Well, yes, but then you are relying on IP address based auth of some sort. It's just more stuff to keep around, share, and make sure its correct.

If routing was possible with just the public key, after wg has verified the packets, I would assume it'd be easier to maintain (and more flexible).

For example, I could run a "public" wg peer where peers could just join me without me messing with cidrs and whatnot. I wouldn't care what their vpn ip is, as I may not be their only peer and they could be using any number of internal addressess.
Google Wallet to test a feature that turns your US passport into a digital ID
It's misleading to call all of these "crypto" scams. A lot of them are romance / fake investment scams, but the method of payment is crypto. A crypto scam would be a scam that's more native to crypto in my opinion.
Do you mean that it is, in fact, a mistake to use defusedxml instead of lxml in Python?
If it 's reasoning correctly, it shouldnt need a lot of tokens because you don't need to correct it.

You only need to ask it to solve nuclear fusion once.
This is great. I'm a regular Balsamiq user but prefer the look-and-feel and subtle aesthetic differences in Konty. I'd love some sort of commenting or call-out system on drawings. The "stickies" work well in some cases, but I regularly find that I need to draw attention to certain parts of a design and don't want to have to manually create an arrow with a sticky, or an arrow with text etc.

Also, a small frustration, but when deleting items I reach for "del" on the keyboard, which isn't implemented here ("backspace" works though).
I suspect that the largest limiting factor for a competing model will be the dataset. Unless they somehow used GPT4 to generate the dataset somehow, this is an extremely novel dataset to have to build.
o1-preview . Were you using common plaintexts by chance (e.g. proverbs) or ROT13 specifically? Mine use all the right steps but just can't string them together.
> it raises the floor on software quality.

Languages cannot possibly do this.
Does it do better than Claude, because Claude (3.5 sonnet) handled ROTs perfectly and was able to also respond in ROT.
It'd be more accurate to call it a logarithmic relationship, since compute time is our input variable. Which itself is a bit concerning, as that implies that modest gains in accuracy require exponentially more compute time.

In either case, that still doesn't excuse not labeling your axis. Taking 10 seconds vs 10 days to get 80% accuracy implies radically different things on how developed this technology is, and how viable it is for real world applications.

Which isn't to say a model that takes 10 days to get an 80% accurate result can't be useful. There are absolutely use cases where that could represent a significant improvement on what's currently available. But the fact that they're obfuscating this fairly basic statistic doesn't inspire confidence.
The exponential increase is presumably because of the branching factor of the tree of thoughts. Think of a binary tree who's number of leaf nodes doubles (= exponential growth) at each level.

It's not too surprising that the corresponding increase in quality is only linear - how much difference in quality would you expect between the best, say, 10 word answer to a question, and the best 11 word answer ?

It'll be interesting to see what they charge for this. An exponential increase in thinking time means an exponential increase in FLOPs/dollars.
L3X: AI-Driven Static Analyzer
I think what it comes down to is accuracy vs speed. OpenAI clearly took steps here to improve the accuracy of the output which is critical in a lot of cases for application. Even if it will take longer, I think this is a good direction. I am a bit skeptical when it comes to the benchmarks - because they can be gamed and they don't always reflect real world scenarios. Let's see how it works when people get to apply it in real life workflows. One last thing, I wish they could elaborate more on >>"We have found that the performance of o1 consistently improves with more reinforcement learning (train-time compute) and with more time spent thinking (test-time compute)."<< Why don't you keep training it for years then to approach 100%? Am I missing something here?
I didn't know this founder's edition battle pass existed.
Original letter: https://aj-invest.com/wp-content/uploads/2024/09/Ubisoft-Ope...
So how are hearing aid mfr stocks responding ?
Good questions!

Tips we'll have at launch: Cone, Bevel 1.5, Wedge 1.5, Point, Bevel 2.6, Knife 2.5, Knife 1.4.

They'll be on sale in our store on October 15.
https://www.ifixit.com/Tools/Soldering_and_Wiring

We will also be selling a complete line of replacement parts.

I'm working right now on our distribution partners, but we'll have a variety of local and online distributors who you can also buy the system through.

Rather than designing it to change tips on the fly, we set up the Power Station to handle two irons, with two USB ports and a mounting socket on both sides.
Summarize Youtube video with a bash script
All kudos to yt-dlp community and Simon Willison for his great llm tool.
Honestly the code it's been giving me has been fairly cromulent. I don't believe in premature optimization and it is perfect for getting features out quick and then I mold it to what it needs to be.
It depends on what they mean by "simulation". It sounds like o1 did not participate in new contests with new problems.

Any previous success of models with code generation focus was easily discovered to be a copy-paste of a solution in the dataset.

We could argue that there is an improvement in "understanding" if the code recall is vastly more efficient.
> Does that mean human intelligence is cheapened when you talk out a problem to yourself?

In a sense, maybe yeah. Of course if one were to really be absolute about that statement it would be absurd, it would greatly overfit the reality.

But it is interesting to assume this statement as true. Oftentimes when we think of ideas "off the top of our heads" they are not as profound as ideas that "come to us" in the shower. The subconscious may be doing 'more' 'computation' in a sense. Lakoff said the subconscious was 98% of the brain, and that the conscious mind is the tip of the iceberg of thought.
The Future of the Forum "Ubuntuforums"
OP here. It depends on the workload/query - number of columns in the query, filters, presence of aggregates, etc. Overall, I've seen ClickHouse perform well with window functions. This is a common strategy customers use to deduplicate data.
It does often cause significant gastrointestinal problems. Same as weight loss drugs. A lot of people think these drugs are free lunch but they are not.
German Sovereign Tech Fund Funds Samba Project
The Samba project has secured significant funding (€688,800.00) from the German
Sovereign Tech Fund (STF) to advance the project. The investment was
successfully applied for by SerNet. Over the next 18 months, Samba developers
from SerNet will tackle 17 key development sub-projects aimed at enhancing
Samba’s security, scalability, and functionality.
> Did the 80% accuracy test results take 10 seconds of compute? 10 minutes? 10 hours? 10 days? It's impossible to say with the data they've given us.

The gist of the answer is hiding in plain sight: it took so long, on an exponential cost function, that they couldn't afford to explore any further.

The better their max demonstrated accuracy, the more impressive this report is. So why stop where they did? Why omit actual clock times or some cost proxy for it from the report? Obviously, it's because continuing was impractical and because those times/costs were already so large that they'd unfavorably affect how people respond to this report
It's hard to evaluate those win-rates, because if it's slower, people may have been giving easier problems, which both can solve and picked the faster one.
CoT is now their primary method for alignment. Exposing that information would negate that benefit.

I don't agree with this, but it definitely carries higher weight in their decision making than leaking relevant training info to other models.
It's impossible produce a result incompatible with classical mechanics in a single constant-sized observation, because the classical players can get any result by just playing randomly.

The advantage that GHZ has, similar to the Mermin-Peres magic square game, is that the quantum players should win 100% of the time while classical players win less than 90% of the time. This gives much faster Bayesian updates away from classical mechanics towards quantum mechanics as you collect samples (compared to CHSH). But you do still need multiple samples.

On the other hand, seeing the GHZ game fail would be instant total loss for quantum mechanics. If the win rate is supposed to be 100%, and you see a loss (that you can't attribute to noise or something), then in that case a single test would have caused you to totally discount quantum mechanics.
> I’ve never seen a worker walk away one an offer is made.

I’ve personally walked away from several offers. It’s not uncommon to receive multiple offers at the same time and you can only accept one.

So perhaps your offers have been excessively generous?
Yes I never disputed that. Just listing an example for why I don't think we'll ever be post oral antibiotics
When it comes to libraries that handle the messy details of putting data on disk, sqlite is the only one I can name off hand so that's the favorite.
30 messages per week? Wow. You better not miss!
My boss is holding a figurative gun to my head to use this stuff. His performance targets necessitate the use of it. It is what it is.
Have you seen how long the CoT was for the example. It's incredibly verbose.
> dependency injection

It's been a while since I played with the furry thing but is that even possible in Golang?
It just solved this one for me "Can you solve this cipher? droboscxylecsxoccvsuocryglecsxocc"
I don’t want to be in the business of LLM defender, but it’s just hard to imagine this aging well when you step back and look at the pace of advancement here. In the realm of “real math and science”, O1 has improved from 0% to 50% on AIME today. A year ago, LLMs could only write little functions, not much better than searching StackOverflow. Today, they can write thousands of lines of code that work together with minimal supervision.

I’m sure this tech continues to have many limitations, but every piece of trajectory evidence we have points in the same direction. I just think you should be prepared for the ratio of “real” work vs. LLM-capable work to become increasingly small.
Table 1 in section 3.1.1: https://assets.ctfassets.net/kftzwdyauwt9/2pON5XTkyX3o1NJmq4...
looks a bit like 'code', using keywords 'Hmm', 'Alternatively', 'Perfect'
>There's an argument to be made that to the extent they break the rules in some manner, they're doing more harm than good. Should you be testing scenarios that are impossible to encounter with the code?

Yes actually, especially when it comes to i/o. Let's say I want to simulate how many code handles a REST interaction with a third party service. I want to be able to mock the REST callout without performing any actual i/o. This is why these test frameworks are powerful and useful.

Later if I want I can test to see if the actual callout works by hitting a local endpoint.
Hi!

Thank you for the criticism! My input data only contains celestial coordinates:
- Right ascension in arcminutes
- Declination in arcminutes

I can perhaps try to get some redshift data and implement the 3D position for each galaxy. Great idea! Thank you!
Yes, it makes tips more expensive. However, for the about of improvement in performance, I think it is worth it. I use Hakko T15 tips and they are about $20 each. Cheaper Chinese compatible toys are available and probably are good enough, but I don't replace yours frequently enough to care to find out.
These advancements are there to benefit the top 1%, not the working class.
Interesting work. There are also clinical trials, recent and ongoing, looking at the effects of metformin on aging in humans, too, including the TAME trial[0].

[0]: https://www.afar.org/tame-trial
The human brain uses 20 watts, so yeah we figured out a way to run better than human brain computation by using many orders of magnitude more power. At some point we'll need to reject exponential power usage for more computation. This is one of those interesting civilizational level problems. There's still a lack of recognition that we aren't going to be able to compute all we want to, like we did in the pre-LLM days.
1) Not clear how lit review published in 2021 casts doubt on a study published in 2024

2) The lit review does not say the data is controversial, only that the claim of life extension is, and then goes on to say "However, via its ability to reduce early mortality associated with various diseases, including diabetes, cardiovascular disease, cognitive decline and cancer, metformin can improve healthspan thereby extending the period of life spent in good health" which is entirely consistent with the monkey study under discussion here