Lmst

https://www.walknews.com/969717/ 北海道新幹線の「コアなところ」を特別公開！ 8月～11月にかけてJR北海道と旅行会社が連携「H296 ふくろう」の見学も | 鉄道ニュース #546 #Ch546 #CS #Hokkaido #スカパー #チャンネル #前面展望 #北海道 #北海道新幹線の「コアなところ」を特別公開！8月～11月にかけてJR北海道と旅行会社が連携「H296ふくろう」の見学も #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

北海道新幹線、青函トンネルでの高速運転を実施！お盆期間は時速260㎞で東京～新函館北斗間を5分短縮し「最速3時間52分」 | 鉄道ニュース | 鉄道チャンネル

https://www.wacoca.com/news/2577959/ 熊本空港アクセス鉄道県が絞り込みルート案を公表！空港駅は南側敷地外での整備案、2034年度の完成をめざす | コラム | 鉄道チャンネル #546 #Ch546 #CS #Kumamoto #スカパー #チャンネル #前面展望 #熊本 #熊本県 #熊本空港アクセス鉄道県が絞り込みルート案を公表！空港駅は南側敷地外での整備案、2034年度の完成をめざす #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

"Fault tolerance is still a very difficult problem. It has to be designed into a system from the very beginning. "

https://opensky.ucar.edu/islandora/object/%3A3461

#HPC #design #linpack #supercomputers #mflops #reliability #efficiency #CS #computerScience

Beyond Machoflops:
Getting MPPs into the Production Environment
Steven W. Hammond

I wish there were a way to embed these into blogger as mathjax.

I do use mathjax with blogger, but these "flag format" proofs need the "flagderiv" latex package which isn't part of mathjax.

So I have to latex → PDF → PNG and upload to the blog.

yuk !

#latextex #maths #cs

flagderiv formatted proof (flag notation)

I'd welcome advice on lambda calculus.

---

Given context:

Γ ≡ β : ∗, x : Πα : ∗. α

I need to find 3 examples of terms that inhabit β→β

... that aren't β-convertible to each other, and are in β-normal form.

---

my example 1:

λz:β .z

my example 2:

λβ .xβ

for a 3rd example.. I'm playing with ideas like

x(β→β)

since (β→β) is of type * using the formation rule, but not sure..

---

#maths #cs

https://www.wacoca.com/news/2575304/ 香川県の創業店の最寄り駅が「はなまるうどん駅」に！出会える確率11.1%のヘッドマーク付き車両も運行（高松市・ことでん） | 鉄道ニュース | 鉄道チャンネル #546 #Ch546 #CS #kagawa #スカパー #チャンネル #前面展望 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #香川 #香川県 #香川県の創業店の最寄り駅が「はなまるうどん駅」に！出会える確率11.1%のヘッドマーク付き車両も運行（高松市・ことでん）

My old introduction was very outdated, so it's time to reintroduce myself:
#introduction

Hi 👋, I’m Laura.

I am a transfeminine person, somewhat in the middle of my transition. 🏳️‍⚧️ #trans #transbubble

A major part of my time I spend as a Postdoc in computer science, working on embedded AI and low-power IoT communication. #cs #TinyML #IoT #academia #science

Outside of work, I am active in the local #queer center (board member, GER: Vorstand), I enjoy playing board games, and I listen to too many #podcasts.

advice needed !

I need to find an inhabitant of β given the context

Γ ≡ β : ∗, x : Πα : ∗. α

My brain is telling me that I am free to choose pretty much any type to inhabit β because the context doesn't impose any restriction.

I could have "int" or "bool" or "int → bool", etc and they would all be ok.

Am I right? I'm suffering beginner lack of confidence.

#maths #cs

Trying to get my head around this..

----

In simple type theory the following term isn't typeable

xx

But in second order type theory the following is

λx.xx

Eg

λx:Πα.*.α→α . x(σ→σ)(xσ)

---

What is unfamiliar is the different arguments to each x. Looks wrong but I guess isn't.

#maths #cs

📰 "A Multi-Scale Finite Element Method for Investigating Fiber Remodeling in Hypertrophic Cardiomyopathy"
https://arxiv.org/abs/2507.02193 #Mechanics #Q-Bio.To #Cs.Ce #Cell

https://www.walknews.com/964187/ 香川県の創業店の最寄り駅が「はなまるうどん駅」に！出会える確率11.1%のヘッドマーク付き車両も運行（高松市・ことでん） | 鉄道ニュース | 鉄道チャンネル #546 #Ch546 #CS #Kagawa #スカパー #チャンネル #前面展望 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #香川 #香川県 #香川県の創業店の最寄り駅が「はなまるうどん駅」に！出会える確率11.1%のヘッドマーク付き車両も運行（高松市・ことでん）

⛓️‍💥 Broken Tokens? Your Language Model can Secretly Handle Non-Canonical Tokenizations

https://arxiv.org/abs/2506.19004

#ai #llm #cs #research #tokenization #language

📰 "DynaCLR: Contrastive Learning of Cellular Dynamics with Temporal Regularization"
https://arxiv.org/abs/2410.11281 #Q-Bio.Qm #Dynamics #Cs.Cv #Cell

SQL (Basic) Certification | Hackerrank Certifications

C #HelloWorld #CS #C++ #Python #Programming #Unix #Linux #Hackerrank #CLanguage #CProgramming #Cbasics #printf ... source

https://quadexcel.com/wp/sql-basic-certification-hackerrank-certifications/

https://www.wacoca.com/news/2570637/ 鳥取で「名探偵コナン」の謎解きの世界を体験！ミステリーツアーでオリジナルグッズをゲット、7月～2026年1月まで | 鉄道ニュース | 鉄道チャンネル #546 #Ch546 #CS #tottori #スカパー #チャンネル #前面展望 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #鳥取 #鳥取で「名探偵コナン」の謎解きの世界を体験！ミステリーツアーでオリジナルグッズをゲット、7月～2026年1月まで #鳥取県

Dembélé après PSG / IM:”J’espère bien finir avec ce Mondial”

Pour son quart de finale de la Coupe du monde des clubs, le PSG n’a fait qu’une bouchée de l’Inter Miami…
#France #FR #Europe #EU #Ballond'Or #canalsupporters #coupedumonde #cs #Dembélé #france #LeoMessi #Nouvelles #Ousmane #paris #ParisSaint-Germain #ParisSG #PSG #Une #wc #worldcup
https://www.europesays.com/2205179/

📰 "Uncovering smooth structures in single-cell data with PCS-guided neighbor embeddings"
https://arxiv.org/abs/2506.22228 #Dynamics #Q-Bio.Gn #Stat.Ml #Stat.Ap #Cs.Lg #Cell