157 karma · joined December 6, 2017
So Rust has work in progress to improve.
In our code we use non byte numbers(deranged and arbitrary int crates), symmetric signed, ordered floats, new num type pattern, our const and categorical num traits(num-traits crate sucks), static assertions, prop tests, easy cast crate(sound as). We have custom decimals. And newtypes of u64 * u64 = u128.
Looking into lean4 provers integrated into rust).
Can your crate compose somewhat with above?
Add here shared border control since 2027 in eu, and chat control now.
And prominent names like democratic republics of Kongo and North Korea.
Do you propose just ask AI to generate orchestration in Python?
What exactly codebase is unexplored in article? Patches? Just load them in context. Linux is already in model as well as nix and hardware specs.
AI is good in search and playing(constrained synthesis) over hardware, Linux and configurations specs. Not fun thing.
how it helped to solve problems and search over git sources.
intresting what he would achieve mixing nixos and ai for patches.
AI does not solve resell price. Valve may be better.
why digital services are so special you want more taxes?
20% VAT to begin with payed with heavily taxed money of mine.
Than on top of payed by provider of services to UK gov machine making 10usd sub be 10£ sub.
Mistral experience was as miserable as running local models btw.
Twitter said naming people Pussy is fine.
- config you cli to allow run agents in parallel
- ask to use tmp dir for all files, and git worktree copy
- ask to export all to files, progress, errors, reports, as it goes.
Now setup for each agent run (process with own context):
- planning-with-files, caveman, ask-questions-if-underspecified(if not in CI)
- these skills must be loaded into each subagent.
After, run assembling context: - audit-context-building, trailmark-structural
At this point all only operator runs. No other agents.
Now ask for forks(parallel), each loads context built before:
- dba-review
- supply-chain-risk-auditor (ask to trigger only on lock files changes
- spec-to-code-compliance
- openai-gh-fix-ci (if audit of PR)
- graph-evolution, differential-review
- dimensional-analysis
- mutation-testing, property-based-testing (ask to mutate and proptest around changes).
So not of these skills are load into shared context. They have own to avoid pollution and loss of focus.
So all forks run done. Ask for join.
- fp-check, second-opinion
Ask for final report.
All skills above from github and public (not my, easy to find).
I have private skills like:
- github-context-aggregation (links, comments, descriptions)
- structural-transformation-review (thing topology, category theory, duals)
- layered-context-chunking (2 layers at a time - like db+backend, backend+fe to more focus)
- product-feature-interactions (product line eng combinations)
Good mental model for what you are doing is
- https://github.com/microsoft/conductor/blob/main/examples/pa...
easy to fall into "first idea good idea trap".
lack of ability to work in priorities.
lack of ability achieve long term goals, as long as these are not just extensive usage of self.
procrastination.
all this before even health issues like blood pressure and sleep disruption.
if worth to drop at least once for half year - experience panic attacks may be - and get on track back with better control of addiction :)
if you burn out at same time - it can take half year.
caffein makes you work TWO-FOUR times slower than you could without.
yeah, that is number i measured on self.
and yet i still do it - drugs are drugs - coffee makes me happy - cappuccino - to make effect longer and less strait compared to black shots.
also do not drink in the morning - feel pain of starting a day:)
the only reason you will not have job - you can start hating your job and leave. but you would do job more productive without coffee.
Can be your more specific what exactly nice?
Article was not exactly clear amid noise of it's text.
Finds 90% bugs using Codex and Gemini 200usd subs.
You do not need service for auditing or review.
Just overlay you ci with ai.
I do not even sast (because we use rust typestates and invariants; and effect ts; and failfast).
Have seen death of 5 services for audit and review killed by "just overlay ci with ai in max sub on latest model".
Like,
1. Let make cocaine legal to sell
2. Say to people 'Stop giving money to drug deallers if you have a problem with the arrangement.'
Basically you said that Belarus is democratic country because 51% percent people voted for today's dictator.