以下の様にすることで64bitsアラインをまたいでるフィールドがあれば警告が出るようになります。
go build -o checker ./checker.go
GOOS=linux GOARCH=arm go vet -vettool checker ...
たふみ / Tafumi Qs-F
treastrain
/ RefreshablePlayground.swift
Created
March 29, 2024 16:58
https://twitter.com/the_uhooi/status/1773739603591336289
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import SwiftUI | |
| struct ContentView: View { | |
| @StateObject private var object = Object() | |
| var body: some View { | |
| List(object.numbers, id: \.self) { number in | |
| Text("Content \(number)") | |
| } | |
| .refreshable { |
treastrain
/ ConcurrencyNFCApp.swift
Created
August 27, 2021 20:45
SwiftUI App + Core NFC + Swift Concurrency を使って書いた、交通系電子マネーカードの残高読み取りサンプル。 https://twitter.com/treastrain/status/1431356306963587072
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // | |
| // ConcurrencyNFCApp.swift | |
| // ConcurrencyNFC | |
| // | |
| // Created by treastrain on 2021/08/28. | |
| // | |
| import SwiftUI | |
| import CoreNFC |
treastrain
/ Task :shared:linkDebugFrameworkIosX64 FAILED
Last active
March 20, 2021 13:35
Task :shared:linkDebugFrameworkIosX64 FAILED
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FROM alpine:3.13 | |
| WORKDIR /opt/draft-proxy | |
| RUN apk update && apk add git curl | |
| RUN curl -L -o package.tgz https://github.com/oauth2-proxy/oauth2-proxy/releases/download/v6.1.1/oauth2-proxy-v6.1.1.linux-amd64.tar.gz && \ | |
| tar xvzf package.tgz && \ | |
| mv oauth2-proxy-*.linux-amd64/oauth2-proxy . | |
| CMD ["./oauth2-proxy", \ | |
| "--provider=github", "--github-org=YOUR_GITHUB_ORG", "--email-domain=*", \ | |
| "--http-address=0.0.0.0:8080", \ | |
| "--reverse-proxy=true", \ |
ishad0w
/ sources.list
Created
April 30, 2020 16:55
Ubuntu 20.04 LTS (Focal Fossa) -- Full sources.list
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| deb http://archive.ubuntu.com/ubuntu/ focal main restricted universe multiverse | |
| deb-src http://archive.ubuntu.com/ubuntu/ focal main restricted universe multiverse | |
| deb http://archive.ubuntu.com/ubuntu/ focal-updates main restricted universe multiverse | |
| deb-src http://archive.ubuntu.com/ubuntu/ focal-updates main restricted universe multiverse | |
| deb http://archive.ubuntu.com/ubuntu/ focal-security main restricted universe multiverse | |
| deb-src http://archive.ubuntu.com/ubuntu/ focal-security main restricted universe multiverse | |
| deb http://archive.ubuntu.com/ubuntu/ focal-backports main restricted universe multiverse |
https://dl.acm.org/citation.cfm?id=3192369
やばい論文を見つけた。たとえるなら，世界中でありふれた野菜炒めで世界一だと認められたようなもの。一刻も早く全文を読みたい。
We present Ryu, a new routine to convert binary floating point numbers to their decimal representations using only fixed-size integer operations, and prove its correctness. Ryu is simpler and approximately three times faster than the previously fastest implementation.
- Symbolic execution - Wikipedia
- King, James C. "Symbolic execution and program testing." 1976 (pdf)
- DART: Directed Automated Random Testing
- CUTE: A Concolic Unit Testing Engine for C
- Jeff Foster, "Symbolic Execution," 2011 (pdf)
- シンボリック実行に入門しようとした - 一生あとで読んでろ
- テスト入力値の自動生成と、concolic testing - ソフトウェアの品質を学びまくる
bcherny
/ typescript-effect-system.ts
Last active
July 19, 2021 17:07
designing an effect system in typescript
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type Effect<A> = {type: A} | |
| interface IO<A> {} | |
| interface NetworkIO<A> extends IO<A> {} | |
| interface DOMMutation<A> {} | |
| interface DOMAppend<A> extends DOMMutation<A> {} | |
| interface DOMRemove<A> extends DOMMutation<A> {} | |
| function request<A>(url: string): Promise<A> & Effect<NetworkIO<A>> { |
aroder
/ install_ffmpeg_with_librtmp.sh
Last active
July 29, 2021 15:58
shell script to install FFmpeg with librtmp, which is necessary to use it with DaCast. Much of this comes from http://help.dacast.com/hc/en-us/articles/202357380-Stream-on-DaCast-under-Linux-with-ffmpeg
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # this scripts assumes Ubuntu 14.04 LTS | |
| # ensure the following sources are in /etc/apt/sources.list | |
| # deb http://us.archive.ubuntu.com/ubuntu/ precise multiverse | |
| # deb-src http://us.archive.ubuntu.com/ubuntu/ precise multiverse | |
| # deb http://us.archive.ubuntu.com/ubuntu/ precise-updates multiverse | |
| # deb-src http://us.archive.ubuntu.com/ubuntu/ precise-updates multiverse |
NewerOlder