Caches In Rust
Caches In Rust Jun 11, 2022 In this post I’ll describe how to implement caches in Rust. It is inspired by two recent refactors I landed at nearcore (nearcore#6549, nearcore#6811). Based on that experience, it seems that implementing caches wrong is rather easy, and making a mistake there risks “spilling over”, and spoiling the overall architecture of the application a bit. Let’s start with an imag
TypeScript: const n=1とconst n:1=1は何が違うのか、なぜ違うのか
両者の違い エディタでホバーするといずれも 1 という型が表示され、一見同じことをしているように思えるかもしれません。しかし、これらは明確に違う型を持ちます。 その前に、すべての変数は、その変数の型とは別に、Type Narrowingという仕組みによって一時的に別の型として取り扱う機能があります。 それぞれ、仮に global type と narrowed type と呼ぶことにします。 すると、const n: 1 = 1 は (global type, narrowed type) = (1, 1) ですが、const n = 1 は (global type, narrowed type) = (number, 1) です。これは以下のようなコードで確認ができます。 const n: 1 = 1; const getN = () => n; // inferred as () =
If OpenSSL were a GUI
"When something exceeds your ability to understand how it works, it sort of becomes magical." - Jony Ive *This is incomplete. It covers about 80% of one corner of OpenSSL's functionality. The certificate policy options have a lot more knobs that I didn't include. Carl Tashian (Website, LinkedIn) is an engineer, writer, exec coach, and startup all-rounder. He's currently an Offroad Engineer at Smal
AlloyDB for PostgreSQL の仕組み: カラム型エンジン | Google Cloud 公式ブログ
※この投稿は米国時間 2022 年 5 月 27 日に、Google Cloud blog に投稿されたものの抄訳です。 Google は最近、Google I/O にて AlloyDB for PostgreSQL を発表いたしました。これは、要求が厳しいエンタープライズ クラスのトランザクション / 分析ワークロードに使用できる、PostgreSQL 対応のフルマネージド データベースです。弾力性のあるストレージとコンピューティング、インテリジェントなキャッシュ、AI / ML による管理といったクラウドの優れた特徴を、PostgreSQL に統合できるようになります。さらに、AlloyDB は圧倒的なコスト パフォーマンスを実現します。パフォーマンス テストでは、標準の PostgreSQL と比較してトランザクション ワークロードで 4 倍以上、分析クエリで最大 100 倍も高速に
The Alkyne GC · mcyoung
Alkyne is a scripting language I built a couple of years ago for generating configuration blobs. Its interpreter is a naive AST walker1 that uses ARC2 for memory management, so it’s pretty slow, and I’ve been gradually writing a new evaluation engine for it. This post isn’t about Alkyne itself, that’s for another day. For now, I’d like to write down some notes for the GC I wrote3 for it, and more
Data Race Patterns in Go
You’re seeing information for Japan . To see local features and services for another location, select a different city. Show more Uber has adopted Golang (Go for short) as a primary programming language for developing microservices. Our Go monorepo consists of about 50 million lines of code (and growing) and contains approximately 2,100 unique Go services (and growing). Go makes concurrency a firs
Functional Programming in Lean - Functional Programming in Lean
Functional Programming in Lean by David Thrane Christiansen Copyright Microsoft Corporation 2023 This is a free book on using Lean 4 as a programming language. All code samples are tested with Lean 4 release 4.1.0. Release history January, 2024 This is a minor bugfix release that fixes a regression in an example program. October, 2023 In this first maintenance release, a number of smaller issues w
Size Optimization Tricks
This blog post will cover some of the tricks I've used in the past to make c / c++ / python binaries smaller using x86 assembly. Much of it will revolve around the Cosmopolitan codebase, since I recently received feedback from the ELKS project that they love the code and want to hear more about how the tricks cosmo uses can potentially improve projects as intriguing as a i8086 Linux port. In many
Find a good available .com domain | Derek Sivers
If you need a new domain name, and you want a .com, and you don’t want to type random ideas into a registrar search, here’s a way to do it. Download the list of all registered .com domains First, apply for access to the zone file, using ICANN’s Centralized Zone Data Service (CZDS) at https://czds.icann.org/. It’s free, but takes a few days to get approved. Read more about it here. Once approved, t
Rust製チップチューンシンセのSoyBoy SPをリリースしました - 技術の記録 - Ibotenic
プログラミング Rust 音楽 デジタル信号処理 サウンドプログラミング VST3 2022-06-10T00:53:20.662485+09:00 開発していたRust製のチップチューン用VST3プラグイン、SoyBoy SPが無事v1.0.0になり頒布開始できました。この記事ではSoyBoyの紹介と開発の苦労話などを記しています。 はじめに 6月になってしまいました。アジサイが咲きはじめ、そろそろ梅雨もやってきますね。そうするとキノコのシーズンが到来します。そんな生命の活力に世が沸かんとしている今日このごろ、ずっとつくっていたVST3規格のシンセプラグインSoyBoy SPをリリースしました。 たぶん半年くらい開発してたものが今回日の目を見るに至ったということで、開発やリリースの振り返りとかしてみようと思います。 SoyBoy SPってなに SoyBoy SP (リポジトリ: soyb
What Makes Godot Engine Great for Advance GUI Applications
I have been trying out the Godot Game Engine lately, and I have been mightily impressed with what I see. While it was designed to make games, it has an exceptionally sophisticated system for making graphical user interfaces. I think this is the future for advanced GUI applications. Not convinced? Look at the the image below. This is from the Godot Editor. It looks pretty sophisticated, right? You
Cranelift, Part 4: A New Register Allocator
This post is the fourth part of a three-part series1 describing work that I have been doing to improve the Cranelift compiler. In this post, I’ll describe the work that went into regalloc2, a new register allocator I developed over the past year. The allocator started as an effort to port IonMonkey’s register allocator to Rust and a standalone form usable by Cranelift (“how hard could it be?”), bu
NetHack Challenge
The NetHack Challenge: Dungeons, Dragons, and Tourists At the start of June, we announced the NetHack Challenge 2021, hosted at NeurIPS 2021, as a partnership between Facebook (now Meta) AI Research, AI Crowd, Oxford, UCL, and NYU. We furthermore were supported by our sponsors, Meta AI, and DeepMind. In this challenge, we set out the goal to beat NetHack using any method you want (within the bound
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How Static Code Analysis Prevents You From Waking Up at 3AM With Production on Fire