[B! program] efclã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

efcl id:efcl

programã«é–¢ã™ã‚‹efclã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (673)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

60å¹´å‰ã‹ã‚‰ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å’Œæ–‡è«–æ–‡ã‚’æŽ˜ã‚Šèµ·ã“ã—ãŸè©±
æœ¬è¨˜äº‹ã®åˆç‰ˆã‚’å…¬é–‹ã—ãŸã®ã¯ 2024 å¹´ 9 æœˆ 21 æ—¥ã ã£ãŸã®ã§ã™ãŒã€ãã®å¾Œ 9 æœˆ 26 æ—¥ã«ã€ãƒ”ãƒƒã‚¯ã‚¢ãƒƒãƒ—ã—ãŸè«–æ–‡ã‚’å¤§å¹…ã«å¢—ã‚„ã—ã¦æ›´æ–°ã—ã¾ã—ãŸã€‚ ã¾ãŸã€æœ€åˆã¯ã‚¿ã‚¤ãƒˆãƒ«ã‚’ã€Œå’Œæ–‡ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è«–æ–‡ã‚’ã€œã€ã¨ã—ã¦ã„ãŸã®ã§ã™ãŒã€ã„ã‚ã‚†ã‚‹ã€Œæ—¥æœ¬èªžãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€ã®è©±ã«ã‚‚è¦‹ãˆã¦ã—ã¾ã†ã“ã¨ã‹ã‚‰ã€ã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å’Œæ–‡è«–æ–‡ã‚’ã€œã€ã«ç½®ãæ›ãˆã¾ã—ãŸã€‚ æ—¥æœ¬ã®äººã€…ãŒã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã«ã‹ã‹ã‚ã‚‹ã‚ˆã†ã«ãªã£ãŸã®ã¯ã€ã„ã¤ã”ã‚ã§ã—ã‚‡ã†ã‹? ãã®å‰ã«ã€ã¾ãšã¯ä¸–ç•Œã®ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ´å²ã‚’ç°¡å˜ã«æŒ¯ã‚Šè¿”ã£ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ã¾ãšã¯ OS ã‹ã‚‰æœ‰åã©ã“ã‚ã‚’ãŸã©ã‚‹ã¨ã€ ã‚ã‹ã‚Šã‚„ã™ã Windows 95 ãŒ 1995 å¹´ [1] ãã®å‰ã«åºƒãä½¿ã‚ã‚ŒãŸ Windows 3.1 ã¯ 1992 å¹´ [2] ãã®ä¸‹ã§å‹•ã MS-DOS ã¯ã€ãƒãƒ¼ã‚¸ãƒ§ãƒ³ 6 ãŒ 1993 å¹´ã€ãƒãƒ¼ã‚¸ãƒ§ãƒ³ 1 ãŒ 1981 å¹´ [3] Linu
efcl 2024/09/22
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ»ã‚·ãƒ³ãƒã‚¸ã‚¦ãƒ ã®ã‚¢ãƒ¼ã‚«ã‚¤ãƒ–

program

history

paper
ãƒªãƒ³ã‚¯
Programming Language and Theorem Prover â€” Lean
Programming Language and Theorem Prover
efcl 2024/08/19
å®šç†è¨¼æ˜Žè¨€èªžã€‚Microsoft Researchã¨ã‹Open AIã®äººãŒã‚„ã£ã¦ã„ã‚‹

program
ãƒªãƒ³ã‚¯
åŠå·å“ä¹Ÿã€Œä»®èª¬ã¯ã“ã¨ã”ã¨ãå¤–ã‚ŒãŸã€ãã‚Œã§ã‚‚ãƒ–ãƒ¬ãšã«é–‹ç™ºã§ãã‚‹ç†ç”±ã¯ï¼Ÿã€å¾Œç·¨ã€‘ - ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢type | è»¢è·type
2024.04.08 åƒãæ–¹ åŠå·å“ä¹ŸPdMãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ—ãƒãƒ€ã‚¯ãƒˆ å‰ç·¨ã«ç¶šã„ã¦åŠå·å“ä¹Ÿã•ã‚“ã«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°åˆå¦è€…å‘ã‘ã®å¦ç¿’ã‚µãƒ¼ãƒ“ã‚¹ã€ŽJasmine Teaã€ã®ã“ã®1å¹´ã‚’èžãã€‚ãƒªãƒªãƒ¼ã‚¹ã‹ã‚‰ã¡ã‚‡ã†ã©1å¹´ãŒçµŒã£ãŸã€ŽJasmine Teaã€ã ãŒã€Œå®Ÿã¯æ€ã£ã¦ã„ãŸã‚ˆã‚Šã†ã¾ãã„ã£ã¦ã„ãªã„ã€ã®ã ã¨ã„ã†ã€‚æœªçŸ¥ã®æŒ‘æˆ¦ã«èª²é¡Œã¯ã¤ãã‚‚ã®ã§ã¯ã‚ã‚‹ã€‚åŠå·ã•ã‚“ã‚‰ã¯ã©ã‚“ãªèª²é¡Œã«ã¶ã¤ã‹ã‚Šã€ãã‚Œã¨ã©ã†å‘ãåˆã£ã¦ã„ã‚‹ã®ã ã‚ã†ã‹ã€‚ äº‹å‰ã«ç«‹ã¦ãŸä»®èª¬ã®ã“ã¨ã”ã¨ããŒå¤–ã‚ŒãŸã“ã¨ã€ãã‚Œã§ã‚‚ãƒ–ãƒ¬ãšã«é–‹ç™ºã‚’ç¶šã‘ã‚‰ã‚Œã¦ã„ã‚‹ç†ç”±ã€å°‘ã—è„‡é“ã«é€¸ã‚Œã¦ã€ç”ŸæˆAIæ™‚ä»£ã®ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã«å¿…è¦ãªã“ã¨ã‚‚ä¼ºã£ãŸã€‚ Tablyæ ªå¼ä¼šç¤¾ ä»£è¡¨å–ç· å½¹ Techno logy Enabler åŠå· å“ä¹Ÿã•ã‚“ï¼ˆ@takorattaï¼‰ æ—©ç¨²ç”°å¤§å¦ç†å·¥å¦éƒ¨å’æ¥ã€æ—¥æœ¬DECã‚’çµŒã¦Microsoftã«è»¢è·ã€‚Windowsã®é–‹ç™ºã«æºã‚ã‚Šã€ãã®å¾ŒGoogleã§ã¯ãƒ—ãƒãƒ€ã‚¯ãƒˆãƒžãƒã‚¸ãƒ¡ãƒ³ãƒˆ
efcl 2024/04/13
å†™çµŒã«ã¤ã„ã¦ "ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚’æ‰“ã¤ã“ã¨ã«èˆˆå‘³ã®ã‚ã‚‹åã©ã‚‚ã¯å¤šã„ã§ã™ã€‚ã‘ã‚Œã©ã‚‚ã€ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚’æ‰“ã¤ã®ã«ã€Œè‹¦åŠ´ã™ã‚‹ã€ã“ã¨ã§ã€ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ãŒå‰ŠãŒã‚Œã¦ã—ã¾ã†ã“ã¨ã®æ–¹ãŒå¤§ãã„ã“ã¨ãŒåˆ†ã‹ã£ã¦ãã¾ã—ãŸã€‚"

program

opinion
ãƒªãƒ³ã‚¯
GitHub - Wilfred/difftastic: a structural diff that understands syntax ðŸŸ¥ðŸŸ©
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
efcl 2024/03/23
ãƒ—ãƒã‚°ãƒ©ãƒ ã®ã‚ˆã†ãªæ§‹é€ ã‚’è§£é‡ˆã—ãŸDiffã‚’è¡¨ç¤ºã§ãã‚‹ãƒ„ãƒ¼ãƒ«

program

diff
ãƒªãƒ³ã‚¯
research!rsc: Our Software Dependency Problem
For decades, discussion of software reuse was far more common than actual software reuse. Today, the situation is reversed: developers reuse software written by others every day, in the form of software dependencies, and the situation goes mostly unexamined. My own background includes a decade of working with Googleâ€™s internal source code system, which treats software dependencies as a first-class
efcl 2024/03/17
ä¾å˜é–¢ä¿‚ã®å•é¡Œã¨å†åˆ©ç”¨æ€§

program

article
ãƒªãƒ³ã‚¯
Taco Bell Programming
Every it em on the menu at Taco Bell is just a different configuration of roughly eight ingredients. With this simple periodic table of meat and produce, the company pulled down $1.9 billion last year. The more I write code and design systems, the more I understand that many times, you can achieve the desired functionality simply with clever reconfigurations of the basic Unix tool set. After all, f
efcl 2024/03/17
> Functionality is an asset, but code is a liability æ©Ÿèƒ½ã¯è³‡ç”£ã ã‘ã©ã€ã‚³ãƒ¼ãƒ‰ã¯è² å‚µ

program
ãƒªãƒ³ã‚¯
Gleam version 1 â€“ Gleam
efcl 2024/03/06
Erlang VMã‚’ä½¿ã£ãŸé–¢æ•°åž‹è¨€èªžã®Gleam v1ãƒªãƒªãƒ¼ã‚¹ã€‚

erlang

program

ReleaseNote
ãƒªãƒ³ã‚¯
GitHub - google/magika: Detect file content types with deep learning
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
efcl 2024/02/19
æ©Ÿæ¢°å¦ç¿’ã‚’ä½¿ã£ãŸè¨€èªžãƒ•ã‚¡ã‚¤ãƒ«ã‚„ç”»åƒãƒ•ã‚¡ã‚¤ãƒ«ãªã©ã®ãƒ•ã‚¡ã‚¤ãƒ«åˆ¤å®š

program

Image

Tools

MachineLearning
ãƒªãƒ³ã‚¯
Multi-target projects â€“ Gleam
Published 16 Jan, 2024 by Louis Pilfold Gleam is a type safe and scala ble language for the Erlang virtual machine and JavaScript runtimes. Today Gleam v0.34.0 has been published. Letâ€™s take a look at whatâ€™s new! Multi-target projects Gleam can compile to one of two targets: Erlang or JavaScript. Some packages may only support one of the two targets, possibly because they make use of Erlang feature
efcl 2024/02/11
Erlangã¨JavaScriptã®å‡ºåŠ›ã«å¯¾å¿œã™ã‚‹Gleamè¨€èªž

erlang

JavaScript

program
ãƒªãƒ³ã‚¯
GitHub - 0xType/0xProto: A programming font focused on source code legibility
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
efcl 2024/02/06
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å‘ã‘ã®ãƒ•ã‚©ãƒ³ãƒˆã€‚ãƒªã‚¬ãƒãƒ£ã¯ã—ãªã„æ–¹é‡

program

fonts
ãƒªãƒ³ã‚¯
12 Languages in 12 Months
I stumbled across Exercism last year and was immediately charmed. It's a website devoted to teaching programming languages. It's got a great UI, offers free mentoring (by a human!), and is entirely open source. Last January, they announced a new program called 12in23, where they challenged participants to try 12 new programming languages in 2023. Each month would have a theme (such as "Analytical
efcl 2023/12/29
https://exercism.org/ ã§12ã®è¨€èªž

program
ãƒªãƒ³ã‚¯
GitHub - wader/jq-lsp: jq language server
jq language server. You probably want to use this via one of these: vscode-jq neovim using nvim-lspconfig and mason.nvim Emacs using lsp-mode It can currently do: Syntax checking. Error on missing function or binding. Goto definition of function or binding. Auto complete function and binding. Include/Import support. Hover definition of function. Hover documentation for builtin. Function symbols pe
efcl 2023/12/24
jqã®LSP

program

editor
ãƒªãƒ³ã‚¯
async/awaitã¯ä»Šå¾Œã‚‚ãƒ™ã‚¹ãƒˆãƒ•ãƒ¬ãƒ³ãƒ‰ã§ã‚ã‚Šç¶šã‘ã‚‹ã‹ - hadashiA
ãˆãƒ¼ã‚ãƒ¼ãƒ¼ ã¿ãªã•ã‚“èžã“ãˆã¾ã™ã§ã—ã‚‡ã†ã‹ã€‚ã“ã®è¨˜äº‹ã¯C# ã‚¢ãƒ‰ãƒ™ãƒ³ãƒˆã‚«ãƒ¬ãƒ³ãƒ€ãƒ¼17æ—¥ã‚ã®ãŸã‚ã«æ›¸ã‹ã‚Œã¾ã—ãŸã€‚ ã„ãã¤ã‹ã¿ã‹ã‘ãŸã€async/await ã¨ java loom/goroutineçš„ãªã‚‚ã®ã‚’æ¯”è¼ƒã™ã‚‹è°è«–ã«èˆˆå‘³ãŒã‚ã‚Šã€å°‘ã—è¿½ã£ã¦ã¿ãŸæ„Ÿæƒ³ã§ã™ã€‚å®Ÿè£…ã¾ã§æ·±ãèª¿ã¹ã‚‰ã‚Œã¦ã¾ã›ã‚“ã€‚ TL;DR Green Thread Experiment Results #2398 .NET ã® runtimelabã«ã¦ã€async/awaitã®ä»£æ›¿ã¨ã—ã¦ã®ã‚°ãƒªãƒ¼ãƒ³ã‚¹ãƒ¬ãƒƒãƒ‰ã‚’æ¤œè¨¼ã—ãŸçµæžœãŒå…¬é–‹ã•ã‚Œã¦ã„ãŸãŒã€ä»Šå¾Œã‚‚ async/await ã§ã„ãã¨ã„ã†çµè«–ã«ãªã£ã¦ã„ã‚‹ã€‚ JVM (Java) ã¯å¯¾è±¡çš„ã«ã€ã‚³ãƒ¼ãƒ‰ã®æ›¸ãæ–¹ã‚’ãªã«ã‚‚å¤‰ãˆãªãã¦ã‚‚ãƒ©ãƒ³ã‚¿ã‚¤ãƒ ãŒè‡ªå‹•çš„ã«I/Oã‚’éžåŒæœŸã«ã—ã¦ãã‚Œã‚‹å¤¢ã®Virtual Thread ã‚’å°Žå…¥ã—ãŸã€‚ Rustç•Œéšˆã§ã¯ã€ŒWhy async/await ? why? why?
efcl 2023/12/19
async/awaitã¨ã‚°ãƒªãƒ¼ãƒ³ã‚¹ãƒ¬ãƒƒãƒ‰ã«ã¤ã„ã¦

program

C#
ãƒªãƒ³ã‚¯
Onyx Programming Language
An efficient, procedural, and pragmatic programming language Efficient The Onyx compiler is fast. Turnaround time is non-existent using Onyx's custom WebAssembly code generator. Procedural Onyx uses a simple programming and memory model. It is familiar to anyone with any programming experience.
efcl 2023/12/14
WebAssemblyã¸ã¨ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ã§ãã‚‹è¨€èªž

WebAssembly

program
ãƒªãƒ³ã‚¯
Language Server Protocol ã®ä»•æ§˜ åŠã³å®Ÿè£…æ–¹æ³•
Language Server Protocolé€šç§°LSPã®ä»•æ§˜ã¨ã€å„æ©Ÿèƒ½ã‚’ã©ã†ã‚„ã£ã¦å®Ÿè£…ã—ãŸã‚‰è‰¯ã„ã‹ã®æŒ‡é‡ã‚’ç¤ºã—ã¾ã™ã€‚ å¯¾è±¡èªè€… * è¨€èªžå‡¦ç†ç³»ã‚’å®Ÿè£…ã™ã‚‹äºº/ã—ãŸã„äºº * Language Serverã‚’å®Ÿè£…ã™ã‚‹/ã—ãŸã„äºº * LSPã«èˆˆå‘³ãŒã‚ã‚‹äººã€æ—¥æœ¬èªžã®ã¾ã¨ã¾ã£ãŸæƒ…å ±æºã‚’æŽ¢ã—ã¦ã„ã‚‹äºº * Language ServerãŒã‚¨ãƒ‡ã‚£ã‚¿ã®è£ã§ã©ã®ã‚ˆã†ãªã“ã¨ã‚’ã—ã¦ã„ã‚‹ã®ã‹æ°—ã«ãªã‚‹äºº æœ¬æ›¸ã§è§£èª¬ã•ã‚Œã‚‹æ©Ÿèƒ½ã¯ä»¥ä¸‹ã®é€šã‚Šã§ã™ã€‚ * Diagnostics (æ¤œæŸ») * Completion (è£œå®Œ) * Inlay hint * Hover * Goto definition (å®šç¾©ã¸ç§»å‹•) * Find references (å‚ç…§ã‚’è¡¨ç¤º/ç§»å‹•) * Rename (åå‰å¤‰æ›´) * Code actions * Code lens * Signature help * Command * Docu
efcl 2023/10/03
LSPã®å®Ÿè£…ã«ã¤ã„ã¦ã®æ›¸ç±

program

editor

book
ãƒªãƒ³ã‚¯
Article reply â€œGodot is not the new Unityâ€ from Juan Linietsky (BDFL of Godot) | Hacker News
Somehow, I feel like reading that article diminished the original critique, however, inefficient raycasts aren't some sort of pathological edge case.Raycasts are the most commonly used spatial queries in a 3d game. Hopefully this discussion will lead towards this issue being resolved. I actually found Sam Pruden's complaint a bit odd since it sounds like he's developing a 2d game. If you're spammi
efcl 2023/09/22
Godotã®GDScriptã¨C# bindingã®è©±ã€‚ UnityScriptã¨ä¼¼ãŸè©±

program

game
ãƒªãƒ³ã‚¯
https://blog.unity.com/community/unityscripts-long-ride-off-into-the-sunset
efcl 2023/09/22
Unityã¯ãƒ—ãƒãƒ¦ãƒ¼ã‚¹ãŒå¢—ãˆã‚‹ã«ã¤ã‚Œã¦C#ãŒå¤šããªã‚Šã€æœ€çµ‚çš„ã«UnityScriptã‚’çµ‚äº†ã—ã¦ã„ã‚‹ã€‚

program
ãƒªãƒ³ã‚¯
Memory Allocation Strategies
efcl 2023/09/11
ãƒ¡ãƒ¢ãƒªç®¡ç†ã®æˆ¦ç•¥ã«ã¤ã„ã¦ã®é€£è¼‰ã€‚ Linear/Arena Allocatorsã€Stack Allocatorsã€Pool Allocatorsã€Free List Allocatorsã€Buddy Allocatorsã«ã¤ã„ã¦

article

program

language
ãƒªãƒ³ã‚¯
Modular: MojoðŸ”¥ - Itâ€™s finally here!
Since our launch of the Mojo programming language on May 2nd, more than 120K+ developers have signed up to use the Mojo Playground and 19K+ developers actively discuss Mojo on Discord and GitHub. Today, weâ€™re excited to announce the next big step in Mojoâ€™s evolution: Mojo is now available for local download â€“ beginning with Linux systems, and adding Mac and Windows in coming releases. While the Mo
efcl 2023/09/10
MojoãŒãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ã—ã¦åˆ©ç”¨ã§ãã‚‹ã‚ˆã†ã«

python

program
ãƒªãƒ³ã‚¯
Chris Lattner: Future of Programming and AI | Lex Fridman Podcast #381
efcl 2023/09/10
Chris Lattnerã¨Mojoã«ã¤ã„ã¦ã®ã‚¤ãƒ³ã‚¿ãƒ“ãƒ¥ãƒ¼é¢ç™½ã‹ã£ãŸã€‚ Swift/Juliaã˜ã‚ƒãªã„ã®ã¯ã€Swift/Juliaã¯Pythonã§ã¯ãªã„ã‹ã‚‰ã€‚ã‚ãã¾ã§Pythonã®ã‚¹ãƒ¼ãƒ‘ãƒ¼ã‚»ãƒƒãƒˆã‚’ç›®æŒ‡ã™ã€‚ CPyhonã¨GILã€ãƒ¡ã‚¿ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã‚¼ãƒã‚³ã‚¹ãƒˆä¾‹å¤–ã¯ã‚³ã‚¹ãƒˆãŒé«˜ã„ã€ã‚¨ãƒ©

program

video

Interview
ãƒªãƒ³ã‚¯
1 2 3 4 5 6 7 8 9 10 æ¬¡ã®ãƒšãƒ¼ã‚¸