You could assign the cluster based on what the k nearest neighbors are, if there is a clear majority. The quality will depend on the suitability of your embeddings.
I too am still investigating the space, but what's attractive to me about CPNs is that they can be both the specification and the implementation. How you describe the CPN in code matters, but I'm toying with a rust + SQL-macros version that makes describing invariants etc natural. My understanding is that for TLA+ you'd need to write the spec, and then write an implementation for it. This might be another path for "describe formally verifiable shape then agentic code it", but it smells to me a little like it wouldn't be doing as much work as it could. I think in this there's an opportunity to create a "state store" where the network topology and invariants ensure the consistency of the "marking" (e.g. state of the database here) and that its in a valid state based on the current network definition. You could say "well SQL databases already have check constraints", and we'd probably use those under the hood, but I am betting on the ergonomics of putting the constraints right next to the things/actions relevant to them.
Yeah, as far as I can tell TLA+ can accomplish more or less the same stuff as Colored Petri Nets. You get a pretty graph with CPNs and it can be interesting to watch the data flow around in the animators, but I've had trouble doing anything terribly useful with Petri Nets.
I haven't really done anything with it, but I've heard Alloy gives you a graphical animation while giving you similar utility to TLA+.
Discord is honestly not great for work, but there are lots of other tools. I think they should focus on what’s made them successful, which is gamers and communities.
They should realize charging people $100/year per person for Nitro and $500/year for server boosts means that they don’t want to be advertised to and have their data stolen.
People can feel the pain without drawing the right conclusions to rectify the situation. For centuries people thought bad things happened because the gods were displeased. Some still do.
You’re comparing apples and oranges. These administrative warrants are very limited in scope. They are closer to the subpoenas that even ordinary civilian lawyers can send third parties in the course of litigation. They don’t give the government the power to bust into Google’s data center. The target has to respond or else challenge the warrant in court, but ordinary civilian subpoenas function the same way.
That's not at all what I've been hearing from reports of people getting these. They find that they're not at all targeted. They frequently don't even know who the target is. The officers get asked for a warrant and they might produce a bullshit piece of paper which is really just a memo.
Anyway, it's not "me" comparing these alleged apples and oranges, I am replying deep in a thread of other people making these comparisons.
That’s the same as the subpoena I could send you if you had information relevant to a litigation. And you have to give it to me or else go to court to quash the subpoena. But the key difference with judicial warrants is that judicial warrants can be enforced immediately while subpoenas and administrative warrants require the cooperation of the target or else going to court to enforce the subpoena.
Sorry, it's pretty clear that you like what ICE does and you're working backwards with what you think is a legal argument that justifies it. What ICE is reportedly doing has absolutely nothing in common with a lawful subpoena.
Unless the user just updated it, the current cert has been valid for the last 12 days. Maybe you're getting MITM'ed or don't have the root in your trust store?
That's a great point. I completely agree—'Data Engineering for LLMs' is much more accurate given the content.I'll pass this feedback on to the project lead immediately. Thanks for the suggestion.
No, I think it gives the impression that the author is using an LLM without much supervision to not only write the submitted content, but to reply to posts here.
reply