Remco

4.6K posts

Remco

Remco

@recmo

🪩 World | Math & Engineering @ 2π.com

Earth Katılım Ekim 2009
2.2K Takip Edilen7.6K Takipçiler
Sabitlenmiş Tweet
Remco
Remco@recmo·
The future is agents writing proof carrying code directly. No dependencies. No kernel. Your personal operating system for your specific hardware with your specific functionality. All Ring0 flat rwx memory cause faster. Ubiquitous self modifying code. Stack is a vestigial abstraction: sp is a gp now. No abstractions; deeply integrated hacks beyond human comprehension that make biology look refreshingly simple. Somewhere inside, the agent keeps rewriting everything. The formal specifications say everything is fine.
zooko🛡🦓🦓🦓 ⓩ@zooko

Oh man oh man. I can’t be sure that this hyperbolic headline (“I have discovered programming’s final form”) *isn’t* true!

English
6
5
41
7.1K
Remco
Remco@recmo·
@AlexFinn MAKE Magazine is probably the closest to a positive tech focused magazine. It’s also closer to early computer magazines in being more DIY focused.
English
0
0
0
126
Remco retweetledi
Alex Finn
Alex Finn@AlexFinn·
Something strange has happened over the last 10 years When I was a kid, every tech publication (Wired, TechCrunch, Engadget) truly loved and celebrated technology Over the last 10 years they all collectively decided they absolutely LOATHE technology. Every article is a hit piece. Every entrepreneur and creative thinker is being destroyed. The greatest inventors of our lives are being villainized. A lot of people are saying it’s because we live in a clickbait culture and hate is what drive clicks, but I don’t buy it If hate drove clicks all of these publications would be thriving. Instead, they’re all failing, going bankrupt, laying people off and on top of that I literally can’t name a single person who reads any of them There is a such a massive opportunity right now for anyone who’s willing to start a tech publication that actually celebrates and loves technology. I’m DYING for a version of Wired that actually covers real tech with an optimistic lens, and I know many other are too. Might have to f around and do this myself.
dar@radbackwards

I gave WIRED the exclusive on our hands launch, and they wrote a really weird article about how we are sexualizing robotics… wired.com/story/the-1x-n… I felt pretty betrayed because that’s not what they told me they were writing about not is that what I’ve ever been about… actually I stand for quite the opposite… But I’ve come to find a lot of dishonesty and malice in the journalism community so I wasn’t surprised. This is what I sent the author… I’m only sharing this because I hope it encourages journalists to resist the click bait trap and tell truly awesome stories because I for one don’t believe journalism is dead— I think it’s just starting and just needs to evolve past the weird corner of the internet where data driven optimization turns everything into smooth brained shocking brain rot bullshit. The technological revolution we are going through should inspire a journalism renaissance. Not let it fall into further decay. There is so much brilliance at play in the world and the stories should be told! My note: “[author name redacted], it was nice talking to you, but I wanted to let you know that I didn’t enjoy your article at all. I understand the need to be inflammatory because that seems to be the only thing that gets clicks these days but that doesnt mean you shouldn’t recognize when something special is in front of you. I trusted our PR team in saying we should offer you the exclusive on what is one of the most important technological developments in the history of Mankind and I deeply regret it. Good luck with the rest of your writing career. -Dar Sleeper”

English
253
115
2K
411.5K
Remco
Remco@recmo·
@cryptodavidw Making your politics your identity does not produce interesting content. Mostly predictable biased advocacy.
English
1
0
1
73
David Wong
David Wong@cryptodavidw·
Actually any kind of flag for what matters
English
1
0
5
287
David Wong
David Wong@cryptodavidw·
It’s sad but today if you hide all twitter accounts that have an American flag in their username on twitter, things improve drastically
English
1
0
7
920
David Wong
David Wong@cryptodavidw·
from Muse, well this is depressing
David Wong tweet media
English
2
1
6
1.2K
Ariel Gabizon
Ariel Gabizon@rel_zeta_tech·
Well said!
Бианка@BiankaB12

One of my longest-standing arguments is that we are not living in Orwell’s 1984, where truth is centrally suppressed and censored by force (that’s former communist societies, modern-day China, Russia, North Korea). We are living in something much closer to Huxley’s Brave New World. The truth is not hidden - it is almost always readily available. But it is buried beneath an industrial quantity of noise: propaganda, outrage, half-truths, conspiracy theories, influencer theatre, algorithmic rage bait and an endless stream of content designed not to inform us, but to keep us emotionally stimulated. The modern information system does not need to censor the truth when it can simply drown it in noise. A fact no longer has to be disproven - it only has to be surrounded by a hundred competing claims, stripped of context and nuance, turned into partisan ammunition and pushed into the same feed as celebrity gossip, memes and 15 second videos engineered to deliver the fastest possible dopamine hit. By the time the truth reaches us, it appears as just another piece of content competing for our attention. That is the more sophisticated form of control: not preventing people from knowing, but exhausting their capacity to care. Orwell feared a world in which people would be deprived of information. Huxley feared a world in which they would be given so much distraction, stimulation and triviality that they would lose the desire to seek it. The defining struggle of our age is therefore not simply between truth and censorship, but between truth and indifference.

English
1
0
8
1.1K
Remco
Remco@recmo·
@secparam @cryptodavidw I do hope online identity verification will be a first though. Enough public and legal pressure, plus availability of suitable ZK solutions might just make this work.
English
0
0
0
41
Remco
Remco@recmo·
@secparam @cryptodavidw Maybe this will change if there are some privacy disasters around LLMs, but that would be a first. Afaik no major SaaS industry has moved to serious privacy tech due to scandals, just incrementally improved basic security practices.
English
1
0
0
46
Ian Miers
Ian Miers@secparam·
Whats the premium the market will pay for zk inference vs inference in a TEE? For payments there's a clear reason we don't trust TEEs. And for identity, there's simply an availability problem: not enough programable trusted hardware on devices. Are there similar cases for inference?
English
4
1
6
537
Remco
Remco@recmo·
@levelsio You can add a filter paper to the espresso basket. Helps with cleaning too.
English
0
0
2
1.1K
@levelsio
@levelsio@levelsio·
Espresso is bad for cholesterol build up in veins due to coffee oils that filter paper (like in V60) filters out
sourcerer@sourcerer19

@levelsio I use a gaggia classic and a graef grinder. You never tried the espresso way? cleaning should be simple if you have your grind dialed in as the coffee puck comes out clean out with one tap.

English
33
6
414
254.8K
Remco
Remco@recmo·
@kobigurk “No GPU, no BLAS” yeah, you wont need those when you’re disk bandwidth limited :)
English
0
0
2
344
t11s
t11s@transmissions11·
taking reservations for my LEGO 5nm wafer capacity, volume production starts Q1 2027
t11s tweet media
English
30
41
1K
91.7K
Remco
Remco@recmo·
@luhelminger *decentralized permissionless blockchains it’s great for building distributed databases
English
0
0
2
294
Remco
Remco@recmo·
@luhelminger This is non-byzantine consensus (semi-honest in mpc parlance), which is basically irrelevant for blockchains.
English
1
0
3
369
Remco retweetledi
Psyho
Psyho@FakePsyho·
Humanity has not prevailed ( • ᴖ • 。) AWTF Heuristic is now over and OpenAI has completely demolished human competitors. In the end, humans performed quite well, but the performance of OpenAI was outstanding. I'll post my detailed thoughts about this in a few days, since this deserves a longer commentary.
Psyho tweet media
English
33
138
1.1K
159.5K
Remco retweetledi
Harald Schäfer
Harald Schäfer@___Harald___·
Anthropic is now a banned vendor at @comma_ai . I recommend other companies do the same. People should consider how reliant they are on cloud token vendors. If you can't brainstorm, code or be productive without them, you should be scared. Regain your sovereignty or you're ngmi.
Harald Schäfer tweet media
English
92
129
2.8K
497.7K
Remco
Remco@recmo·
@FakePsyho I’d love to know how much human involvement, if any, there is on OpenAI. Is it completely hands-off since start?
English
0
0
0
135
Psyho
Psyho@FakePsyho·
Q: What's the model that OpenAI is using? A: I don't know, but I think it's safe to assume that they're using their best in-house model with a custom harness made specifically for this contest. They are probably running hundreds of agents in parallel costing them bazillion dollars. I'll try to get some information out of them during the interview, but I'm pretty sure the only thing they'll say is "next question please". All being said, it's "just" autoresearch on steroids with infinite compute. Last year, I wrote a longer article where I speculated about how it worked, but I'm sure that a lot of that is outdated in 2026: github.com/FakePsyho/cpco…
English
4
2
28
3.2K
Psyho
Psyho@FakePsyho·
Here's a thread with frequently asked questions about the AWTF Heuristic contest. I'm posting these in the hope that people would stop asking the same questions over and over again. I know that I should've posted these before the contest started, but unfortunately there's a lot of things to do and very little time to do that. Next time, I'll do better. If you have more questions, comment on this post. There's a tiny chance I'll answer them in case they're posted before the livestream. Like and subscribe or something... 💤💤💤
English
4
10
131
16.1K
Remco
Remco@recmo·
@FakePsyho > update negatively towards reasoning capabilities of their models. Not sure this impacts much. If they got defeated by Anthropic maybe, but better or worse than the best human is not very actionable for me.
English
0
0
4
1.1K
Psyho
Psyho@FakePsyho·
Confession time: I never expected for OpenAI to participate in any kind of programming contest ever again. Last year, they had an amazing run with IMO, AWTF & ICPC. This year, everyone expects them to win. It's basically high risk low reward scenario for them. If they don't win, people will update negatively towards reasoning capabilities of their models. I'm pretty sure that's how they feel as well, so they had to be really sure about their expected win chance.
English
15
6
318
32.8K
Remco
Remco@recmo·
@FakePsyho ah ok, that makes the OAI lead look a little less insurmountable. It is unfortunate though (at least for an outsider) that the scores are hard to interpret, pure ranking doesn’t tell us the story of how human vs ai is going :) Looking forward to your continued commentary!
English
0
0
0
599
Psyho
Psyho@FakePsyho·
@recmo The scoring in the problem statement has some exponential properties so the differences between the scores will be much larger than in most of the contests. It will be clear once the problem statement is public on day 2.
English
1
1
9
3.2K