人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

魔法のコーディング面接：Prolog、Lisp、µKanrenの物語

2025-01-02

ベテランプログラマーのVidrunは、型破りな面接に臨みます。3年の経験を持つエンジニアのAishaは、典型的な質問を避け、Prologとラムダ計算を用いたコーディング対決をVidrunに挑みます。AishaはVidrunをガイドし、Lispインタプリタを構築させ、最終的にVidrunはµKanrenとカスタムマクロを巧みに使用して問題を解決し、プログラミングという共通の芸術を通してAishaと繋がりを築きます。この物語は、技術的才能と魔術的なリアリズム、人間関係のダイナミクスを融合し、プログラミングの創意工夫と芸術性を示しています。

続きを読む
(aphyr.com)
開発 コーディング面接 ラムダ計算

POSIX時間：あなたの思っているものとは違う

2024-12-26

この記事では、POSIX時間（Unix時間）に関するよくある誤解を解き明かします。それは1970年1月1日00:00:00からの秒数という単純なものではありません。うるう秒の存在により、UTCの1日の秒数は常に86400秒とは限らず、POSIX時間と実際の秒数との間にずれが生じます。この記事では、うるう秒が時間計算に与える影響を詳しく解説し、正確な時間計算が必要な場合は、CLOCK_MONOTONICやTAIなどの代替案を使用することを推奨しています。うるう秒によるエラーを回避するために、これらの代替案を使うべきです。

続きを読む
(aphyr.com)
開発 POSIX時間 うるう秒