Viewing profile — dimask

Will def do!

That's probably gonna run in gpu anyway. There is a lot of data work that involves double (or single) precision arithmetic, outside of ML, LLMs etc. It is definitely also worth tes…

Nice and organised work! My only reservation wrt the core of it is that it tests the cpus on a matrix operations task, and power efficiency in this case refers specifically to doin…

What is not well done in this study?

1) Then more math should get formalised in lean. 2) How is a solution by LLMs supposed to be verified without such a formalisation?

The spatial reasoning on reading code does not happen on the dimensions of the literal text, at least not only on these. It happens in how we interpret the code and build relations…

I do not think what they say is that it is hard to visualise it, but that it does not offer much utility to do so. A "for" loop like that is not that complicated to understand and …

At least they do not name them after themselves.

Well I precisely talked about things I have engaged professionally. Obviously this cannot cover everything one may do, eg I do not build chatbots for customer service or stuff like…

Thanks for putting all this work and sharing it in such a detail! Data extraction/structuring data is the only serious application of LLMs I have actually engaged in for real work …

I do not think that such a conversation is done in productive way (especially when cutting phrases in half to make them appear making no sense) but will try get a couple of points …

I think you are confusing "memory" with strategies based on memorisation. Yes memorising (ie putting things into memory) is always involved in learning in some way, but that is too…

I work in human developmental research and have never heard or read anybody make such claims that you consider "bog standard child development science", and some of what you say ar…

It is not "just more text". That is an extremely reductive approach on human cognition and experience that does favour to nothing. Describing things in text collapses too many dime…

> How many homework questions did your entire calc 1 class have? I'm guessing less than 100 and (hopefully) you successfully learned differential calculus. Not just that: people le…

Claims of isomorphisms are really strong claims to not be backed up with some kind of evidence.

> Would an intelligent but blind human be able to solve these problems? Blind people can have spatial reasoning just fine. Visual =/= spatial [0]. Now, one would have to adapt the …

When they can outperform human infants in learning, eg data required to learn and versatility, we can talk business. Not all world is "big data".

The problem is that there is little, incremental progress last 1 year or so after the big chatGPT boom to justify the hype, technically wise. Most of the "progress" going on is bas…

> That's not where they belong. Where do they belong? When we set forever chemical loose in the environment, it is expected that a quantity of them will reach the ones in the top o…

You do not teach git/github, you teach students what the best practices (ie version control) are as part of working on their projects.

To be fair people in the private sector typically make more money at least and have better work-related perks. Academia advertises mostly 1. you research stuff you find interesting…

oops

It was a disaster waiting to happen. I had entirely disabled automatic updates for my iphone apps specifically this kind of risk with this specific app. An OTP app is sold to some …

> one that somehow synced the clipboard when copying an OTP code on your mobile app, so it was immediately available on the Mac. Iphones and macs already do that (syncing their cli…