米ホワイトãƒã‚¦ã‚¹ã€Œå°†æ¥ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã¯ãƒ¡ãƒ¢ãƒªå®‰å…¨ã«ãªã‚‹ã¹ãã€ã¨å£°æ˜Žç™ºè¡¨ã€‚ソフトウェアコミュニティã«å‘¼ã³ã‹ã‘
米ホワイトãƒã‚¦ã‚¹ã€Œå°†æ¥ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã¯ãƒ¡ãƒ¢ãƒªå®‰å…¨ã«ãªã‚‹ã¹ãã€ã¨å£°æ˜Žç™ºè¡¨ã€‚ソフトウェアコミュニティã«å‘¼ã³ã‹ã‘ 米ホワイトãƒã‚¦ã‚¹ã®å›½å®¶ã‚µã‚¤ãƒãƒ¼å±€é•·å®¤ï¼ˆThe White House Office of the National Cyber Director：ONCD）ã¯ã€ã‚µã‚¤ãƒãƒ¼ç©ºé–“ã«ãŠã‘ã‚‹æ”»æ’ƒå¯¾è±¡é ˜åŸŸã‚’ç©æ¥µçš„ã«å‰Šæ¸›ã™ã‚‹ç›®çš„ã§ã€ãƒ†ã‚¯ãƒŽãƒã‚¸ãƒ¼ã‚³ãƒŸãƒ¥ãƒ‹ãƒ†ã‚£ã‚„ソフトウェアコミュニティã«å¯¾ã—ã¦ãƒ¡ãƒ¢ãƒªå®‰å…¨ï¼ˆMemory Safe）ãªã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®å®Ÿç¾ã‚’ç©æ¥µçš„ã«å‘¼ã³ã‹ã‘るプレスリリース「Future Software Should Be Memory Safeã€ï¼ˆå°†æ¥ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã¯ãƒ¡ãƒ¢ãƒªå®‰å…¨ã«ãªã‚‹ã¹ã）を発表ã—ã¾ã—ãŸã€‚ プレスリリースã®ä¸ã§ã€å›½å®¶ã‚µã‚¤ãƒãƒ¼å±€é•·Harry Cokeræ°ã¯ã€Œç§ãŸã¡ã¯å›½å®¶ã¨ã—ã¦ã€ã‚µã‚¤ãƒãƒ¼ã‚¹ãƒšãƒ¼ã‚¹ã«ãŠã‘ã‚‹æ”»æ’ƒå¯¾è±¡é ˜åŸŸã‚’æ¸›ã‚‰ã—ã€ã‚らゆる種類ã®ã‚»ã‚ュリティãƒã‚°ãŒãƒ‡ã‚¸ã‚¿ãƒ«ã‚¨ã‚³ã‚·ã‚¹ãƒ†ãƒ ã«
型付ã‘ã¯é›£ã—ã„
ベン・フィードラーã®ãƒ–ãƒã‚°ã‚ˆã‚Šã€‚ 型検査ã¨åž‹æŽ¨è«– 型検査ã¨ã¯ã€ã‚るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ä¸Žãˆã‚‰ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒ を実行ã—ã€ã™ã¹ã¦ã®å¤‰æ•°ã‚„å¼ãŒæ£ã—ã„åž‹ã‚’æŒã£ã¦ã„ã‚‹ã‹ã©ã†ã‹ã‚’調ã¹ã‚‹ãƒ—ãƒã‚»ã‚¹ã§ã™ã€‚例ãˆã°ã€æ–‡å—列ã¯æ–‡å—列ã«ä»£å…¥ã•ã‚Œã€ç®—è¡“å¼ã¯æ•°å€¤ã®ã¿ã‚’使用ã™ã‚‹ãªã©ã§ã™ã€‚一部ã®è¨€èªžã§ã¯åž‹æŽ¨è«–ã‚’æä¾›ã—ã¦ãŠã‚Šã€ã‚³ãƒ³ãƒ‘イラã«è‡ªåˆ†ã§æ£ã—ã„型を見ã¤ã‘るタスクもæä¾›ã—ã¾ã™ã€‚言語ã®ç‰¹å¾´ã«å¿œã˜ã¦ã€åž‹æ¤œæŸ»ã¨åž‹æŽ¨è«–ã®å•é¡Œã¯ã€äº›ç´°ãªã‚‚ã®ã‹ã‚‰æ±ºå®šä¸èƒ½ãªã‚‚ã®ã¾ã§æ§˜ã€…ã§ã™ã€‚ 一般的ãªç”¨èªž 完全性 æ£ã—ã入力ã•ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒ ã‚’å…¨ã¦ãƒã‚§ãƒƒã‚¯ã§ãã‚Œã°ã€ã‚¿ã‚¤ãƒ—ãƒã‚§ãƒƒã‚«ãƒ¼ã¯å®Œäº†ã§ã™ã€‚ å¥å…¨æ€§ æ£ã—ã型付ã‘ã•ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒ ã®ã¿ã‚’å—ã‘付ã‘ã‚‹ã‚‚ã®ã§ã‚ã‚Œã°ã€åž‹æ¤œæŸ»ã¯å¥å…¨ã§ã™ã€‚ 決定å¯èƒ½æ€§ ä»»æ„ã®å…¥åŠ›ã«å¯¾ã—ã¦ã€ãã®å…¥åŠ›ãŒå•é¡Œã‚’満足ã™ã‚‹ã‹ã©ã†ã‹ã‚’有é™æ™‚é–“ã§è¨ˆç®—ã§ãã‚‹å ´åˆã€æ±ºå®šå•é¡Œã¯æ±ºå®šå¯èƒ½ã§ã™ã€‚決定å¯èƒ½ãªå•é¡Œã®ä¾‹ã¨ã—ã¦ã¯ã€ç´ 数判定や充足å¯èƒ½æ€§ãªã©ãŒã‚ã‚Šã¾ã™
ブãƒã‚°: SpaceX内部ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ»ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãƒªãƒ³ã‚°
Yasoob Khalidã®ãƒ–ãƒã‚°ã‚ˆã‚Šã€‚ 皆ã•ã‚“ã€ã“ã‚“ã«ã¡ã¯! 👋 ã“ã®åœŸæ›œæ—¥ã«è¡Œã‚ã‚ŒãŸSpaceXã®æ‰“ã¡ä¸Šã’ã‚’ã”覧ã«ãªã£ãŸæ–¹ã‚‚多ã„ã®ã§ã¯ãªã„ã§ã—ょã†ã‹ã€‚ãã‚Œã¯é©šãã¹ãã€æ´å²çš„ãªå‡ºæ¥äº‹ã§ã—ãŸã€‚何百万人もã®äººã€…ãŒYouTubeã‚„ä»–ã®å ´æ‰€ã§ãã®æ§˜åをライブã§è¦‹ã¦ã„ã¾ã—ãŸã€‚日を追ã†ã”ã¨ã«ã€ç§ãŸã¡ã¯å•†æ¥å®‡å®™é£›è¡Œã«è¿‘ã¥ã„ã¦ãŠã‚Šã€ç§ã¯èˆˆå¥®ã—ã¦ã„ã‚‹ã“ã¨ã«åŒæ„ã—ãªã‘ã‚Œã°ãªã‚Šã¾ã›ã‚“。 ã“ã®æ‰“ã¡ä¸Šã’ã¯ã€å®‡å®™æ—…è¡Œã«å¯¾ã™ã‚‹èˆˆå¥®ã‚’煽るã ã‘ã§ãªãã€ã“れらã®ãƒã‚±ãƒƒãƒˆã«æ載ã•ã‚Œã¦ã„る技術ã«ã‚‚興味ãŒæ¹§ã„ã¦ãã¾ã—ãŸã€‚コンピュータ・サイエンスã®è¦³ç‚¹ã‹ã‚‰ã„ãã¤ã‹èª¿ã¹ã¦ã¿ã¾ã—ãŸã®ã§ã€ãã®çµæžœã‚’共有ã—ãŸã„ã¨æ€ã„ã¾ã—ãŸã€‚言ã†ã¾ã§ã‚‚ãªãã€ã“れらã®æƒ…å ±ã®ã»ã¨ã‚“ã©ã¯ã€ç§ãŒã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã§è¦‹ä»˜ã‘ãŸæ§˜ã€…ãªæƒ…å ±æºã‹ã‚‰é›†ã‚ãŸã‚‚ã®ã§ã™ã€‚é–“é•ã£ãŸæƒ…å ±ãŒå«ã¾ã‚Œãªã„よã†ã«åŠªã‚ã¾ã—ãŸãŒã€ã“ã®æƒ…å ±ãŒ100%æ£ç¢ºã§ã‚ã‚‹ä¿è¨¼ã¯ã‚ã‚Šã¾ã›ã‚“。 ãƒãƒ¼ãƒ 7å¹´å‰ã€Space
GitHub - xamarin/XobotOS: XobotOS - Android ported to C#
XobotOS project =============== XobotOS is a Xamarin research project that explored porting Android 4.0 from Java/Dalvik to C# to explore the performance and memory footprint benefits of C#. XobotOS is a semi-automated port of the Android 4.0 source code from Java to C#. The automated parts were ported using an improved version of Sharpen that can compile more advanced Java constructs and supports
TPCI - TIOBE Programming Community Index
Let op! Internet Explorer wordt niet meer ondersteund. Hierdoor kan de website mogelijk niet goed functioneren, gebruik een alternatieve browser om optimaal gebruik te maken van deze website. Klik hier om een alternatieve browser te downloaden. Home » TIOBE Index TIOBE Index for January 2026 January Headline: C# is programming language of the year 2025 For the second time in three years, C# has be
GitHub - ixy-languages/ixy-languages: A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
Ixy is an educational user space network driver for the Intel ixgbe family of 10 Gbit/s NICs (82599ES aka X520, X540, X550, X552, ...). Its goal is to show that writing a super-fast network driver can be surprisingly simple, check out the full description in the main repository of the C implementation to learn about the basics of user space drivers. Ixy was originally written in C as lowest common
neue cc - Introduction to the pragmatic IL via C#
ã“ã®è¨˜äº‹ã¯C# Advent Calendar 2017ã®ãŸã‚ã®è¨˜äº‹ã«ãªã‚Šã¾ã™ã€‚12/1ã¯masanori_mslã•ã‚“ã®ã€C#】処ç†ã®å§”è²ã§è¿·ã£ãŸè©±ã§ã—ãŸã€‚ãã—ã¦ã“ã®è¨˜äº‹ã¯12/2ã€ã®ã¯ãšãŒä»Šã¯12/4ã€ã¤ã¾ã‚Šâ€¦â€¦ã€‚ã™ã¿ã¾ã›ã‚“。 ã¨ã“ã‚ã§ã§ã™ãŒã€ç§ã¯ä»Šå¹´ã®è‡ªèº«ã®ãƒ†ãƒ¼ãƒžã¨ã—ã¦ã€ã€ŒExtreme C#ã€ã‚’掲ã’ã¦ã„ã¾ã™ã€‚C#ã§æ¥µé™ã¾ã§æ€§èƒ½ã‚’出ã—ã¦ã„ãã€ã¨ã„ã†ã“ã¨ã‚’主題ã«ã—ã¦æ§˜ã€…ãªã‚‚ã®ã‚’公開ã—ã¦ãã¾ã—ãŸã€‚ãã®ä¸ã§ã‚‚ILを書ã技術ã¨ã„ã†ã®ã¯ã€ã©ã†ã—ã¦ã‚‚æ¬ ã‹ã›ãªã„ã‚‚ã®ã§ã™ã€‚実際ã€ç§ãŒè¿‘年制作ã—ãŸãƒ©ã‚¤ãƒ–ラリã¯ã»ã¨ã‚“ã©IL生æˆã‚’å«ã‚“ã§ã„ã¾ã™ã€‚ 例ãˆã°ã€ã‚·ãƒªã‚¢ãƒ©ã‚¤ã‚¶ - ZeroFormatter, MessagePack for C#, Utf8Json。RPC - PhotonWire, MagicOnion。DI - MicroResolver。ã“れらã‹ã‚‰ã€å®Ÿéš›ã«ä½¿ã‚ã‚ŒãŸä¾‹ã¨ã€ãã—ã¦å®Ÿåœ°ã§ã—ã‹çŸ¥ã‚Šå¾—ãª
.NET nanoFramework – Making it easy to write C# code for embedded systems.
.NET nanoFramework makes it easy for C# developers to write embedded applications on microcontrollers units (MCU) with the tools, debugging and features they are used to. This is a free and Open-Source platform for constrained embedded devices. As a developer, you can use your powerful and familiar tools like Microsoft Visual Studio IDE and your .NET C# skills to write code on a microcontroller. P
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 —
gRPC
Why gRPC?gRPC is a modern open source high performance Remote Procedure Call (RPC) framework that can run in any environment. It can efficiently connect services in and across data centers with pluggable support for load balancing, tracing, health checking and authentication. It is also applicable in last mile of distributed computing to connect devices, mobile applications and browsers to backend
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - microsoft/infersharp: Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow
Learn, improve and generate code with AI | Refraction
HedgeHog.QA - AI-Powered Software Testing
GitHub - atsushieno/mugene: mugene MML to SMF compiler. It's dead, Switch to atsushieno/mugene-ng. / mugene guide bookサãƒãƒ¼ãƒˆã¯ã“ã¡ã‚‰ã¸ https://github.com/atsushieno/mugene-guide-book
AWS Lambda FAQs
GitHub - arrufat/vala-benchmarks: Vala Benchmarks
{{#tags}}- {{label}}
{{/tags}}