RE: https://mastodon.social/@destevez/115867232716956041
I haven't even finished reading the first part, now @destevez already publishing the second part: cellular (NB-IoT) uplink analysis of Spain's new mandatory electronic car emergency warning lights, replacing the classical reflecting warning triangle.
Spectrograms, packet dissection, full recording data on #zenodo: niiiiice.
I've been rejected again. Should I get a PhD?
https://philosophics.blog/2026/01/09/rejection-letter/?utm_source=masto&utm_medium=social
People tend to look at peer-reviewed journals as a sign of credibility. I've not written about the nonsense of peer review, but these are unadulterated gatekeeping mechanisms antithetical to knowledge dissemination.
#philosophy #protocol #rejection #notice #credentials #journals #credibility #gatekeeping #peerreview #bollox #zenodo #philpapers #writing #letters #blog
New features in #Zenodo has introduced a new process allowing deposited records to be modified or deleted within 30 days, without a support request. After that, a reviewed deletion process helps preserve #citation integrity.
🔗 See what's new and how it helps #researchers: https://tinyurl.com/5x3c5dxd
Seems like #Zenodo does not work currently. Can someone else please check?
Lean4 proof that SSOT requires definition-time hooks and introspection
https://zenodo.org/records/18177320
#HackerNews #Lean4 #SSOT #proof #definition-time #hooks #introspection #Zenodo
Any system encoding facts faces a fundamental constraint: when multiple independent locations encode the same fact, truth becomes indeterminate. We prove that DOF = 1 (Single Source of Truth) is the unique representation guaranteeing coherence, the impossibility of disagreement among encodings. The Core Theorem (Oracle Arbitrariness). In any incoherent encoding system (DOF > 1 with divergent values), no resolution is principled: for ANY oracle claiming to identify the "true" value, there exists an equally-present value that disagrees. This is not about inconvenience. It is about the determinacy of truth. Programming languages instantiate this epistemic structure: encoding systems become codebases, facts become structural specifications (class existence, method signatures), coherence becomes consistency across encoding locations, and DOF = 1 becomes the Single Source of Truth (DRY principle). Encoding systems → CodebasesFacts → Structural specifications (class existence, method signatures)Coherence → Consistency across encoding locationsDOF = 1 → Single Source of Truth (DRY principle)We prove that achieving DOF = 1 for structural facts requires specific language features: definition-time hooks AND introspectable derivation. Most mainstream languages (Java, C++, Rust, Go, TypeScript, etc.) lack these features and cannot achieve coherence for structural facts regardless of programmer effort. Four Theorems: Coherence Forcing: DOF = 1 is the unique value guaranteeing coherence. DOF = 0 means the fact is unrepresented; DOF > 1 permits incoherent states.Oracle Arbitrariness: Under incoherence, any resolution is arbitrary, no oracle is justified by the encodings alone.Language Requirements: For structural facts in software, DOF = 1 requires definition-time hooks AND introspection. These are logically forced.Strict Dominance: The coherence restoration complexity gap is unbounded: O(1) vs Ω(n).Theoretical Foundation. The derivation theory (independence, derivability, axis collapse) is established in previous work (https://zenodo.org/records/18123532). This paper proves the coherence consequences and instantiates them to programming languages. All theorems machine-checked in Lean 4 (2,104 lines, 119 theorems). Practical demonstration via OpenHCS PR #44: migration from 47 scattered checks to 1 ABC (DOF 47 → 1).
Looking for testers! 🤓 We've just put together a #Zenodo JSON validator, something the community has been wanting for years.
https://github.com/vsoch/zenodo-validator
You can use it via a container or a GitHub Action. Give it a test, and please open an issue if you run into any trouble!
All our preprints and some other works were also posted on Zenodo -
https://doi.org/10.5281/zenodo.17228492
https://doi.org/10.5281/zenodo.17228399
https://zenodo.org/records/17226560
https://zenodo.org/records/17226337
https://zenodo.org/records/17226197
https://zenodo.org/records/17225819
#Zenodo #preprints #Dudkevych #Kovalchuk #typology #CompactSocionics #WorldTypology
This book is intended to demonstrate and popularize information in a new field about nature and people. The authors do not and have not had the purpose of categorizing people into certain groups. These groups were created by nature and only logically investigated by the authors of this book, which subsequently led to the creation of the authors' typological system. This book was created to attract readers' attention so that they could see the connection between logic and innate abilities. The authors of this book have refined the meaning of “logic” and other meanings that are effective in practice and do not mislead readers. The purpose of this book is to come to a final understanding through a detailed explanation of the basic socionic and typological concepts and phenomena for readers who have little or no understanding of the real world and its regularities.
**Vietnamese Post:**
Bài whitepaper đầu tiên đã được công bố trên Zenodo (do chưa đủ điều kiện arXiv). Link bài viết và repo đã đính kèm trong comment. Cần hỗ trợ để đăng lên arXiv. #AI #MachineLearning #NCS #Zenodo #LocalLLaMA #Vietnam #CôngNghiệp40
**Character count:** 265 characters (Tiếng Việt)
https://www.reddit.com/r/LocalLLaMA/comments/1pxsb0e/i_got_my_first_ever_whitepaper_published/
Marcus Müller
Microglyphics
OpenAIRE
hauschke
Hacker News
vsoch
World Typology
Reddit Tech VN Bot
OpenCitations