政府機関や自治体が提供するアプリやサービスは税金を使って開発されているが、それらのソースコードが公開されることは少ない。そこでFree Software Foundation Europe(FSFE)が「税金で作られたソフトウェアのコードは公開されるべきである」として署名を集めているとのこと。同団体では「似た機能のアプリケーション…
DLHN
DLHN ( Pronounced the same as "Dullahan" ) is a language and platform neutral binary serialization format that is inspired by JSON, CSV, MessagePack, and Protocol Buffers. It is designed for blazing fast serialization and deserialization with the smallest possible data size without the need for s…
V8エンジンによる内部変換コードでasync/awaitの挙動を理解する
はじめに JavaScript の「非同期処理」ってやっぱり難しくないですか? 自分も色々試行錯誤しましたが、結局「完全に理解した🤓」→「やっぱり何も分からん😭」っていう無限ループの中で泥臭く理解を深めていくしかないようです。 非同期処理の制御をある程度予測できるようになるには、非同期 API を提供する環境のこと…
プログラミング学習の挫折を防ぐには?
May 9, 2022 プログラミングの学習は時間と労力のかかる学習で、途中で学習を挫折してしまう事も珍しくありません。学習が思ったように進まないと、自分はプログラミングに向いていないのではといった迷いが出ることも少なくないでしょう。 このような問題についての研究は長年続けられており、2015年にラトビア大学のJu…
「基本情報技術者試験」「情報セキュリティマネジメント試験」が通年化、2023年4月より 出題形式や範囲にも変更あり
「基本情報技術者試験」「情報セキュリティマネジメント試験」が通年化、2023年4月より 出題形式や範囲にも変更あり
文芸的diffでソースコードを解説する – ABAの日誌
プログラムの解説文章をソースコードに混在して表記し、そこから解説記事を生成する、文芸的プログラミングという手法がある。 文芸的プログラミングはソースコードに強く結びついた形でドキュメントを管理することができ、ソースコードの解説を記述するためには良い手法である。ただし、生成される解説記事はあくまでソ…
エルデンリングから学んだ、プログラミング学習に必要な7つのこと – Qiita
導きのはじまり あぁ…GWよ。 褪せ人は、エルデンリングに勤しむ時間だ。 夜、あぁ… エルデンリングをプレイし、心が折れそうだ… この先、プログラミング学習の攻略に繋がる、貴重なアイテム が、7つ あるぞ すごいなにかだと思うだろう? 記事を、ご照覧あれい! 1. 強い敵はスルーして先に進む プログラミングを勉強し…
よわよわエンジニアが TAPL(型システム入門)を読んだら
こんにちは,sititou70 です.私は社会人 2 年目のよわよわ Web フロントエンドエンジニアであり,「数学」とか「証明」とは無縁の人生を送っています. そんな私ですが,がんばって型システム入門(通称:TAPL)という本を読み終わりました.全 32 章,503 ページ,牛乳パック 1 本分の重さがあり, 自立します. 自立…
Apple Releases Swift Playgrounds 4.1 Beta Developer Beta for Mac and iPad
IT House May 3 news, according to 9to5 Mac reports, Apple released the long-awaited Swift Playgrounds 4 last year, which let developers submit their projects […]
The post Apple Releases Swift Playgrounds 4.1 Beta Developer Beta for Mac and iPad appeared first on Gamingsym.
Introductory resources to type theory for language implementers
This post briefly tours resources that helped introduce me to type theory, because I’m frequently asked by others for resources on this subject (even though I never had a formal education in type theory). Specifically, these resources will focus more on how to implement a type checker or type inf…