米ホワイトハウス「将来のソフトウェアはメモリ安全になるべき」と声明発表。ソフトウェアコミュニティに呼びかけ
米ホワイトハウス「将来のソフトウェアはメモリ安全になるべき」と声明発表。ソフトウェアコミュニティに呼びかけ 米ホワイトハウスの国家サイバー局長室（The White House Office of the National Cyber Director：ONCD）は、サイバー空間における攻撃対象領域を積極的に削減する目的で、テクノロジーコミュニティやソフトウェアコミュニティに対してメモリ安全（Memory Safe）なソフトウェアの実現を積極的に呼びかけるプレスリリース「Future Software Should Be Memory Safe」（将来のソフトウェアはメモリ安全になるべき）を発表しました。 プレスリリースの中で、国家サイバー局長Harry Coker氏は「私たちは国家として、サイバースペースにおける攻撃対象領域を減らし、あらゆる種類のセキュリティバグがデジタルエコシステムに
いろんなプログラミング言語のアドホック多相 - Qiita
TL;DR アドホック多相は型クラスじゃなくても実現できる。 Haskell, Rust, Scalaでは後付けで拡張できるけど、それはアドホック多相の本質ではない。 アドホック多相(Ad hoc polymorphism) ウィキペディアは辞書ではないのはわかっていますが、それでも 英語版WikipediaのAd hoc polymorphismのページを参考に挙げておきます。 ざっくりまとめると 型階層上は関連性のない複数の型の引数に適用できる、多相的な関数 引数の型に応じて、個別の（アドホックな）実装にディスパッチされる と、それだけのこと。 「引数の型によって別の実装にディスパッチされるって、それメソッドのオーバーロードと何が違うの」ってことなんですけど、特に違いはありません。同じです。とはいえ、プログラミング言語によって、実現方法や使い勝手は違います。そのあたりのことを、いくつか
Error Prone
Error Prone It’s common for even the best programmers to make simple mistakes. And sometimes a refactoring which seems safe can leave behind code which will never do what’s intended. We’re used to getting help from the compiler, but it doesn’t do much beyond static type checking. Using Error Prone to augment the compiler’s type analysis, you can catch more mistakes before they cost you time, or en
Kythe
A pluggable, (mostly) language-agnostic ecosystem for building tools that work with code. Overview Features: Documentation of the Kythe schema Indexer implementations for C++ and Java Compilation extractors for javac, Maven, cmake, Go, and Bazel Generic verifier for indexers Sample cross-reference service Many useful utility commands to work with Kythe artifacts
Viper
Viper (Verification Infrastructure for Permission-based Reasoning) is a language and suite of tools, providing an architecture on which new verification tools and prototypes can be developed simply and quickly. Viper is being developed at ETH Zurich in close collaboration with the team of Alex Summers at UBC. Viper comprises a novel intermediate verification language, also named Viper, and automa
Kaitai Struct: declarative binary format parsing language
Reading and writing binary formats is hard, especially if it’s an interchange format that should work across a multitude of platforms and languages. Have you ever found yourself writing repetitive, error-prone and hard-to-debug code that reads binary data structures from files or network streams and somehow represents them in memory for easier access? Kaitai Struct tries to make this job easier —
“learn.adacore.com"
LEARN.ADACORE.COM Edit on GitHub What is Ada and SPARK? Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. SPARK is a formally analyzable subset of Ada — and a toolset that brings mathematics-based confi
jpn.ph - このウェブサイトは販売用です！ - jpn リソースおよび情報
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
UML Designer Documentation
Based on Sirius Sirius is an Eclipse project which allows you to easily create your own graphical modeling workbench by leveraging the Eclipse Modeling technologies, including EMF and GMF. It provides a generic workbench for model-based architecture engineering that could be easily tailored to fit specific needs. Customizable and extensible It uses the standard UML2 metamodel provided by the Eclip
Source Trail : Solving programming and code problems for programmers
Python Browse all Python answers Django Flask Pandas NumPy PyTorch Javascript Browse all JavaScript answers Typescript jQuery React React Native
Welcome to ScreenStudio
ScreenStudio will let you record your desktop in a full HD video files. Overlay some text or even your webcam. It will also let you stream your desktop to services like UStream, Hitbox or Twitch.tv. Built around "ffmpeg" that is currently available on all Linux distros and should work "out-of-the-box". ScreenStudio is compatible with Ubuntu/Linux, OS X and Windows 10 Version 3.x: Requires JRE 8.0
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - vlsi/ksar: A sar grapher, fork of http://sourceforge.net/projects/ksar/
Learn, improve and generate code with AI | Refraction
Sign in - Google Accounts
【Android Studio】自動 import を有効にする方法｜Code for Fun
Javaに革命を起こすGraalVM Native Image
Z3: An Efficient Theorem Prover
GitHub - k-tamura/easybuggy: Too buggy web application
GitHub - linkedin/dagli: Framework for defining machine learning models, including feature generation and transformations, as directed acyclic graphs (DAGs).
サンプル: hello-jni | Android NDK | Android Developers
