Камамбер и Кукумбер — братья, что ли? И сестра их — Кукушка?

https://songlh.github.io/paper/go-study.pdf
„Understanding Real-World Concurrency Bugs in Go“

A 2019 empirical software engineering paper giving an overview of several categories of concurrency bugs in some of the well-known Go projects like Docker, K8s, etcd, etc.

Funny enough, broadly speaking, developers are better at using old shared-memory synchronization primitives like Mutex, than message-passing synchronization through channels, especially in the presence of shared state.

The Beneficial AI Foundation and the Lean FRO launched a public open-source project to specify and verify the implementation of the Signal messenger crypto libraries and protocols:

https://www.beneficialaifoundation.org/signal-shot

https://www.beneficialaifoundation.org/blog/signal-shot

https://www.youtube.com/watch?v=hTaNR3CR-GE

This is totally crazy! I can't believe they actually got away with it.

Если разработчик не покрывает продукт тестами, то его покрывают матом пользователи.

When you don't adhere to Test-Driven Development, and start writing test after some time (and failures), the first thing your tests show, is that your code is very cumbersome to test.

https://github.com/palladin/lean-reducers

A cool Lean 4 library for mostly allocation-free Map-Reduce computations, both sequential and parallel. In parallel case it asks for a lawful monoid to guarantee order-independent results. Also includes underlying C functions for chunked parallel file reads. Solid stuff.

Curious. Gemma4 12B with the same tweaks occupies all 8 GiB VRAM (and some change) and runs faster, around 25 tokens/s.

You can't build a democratic society on magic and superstition.

ⓒ Bret Victor

Решили всё-таки добить эмигрантов. Я чуть от смеха не подавился, когда это увидел. Что бы такого предложить? Прям нет идей. Ваще.

— This conversation is over!
— Come again. This conversation is what? Over.

What's your base salary?
(d5 + 4)*10000

TON coffee → GRAM coffee
ЕВПОЧЯ

You can now connect your JetBrains IDE to LinkedIn and showcase your real tool usage rather than relying solely on self-reported skills.

This is so disgusting...

1. Like, being proficient in IDE usage is the most important skill for a developer now? What, the code is now being written by an LLM "agent", and the "programmer" needs only to know what buttons to click in an IDE to close a ticket in Jira?

2. If I say I know my way around an IDE, I cannot be trusted? I need to prove it now?

3. Surveillance and automatic time tracking. "I'm loving it!"

Great job, folks. Thank you so much.

We seem to reserve all our imperfect declarations and poorly-worded announcements for platforms that other people own and control.

https://maggieappleton.com/garden-history

Curious indeed...

Is it at all safe to have a public digital garden now, in the age of pervasive "AI"? 😒

The latest versions of IntelliJ IDEA are fast. Start is almost instant, even with huge projects, UI is immediately responsive and comparatively uncluttered. The overall feal is fast and lightweight. Surprisingly pleasant.

It looks like VS Code and IntelliJ IDEA converged to the same point. The former got pretty heavy and somewhat clunky with all the plugins, while the latter got optimized and redesigned.

In the end, I guess, only Sublime Text is the last true lightweight text editor still...

TIL: now they call System Administrators "TechOps". I guess everyone wants to be "*Ops" nowadays. What will they call Software Developers considering "DevOps" is already taken?

Chuck Moore of the Forth and https://www.greenarraychips.com/ fame joined forces with some other crazy folks to produce
https://volatco.tech/

They're now collecting money/preorders on https://www.indiegogo.com/en/projects/cartheurresearch/volatco

Nobody noticed and nobody cares, of course.

And now to other news:

https://www.youtube.com/watch?v=MzzabtKvb68