by

Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
Kouji Matsui
@kekyo
Cortex-M4 Devices Generic User Guide 2.3.7. Exception entry and return http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0553a/Babefdjc.html
Cortex-M3 テクニカルリファレンス マニュアル 5.5.1. スタック操作 http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0337gj/Babedgea.html
Cortex-M編 スタック https://www.aps-web.jp/academy/cm/09/
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
ESP32 Dual Core on Arduino IDE including Data Passing and Task Synchronization https://youtu.be/k_D_Qu0cgu8
Kouji Matsui
@kekyo
ESP32 Deep Sleep, RTC Memory, "Secret" LoLin Pins https://youtu.be/r75MrWIVIw4
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
[GPD Pocket]GPDPocket向けにUbuntu系ディストリビューションをリビルドできるツール https://booleestreet.net/archives/11143
Kouji Matsui
@kekyo
RabbitMQで、キューにConsumerを複数つけて動かす http://d.hatena.ne.jp/Kazuhira/20160605/1465111203
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
Lambda Calculus and the Four Colour Theorem http://noamz.org/talks/lam4ct.pdf
Kouji Matsui
@kekyo
ハイコンテクスト文化とローコンテクスト文化 https://ssl.pan-nations.co.jp/column/226.html
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
SynModuleOrNamespace
Kouji Matsui
@kekyo
CompileOps.ParseInput
Kouji Matsui
@kekyo
海外企業と取引する日本在住のフリーランスの確定申告の方法 https://tatsumarutimes.com/archives/10069
Kouji Matsui
@kekyo
テーブル筐体の日々 http://bz504178zb.blog.fc2.com/
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
curl -sL "http://keyserver.ubuntu.com/pks/lookup?op=get&search=0xA6A19B38D3D831EF" | sudo apt-key add
Kouji Matsui
@kekyo
vscode: sudo apt install libxss1
gitkraken: sudo apt install libgnome-keyring-dev
Kouji Matsui
@kekyo
A Crash Course on the Depths of Win32™ Structured Exception Handling http://bytepointer.com/resources/pietrek_crash_course_depths_of_win32_seh.htm
Kouji Matsui
@kekyo
Exceptions in C with Longjmp and Setjmp http://www.di.unipi.it/~nids/docs/longjump_try_trow_catch.html
Kouji Matsui
@kekyo
libunwind
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
新4年生向け: 研究室のテーマ, 最近の取り組みの紹介 https://www.eidos.ic.i.u-tokyo.ac.jp/wiki/%E6%96%B04%E5%B9%B4%E7%94%9F%E5%90%91%E7%B4%B9%E4%BB%8B%E6%96%87
Kouji Matsui
@kekyo
「ちょっとお試し](https://www.kekyo.net)
markdown行けるな
OCaml でも採用されているレベルベースの多相型型推論とは https://rhysd.hatenablog.com/entry/2017/12/16/002048
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
httprepl
C:\Users\k>dotnet tool install -g --version 2.2.0-* --add-source https://dotnet.myget.org/F/dotnet-core/api/v3/index.json dotnet-httprepl
You can invoke the tool using the following command: dotnet-httprepl
Tool 'dotnet-httprepl' (version '2.2.0-rtm-35542') was successfully installed.

C:\Users\k>dotnet tool list -g
Package Id           Version              Commands
---------------------------------------------------------
dotnet-httprepl      2.2.0-rtm-35542      dotnet-httprepl

C:\Users\k>dotnet httprepl
(Disconnected)~ set base https://api.github.com

https://api.github.com/~ help

HTTP Commands:
Use these commands to execute requests against your application.

GET            Issues a GET request.
POST           Issues a POST request.
PUT            Issues a PUT request.
DELETE         Issues a DELETE request.
PATCH          Issues a PATCH request.
HEAD           Issues a HEAD request.
OPTIONS        Issues an OPTIONS request.

set header     Sets or clears a header for all requests. e.g. `set header content-type:application/json`


Navigation Commands:
The REPL allows you to navigate your URL space and focus on specific APIS that you are working on.

set base       Set the base URI. e.g. `set base http://locahost:5000`
set swagger    Set the URI, relative to your base if set, of the Swagger document for this API. e.g. `set swagger /swagger/v1/swagger.json`
ls             Show all endpoints for the current path.
cd             Append the given directory to the currently selected path, or move up a path when using `cd ..`.

Shell Commands:
Use these commands to interact with the REPL shell.

clear          Removes all text from the shell.
echo [on/off]  Turns request echoing on or off, show the request that was mode when using request commands.
exit           Exit the shell.

REPL Customization Commands:
Use these commands to customize the REPL behavior..

pref [get/set] Allows viewing or changing preferences, e.g. 'pref set editor.command.default 'C:\Program Files\Microsoft VS Code\Code.exe'`
run            Runs the script at the given path. A script is a set of commands that can be typed with one command per line.
ui             Displays the swagger UI page, if available, in the default browser.

Use help <COMMAND> to learn more details about individual commands. e.g. `help get`


https://api.github.com/~ get
HTTP/1.1 200 OK
Access-Control-Allow-Origin: *
Access-Control-Expose-Headers: ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type
Cache-Control: public, max-age=60, s-maxage=60
Content-Length: 2039
Content-Security-Policy: default-src 'none'
Content-Type: application/json; charset=utf-8
Date: Wed, 21 Nov 2018 08:14:04 GMT
ETag: "71c20e818259a283a4a0ff002435bd03"
Referrer-Policy: origin-when-cross-origin, strict-origin-when-cross-origin
Server: GitHub.com
Status: 200 OK
Strict-Transport-Security: max-age=31536000; includeSubdomains; preload
Vary: Accept;Accept-Encoding
X-Content-Type-Options: nosniff
X-Frame-Options: deny
X-GitHub-Media-Type: github.v3; format=json
X-GitHub-Request-Id: 9085:87BF:C31A35:DBD067:5BF513CC
X-RateLimit-Limit: 60
X-RateLimit-Remaining: 59
X-RateLimit-Reset: 1542791644
X-XSS-Protection: 1; mode=block

{
  "current_user_url": "https://api.github.com/user",
  "current_user_authorizations_html_url": "https://github.com/settings/connections/applications{/client_id}",
  "authorizations_url": "https://api.github.com/authorizations",
  "code_search_url": "https://api.github.com/search/code?q={query}{&page,per_page,sort,order}",
  "commit_search_url": "https://api.github.com/search/commits?q={query}{&page,per_page,sort,order}",
  "emails_url": "https://api.github.com/user/emails",
  "emojis_url": "https://api.github.com/emojis",
  "events_url": "https://api.github.com/events",
  "feeds_url": "https://api.github.com/feeds",
  "followers_url": "https://api.github.com/user/followers",
  "following_url": "https://api.github.com/user/following{/target}",
Kouji Matsui
@kekyo
留学生向け英語プログラムを受講しました https://tnanjo.net/language-bootcamp/
Kouji Matsui
@kekyo
クロスプラットフォームパッケージ作成を助けるMSBuildのSDK紹介 https://qiita.com/skitoy4321/items/6c5d9e36af0800be6c6d
【.NET Core】dotnet newの話 その1 - vaguely http://mslgt.hatenablog.com/entry/2018/12/02/000435
Kouji Matsui
@kekyo
Kouji Matsui
@kekyo
型システム 〜プログラムの安全性を支える数学〜 https://laborify.net/2018/12/09/igarashi_type_system/