Tootfinder

"Four Points of the Compass: The Unexpected History of Direction": how the cardinal points of the compass have changed our world view.
A journey through history, discovery, religion, maps and much more.
And how online maps and GPS are reducing its relevance.
By Jerry Brotton.
https://flic.kr/p/tAv8JZ

@lianna@mastodon.gamedev.place You can split the maps into chunks, and only compute collisions for entities against entities in the same chunk. This one guy on reddit posted a solution for someone’s positive only XY grid but the theory can be extended to all grid types. Sorry I couldn’t find a good article about it https://www.

the year is 2025 there are TWO (2) types of videos on YouTube: adults obsessing over kids movies (8 hour long video essay) & political analysis (30 second infotainment)

Attention Is Not Always the Answer: Optimizing Voice Activity Detection with Simple Feature Fusion
Kumud Tripathi, Chowdam Venkata Kumar, Pankaj Wasnik
https://arxiv.org/abs/2506.01365

Attention Is Not Always the Answer: Optimizing Voice Activity Detection with Simple Feature Fusion
Voice Activity Detection (VAD) plays a key role in speech processing, often utilizing hand-crafted or neural features. This study examines the effectiveness of Mel-Frequency Cepstral Coefficients (MFCCs) and pre-trained model (PTM) features, including wav2vec 2.0, HuBERT, WavLM, UniSpeech, MMS, and Whisper. We propose FusionVAD, a unified framework that combines both feature types using three fusion strategies: concatenation, addition, and cross-attention (CA). Experimental results reveal that …

This is why people are sending donations to Luigi's defense lawyers...
https://www.theguardian.com/us-news/ng-interactive/2025/may/27/exactech-tpg-medical-devices-bankruptcy

Sangri-La Frontier 3rd Season announced!
Official website:
#sangrilafrontier

3rd season制作決定！ | ｜『シャングリラ・フロンティア』
TVアニメ『シャングリラ・フロンティア』2023年10月1日からMBS／TBS系全国28局ネットにて毎週日曜午後5時〜連続2クール放送開始！１人の“クソゲーハンター”が、神ゲーに挑む、至高の“ゲーム×ファンタジー”冒険譚、開幕!!

Sangri-La-Frontier tendrš una 3 temporada
Anuncio Oficial:
#anime

3rd season制作決定！ | ｜『シャングリラ・フロンティア』
TVアニメ『シャングリラ・フロンティア』2023年10月1日からMBS／TBS系全国28局ネットにて毎週日曜午後5時〜連続2クール放送開始！１人の“クソゲーハンター”が、神ゲーに挑む、至高の“ゲーム×ファンタジー”冒険譚、開幕!!

Früh übt sich! Schach kann auch mit den Jüngsten Spaß machen – im Workshop gibt’s Tipps für den Einstieg in der Kita.
➡️ https://www.deutsche-schachjugend.de/termine/2025/akademie/

I was curious to see what streaming news media would do today, after three straight weeks of nonstop, utterly pointless coverage of the Pope. Would they finally get back to talking about the ongoing destruction of the American democratic state and the urgent matters piling up?
Naaaaah. Every single network (including, sadly, BBC and Sky News) chose to air the thoroughly disgusting spectacle of TFG and MBS making deals in KSA.
And then: Show trials! Kardashian! Mendezez! Diddy!

This https://arxiv.org/abs/2403.13457 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSC_…

OSVAuto: automatic proofs about functional specifications in OS verification
We present OSVAuto for automatic proofs about functional specifications that commonly arise when verifying operating system kernels. The algorithm behind OSVAuto is designed to support natively those data types that commonly occur in OS verification, including sequences, maps, structures and enumerations. Propositions about these data are encoded into a form that is suitable for SMT solving. For quantifier instantiation, we propose an extension of recent work for automatic proofs about sequence…