CakeML
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
PostgreSQL用SQLファイアーウォール「sql_firewallã€ãƒªãƒªãƒ¼ã‚¹
先日ã€sql_firewallã¨ã„ã†PostgreSQLã®æ‹¡å¼µãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ï¼ˆEXTENSION）をリリースã—ã¾ã—ãŸã€‚ https://news.ycombinator.com/item?id=10109566 https://github.com/uptimejp/sql_firewall ã“ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¯ã€PostgreSQL上ã§å®Ÿè¡Œå¯èƒ½ãªSQLを制é™ã™ã‚‹ã“ã¨ã§ã€SQLインジェクションを防ãã“ã¨ã‚’目的ã¨ã—ãŸã‚‚ã®ã§ã™ã€‚ 今回ã¯ã“ã® sql_firewall ã«ã¤ã„ã¦ã€ãã®ä»•çµ„ã¿ã¨ä½¿ã„方を簡å˜ã«ã”紹介ã—ã¾ã™ã€‚ â– sql_fiewallã®ä»•çµ„ã¿ sql_firewallã«ã¯ã€ä»¥ä¸‹ã®3ã¤ã®å‹•ä½œãƒ¢ãƒ¼ãƒ‰ãŒã‚ã‚Šã¾ã™ã€‚ å¦ç¿’モード（learning） è¦å‘Šãƒ¢ãƒ¼ãƒ‰ï¼ˆpermissive） 防御モード（enforcing） å¦ç¿’モードã§ã¯PostgreSQL上ã§å®Ÿè¡Œå¯èƒ½ãªSQL文をå¦ç¿’ã•ã›ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚
「line://msg/text/～ ã€ã‹ã‚‰ã®LINEメッセージé€ä¿¡ã®ä»•æ§˜ãŒå±é™ºãªã®ã§æ³¨æ„
LINEã«ã¦ã€ã€Œline://msg/text/ã€ã§å§‹ã¾ã‚‹URLãŒæ‹¡æ•£ã•ã‚Œã¦ã„ã¾ã™ã€‚ã“ã®URLã¯ã€ã€ŒæŒ‡å®šã•ã‚ŒãŸæ–‡ç« ã‚’é€ä¿¡ã™ã‚‹ãŸã‚ã®URLã€ã§ã€ã€ŒLINEã§é€ã‚‹ã€ãƒœã‚¿ãƒ³ã®ä¸èº«ã¨ã—ã¦åˆ©ç”¨ã•ã‚Œã¦ã„ã‚‹URLãªã®ã§ã™ãŒã€ã“ã®URLã‹ã‚‰é€ä¿¡ã«è‡³ã‚‹ã¾ã§ã®ç”»é¢é·ç§»ã§ã€é€ä¿¡å†…容ã®ç¢ºèªç”»é¢ãŒç„¡ã„仕様ã®ãŸã‚ã€è‡ªåˆ†ãŒä½•ã‚’é€ä¿¡ã™ã‚‹ã®ã‹ã‚’確èªã§ããªã„ã¾ã¾é€ä¿¡ã—ã¦ã—ã¾ã„ã€æ„図ã¨åã—ãŸæŠ•ç¨¿ã‚’è¡Œã£ã¦ã—ã¾ã†å±é™ºæ€§ãŒã‚ã‚Šã¾ã™ã€‚ 何をé€ä¿¡ã™ã‚‹ã®ã‹ãŒè¡¨ç¤ºã•ã‚Œãªã„ã¾ã¾å…ˆã«é€²ã‚€ç”»é¢ã®é€”ä¸ã§æ¢ã‚る判æ–ãŒã§ãã‚Œã°å•é¡Œã«ã¯ãªã‚‰ãªã„ã®ã§ã™ãŒã€LINEã®ãƒ¦ãƒ¼ã‚¶ãƒ¼å±¤ã¨ã€å®Ÿéš›é€ä¿¡ã—ã¦ã—ã¾ã£ãŸäººãŒå¤šæ•°è¦‹ã¤ã‹ã‚‹ã“ã¨ã€ãã—ã¦ã€ã€Œæ¬¡ã“ãé€ä¿¡å†…容ã®ç¢ºèªç”»é¢ãŒå‡ºã‚‹ã ã‚ã†ã€ã¨è€ƒãˆã¦å…ˆã«é€²ã‚€äººï¼ˆâ†ä»¥å‰ã®ä»•æ§˜ã§ã¯è¡¨ç¤ºã•ã‚ŒãŸï¼‰ã€ãªã©ãªã©ã‚’考慮ã™ã‚‹ã¨ã€ä»Šå¾Œæ‚ªç”¨ã•ã‚ŒãŸå ´åˆã«å¤§ããªå±é™ºã‚’æ‹›ããã†ãªä»•æ§˜ã§ã‚ã‚‹ã¨æ„Ÿã˜ã¾ã—ãŸã€‚ 今回ユーザーãŒæ„図ã›ãšé€ä¿¡ã—ã¦ã—ã¾ã†ã®ã¯ã€Œãšã£ã¨å‰ã‹
Go and Ruby-FFI
Go and Ruby-FFI How to write a shared library in Go that can be loaded by Ruby-FFI. With the release of Go 1.5 we got access to a new buildmode called c-shared, which allows you to build shared libraries that Ruby-FFI can load. (Also, anything else that can load shared libraries) Inspiration Filippo Valsorda has already written a very nice article on Building Python modules with Go 1.5 but I natur
広ã’ã‚‹ã¨é›»æºã‚ªãƒ³ï¼ LGã®ãƒãƒ¼ãƒ«å¼ã‚ーボードãŒã‚«ãƒƒã‚³ã„ã„ - 週刊アスã‚ー
LGエレクトãƒãƒ‹ã‚¯ã‚¹ã¯ãƒãƒ¼ãƒ«å¼ã®ãƒ•ãƒ«ã‚µã‚¤ã‚ºæŠ˜ã‚ŠãŸãŸã¿ã‚ーボード『Rolly Keyboardã€ã‚’9月4æ—¥ã‹ã‚‰ãƒ‰ã‚¤ãƒ„・ベルリンã§é–‹å‚¬ã•ã‚Œã‚‹ã€ŽIFA 2015ã€ã«å‡ºå±•ã™ã‚‹ã¨ç™ºè¡¨ã—ã¾ã—ãŸã€‚ã‚ーボードを展開ã™ã‚‹ã¨é›»æºãŒã‚ªãƒ³ã«ãªã‚Šã¾ã™ã€‚ ã‚ーピッãƒã¯17ミリã§ã€ãƒãƒ¼ãƒ«å¼ã‚ーボードã§ã¯ä¸€èˆ¬çš„ãªã‚·ãƒªã‚³ãƒ³è£½ã¨ã¯ç•°ãªã‚Šã€æ˜Žç¢ºãªã‚ータッãƒãŒæ„Ÿã˜ã‚‰ã‚Œã‚‹ã®ãŒæœ€å¤§ã®é…力。Bluetooth3.0ã§ãƒ‡ãƒã‚¤ã‚¹ã¨æŽ¥ç¶šã—ã€åŒæ™‚ã«2ã¤ã®ãƒ‡ãƒã‚¤ã‚¹ã¨ã®æŽ¥ç¶šãŒå¯èƒ½ã§ã™ã€‚ãƒãƒƒãƒ†ãƒªãƒ¼ã¯å˜å››é›»æ± ã²ã¨ã¤ã§ç´„3ヵ月間利用å¯èƒ½ã€‚
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - Yomguithereal/react-blessed: A react renderer for blessed.
{{#tags}}- {{label}}
{{/tags}}