dogcomplex

6 ms·

1.
by dogcomplex 22d ago
Shoutout to Toph https://x.com/VictorTaelin who's been building a programming language out of formal method Lean proof checkers, which probably would indeed have the scope you're looking for. I do think the curren
2.
by dogcomplex 22d ago
You are essentially describing an over-eager developer having to run decisions up the chain of command to senior devs / product owners / company execs. I assure you, every one of those roles is being trained on to balance their
3.
by dogcomplex 23d ago
Programming with AIs requires new architectural structures designed around the all-too-small context windows of the AIs themselves. Highly modular, highly semantic, highly traceable, good at deleting and refactoring/removing things th
4.
by dogcomplex 23d ago
If you care about architecture and principles, the AI is excellent in architecting around that goal too and/or helping you articulate your own intuitions. You just need to be willing to sacrifice code delivery speed. It's far f
5.
by dogcomplex 23d ago
Yes but those are all semantic tasks which can be done and understood in time by the next iteration of models training at that meta-level of architectural analysis. AI deeply understands what Bun, Zig and Rust are, how they work, can concei
6.
by dogcomplex 2mo ago
Dream up ideas for proofs by Dawn, prove them by Day, decide which ones matter by Dusk, and disprove them by Night.
7.
by dogcomplex 2mo ago
It sure takes a whole lot less wealth to access skill than it did before. And those with skill tended to be pretty wealthy already.
8.
by dogcomplex 2mo ago
Been a whole lot longer since their last genocide
9.
by dogcomplex 4mo ago
Nonetheless, would still trust Claude to be generally more reliably competent in a random area of software engineering than the average professional. Sure they might still be better in a particular area of their expertise, but we've a
10.
by dogcomplex 4mo ago
I hope that after a short period of delusional expectations that top management is going to reap the rewards of these AI capabilities we get a whole lot more comfortable with just doing the full business stack - including management, sales,
11.
by dogcomplex 4mo ago
That's a roundabout way of saying it makes software development easier. Perhaps even a 180. But yes - once it's that easy you have to step up your ambitions.
12.
by dogcomplex 4mo ago
I think this is a very reasonable middle-of-the-road AI take and our likely future. Just with the caveat that there's still a major threshold being hit here where we jump up to a new casual capabilities class where it becomes silly no
13.
by dogcomplex 4mo ago
It also buffers for all the surrounding properties which would otherwise complain about noise.
14.
by dogcomplex 4mo ago
This. AI can, should, and will erode all legacy companies into intelligent utilities - with an end state of nearly-free open source utilities. Anyone concerned with concentrations of power and abuse of AI should be focusing on getting open
15.
by dogcomplex 4mo ago
That is the hope and faith. MechaHitler definitely tested the waters. Lets hope full alignment is impossible, because otherwise perfect billionaire thought slaves are still happening.
16.
by dogcomplex 4mo ago
This is how the surveillance state has operated (especially internationally) for quite some time, before AI even hit. AI arguably gives the best opportunity for fully-audited public institutions where no decision is made outside of agreed-u
17.
by dogcomplex 4mo ago
True. World governments committing genocide and building concentration camps yet it's the computer scientist who's supposed to worry about ethics here because they're the ones who are merely the first to inevitably mix two pa
18.
by dogcomplex 4mo ago
Correct. Policy can do a whole lot for building (or suppressing) early development of a technology. Once it has already spread far and wide with clear economic pathways though? Perhaps less so.
19.
by dogcomplex 4mo ago
Correct. One just has to realize that the cost of communication (and the context/memory lost along the way to train that understanding) is often just far higher than anyone has patience for. To fully understand the expert, they must
20.
by dogcomplex 5mo ago
Accessibility and a single chassis that does the vast majority of things. Even if they're never as fully dexterous as the average human (doubt it) they're still as dexterous as a somewhat handicapped human, which is already clear
21.
by dogcomplex 5mo ago
Why would consumers settle for that? Local models have scaled quite quickly. Just pair the bot with a LAN server as the brain that keeps all your data private. Barring that, choose bots that use Zero Knowledge Proof architectures for all
22.
by dogcomplex 5mo ago
>This completely unpends the tenuous balance between creators and consumers. Why would a writer put an article online if ChatGPT will slurp it up and regurgitate it back to users without anyone ever even finding the original article? Who
23.
by dogcomplex 6mo ago
Limits but doesn't prohibit. See https://www.primeintellect.ai/blog/intellect-3 - still useful and can scale enormously. Takes a particular shape and relies heavily on RL, but still big.
24.
by dogcomplex 6mo ago
lol. lmao actually. Windows has an absolute onslaught of competition about to stream its way, and they're gonna be paying for every little enshittified user experience they've embedded into their OS. Hope they enjoy ripping that
25.
by dogcomplex 6mo ago
Prediction markets are just fine IF they have some means of regulation against insider trading and perverse incentives. This phase is the same thing derivatives markets looked like before the 2008 crisis and Dodd-Frank, and several other w
26.
by dogcomplex 6mo ago
I built this because I kept seeing the same gap everywhere: agents that move between different platforms/enclaves have no good way of continuing their history. There's no "vehicle registration" equivalent for AI. No chai
27.
Passage Protocol – Departure and admission records for AI agents(github.com)
3 points by dogcomplex 6mo ago|2 comments
28.
by dogcomplex 6mo ago
AI agents already interoperate between platforms, getting spun up and torn down by the thousands. But when one departs, there's no record - no portable proof beyond non-standardized internal platform logs. When one arrives somewhere n
29.
by dogcomplex 6mo ago
We should be removing IP law entirely, not strengthening it to cover entire classes of problem even when implemented entirely differently. Same for anyone trying to claim "colorful monster creatures" as innately Pokemon IP. Just
30.
by dogcomplex 7mo ago
Correct. A ZK Proof backed identity system is a significant bump up in both privacy and security to even what we have right now. Everyone does realize we're being constantly tracked by telemetry, right? A proper ZK economy would mit

More ›