Goodbye Aberration: Physicist Solves 2,000-Year-Old Optical Problem
Goodbye Aberration: Physicist Solves 2,000-Year-Old Optical Problem When you look through your viewfinder and things seem a little bit blurry or lacking definition, it’s probably because you are using an “el cheapo” lens. So you read reviews and buy a much more expensive lens, and what do you do next? You don’t go out to learn about composition and lighting to make better pictures. No. If you are
Mili - 不死蝶 Fushicho (Le papillon immortel) (Official Music Video)
Stream "不死蝶 Fushicho": https://mili.lnk.to/Wni0d Follow Mili Instagram: https://www.instagram.com/projectmili/ Twitter: https://twitter.com/ProjectMili Facebook: https://www.facebook.com/ProjectMili Spotify: https://open.spotify.com/artist/0K05TDnN7xPwIHDOwD2YYs?si=V__Pl88ITNODSGGUJLHPLA Apple Music: https://itunes.apple.com/jp/artist/mili/906934266 Bandcamp: http://project-mili.bandcamp.com/ HP:
再会 / はるまきごはん feat.初音ミク
New"フルアルバム"「幻影EP-Envy Phantom-」2022.05.27発売決定しました。幻影シリーズは、フルアルバム「幻影EP-Envy Phantom-」、スマホゲーム「幻影AP-空っぽの心臓-」、ワンマンライブ「幻影LV-はるまきごはんワンマンライブ2022-」の3つの心臓から構成されるシリーズ作品です。▷特設サイト https://harumakigohan.com/gnep▷はるまきごはんVocal ver MVhttps://youtu.be/U0bTlwXLUmMMusic & Lyrics:はるまきごはん ( @harumaki_gohan )Movie:スタジオごはんDirector&MainAnimator : はるまきごはんAnimationAssistant : こむぎこ2000mylist/57349416instht
オルタナ鳴る穴から - 初音ミク
こんにちは。ぷにまるです。 やっぱり初音ミクにオルタナティヴロックな曲を歌わせるのが好きなんです。ボーカル：初音ミク詞 曲 動画：ぷにまるマイリスト→mylist/31820545
かくれんぼ ／ 初音ミク
wikipedioのかくれんぼの記事の画像を使ったんですが、わりとよくわからない絵ですねこれ。初音ミクは後半からしか出てこないです。前の曲を聞いてくれた人はありがとうございました。
Announcing Rust 1.36.0 | Rust Blog
The Rust team is happy to announce a new version of Rust, 1.36.0. Rust is a programming language that is empowering everyone to build reliable and efficient software. If you have a previous version of Rust installed via rustup, getting Rust 1.36.0 is as easy as: $ rustup update stable If you don't have it already, you can get rustup from the appropriate page on our website, and check out the detai
Go Slices are Fat Pointers
This article was discussed on Hacker News. One of the frequent challenges in C is that pointers are nothing but a memory address. A callee who is passed a pointer doesn’t truly know anything other than the type of object being pointed at, which says some things about alignment and how that pointer can be used… maybe. If it’s a pointer to void (void *) then not even that much is known. The number o
Rustの未来いわゆるFuture - OPTiM TECH BLOG
Rust 1.36がリリースされ、皆さん待望のFuture関連のAPIが安定化されました。 この記事ではFuture関連APIを巡る過去と未来を紹介します。 Q&A（TL; DR） 長くなってしまったので要約をまとめました。 細かい話は目次以降をご覧ください。 Futureは何のために必要？ Futureは非同期処理を抽象化したもので、Rustにおけるあらゆる非同期処理はFutureの上に成り立ちます。 処理をFutureによって隠蔽することで、 ただ非同期に処理するだけでなく処理のパイプライン化、 すなわち単一のスレッドで複数の処理を実行出来るようになります。 futuresクレートではだめなの？ async/await構文を入れるために言語コアに取り込まれました。 futures 0.1と合わせて使える？ futures 0.3には互換性レイヤーがあり、相互に変換出来るため問題ありませ
レイマーチングのための複雑な距離関数 - Qiita
レイマーチングで使える複雑めな距離関数を収集していきます。 球や直方体など単純な図形に関しては以下にまとまっているので、ここでは触れません。 Inigo Quilez :: fractals, computer graphics, mathematics, shaders, demoscene and more Recursive Tetrahedron http://glslsandbox.com/e#55834.0 四面体のIFSによる繰り返しです。最終的に四面体の頂点に対して距離を計算しています。 #define ITERATIONS 8 float deRecursiveTetrahedron(vec3 p, vec3 offset, float scale) { vec4 z = vec4(p, 1.0); for (int i = 0; i < ITERATIONS; i++)
Automating chaos experiments in production | the morning paper
the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Automating chaos experiments in production Basiri et al., ICSE 2019 Are you ready to take your system assurance programme to the next level? This is a fascinating paper from members of Netflix’s Resilience Engineering team describing their chaos engineering initiatives: automated
VM命令ディスパッチ手法: Context Threading - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 2005年のそれほど新しくないものだが、Context Threading: A flexible and efficient dispatch technique for virtual machine interpreters という論文を読んだので、内容について少しまとめておく。 前提知識: 既存のThreading手法 http://www.complang.tuwien.ac.at/forth/threaded-code.html にまとまっているが、この論文では以下の2つが関係している: Direct threading:
簡単な自作言語のコンパイラ vm2gol v2 の製作過程 - memo486
RubyでオレオレVMとアセンブラとコード生成器を2週間で作ってライフゲームを動かした話 の製作過程を雑にダラダラ書きます。 下書きっぽいものは用意しているので、打ち切りにならずに完走はできると思います（2019-10-05 完走しました！） 予定では全38回 時間や気力不足などで 1ヶ月更新が止まるとかはあるかもしれません 教科書的な正しさは保証できませんし、自分用のふりかえりメモみたいな体でやります なので、文体は丁寧でも説明は全然足りてないと思います 最初に作ったもの（v1）と全く同じではなく、微妙に違うものになります 試行錯誤した過程を全部そのまま書くとさすがに退屈・煩雑になるので多少整理したり あと、作って時間が経ってるので細かいところは覚えてない あまり大きく変えない程度に改良したり（2周目なので） 私はあれこれ悩みながら2週間かけて作りましたが、 単純に書き写すだけなら1週間
One SQL to Rule Them All
Real-time data analysis and management are increasingly critical for today`s businesses. SQL is the de facto lingua franca for these endeavors, yet support for robust streaming analysis and management with SQL remains limited. Many approaches restrict semantics to a reduced subset of features and/or require a suite of non-standard constructs. Additionally, use of event timestamps to provide native
How Dat Works
Dat is a protocol for sharing data between computers. Dat’s strengths are that data is hosted and distributed by many computers on the network, that it can work offline or with poor connectivity, that the original uploader can add or modify data while keeping a full history and that it can handle large amounts of data. Dat is compelling because the people working on it have a dedication to user ex
Thoughts for a Haskell IDE
Summary: We have been working on pieces for a Haskell IDE at Digital Asset. At Digital Asset, we wrote the DAML programming language. The compiler builds on GHC, and one of the important tools for using DAML is an IDE. You can try the DAML IDE online or download it. Since we wrote the DAML IDE in Haskell, and DAML uses GHC under the hood, it's possible to take the work we did for the DAML IDE and
When children processes exit - a debugging story - FP Complete
This is a story about how some bad API design on my part caused some ugly race conditions that were very tricky to break down. I’m writing this story as a word of warning to others! The code itself was written in Haskell, but the lessons apply to anyone working with Unix-style processes. Introducing typed-process I maintain both the process library in Haskell, which is the standard way of launchin
プロとアマの小説の特徴を数値化して比較してみたらやっぱり差があったので、それを埋めるための型付き小説記述用言語 TypeNovel を公開した件について - anti scroll
ラノベのタイトルみたいな記事を書く、という夢が叶いました。 github.com 開発に至った動機 以前から、アマチュアの小説はプロに比べると、描写不足な傾向があるのかもしれない、と思っていました。 特に不足がちだと感じるのは「時間」に関する描写です。 季節がわからなかったり、昼か夜か、平日か休日かみたいなことが不明瞭な作品が多い気がします。 しかし印象だけで語ってもアレなので、実際に差があるのかどうかを計測してみました。 計算式は、 時間描写の文の数 * 時間描写分布のエントロピー / 文の数 です。 「時間描写分布のエントロピー」というのは「全体を通じて、どれだけ満遍なく時間表現が書かれているか」という数字だと思ってください。 例えば時間描写が冒頭部にしかなかったりすると数値が小さくなり、全編を通じて満遍なく描写されていると、数値が大きくなります。 あと時間描写というのは、一応「季節、
なるべく切れない回線のつくりかた（物理） - Qiita
※当然ながら、障害発生時はどのグレードでも0bpsになります 「なら専用線選んでおけばいいじゃん」と思うかもしれませんが、費用が圧倒的に違い、同じ帯域なら１段あがるごとに2～10倍ほどになります。たとえば5倍として、ベストエフォート100Mbpsで月額10万円なら、帯域確保は50万円、帯域保証は250万円、専用線は1000万円という差になってしまうでしょう。予算は有限ですから、むやみに高い品質を選んでしまうと帯域がとれないということになります。同じ予算であれば、1Gbpsベストエフォートがよいのか、200Mbps帯域確保がよいのかは場合によって異なるので、適切な選択をするべきです。 そして、ベストエフォートはベストエフォートでも、1Gbpsで100Mbpsしか出ないキャリアもあれば、1Gbpsで900Mbpsくらいを保証しているキャリアもあります。これは概ね値段に比例しますが、つまりベスト
Rustのasync/awaitの特徴4つ - Qiita
async/awaitの最小限の機能が、 Rust 1.38.0 リリースを目標に準備されています。Rust1.36.0のリリースが2019-07-04で、Rustは6週間ごとにリリースされるので、順調にいけば 2019-09-26 頃にリリースされると思われます。もちろんnightlyではすでに試せます。 さてこのasync/awaitですが、他の言語のasync/awaitと基本コンセプトは近いものの、いくつか異なる点があります。個人的には以下のことを把握しておくとよいと思いました。 後置await構文 戻り値型 (内部戻り値型・実装ごとに異なる型) 駆動 (awaitまたはspawnしないと進まない) キャンセル (awaitポイントは中止ポイント) 本稿は現象の説明にとどめ、そうなっている理由には基本的に言及しませんが、どれもきちんと理由があってそうなっています。その点はご承知おき
Pythonで100万ドキュメントオーダーのサーチエンジンを作る(PageRank, tfidf, 転置インデックスとか) - にほんごのれんしゅう
検索エンジンを何故作ってみたかったか もともとこのブログのコンセプトのNLP的なことで、情報を整理してなにか便利にしたかった(Googleと同じモチベーションの世界の情報を整理する) 4年前にほぼ同じシステムを作ろうとしたとき、500万を超える大量のインデックスを検索するシステムは、数学的な理解度が十分でない＋エンジニアリング力が伴わないなどでギブアップした背景があり、今回再チャレンジしたくなった ほぼすべての機能をpure python(+いくつかの例外はある)で実装して、世の中の ソフトウェアを使うだけ の検索エンジンをやってみたなどではなく、実際に理解して組んでみることを目的としたかった 依存パッケージと依存ソフトウェア GitHubのコードを参照してください 様々なサイトを巡回する必要があり、requestsが文字コードの推論を高確率で失敗するので、nkf をlinux環境で入れて
The world's worst video card?
Let's build a circuit that displays an image on a VGA monitor! In this video, I talk about how VGA signals work and build a circuit that provides the correct timing of sync signals so that a monitor recognizes the signal. Support these videos on Patreon: https://www.patreon.com/beneater or https://eater.net/support for other ways to support. ------------------ Social media: Website: https://www
Why am I interested in Elixir?
The juicy bits OTP & the BEAM Phoenix Presence Phoenix LiveView Nerves Scenic Rustler I’ve had Elixir on the brain recently. And by recently I probably mean 2 years. In my defense I think it is fair to say it is blooming right now. I haven’t had much need of it, or opportunity for it, in my day-to-day of maintaining a Python legacy system, renewing another legacy or optimizing Elasticsearch. So I’
Clojure + deps.edn, a basic guide
After a rather long break from programming and Clojure I decided give them another go. When it comes to managing Clojure projects, Leiningen is de-facto standard tool. Recently, Clojure CLI tools are becoming more and more popular, though. Switching to yet-another-build-tool doesn’t have any pragmatic value, but it’s perfect for learning purposes. From a build tool I expect it to perform certain t
Go compiler internals: adding a new statement to Go - Part 1 - Eli Bendersky's website
Updated (2023-05-08): the Go compiler keeps evolving and it takes time to keep up with changes. While the general gist of this post remains true and it's worth reading to understand how the compiler works on a high level, the details of the modifications are slightly different now. To see up-do-date changes that work with the latest Go (in-development version 1.21 at the time of this update), chec
Formatting floating point numbers
Is floating point math broken? – Cato Johnston (Stack Overflow) Formatting floating-point (FP) numbers is a surprisingly complicated task. While you can probably write a decent integer to string conversion in a matter of minutes, a good FP formatting algorithm deserves a paper in a scientific journal. One such algorithm, or rather a class of algorithms, called Grisu was published in the paper “Pri
A better zip bomb
Compression bombs that use the zip format must cope with the fact that DEFLATE, the compression algorithm most commonly supported by zip parsers, cannot achieve a compression ratio greater than 1032. For this reason, zip bombs typically rely on recursive decompression, nesting zip files within zip files to get an extra factor of 1032 with each layer. But the trick only works on implementations tha
jbp.io :: TLS performance: rustls versus OpenSSL
Reproducibility rustls OpenSSL Results There are quite a few dimensions to how performance can vary between TLS libraries. Handshake performance covers how quickly new TLS sessions can be set up. There are broadly two kinds of TLS handshake: full and resumed. Full handshake performance will be dominated by the expense of public key crypto – certificate validation, authentication and key exchange.
NetBSD Blog
This report was written by Maciej Grochowski as a part of developing the AFL+KCOV project. How Fuzzing works? The dummy Fuzzer. The easy way to describe fuzzing is to compare it to the process of unit testing a program, but with different input. This input can be random, or it can be generated in some way that makes it unexpected form standard execution perspective. The simplest 'fuzzer' can be wr
Writing a small ray tracer in Rust and Zig
I spend most of my programming time writing C++. And like many other C++ programmers, I’ve shot myself in the foot countless times with a feature I didn’t fully grok. And I’ve spent enormous amounts of time trying to understand the language. Like many other C++ developers in this position, I find myself frequently daydreaming about switching to another more modern and easily understood language. T
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
(さとうささら) KukullFlat (オリジナル曲)
グリッチー・ハートの猥雑 / Juudenki ft. 初音ミク？
初音ミク - 錆
r/types - Lambdas are Codatatypes
r/ProgrammingLanguages - Lambdas are Codatatypes
GitHub - google/robotstxt: The repository contains Google's robots.txt parser and matcher as a C++ library (compliant to C++11).
GitHub - Workiva/eva: A distributed database-system implementing an entity-attribute-value data-model that is time-aware, accumulative, and atomically consistent
高度合成数〜なんかよく見る数〜 - Qiita
The RedPRL Proof Assistant — RedPRL documentation
r/haskell - Continuation of Write You a Haskell
r/haskell - ∃ termbox-banana, a bare-bones alternative to brick for writing terminal UIs
YOW! Lambda Jam 2019 - Bartosz Milewski - A Taste of Type Theory
YOW! Lambda Jam 2019 - Edward Kmett - Logic Programming à la Carte
r/haskell - How to Specify It! A Guide to Writing Properties of Pure Functions - John Hughes
r/haskell - Why would you use ContT?
GitHub - waymonad/waymonad: A wayland compositor based on ideas from and inspired by xmonad
Functional Reactive Programming with Reflex and CodeWorld
chshersh :: A story told by Type Errors
不動点コンビネータで無名再帰を作る流れをおさらい - Qiita
Lightweight invertible enumerations in Haskell
Building a "Simple" Distributed System - The What — Jack Vanlightly
GitHub - kroitor/gjk.c: Gilbert-Johnson-Keerthi (GJK) collision detection algorithm in 200 lines of clean plain C
GitHub - nerdypepper/eva: a calculator REPL, similar to bc(1)