bobajeff

6 ms·

1.
by bobajeff 5d 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.
2.
by bobajeff 5d 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
3.
by bobajeff 5d 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
4.
by bobajeff 7d 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
5.
by bobajeff 13d 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.
6.
Generalist – GEN-1.5: Embodied Foundation Models Are One-Shot Learners(generalistai.com)
1 points by bobajeff 13d ago|0 comments
7.
by bobajeff 15d ago
Is it not hard for writers to make a living? If so maybe I should do that.
8.
by bobajeff 16d 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.
9.
by bobajeff 26d 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.
10.
by bobajeff 28d 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
11.
by bobajeff 29d ago
How much did this bad boy cost?
12.
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`
13.
by bobajeff 1mo 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
14.
by bobajeff 1mo 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).
15.
by bobajeff 1mo 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
16.
by bobajeff 1mo 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
17.
by bobajeff 1mo ago
Thanks, That worked.
18.
by bobajeff 1mo 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?
19.
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
20.
Dependency Cultures [video](youtube.com)
2 points by bobajeff 2mo ago|0 comments
21.
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.
22.
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).
23.
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.
24.
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&
25.
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
26.
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
27.
by bobajeff 2mo ago
Yeah after I read this I looked at the "code". It's a lot of placeholder.cpp with int main(){return}; This is so very sketchy.
28.
by bobajeff 2mo ago
I tried the demo. One thing I've noticed is it's sometimes hard to know what operation clicking or dragging something will do (or has done sometimes). I'm not sure what would help other than showing like a pie menu before car
29.
by bobajeff 2mo ago
I watched the video. I think I've been wanting something like this recently but there's not really a name for this sort of thing that I know of. Relatedly, I've been working on a step-by-step solver/calculator but I just
30.
by bobajeff 2mo ago
Even if the research is flawed I'm happy they are trying this. They are taking advantage of LLMs to have less rigid tests and also give feedback. I think there is more potential applications possible with combining LLMs with reference&

More ›