Do any of you use this as a replacement for Claude Code? For example, you might use it with openclaw. I have a 24 GB integrated RAM Mac Mini M4 I currently run Claude Code on, do you think I can replace it with OpenClaw and one of these models?
along the same lines, did you know that you can get an authenticated email that the listed sender never sent to you? If the third party can get a server to send it to themselves (for example Google forms will send them an email with the contents that they want) they can then forward it to you while spoofing the from: field as Google.com in this example, and it will appear in your inbox from the "sender" (Google.com) and appear as fully authenticated - even though Google never actually sent you that.
This is another example where you would think that "who it's for" is something the sender would sign but nope!
I asked about this on the PGP mailing list at one point, and I think I was told that the best solution is to start emails with "Hi <recipient>," which seems like a funny low-tech solution to a (sad) problem.
The solution to this problem without needing to modify your message is to use a protocol that will sign, then encrypt, then sign again. See section 5 here [1] or section 15 here [2].
We currently donate money to food banks and would like to set up end-to-end infrastructure so we could deliver free food to people's homes. Our concept is that AI does all the work (including farming) and gives away free goods and services. Where this runs into problems is the question of who's going to make and distribute food and how people are going to get it. While we haven't figured out all parts of food delivery we'd like to work on the distribution channel. We think it's very important.
What we're looking for is someone who is passionate about owning network infrastructure in people's homes and would like to help run the software stack, since at the moment AI is not talented enough to autonomously run the full infrastructure stack. This is an unpaid volunteer position.
What you would be in charge of is food distribution algorithms, equality, fairness, and the long-term future for humanity.
You can email me directly at: rviragh@gmail.com - please mention relevant volunteering or organizations you support.
Well I basically cannot use it for performance decisions at all. I make all the choices and use it for simple things like "find me the top functions in this profile" or "refactor this code to test xyz prototype".
>There's also some types of code that I believe is often wrong in the training data that is almost always wrong in the LLM output as well. Typically anything that should have been a state machine, like auth flows, wizards, etc.
I'm curious about what you mean about state machines for auth. If it's a state machine, how do you interface with it, what data type do you use, how is it built? What language or framework would this apply to? I think your approach might be different from how other people do it, I'd like to know more about your approach. Could you walk through an example?
It's the same overall project, but that result uses kissat[1] solver to complete the solve, this update is that we made our own kissat-style solver specifically for SHA-256. (As of the yesterday's post, I only said "we are working on our own version of the kissat solver based on these properties"[2]). Now we have that solver. It's exciting because we have a large body of Lean-proven theorems, many novel, and we think we can apply many of them directly in this sat solver. Of course, we could be going down a path that doesn't lead to a collision, as we did when we tried to extend the reduced-round records using a mini neural network.[3] We'll just have to see if we can extend the results at all.
This was an interesting site and was the first time I tried Twitch. It seems like video-based social interaction is an interesting field in general, since it's easier and cheaper than going someplace for an event (which is naturally limited by space, as well). How does Twitch work in general? Can you tell me a little bit more about it?
reply