bobajeff

4 ms·

1.
by bobajeff 6d ago
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
2.
by bobajeff 7d ago
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 subje
3.
by bobajeff 9d ago
Interesting, looks like this is a framework built on Flutter.
4.
by bobajeff 12d ago
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. I
5.
by bobajeff 15d ago
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.
6.
by bobajeff 15d ago
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
7.
by bobajeff 15d ago
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 nec
8.
by bobajeff 17d ago
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 expla
9.
by bobajeff 23d ago
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.
10.
Generalist – GEN-1.5: Embodied Foundation Models Are One-Shot Learners(generalistai.com)
1 points by bobajeff 23d ago|0 comments
11.
by bobajeff 25d ago
Is it not hard for writers to make a living? If so maybe I should do that.
12.
by bobajeff 26d ago
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.
13.
by bobajeff 1mo ago
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.
14.
by bobajeff 1mo ago
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 compil
15.
by bobajeff 1mo ago
How much did this bad boy cost?
16.
by bobajeff 1mo ago
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`
17.
by bobajeff 2mo ago
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
18.
by bobajeff 2mo ago
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).
19.
by bobajeff 2mo ago
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
20.
by bobajeff 2mo ago
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 high
21.
by bobajeff 2mo ago
Thanks, That worked.
22.
by bobajeff 2mo ago
>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?
23.
by bobajeff 2mo ago
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 framewo
24.
Dependency Cultures [video](youtube.com)
2 points by bobajeff 2mo ago|0 comments
25.
by bobajeff 2mo ago
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.
26.
by bobajeff 2mo ago
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).
27.
by bobajeff 2mo ago
I think you mean that the Ladybird project doesn't accept outside contributions anymore but it's still open source (just checked it's under BSD 2-Clause License). Pretty important distinction I think.
28.
by bobajeff 2mo ago
I'm not sure why people are claiming wasm isn't ready. It's just a compiler target like asm.js was. And that's been in use pretty much from the start when they got Unreal Engine, Unity, ffmpeg ported to it. Personally I&
29.
by bobajeff 2mo ago
Actually, at least on Chromium it's possible to use Dwarf debugging symbols in debugging your wasm files. It's a little tricky because the documentation isn't that clear but I've ran programs through that and it works. A
30.
by bobajeff 2mo ago
Many people here seem to think this change will allow for people to package their Linux apps to be portable across distros/distro releases. If this is true then this a great! On Debian-based distros it kind of sucks when the version of

More ›