What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Freiheitsrechte.org - GFF @Freiheitsrechte@chaos.social
Public
Shared by Quincy

Kontrollen an deutschen Grenzen? Das verletzt die im Schengenraum! Deswegen haben wir jetzt mit drei Betroffenen und dem @ecchr.bsky.socialECCHR - European Center for Constitutional and Human Rights, dem European Network Against Racism und Equal Rights Beyond Borders vor zwei deutschen Verwaltungsgerichten geklagt. Die Klagen wurden unterstützt von Rechtsanwalt Christoph Tometten. freiheitsrechte.org/grenzkontrollen

Laura Kuttler, Juristin bei der GFF, sagt: "Grenzkontrollen hebeln das EU-Grundrecht der Reisefreiheit aus! Menschen verzichten aus Angst vor der Polizei auf das Überqueren von Grenzen. Wir wollen einen Stopp der rechtswidrigen Praxis an allen deutschen Landesgrenzen erreichen."
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
성삼씨 @raido3.bsky.social@bsky.brid.gy
Public

학습된 분노 하니 생각나는 얘기: 제가 트위터밈적사고에 아주 빠져있었을 당시(대략 15년도즈음) 항상 작은거에도 과하게 빡쳐 있었거든요 어느날 그걸 보던 동생이 착잡한 표정으로 "언니 그렇게까지 화난 건 아닌거같은데 왜 말을 그렇게까지해?" <라고 말하는거에요 그순간 공수치가 확올라오고. 내가 한심해서 그이후로는 조금 자중하게됨

0
0
0
0
0
0
sublimer@あすてろいどん鯖管 @sublimer@mstdn.sublimer.me
Public
Shared by 北市真

「WebRTC、綺麗に見るか滑らかに見るか」というタイトルでLTします!
エンコーダーをコントロールして、映像品質のトレードオフを制御する方法について紹介します

WebRTC Meetup Tokyo #31（懇親会あり） webrtcmeetup.connpass.com/even

WebRTC Meetup Tokyo #31（懇親会あり） (2025/11/27 19:20〜)

誰でも気軽に参加可能な勉強会を実施します！ 最後には懇親会もありますので、ぜひコミュニティづくりにご活用ください！ # WebRTC Meetupについて WebRTC MeetupはWebRTCやその周辺技術に興味がある全ての人向けの勉強会です。 開催歴は以下のとおりです。 * 2014年4月東京で第1回勉強会を開催 * 2017年8月大阪で初開催 * 2018年4月福岡で初開催 * 2020年1月の東京開催をもってリアル開催を休止 * 2020年7月、12月オンライン開催 * 2023年6月再開！ * 2024年5月10周年記念イベント開催 ...

webrtcmeetup.connpass.com · connpass

0
0
0
1
0
0
Freiheitsrechte.org - GFF @Freiheitsrechte@chaos.social
Public

Kontrollen an deutschen Grenzen? Das verletzt die im Schengenraum! Deswegen haben wir jetzt mit drei Betroffenen und dem @ecchr.bsky.socialECCHR - European Center for Constitutional and Human Rights, dem European Network Against Racism und Equal Rights Beyond Borders vor zwei deutschen Verwaltungsgerichten geklagt. Die Klagen wurden unterstützt von Rechtsanwalt Christoph Tometten. freiheitsrechte.org/grenzkontrollen

Laura Kuttler, Juristin bei der GFF, sagt: "Grenzkontrollen hebeln das EU-Grundrecht der Reisefreiheit aus! Menschen verzichten aus Angst vor der Polizei auf das Überqueren von Grenzen. Wir wollen einen Stopp der rechtswidrigen Praxis an allen deutschen Landesgrenzen erreichen."
0
0
0
1
0
0
1
0
0
1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Verifying numerical methods with Isabelle/HOL. ~ Dustin Bryant, Jonathan Julian Huerta y Munive, Simon Foster. arxiv.org/abs/2511.20550

arXiv logo

Verifying Numerical Methods with Isabelle/HOL

Modern machine learning pipelines are built on numerical algorithms. Reliable numerical methods are thus a prerequisite for trustworthy machine learning and cyber-physical systems. Therefore, we contribute a framework for verified numerical methods in Isabelle/HOL based on ITrees. Our user-friendly specification language enables the direct declaration of numerical programs that can be annotated with variants and invariants for reasoning about correctness specifications. The generated verification conditions can be discharged via automated proof methods and lemmas from the HOL-Analysis library. The ITrees foundation interacts with Isabelle's code generator to export source code. This provides an end-to-end path from formal specifications with machine-checked guarantees to executable sources. We illustrate the process of modelling numerical methods and demonstrate the effectiveness of the verification by focusing on two well-known methods, the bisection method and the fixed-point iteration method. We also contribute crucial extensions to the libraries of formalised mathematics required for this objective: higher-order derivatives and Taylor's theorem in Peano form. Finally, we qualitatively evaluate the use of the framework for verifying numerical methods.

arxiv.org · arXiv.org

0
0
0
1
0
0
0
0
0
0
0
0
Irenes (many) @ireneista@irenes.space
Public
Shared by Quincy

five years from now, the term "artificial intelligence" will refer to an entirely different technology

we don't know what it is, but it will be something mostly unrelated to the stuff that has that name today

we say this with confidence because that has consistently been the case every few years since the term was coined in 1956

as soon as everyone understands the latest fad, it feels obvious that it has nothing to do with "intelligence", and we all stop calling it that

0
17
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Sebastian Weiermann @SWeiermann@mstdn.social
Public
Shared by Quincy

Mein Kommentar zum "Antifa-Ost"-Verfahren:

"Die Angeklagten müssen damit rechnen entmenschlicht und als Monster dargestellt zu werden. Dagegen gilt es solidarisch zu sein und sich vor sie zu stellen. Antifaschismus bleibt in all seiner Vielfalt notwendig und ist kein Terrorismus."

nd-aktuell.de/artikel/1195727.

Zu Trumps Freuden

Für Orbán und Trump steht fest, »die Antifa« ist eine Terrororganisation. Auch in Deutschland folgen die Ermittlungen dem rechten Zeitgeist. Umso wichtiger ist es, Antifaschismus in all seiner Vielfalt zu verteidigen.

www.nd-aktuell.de · nd-aktuell.de

0
0
0
0
0
0
0
0
0
1
0
0
necono:neko_glasses3: @necono@misskey.io
Public

そういえばこないだ弟夫婦にお寿司奢ったら姪っ子ちゃんがマジでずっとこれしてて笑った​:blobcat_niko_hohoemi:​
（この絵はneokiさんの代理ちゃんファンアートで描いたやつ​:nicha:​）

1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0