kreneskyp
Joined 17 years ago
Joined 17 years ago
This method also helps with the classic problem of being unable to identify essential complexity up front.
I'm targeting Rust primarily but my goal is that any language could sit under it via an integration layer.
https://github.com/agent-ix/quoin
The first public version of the formal specification standard isn't available yet. Pushing hard to get it out soon! But Quoin ships with an earlier version of the spec standard. It features derived property tests, which was the POC for fully adopting a formal-spec-to-derived-formal-verification ecosystem.
https://github.com/agent-ix/engineering-assurance https://github.com/agent-ix/quoin
I vibe engineer to learn. I am currently doing this with a project to build a Vector DB extension in postgres. Several aspects of this project are very new to me. I don't write any of the code. I have never written a single line of Rust. I do, however, spend a significant amount of time discussing architecture and design with the agents.
I started with well known algorithms (HNSW, IVF, DiskANN, TurboQuant, RabitQ, PQFastScan) and have since moved on to a novel implementation based on fairly recent research papers.
My primary goal is to learn. That is a success and ongoing. A stretch goal is to contribute novel ideas back to the community, which may be useful even if what I build isn't ever production ready.
The reality is that most cases of mishandling classified information result in little more than a stern talking to from your manager, re-training, and a blemish in your file.
edit: referring to the claim that Clinton voters aren't voting for clinton
Edit: small mistake. The initial request did come from Congress and went through the State Department. It was not a subpoena though, that came later.
Edit 2: Since it was clear to some, the reddit post was dated July 24th, 2014. That's 7 months, prior to the first subpoena.