dlahoda

Also it censors schools reviews.

Rust has it own limitations making destructure to be not the only option.

So Rust has work in progress to improve.

Not sure I clear on usage.

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?

10000 basis points agree.

Add here shared border control since 2027 in eu, and chat control now.

And prominent names like democratic republics of Kongo and North Korea.

Not sure I understood well your comment.

Do you propose just ask AI to generate orchestration in Python?

In Brave, on stock Google Pixel 10, guard enabled, docs site layout is broken.

Big is what AI good at.

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.

he does not mention AI usage.

how it helped to solve problems and search over git sources.

intresting what he would achieve mixing nixos and ai for patches.

Examples?

Seems concerns DIY are handled by several research graded request to AI? Use AI sub you anyway have.

AI does not solve resell price. Valve may be better.

I refer to broader tax. Companies have to pay to friends of regulators who sings off companies regulated.

in USA it is 10, not 20 for example.

why digital services are so special you want more taxes?

They already pay. How 10usd subscriptions become 10eur or 10£? Companies pay lawyers and beurocrats and accountants to operate.

You forgot to write ZERO after TWO.

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.

codex sub 200usd. in eu it magically becomes 200eur(hello beuracrates) plus vat. You already taxing 30%. That on top that I pay via mine already heavily taxes money.

Mistral experience was as miserable as running local models btw.

What exactly American services did to you that stopped to trust them?

I reported it to Twitter as violation of it terms with relevant category.

Twitter said naming people Pussy is fine.

Not full text, but:

- 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...

- https://github.com/features/actions

hard to switch attention and context.

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 :)

yeah. 2 month is good number.

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.

Do you drink coffee?

Feels like marketing, sir.

Can be your more specific what exactly nice?

Article was not exactly clear amid noise of it's text.

I run orchestrated agents(context warm up, fork-join, file based communication, set of trailofbits skills, some dba skill, some sourcegraphindex, and few mine, API skill). None of skills are specific to out codebase(even my), some are explicitly for Claude.

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".

Numbers feels like outliers.

They could just use AI to communicate. Why they they still on meetings?

nice idea.

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.'

Democracy is not just majority. But being represented.

Basically you said that Belarus is democratic country because 51% percent people voted for today's dictator.

i hope they will integrate roblox for future generations of robot makers to be pre trained on games

Author of the article did not say where he pays taxes and spends his money on goods, which are taxed too.

Estimates are that 30 percent of taxes go to war in Russia.

So if he is in Russia, and not left for some deep forest or like, he helps Russian War effort.

Could just stop state financing farmers and raise import taxes on non bio products which will raise food praises hence less people will be able to survive is better option?