最近の検索

検索履歴はありません

検索オプション

mastodon.cardina1.redでは利用できません。
mastodon.cardina1.red は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

管理者

サーバーの情報

3
人のアクティブユーザー

mastodon.cardina1.red: 概要プライバシーポリシー

Mastodon: 概要アプリを入手キーボードショートカットソースコードを表示v4.4.1

#softwareengineering

0件0人投稿本日0件
Fabian Stadler<p>Downtime of a company's main database is very expensive and a major risk to operations. In this success story, I show how I helped a device manufacturer gain real-time insights into their data warehouse using <a href="https://mastodon.world/tags/Elasticsearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elasticsearch</span></a>, <a href="https://mastodon.world/tags/Logstash" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logstash</span></a> and <a href="https://mastodon.world/tags/kibana" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kibana</span></a> </p><p><a href="https://www.fabianstadler.com/2024/09/mysql_database_elk.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">fabianstadler.com/2024/09/mysq</span><span class="invisible">l_database_elk.html</span></a></p><p><a href="https://mastodon.world/tags/development" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>development</span></a> <a href="https://mastodon.world/tags/softwareengineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareengineering</span></a></p>
Bastettintroduction, kink mention
Yoriyuki Yamagata<p>Hi,</p><p>I'm a researcher interested in theoretical computer science, software engineering, mathematical logic, also related philosophical topics.</p><p>My recent papers:</p><p>Mathematics:<br>"On proving consistency of equational theories in Bounded Arithmetic". Arnold Beckmann and Yoriyuki Yamagata, preprint: <a href="https://arxiv.org/abs/2203.04832" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2203.04832</span><span class="invisible"></span></a></p><p>"Consistency proof of a fragment of PV with substitution in bounded arithmetic." Yoriyuki Yamagata, The Journal of Symbolic Logic 2018: <a href="https://arxiv.org/abs/1411.7087" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/1411.7087</span><span class="invisible"></span></a></p><p>Software Engineering:<br> (2020). "Falsification of cyber-physical systems using deep reinforcement learning", Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., &amp; Hao, J, IEEE Transactions on Software Engineering, 47(12), 2823-2840 (2021), <a href="https://staff.aist.go.jp/yoriyuki.yamagata/paper/falsify.pdf" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">staff.aist.go.jp/yoriyuki.yama</span><span class="invisible">gata/paper/falsify.pdf</span></a></p><p>Philosophy:<br>, "On the notion of validity for the bilateral classical logic", Suzuki, Ukyo &amp; Yamagata, Yoriyuki, preprint: <a href="https://philpapers.org/rec/SUZOTN" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">philpapers.org/rec/SUZOTN</span><span class="invisible"></span></a></p><p>Extra: COVID19<br>"Individual-based epidemiological model of COVID19 using location data". In 2022 IEEE International Conference on Big Data (Big Data) (pp. 4434-4442). IEEE., <a href="https://staff.aist.go.jp/yoriyuki.yamagata/paper/covid19.pdf" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">staff.aist.go.jp/yoriyuki.yama</span><span class="invisible">gata/paper/covid19.pdf</span></a></p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/MathematicalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MathematicalLogic</span></a> <a href="https://mathstodon.xyz/tags/BoundedArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BoundedArithmetic</span></a> <a href="https://mathstodon.xyz/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareEngineering</span></a> <br><a href="https://mathstodon.xyz/tags/Philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Philosophy</span></a> <br><a href="https://mathstodon.xyz/tags/PhilosophicalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PhilosophicalLogic</span></a><br><a href="https://mathstodon.xyz/tags/PhilosophyOfLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PhilosophyOfLanguage</span></a><br><a href="https://mathstodon.xyz/tags/COVID19" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>COVID19</span></a> <a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Introduction</span></a></p>
Rachel Anne Williams (she/her)<p><a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> hi! I am a <a href="https://hachyderm.io/tags/queer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>queer</span></a> <a href="https://hachyderm.io/tags/trans" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>trans</span></a> <a href="https://hachyderm.io/tags/nonbinary" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nonbinary</span></a> <a href="https://hachyderm.io/tags/productmanager" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>productmanager</span></a> working to build a custom <a href="https://hachyderm.io/tags/EMR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EMR</span></a> for a value-based <a href="https://hachyderm.io/tags/healthcare" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>healthcare</span></a> company in the <a href="https://hachyderm.io/tags/Medicare" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Medicare</span></a> space.</p><p>I live in <a href="https://hachyderm.io/tags/stlouis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>stlouis</span></a> with my partner and I'm an ex-academic <a href="https://hachyderm.io/tags/philosopher" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosopher</span></a> and <a href="https://hachyderm.io/tags/author" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>author</span></a> with an interdisciplinary interest in <a href="https://hachyderm.io/tags/cognitivescience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cognitivescience</span></a> and a million other things including:</p><p><a href="https://hachyderm.io/tags/piano" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>piano</span></a> <a href="https://hachyderm.io/tags/permaculture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>permaculture</span></a> <a href="https://hachyderm.io/tags/coffee" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coffee</span></a> <a href="https://hachyderm.io/tags/books" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>books</span></a> <a href="https://hachyderm.io/tags/metal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>metal</span></a> <a href="https://hachyderm.io/tags/urbanism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>urbanism</span></a> <a href="https://hachyderm.io/tags/nature" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nature</span></a> <a href="https://hachyderm.io/tags/technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>technology</span></a> <a href="https://hachyderm.io/tags/buddhism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>buddhism</span></a> <a href="https://hachyderm.io/tags/spirituality" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>spirituality</span></a> <a href="https://hachyderm.io/tags/softwareengineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareengineering</span></a> <a href="https://hachyderm.io/tags/economics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>economics</span></a> <a href="https://hachyderm.io/tags/podcasts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>podcasts</span></a> <a href="https://hachyderm.io/tags/politics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>politics</span></a> <a href="https://hachyderm.io/tags/chess" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>chess</span></a></p>
Nuncio Bitis ✷ ✅<p><a href="https://mstdn.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareEngineering</span></a></p>
Jonathan Kamens<p><a href="https://federate.social/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> I've been on the internet since 1987. I learned <a href="https://federate.social/tags/softwareengineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareengineering</span></a>, <a href="https://federate.social/tags/infosec" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>infosec</span></a>, and <a href="https://federate.social/tags/devops" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devops</span></a> (though we didn't call it that) at <a href="https://federate.social/tags/MIT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MIT</span></a>, mostly outside of class, and I've worked in tech ever since. Nowadays I provide infosec leadership to SMBs. I've lived in the Boston, MA area for more than half my life, and I'm married with five incredible kids. I'm a Jewish (hi <a href="https://federate.social/tags/Mazeldon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mazeldon</span></a>!) agnostic and a progressive.</p>
Yvan DS 🗺️ :ferris: :go:<p>Hello everyone!<br>Here is my quick <a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> :<br>At heart I am a dad of 3 little ones, I live in the beautiful country side of <a href="https://hachyderm.io/tags/Switzerland" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Switzerland</span></a>.</p><p>My day job is <a href="https://hachyderm.io/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareEngineering</span></a> I have held many hats over the last 12+ years.<br>I code mainly in Go, but I'm comfortable in MANY languages. Backend, Frontend, Distributed Systems, ... <br>I love most things in life, I think most domains are interesting, STEM and non STEM.</p><p>I speak mainly English, French, Portuguese and little German, but also a bit Japanese</p>
🍵<p><a href="https://cathode.church/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> is a bit difficult for me. brain gets caught on thoughts about how /i/ am not what i /do/.</p><p>i am an autistic <a href="https://cathode.church/tags/nonbinary" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nonbinary</span></a> <a href="https://cathode.church/tags/nikkei" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nikkei</span></a> <a href="https://cathode.church/tags/%E6%97%A5%E7%B3%BB%E4%BA%BA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>日系人</span></a> in my late 30s. i work mainly in <a href="https://cathode.church/tags/softwareengineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareengineering</span></a> although i have a degree in <a href="https://cathode.church/tags/industrialdesign" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>industrialdesign</span></a>, a background in math, sculpture, and teaching.</p><p>my interests and activities are fairly diverse. i’m going to tag dump some of them here because i hate fluff text: <a href="https://cathode.church/tags/music" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>music</span></a> <a href="https://cathode.church/tags/violin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>violin</span></a> <a href="https://cathode.church/tags/climbing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>climbing</span></a> <a href="https://cathode.church/tags/hiking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hiking</span></a> <a href="https://cathode.church/tags/gardening" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gardening</span></a> <a href="https://cathode.church/tags/arduino" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arduino</span></a> <a href="https://cathode.church/tags/tarot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tarot</span></a> <a href="https://cathode.church/tags/buddhism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>buddhism</span></a> <a href="https://cathode.church/tags/scifi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>scifi</span></a> <a href="https://cathode.church/tags/poetry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>poetry</span></a> <a href="https://cathode.church/tags/existentialism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>existentialism</span></a></p><p>i enjoy games like modded <a href="https://cathode.church/tags/minecraft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>minecraft</span></a>, deckbuilders (dominion, slay the spire), roguelikes (nethack, caves of qud), pause &amp; play (dwarf fortress, ftl), and puzzlers (baba is you, the witness).</p><p>reality is just something that gets pushed off the shelf when it’s boring.<br>catma &gt; dogma</p><p>my natal chart is behind the cut bc why not.</p>
Jens Hannemann<p><a href="https://mastodon.online/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> </p><p>Hi folks, I really enjoy Mastodon. It does remind me of the olden days of <a href="https://mastodon.online/tags/irc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>irc</span></a> and the <a href="https://mastodon.online/tags/BBS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BBS</span></a> era (in a good way).</p><p>I teach computer engineering technology at the University of Kentucky. I'm originally from <a href="https://mastodon.online/tags/Germany" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Germany</span></a>.</p><p>My main interests here:</p><p><a href="https://mastodon.online/tags/technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>technology</span></a><br><a href="https://mastodon.online/tags/softwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareEngineering</span></a><br><a href="https://mastodon.online/tags/git" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>git</span></a><br><a href="https://mastodon.online/tags/linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>linux</span></a><br><a href="https://mastodon.online/tags/unix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>unix</span></a><br><a href="https://mastodon.online/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a><br><a href="https://mastodon.online/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>engineering</span></a><br><a href="https://mastodon.online/tags/astronomy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>astronomy</span></a><br><a href="https://mastodon.online/tags/audioEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>audioEngineering</span></a><br><a href="https://mastodon.online/tags/electromagnetics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>electromagnetics</span></a><br><a href="https://mastodon.online/tags/ieee" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ieee</span></a><br><a href="https://mastodon.online/tags/hamRadio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hamRadio</span></a></p><p><a href="https://mastodon.online/tags/kentucky" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kentucky</span></a><br><a href="https://mastodon.online/tags/ruhrgebiet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ruhrgebiet</span></a><br><a href="https://mastodon.online/tags/ostfriesland" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ostfriesland</span></a><br><a href="https://mastodon.online/tags/bochum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bochum</span></a></p><p><a href="https://mastodon.online/tags/hbcu" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hbcu</span></a><br><a href="https://mastodon.online/tags/ethics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ethics</span></a><br><a href="https://mastodon.online/tags/firstgen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>firstgen</span></a></p>
リアルタイムフィード
概要