Cieric

8 ms·

1.
by Cieric 16d ago
Yeah, that sounds like the system I rediscovered. The only other thing I'm adding to try and lean more into that system are assertions(?) that are in the middle of a function, that can basically break it up into blocks on their own whe
2.
by Cieric 17d ago
Ah damn, okay. Long functions with a lot of sub calls is a known problem. I've been able to work around some of the issues tried to them by making every function an independent "compile unit." and then solving them each indiv
3.
by Cieric 17d ago
You sounds like you have more experience than me in this space (specifically contracts). I'm curious if you have any examples right off hand that would need whole program analysis. I need more examples to throw at my toy language that&
4.
by Cieric 17d ago
Yeah, I heard spark was used on a small component in the nvidia gpu firmware so others seemingly agree. I'm mainly in the user mode driver space so my ideas have been around having a kernel mode driver that (assuming a correctly functi
5.
by Cieric 17d ago
There is a small hint of it at the end, but I really hope compile time contract assertions become more common. I know some languages like spark, dafny and a few others do it and generate implicit contracts for things like divide by 0. I&#x2
6.
by Cieric 24d ago
Another thing that it could be is quick charge, since that seems to conflict with some PD chargers as they'll try to negotiate, fail and then reset. My Light L16 camera has this problem so I have to use the charger it came with or find
7.
by Cieric 1mo ago
It's been a while since I've tried to run it, but it's a mix of Nvidia and AMD GPUs and only AMD CPUs (everything portable is all AMD though and that's where my gripes are.) I'm sure the opencl backend has gotten be
8.
by Cieric 1mo ago
I'm sorry, but the article doesn't cover anything about the preprocessing steps that are required for 90% of gaussian splat implementations. That preprocessing step is almost always colmap which takes pictures or videos and uses S
9.
by Cieric 1mo ago
Thanks, I've been exploring a lot of the papers and seeing what I can get working. Some of it really has been interesting, but I just never seem to be able to get it to work well. I might just need to throw myself at it all a bit more.
10.
by Cieric 1mo ago
I'm still very fascinated by gaussian splatting, but the issue I always run into is the need to use colmap to generate the camera positions and get the initial point cloud. Which colmap effectively still needs Nvidia for dense point cl
11.
by Cieric 1mo ago
Oh yeah, I do think it's the shielding. I was just kind of surprised by it since I've never bought a cable that's done that.
12.
by Cieric 1mo ago
They also crackle out of the package, or at least the 5 I got did. Kind of sound like the thin glow sticks a bit.
13.
by Cieric 2mo ago
I feel like it's good to note since I missed it. This post is from Feb 13, 2023. He has up to 8 posts on this at this point which don't appear to be linked to from this post. I think linking to all of them would be a bit much, but
14.
by Cieric 2mo ago
Just in case anyone else decides to write along like the article suggests. I chose to use the live.lean-lang.org link, but it seems to default to a newer version of lean where the simp[xor] actually returns both sides still wrapped in the l
15.
by Cieric 2mo ago
Yes, thanks for saying it more concisely/clearly than I did. Just cause I understand something doesn't mean I'm good at explaining it.
16.
by Cieric 2mo ago
As someone who is in the rendering space for work. Having a higher framerate does help, but in a weird way. Basically the start of the frame rendering is what mostly dictates where objects are rendered. By getting a higher framerate the pos
17.
by Cieric 2mo ago
Being fully stopped at a stop light isn't putting my or anyone else's life in danger. If I have a phone in my hand the car is not moving. I also finished the comment before the light turned green so the phone also was no longer in
18.
by Cieric 2mo ago
Let me know if you want to hear anything specific about it. It kind of works, so it's not something I recommend doing if it can be avoided, but as Roxxik pointed out there is much room for improvement since this was just a naive just g
19.
by Cieric 2mo ago
On the technical details of mmap I agree (at least while single threaded which is how I believe I'm running it), but making it async does sound like an interesting method for speeding it up. My only goal with my testing was get as larg
20.
by Cieric 2mo ago
Yeah I'll see what I can transfer over from my llama.cpp work. As before I'm not too experienced with llm work, but I have a lot of experiments I'm trying out. So I'll make a PR if I get any interesting results.
21.
by Cieric 2mo ago
I was actually just working on the same thing as this, but I went down the route of mmapping the entire model into memory to avoid the extra ram usage. I also had Claude implement Medusa[1] on the model to try and avoid loading an additiona
22.
by Cieric 3mo ago
I think I can understand that reasoning. I do have a tendency to explore, especially at the start since it gives me a view of what the site can already do, cause I wouldn't want to run into issues with my own projects without knowing o
23.
by Cieric 3mo ago
Seems interesting an I'll take more of a peek after work, but one thing that stood out to me is the only way back to the home page after navigating to a repo is the back button. Going back to the home page via the back button also does
24.
by Cieric 4mo ago
I can't say I know how they actually did it, but taking a look at the trailer I can point out that it looks like the spaces are confined and your character is on rails. I'm mainly going off of the instant direction changes that do
25.
by Cieric 4mo ago
I actually do this whenever I add a youtube channel, but some shorts still sneak through. Just as a warning to whoever tries it themselves.
26.
by Cieric 5mo ago
All good, and agreed the fork author is in the wrong here. I just like keeping the facts straight since that can inform better arguments and discussions.
27.
by Cieric 5mo ago
An example give by donho is "SomeProject : a macOS port of Notepad++" so it seems like the name can be used which will make it appear in searches. It just has to be clearly something else.
28.
by Cieric 5mo ago
The only place I see that is from a user "LiEnby" not "aletik", and none of aletik's existing messages are edited. All replies I see with the message are also to LiEnby. I don't agree with aletik's slow re
29.
by Cieric 7mo ago
Neither did I, feel free to email me or message me on discord and I can try to download the video and send it to you.
30.
by Cieric 7mo ago
Here is a video that I actually just watched recently on that exact thing. https://youtu.be/jfLAaGtNc7U

More ›