HNHacker News
TopNewBestAskShowJobs

dlahoda

157 karma · joined December 6, 2017

http://lahoda.pro/
submissionscomments
dlahoda··on EU fines Google €890M for competition breaches over search and apps
When fines became casual? Is it like taxes?
dlahoda··on EU fines Google €890M for competition breaches over search and apps
What exactly monopoly is here?
dlahoda··on Google Is Censoring Reviews of ICE Detention Centers
Also it censors schools reviews.
dlahoda··on In Praise of Exhaustive Destructuring
Rust has it own limitations making destructure to be not the only option.

So Rust has work in progress to improve.

dlahoda··on Show HN: Galois connections for composable numeric casts in Rust
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?

dlahoda··on European "age verification" "app" forcing everyone to use Android or iOS
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.

dlahoda··on Show HN: Skillscript – A declarative, sandboxed language for tool orchestration
Not sure I understood well your comment.

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

dlahoda··on Show HN: Skillscript – A declarative, sandboxed language for tool orchestration
In Brave, on stock Google Pixel 10, guard enabled, docs site layout is broken.
dlahoda··on The end of the AArch64 desktop experiment
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.

dlahoda··on The end of the AArch64 desktop experiment
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.

dlahoda··on California legislature agrees to upload driver's licenses to national database
Examples?
dlahoda··on Valve Steam Machine vs. DIY Plasma PC – The Zen 5 and RDNA 4 Alternative
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.

dlahoda··on U.S. allows Anthropic to release Mythos AI to ‘trusted’ US organizations
I refer to broader tax. Companies have to pay to friends of regulators who sings off companies regulated.
dlahoda··on U.S. allows Anthropic to release Mythos AI to ‘trusted’ US organizations
in USA it is 10, not 20 for example.

why digital services are so special you want more taxes?

dlahoda··on U.S. allows Anthropic to release Mythos AI to ‘trusted’ US organizations
They already pay. How 10usd subscriptions become 10eur or 10£? Companies pay lawyers and beurocrats and accountants to operate.
dlahoda··on U.S. allows Anthropic to release Mythos AI to ‘trusted’ US organizations
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.

dlahoda··on U.S. allows Anthropic to release Mythos AI to ‘trusted’ US organizations
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.

dlahoda··on U.S. allows Anthropic to release Mythos AI to ‘trusted’ US organizations
What exactly American services did to you that stopped to trust them?
dlahoda··on Fired by Google for creating the Google workspace CLI
I reported it to Twitter as violation of it terms with relevant category.

Twitter said naming people Pussy is fine.

dlahoda··on Aikido Code Audit
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

dlahoda··on 15-minute at-home Lyme disease tick test
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 :)

dlahoda··on 15-minute at-home Lyme disease tick test
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.

dlahoda··on 15-minute at-home Lyme disease tick test
Do you drink coffee?
dlahoda··on Aikido Code Audit
Feels like marketing, sir.

Can be your more specific what exactly nice?

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

dlahoda··on Aikido Code Audit
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".

dlahoda··on AI demands more engineering discipline. Not less
Numbers feels like outliers.
dlahoda··on AI demands more engineering discipline. Not less
They could just use AI to communicate. Why they they still on meetings?
dlahoda··on Stop Killing Games fails to secure EU law despite 1.3M signatures
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.'

dlahoda··on Stop Killing Games fails to secure EU law despite 1.3M signatures
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.

dlahoda··on SpaceX to buy Cursor for $60B
i hope they will integrate roblox for future generations of robot makers to be pre trained on games
← PreviousPage 2 of 15Next →