bobajeff

Is not just games. I've already seen the beginnings of proprietary software such as Wolfram Engine and Microsoft Word vibed up into alternatives. How long till all of MS Office, Creative Cloud, Houdini get the same treatment? Truly exciting times.

I like the concept and these explainers. It sounds like this is using a HTML based format to be similar to like a Flash / Shockwave animation to keep data size down.

I wonder what the challenge would be of making these videos more interactive would be? Also I do wonder if there is any research happening in making AI explainers more trustable.

That doesn't follow. I'm not especially gifted at mental math yet I've been able to learn various programming languages and libraries and dev tools. I've also been able understand and implement some algorithms.

Why not just use the calculator app on your smart phone? That's what I do. (School made me all too aware of how easy it is for me to get the wrong answer when trying to do calculations mentally)

As sometime who's memorized but also forgotten their timetables while still managing to go through Algebra I. I don't understand the importance for memorizing times tables (or any other tables for that matter).

I for one cannot be convinced that these companies saying they want to slow down AI progress is for the safety of mankind (or any other altruistic reason). However, I respect someone willing to give up a very comfortable career for his convictions.

That's a little dismissive on the series of posts, as many aren't hand-wringing. The heart of the posts including this one is about recognizing that the math community/academia needs to be better than it has been. (Rewarding teaching more over research, rewarding motivated explanations over proofs etc.)

I agree that human society is too focused on productivity but disagree that it's tied to ignorance of the Bible. The fall of man illustrated in Genesis is tied to feeding on the fruit of the tree of the knowledge of good and evil. Having the right set of religious concepts wont put you in harmony with God and thus won't make you more loving to your fellow man.

Let's see how long (if it ever happens) it takes for models to generate motivated explanations (possibly done via the Manim library or something like it) along with their Lean proofs. Grant Sanderson is right that this is kind of subjective but so is Art and I'm very enthusiastic about AI generated Art.

Interesting, looks like this is a framework built on Flutter.

The more I see these posts about mathematics institutions reforms and challenges from AI advancements the more it looks like they may need to go through a death. Or to put it another way they may need to start again from first principles.

If math is truly about spreading intuition and understanding then our institutions have dropped the ball decades ago and have not been able to grab hold of it since (if they ever had it to begin with)

Thanks. A video of the editor itself is more what I'm thinking of. Something to show how it looks to work with it and explain what itch it's scratching etc.

I'm always looking for new gui code editors. For me right now Vscode is still the top (and since I've been trying Lean out it's required). Zed is a very close second.

One thing I would like to see on the home page is a video showing it being used. Also would like to see how it looks in a light theme. The repository says it's keyboard driven does that mean it's modal or can I still use it like a normal modeless editor?

Interestingly that's the one point of the article I have a disagreement with. Yeah, good thinking comes when reformulating your ideas. Also, reformulating ideas is part of the traditional writing process. However it's does not necessarily focus writers/thinkers on the reformulating ideas in their most value adding form.

I've watched some YouTube videos narrated by AI that were created by those who's native language I assume to be Chinese but the value of the content is higher and more concentrated than those from the native speakers.

While I've watched many for whom English is not their first language struggle in technical talks and lose most of the meat if their discussion to their struggle with the language conversion.

While the example of language barriers being skipped over and providing value in that circumstance is obvious I suspect more is possible by avoiding unnecessarily focus on prose or technical aspects of communication and focusing on the ideas themselves.

Imagine if the cost of not assuming a background in technical/textbook writing were zero. Freeing up authors to explain more thoroughly. Perhaps, more effort can be spent on thinking up analogies, metaphor or examples to help communicate an idea.

I think this game is a better intro to lean than the Lean for Functional Programming book. However I've gotten stumped on some of the puzzles and had to Google some solutions for them since some tactics and semantics weren't explained well enough that I could intuit how to use them. And naturally, I would avoid their use until they are crucial to finishing a level (at which point I needed Gemini would point them out to me). Unfortunately, some levels even Gemini can't help with because it was trained on older versions of the game.

Reading this makes me wish someone would really try to make Project Xanadu a reality. A network built on Content Addressable Storage and a Version Control System is some thing I'd really like to see invested in.

Is it not hard for writers to make a living? If so maybe I should do that.

I really enjoyed this video (watched it the other day). It makes me feel like it's possible for me to understand the math that I'm currently trying to understand.

On the other hand I'm still trying to forget the weird thing happening with this one guys eyes in a WickedAI video I was only able to watch half of.

I'm glad that it's open source now and they are supporting a lot more hardware. There are some interesting features that I hope the language design community pays attention to.

It's built on top of MLIR so you can make compiler optimizations in a library instead of the compiler. I believe Reactant.jl has been using MLIR for optimizing higher level abstractions in Julia. Imagine a Lisp with that capability.

How much did this bad boy cost?

I know where you're coming from. I've been worried about all the supply chain attacks on npm too. And I'm far from a security expert. However, if you're okay with installing binary packages via `curl somesite.com | sh` I don't think you are in a better position with regards to security.

As sometime who's never used Wolfram Languages before this project has gotten me interested.

For sometime now I've been looking into a good CAS for my app. I've tried a few algebra problems with Sympy, Sage, Xcas, Maxima and Woxi. Of these only Sage, Maxima and Woxi were capable of giving the expected answers.

After trying it out I became fascinated by Wolfram language and other term rewriting languages they are pretty interesting even though most have little to do with CAS like WL.

Anyway I've been looking at this project and plan to seriously use it in the future. So, I've noticed a few things when attempting to run wljs (I had to wrap it with a shell script to get wljs to see it as wolframscript executable). First the version number system variable gives a string instead of the expected real number type (As a temporary hack I modified Woxi to give what wljs expects). There also is a variable that tells to the absolute path of the of the current file and it is wrong when it's used in an imported script. After working around that with hard coded paths things became more difficult.

Edit: just checked my pc and the variables are called $VersionNumber and $InputFileName which is incorrect if the file is evaluated via Get["filepath"].

Anyways, I'm interested in helping out don't know if I can.

I wish Modular/Qualcomm good luck with this. We would be well served with a good alternative to Cuda. I will be looking at Modcon to see how serious they are with Mojo's ecosystem. (Hopefully it won't be yet another SYCL).

I've been thinking lately that all the talk about a AGI, Super intelligence, AI singularity today is practically not worth considering until they are capable of generating innovations to our current processes and materials significant enough to change the economics of running a plant. It should be obvious that a world with a system capable of improving itself rapidly would first need to be capable of improving it's own hardware but before that I think we should at least see some changes in the economics of creating and running manufacturing plants.

Yeah, this is a more honest assessment than the others I've read here.

Of course them being ISO(like) standards with competing implementations/tools was also important for C, C++ and Java as the cost to use and learn them was higher in the days before free open source languages, free tutorials and help forums became so wide spread.

But yeah official platform support and big company backing are a big part of why these languages have stuck around compared to others.

Thanks, That worked.

>Access to this site was denied for security reasons. Please contact your network or system administrator

Is what I see. Which makes sense I guess. Maybe just tell me how you got to the page?

I've found out about this and datastar * in the last 2 days. I'm getting confused about what these light frameworks/libraries are doing that I need over vanilla js. Also how do these compare to the last round of light frameworks like solid and svelte?

I'm on board with reducing the need to port to and from different frameworks. I also agree that we should try to avoid depending on npm for everything.

* https://github.com/starfederation/datastar

Yeah, it's a Linux system. I can't remember if it was spidermonkey that it failed on or not. Though it sounds like maybe they should consider using another JavaScript engine if it's causing problems.

The last few times I've tried to build Servo it's failed for me. (It's also one the very few rust projects that have ever failed to build for me).