У журнала «Квант» новый сайт — https://www.kvant.digital.

Лаборатория популяризации и пропаганды математики Математического института им. В. А. Стеклова РАН запустила новый современный сайт журнала «Квант» со сканами высокого качества и удобным поиском. Старые номера журнала отсканированы заново, по возможности исправлены типографские огрехи. Сайт позволяет искать по автоматически распознанным изображениям представленных номеров журнала и решениям задач, которые присылали читатели.

OpenSSH 10.1 released

notable changes:

• ssh-add(1): when adding certificates to an agent, set the expiry to the certificate expiry time plus a short (5 min) grace period.

This will cause the agent to automatically remove certificates shortly after they expire. A new ssh-add -N option disables this behaviour.

release notes https://www.openssh.com/releasenotes.html#10.1

#release

Determination of the fifth Busy Beaver value. ~ Justin Blanchard et als. https://arxiv.org/abs/2509.12337v1 #ITP #CoqProver #Rocq

Checking Firewall Equivalence with Z3
https://ahelwer.ca/post/2018-02-13-z3-firewall/

The Margrave Policy Analyzer supports standard configuration input languages, such as XACML 1 and 2, and Cisco's IOS. A documented intermediate language enables third-party extensions to support other input languages.

http://www.margrave-tool.org/

I suppose checking OpenBSD Packet Filter equivalence could be a good master thesis theme.

#openbsd #pf

Practical SQL for Data Analysis
(What you can do without Pandas)

https://hakibenita.com/sql-for-data-analysis