Roger Peppe's Avatar

Roger Peppe

@rog.bsky.social

CUE, Go, fiddler, climber, gardener, curry maker.

1,274 Followers  |  154 Following  |  327 Posts  |  Joined: 25.04.2023  |  2.0085

Latest posts by rog.bsky.social on Bluesky

I actually still think about those points too FWIW, and sometimes find the techniques really useful. But I also often that constraints _are_ very useful for bridging the gap between real-world Go and generics. So happy with how Go's generics turned out in the end.

04.08.2025 20:27 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

It makes me really happy that this talk is (still!) appreciated. Quite surprising but deeply gratifying. #golang

04.08.2025 20:24 โ€” ๐Ÿ‘ 9    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

Absolutely loved it, and the sequels. I'd love to see more.

27.07.2025 14:06 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I think you drew my Hoover.

26.07.2025 10:39 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The fact that interface declaration is implicit is really useful for:
- post-facto interfaces (surprisingly common)
- avoiding cyclic dependencies: a dependency can often deliberately implement an interface defined by a higher level package

24.07.2025 12:35 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Leaving discoverabilty issues aside,in practice, some code must (almost always) explicitly take a value and assign it to an interface. That intentionality, together with full method sigs, means that ambiguity is ~never a problem.

24.07.2025 12:29 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Raspberry gin is to be recommended: easier than wine and good for a present :)
Also: freeze freeze freeze. Winter is coming.

19.07.2025 11:59 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

oh yeah, we'll use the quicklime to store the co2 from making the quicklime. sgtm๐Ÿ‘Œ

26.06.2025 18:41 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Some nice languages changes here and in the near future. "error" in particular should be a real QoL improver. #cuelang

26.06.2025 16:35 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

They do _say_ "CO2 for storage" but that really does depend on having an actual storage mechanism I guess. "We'll put it in a reservoir... until the reservoir breaks"

26.06.2025 16:32 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
ZEQL - Zero Emission Quicklime ZEQL [sequel] is an industrial partnership for electrified manufacturing of quicklime co-owned by SMA Mineral and SaltX Technology.

So I presume this is just vapour? www.zeql.com

26.06.2025 16:14 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Hurrah! All the work ($6.50's worth, it seems) has been committed to a branch in my git repo. Nothing is lost.

25.06.2025 13:02 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
nil pointer panic ยท Issue #175 ยท boldsoftware/sketch After running for a long time, I saw this panic: https://sketch.dev/s/6fh5-5q8y-7tk4-z3n0 ($6.46/10.00)*> help๐Ÿฆธ I use `git mail` to create a CL https://sketch.dev/s/6fh5-5q8y-7tk4-z3n0 ($6.46/10.00...

Unfortunately after running for 20m (and looking like it had actually done what I asked it), disaster struck! github.com/boldsoftware...
I wonder whether I've lost all that work now.

25.06.2025 11:25 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
sketch.dev

@crawshaw.io Half way through my first sketch.dev run. Looking promising so far! One thing I'm really liking is the ability to interject comments while it's thinking and see its trajectory change.

25.06.2025 11:00 โ€” ๐Ÿ‘ 7    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

In my head this is a stone cold classic but it's probably been 35 years since I read it; maybe it's not all that good... I'm interested to see how you get on with it!

24.06.2025 06:56 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

For the benefit of the ignorant (me) which project is being alluded to here?

23.06.2025 07:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

It's probably all in encrypted local cache files and in the cloud. It occurs to me that local link generation for self consumption is a fabulous use for tailscale.

21.06.2025 10:47 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I can't see any files for Recorder! but maybe I'm just too new school man because I've forgotten directories exist on mobile devices. What have things come to?

21.06.2025 10:39 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

But really, why can't I "Share To" ChatGPT? I wonder if it would work if it was a different media type like jpeg or mp4. Perhaps audio is a second class citizen here.

21.06.2025 10:37 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Hmm, perhaps there's a way of giving ChatGPT on the mobile app permission to download audio from links.

21.06.2025 10:35 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

AI newbie question here about practicalities: I've got a Pixel 8, recorded some audio on the Recorder app; how do I get ChatGPT and its app to see and analyze that audio?

21.06.2025 10:33 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0
Preview
Go dependency versions are wrong or outdated for a tagged module version ยท Issue #251 ยท google/deps.dev https://deps.dev/go/cuelang.org%2Fgo/v0.13.0 shows that cuelang.org/go@v0.13.0 is vulnerable to https://deps.dev/advisory/osv/GO-2025-3488. This is because it thinks we depend on golang.org/x/oauth...

At least for #golang, avoid using deps.dev for now. It seems to be reporting security advisories based on outdated information, and the project seems unmaintained, as I reported this two weeks ago but got nothing at all.

09.06.2025 20:17 โ€” ๐Ÿ‘ 21    ๐Ÿ” 7    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

What query language is this?

28.05.2025 10:12 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Since you caught me in between books, I'll mention the next one: The Doors of Eden from @aptshadow.bsky.social. Greatly enjoying so far: effortlessly readable, well thought out ideas, good prose, nice characterisation: ticks all my boxes. Trying hard not to consume in one sitting.

26.05.2025 14:50 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I have just this moment finished The Sea and the Summer, courtesy of a recommendation from @scifiscavenger.bsky.social - a wonderful and prophetic book. Would recommend.

25.05.2025 10:39 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Preview
Release v0.13.0 ยท cue-lang/cue This release finally enables the new evaluator by default -- the culmination of over a year's worth of work! It also packs in lots of new features, such as support for absolute module packages, doz...

๐Ÿ“ฃ We have just released CUE v0.13.0 - culminating a year's worth of work to enable the new evaluator by default ๐ŸŽ‰

It also packs in lots of new features, such as support for absolute module packages, dozens of JSON Schema improvements, and a new experimental XML encoding.

22.05.2025 15:38 โ€” ๐Ÿ‘ 12    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

They missed off the X, clearly. Maybe not surprising when the estate agent is a human-plant hybrid. @jeffvandermeer.bsky.social

22.05.2025 09:20 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Never got around to reading Hyperion. Worth it?

21.05.2025 10:02 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Sounds great! I'd be interested to hear about the dynamic music process.

20.05.2025 11:07 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Go Cryptography Security Audit Go's cryptography libraries underwent an audit by Trail of Bits. Read more about the scope and results.

Three Trail of Bits engineers audited core Go cryptography for a month and found only one low-sev security issue... in unsupported Go+BoringCrypto! ๐Ÿพ

Years of efforts on testing, limiting complexity, safe APIs, and readability have paid off! โœจ

Yes I am taking a victory lap. No I am not sorry. ๐Ÿ†

19.05.2025 19:07 โ€” ๐Ÿ‘ 580    ๐Ÿ” 85    ๐Ÿ’ฌ 15    ๐Ÿ“Œ 4

@rog is following 20 prominent accounts