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

Edgar Wright directed a new "Running Man" movie based on the same Stephen King's novel. Bigger scope, more crazy characters, brighter colors and even more action.

Well, I don't think I saw a bad Edgar Wright movie yet... 😏

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

What? No, WHAT?!

— Мы расширяем наш мракетинговый отдел.
— Может, маркетинговый?
— Нет.

https://verynormal.io

An Obsidian KB on #statistics in general and biostatistics specifically.

Sadly, https://en.wikipedia.org/wiki/Michael_Madsen passed away yesterday July 3, (reportedly) from cardiac arrest at the age of 67. RIP. 😞

Парадокс кошки.

Чтобы отвлечь кошку от деструктивных действий, приходится давать ей всё более сложные игрушки-головоломки. Это приводит к развитию мышления, что ведёт к ещё более деструктивным действиям.

Mario Carneiro is (slowly) proving the Lean 4 (kernel) correct in the Lean 4 itself:
https://www.youtube.com/watch?v=hAj81bYngDA

There are curious insights into Lean 4 metatheory and actual implementation.

https://www.youtube.com/shorts/cZB_OD5qCHo

A gentleman walking (and swimming) across most of the world, save for Antarctica, Australia and Africa. Still a lot of ground (and quite a bit of water and ice) to cover. 🤯

https://blog.sshh.io/p/how-to-backdoor-large-language-models

Turns out fine-tuning a LLM to secretly insert backdoors is pretty cheap and easy. Another twist on trusting trust. Don't trust LLMs you didn't train yourself. Like you don't use compilers provided be a third-party. 😏

https://www.minimax.io/news/minimaxm1

Another Open-Source Open Weights (456B) LLM, this time from Singapore.

Other twists include
— 1 million input tokens and 80k output tokens (that's a lot)
— a new reinforcement learning algorithm: CISPO
— a hybrid-attention mechanism incorporating Lightning Attention

Benchmarks look pretty impressive. 😁

Книжку Григория Сапунова про JAX переводят на русский язык:
https://dmkpress.com/catalog/computer/data/978-5-93700-192-4/

Оригинал издан Manning:
https://www.manning.com/books/deep-learning-with-jax

Сапунов теперь, видимо, больше всего знаменит своим каналом @gonzo_ML — что полностью заслужено, канал отличный: интересный и познавательный. В прошлом, видимо, был знаменит своей работой в Яндекс.

JAX знаменит своим JIT, Automatic Differentiation и поддержкой Google TPU. И там ещё всякого разного вокруг накрутили.

В общем, интересная штука.

STOP DOING CATEGORY THEORY

https://arxiv.org/abs/2404.16321

Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad

Statement dreamed up by the utterly deranged
🥴

Лучше брускетта на фокачче, чем факап на факапе!

https://lawrencecpaulson.github.io/2025/07/02/Finish_your_degree.html

Paulson's take on billionaires and PhDs. 😁

“Relative Toposes for Artificial General Intelligence„ slides.
Part 1 and Part 2.

Hmmm... 🤔

The International Conference on Formal Structures for Computation and Deduction (FSCD) will be streamed online via Zoom for free Tuesday 15 - Friday 18 July, 2025. You can register here:
https://fscd2025.github.io/

🥦 Broccoli Programming

BroccoliController.java

@RestController
@RequestMapping("/broccoli")
@RequiredArgsConstructor
public class BroccoliController {
  private final BroccoliService broccoliService;
  private final BroccoliMapper mapper;

  @GetMapping("/get_some")
  public BroccoliDTO getSome() {
    return mapper.toDTO(broccoliService.getSome());
  }
}

BroccoliService.java

@Service
@RequiredArgsConstructor
public class BroccoliService {
  private final BroccoliRepository  broccoliRepository;

  public Broccoli getSome() {
    return broccoliRepository.getSome();
  }
}

BroccoliRepository.java

@Repository
@RequiredArgsConstructor
public BroccoliRepository {
  private final JdbcTemplate jdbcTemplate;

  public Broccoli getSome() {
    return jdbcTemplate.query(...);
  }
}

> требуется работница с сознанием компьютера
Вы находитесь здесь
> требуется компьютер с сознанием работницы
> требуется работница с сознанием компьютера

I'm still waiting for when they start employing LLMs to forecast the weather. I want to read forecasts I like, and not this crap of a weather!

Сколько кошку ни корми — шило из жопы не выдавливается...