C言語の最新事情を知る: C99の仕様 - Build Insider      2018-01-21 04:20:24  詳細
長い歴史を持ちながら、依然として人気の高いC言語。その最新仕様の情報にキャッチアップするための連載スタート。今回は1999年に策定された「C99」を取り上げる。 連載 INDEX 次回 → C言語(以降、単にC)はDennis Ritchieによって1969~1973年の間にベル研にて開発されたプログラミング言語である。長い歴史を持つと共に非常にポピュラーな言語で、プログラマーでCを知らない人はま...
https://www.buildinsider.net/language/clang/01
Writing a minimal x86-64 JIT compiler in C++ - Part 1 | Solarian Programmer      2018-01-19 22:40:02  詳細
Solarian Programmer My programming ramblings Home Archives Contact Privacy Writing a minimal x86-64 JIT compiler in C++ - Part 1 Posted on January 10, 2018 by Sol Part 1 - Generate and use a simple fu...
https://solarianprogrammer.com/2018/01/10/writing-minimal-x86-64-jit-compiler-cpp/
lldでwasmをリンクするまで - Qiita      2017-12-28 17:20:20  詳細
TL;DR; lldを使えば wasm32-unknown-unknown-wasm 向けにコンパイルされた .o ファイルをリンクして、WASMを出力できます。 書いてある内容はLinux、もしくはmacOSでは、そのまま使えると思います。使用しているLLDは6.0.0です。 ClangでもWASMを作れます。 CからWASMを作成するには Emscripten を使う、というのが普通でした。と...
https://qiita.com/chikoski/items/41853dfb2afdec52e7d1
DCL38-C. フレキシブル配列メンバには正しい構文を使用する      2017-12-17 09:21:13  詳細
DCL38-C. フレキシブル配列メンバには正しい構文を使用する フレキシブル配列メンバ(flexible array member)とは、2 つ以上の名前付きメンバをもつ構造体の最後のメンバが不完全配列型、つまり、構造体の中で配列のサイズが明確に指定されていない、特殊な型になっている配列を指す。struct hack と呼ばれるこの手法は広く使われ、さまざまなコンパイラもこの使用を認めている。そ...
https://www.jpcert.or.jp/sc-rules/c-dcl38-c.html
Lisp In Less Than 200 Lines Of C      2017-11-28 18:20:33  詳細
Title: a brief and simple programming language implementation Tags: lambda calculus, Lisp, C, programming Authors: Objective: implement a lambda calculus based programming language like LisP, simply a...
https://carld.github.io/2017/06/20/lisp-in-less-than-200-lines-of-c.html
GitHub - google/puffs: Parsing Untrusted File Formats Safely      2017-11-27 10:21:25  詳細
Puffs is a domain-specific language and library for parsing untrusted file formats safely. Examples of such file formats include images, audio, video, fonts and compressed archives. Unlike the C progr...
https://github.com/google/puffs
GitHub - thoni56/c-xrefactory: A refactoring tool for C/Java and Emacs. The first tool to cross Refactory Rubicon. Developed by, and released with GPL in 2009, by Marián Vittek      2017-11-22 04:20:27  詳細
README.md C-xrefactory - A refactoring tool for C/Java and Emacs TL;DR c-xrefactory is a free emacs refactoring tool and code browser for C (and Java). Easiest way to install is using M-x el-get-insta...
https://github.com/thoni56/c-xrefactory
Spring Bootの本当の理解ポイント #jjug      2017-11-20 21:20:07  詳細
Spring Bootの本当の理解ポイント #jjug 1. (C) CASAREAL, Inc. All rights reserved. #jjug #ccc_ef3 1 2. (C) CASAREAL, Inc. All rights reserved. #jjug #ccc_ef3 ▸ ▸ 2 3. (C) CASAREAL, Inc. All rights reserved. #jju...
https://www.slideshare.net/masatoshitada7/spring-boot-jjug
GitHub - okbob/pspg: Postgres Pager      2017-11-18 01:20:20  詳細
README.md pspg - Postgres Pager Everybody who uses psql uses less pager. It is working well, but there is not any special support for tabular data. I found few projects, but no one was completed for t...
https://github.com/okbob/pspg
include-what-you-useとjenkinsでC/C++プロジェクトから不要な#includeを洗い出す - Qiita      2017-10-12 18:40:02  詳細
はじめに include-what-you-useはC/C++のコードから不要な#includeを洗い出し、前方宣言への置き換えや削除を提案してくれるツールです。コードから不要な#includeが減るとコンパイル時間が短くなり、コードが読みやすくリファクタリングしやすくなります 1 。不要な#includeを減らすにはまず洗い出しが必要です。この作業はinclude-what-you-useを使う...
https://qiita.com/tomota-tar-gz/items/985b660e8f3052a387ef
C言語でインクルードするだけで使えるNon-movingで正確なGCを作った - Qiita      2017-10-09 22:20:04  詳細
インクルードするだけで使えるNon-movingで正確なGCをC言語用に作りました。 行数がコメントを除いて100行に満たない非常に小さなライブラリです。 GCのアルゴリズムとしてはCheneyのコピーGCを採用しています。 通常のCheneyのコピーGCではメモリ空間のうち半分が無駄になってしまいメモリ効率が悪かったり、 GC発生時にオブジェクトが移動してしまいC言語のようなポインタを直接触れる...
https://qiita.com/wasabiz/items/bc80581ba24eaaf0ece1
Pthread Model Checker - PRINCIPIA Limited      2017-10-09 09:20:11  詳細
概要 Pthread Model Checker は POSIX スレッド (pthread) を使用したマルチスレッドプログラムのための並列モデル検査ツールです.Pthread Model Checker を使うとテストでは発見することが難しい再現性の低い問題やデッドロックなどを確実に発見することができます. Pthread Model Checker ではC言語 *1 でモデル *2 を記述す...
http://www.principia-m.com/jp/pmc/
Pythonの長所と短所についての考察 - Qiita      2017-09-28 15:20:06  詳細
Pythonは大変に良い言語です. 多くの高機能,高性能なパッケージ(モジュール)が提供されており,情報工学の知識に疎遠な人にも高度な情報処理が実現できる,とてもありがたいプログラミングプラットフォームであることは疑う余地がないと思います. ただしPythonを盲信,過信するのはよくありません. それで,Pythonの長所と短所を良く理解して,有効に活用するための参考となればと思い,この記事を書い...
https://qiita.com/KatsunoriNakamura/items/dd567ea7cfaa99685453
がたろう 標準ロジックでCPUを作る爺さんのツイート: "【意外と知らないC言語(2)】   文をコメント化する方法は3通りあります。 (1)// foge (2)/* foge */ (3)/* foge //*/ 3番目は始点を示      2017-09-05 08:20:06  詳細
がたろう 標準ロジックでCPUを作る爺 @ duo6750 RETROF-16(HP参照)の作者。ソフトとハードの境界を徘徊する物作りヂヂィ。得意ワザはCPU作りとコンパイラ作り。自称半田付十段。旧特種情報処理や旧上級アマ等の昭和の資格多数。言語はC++/CLIとVerilogとHTMLが好き。ヤマトとスタトレも大好き。活動燃料は缶びいる。日曜朝はガキンチョ共とプリキュア鑑賞。
http://twitter.com/duo6750/status/904116560759062528
include-what-you-useとjenkinsでC/C++プロジェクトから不要な#includeを洗い出す - Qiita      2017-08-30 06:40:02  詳細
はじめに include-what-you-useはC/C++のコードから不要な#includeを洗い出し、前方宣言への置き換えや削除を提案してくれるツールです。コードから不要な#includeが減るとコンパイル時間が短くなり、コードが読みやすくリファクタリングしやすくなります 1 。不要な#includeを減らすにはまず洗い出しが必要です。この作業はinclude-what-you-useを使う...
http://qiita.com/tomota-tar-gz/items/985b660e8f3052a387ef
TIOBE Index | TIOBE - The Software Quality Company      2017-08-16 16:20:14  詳細
The TIOBE Programming Community index is an indicator of the popularity of programming languages.July 2017 Philips wins TIOBE QA Award The Eleva System Control project appears to be the best of more t...
https://www.tiobe.com/tiobe-index//
5 ways to manage allocated memory in Haskell      2017-08-11 09:20:07  詳細
In this article, I will explore different ways to track all the allocated pointers and free them reliably. The complete code can be downloaded as a git repo: git clone https://ro-che.info/files/2017-0...
https://ro-che.info/articles/2017-08-06-manage-allocated-memory-haskell
implemented-my-own-crypto      2017-08-03 22:20:05  詳細
{ title : How I implemented my own crypto description : Despite advice to the contrary, I have implemented my own crypto for serious use. Here's how. } August 2017 How I implemented my own crypto ====...
http://loup-vaillant.fr/articles/implemented-my-own-crypto
それなりの規模のソフト開発における静的コード解析活用プラクティス // Speaker Deck      2017-07-25 02:40:02  詳細
静的コード解析(スタイルチェック…特にバグの警告)について有効に使うためのプラクティスであまり語られていないところをまとめました。 #Static Code Analysis, Style Checker, 静的解析
https://speakerdeck.com/masskaneko/sorenarifalsegui-mo-falsesohutokai-fa-niokerujing-de-kodojie-xi-huo-yong-purakuteisu
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017      2017-07-23 18:20:07  詳細
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017 2/48 元ネタ ● 既発表の話です ● そのうち論文が出ます ● Safe Low-level Code Generation in Coq using Monomorphization and Monadification Akira Tanaka, Rey...
http://www.a-k-r.org/pub/2017-07-23-proofsummit-akr.pdf