F# 8 is released as part of .NET 8. It is included with new updates of Visual Studio 2022 and .NET 8 SDK. Download the latest version of .NET 8 Install Visual Studio 2022 F# 8 brings in many features to make F# programs simpler, more uniform and more performant. Read more about language changes, new diagnostics, quality of life improvements, performance boosts for project compilation and upgrades
Why I use Astro
Why I use Astro Dec 13, 2023 I’ve been thinking about writing this since a few months ago when some prominent people in the industry were battling “why I use Next.js” vs “why I use Remix”. Now, I don’t try to claim that this is the thing you should do. It’s just a collection of thoughts on why I use Astro. What works for me. And what works for me might not be what works for you. That said, I’ve be
執筆者：立原 礼也 公開日：2024年6月8日 再公開日：2024年6月11日 記事の非公開に至った経緯については，別の 記事 「記事非公開の理由（特に，記事のある側面に関するお詫び）と今後の対応｜Reiya Tachihara (note.com)」をご参照ください． 今後も記事を非公開にすることがあるかも知れませんが，予告なく記事が非公開になった場合には，編集ののち，予告なく記事は再公開される予定です． 編集履歴は記事の最後に移植しました． 日本語のわかる方はこの英語は読み飛ばしてください（すぐ下に日本語で同じことが書いてあります）． Note: To avoid malicious editing or selective quoting, please ensure that the content of this article is shared by explicitly i
The how and why of optimal performance | Fractaled Mind
Over the last year or so, I have found myself on a journey to deeply understand how to run Rails applications backed by SQLite performantly and resiliently. In that time, I have learned various lessons that I want to share with you all now. I want to walk through where the problems lie, why they exist, and how to resolve them. And to start, we have to start with the reality that… Unfortunately, ru
Examining the Deception infrastructure in place behind code.microsoft.com
The domain name code.microsoft.com has an interesting story behind it. Today it’s not linked to anything but that wasn’t always true. This is the story of one of my most successful honeypot instances and how it enabled Microsoft to collect varied threat intelligence against a broad range of actor groups targeting Microsoft. I’m writing this now as we’ve decided to retire this capability. In the pa
Today we’re excited to announce the release of TypeScript 5.5! If you’re not familiar with TypeScript, it’s a language that builds on top of JavaScript by making it possible to declare and describe types. Writing types in our code allows us to explain intent and have other tools check our code to catch mistakes like typos, issues with null and undefined, and more. Types also power TypeScript’s edi
One of my favorite game jams is the legendary Js13kGames competition, where participants have one month to make a web browser game that fits in a 13 kilobyte zip file. To put that into perspective, a floppy disk from the before times could hold 1.44 MB, enough to fit over 100 JS13K games! In 2021 the contest celebrated its 10th annual event. The theme was “Space” and there were an impressive 223 g
CSS vertical writing mode for form control elements | Blog | Chrome for Developers
Rolling out from Chrome 119 to 123 is a new international CSS feature from CSS Writing Modes Level 4. Vertical writing mode for form control elements means that these elements can be displayed in vertical writing modes. By Chrome 123 the feature will be enabled for all users, this post explains the feature. Vertical writing mode for text-based form control elements Once this feature is fully enabl
Was Rust Worth It?
A few years ago, I dropped everything to focus 100% on WebAssembly. At the time, Rust had the best support for compiling into WebAssembly, and the most full-featured WebAssembly runtimes were Rust-based. Rust was the best option on the menu. I jumped in, eager to see what all the hype was about. Since then, I (along with some other awesome people) built Wick, an application framework and runtime t
Open-sourcing our progress on Tailwind CSS v4.0 - Tailwind CSS
Last summer at Tailwind Connect I shared a preview of Oxide — a new high-performance engine for Tailwind CSS that we’ve been working on, designed to simplify the developer experience and take advantage of how the web platform has evolved since Tailwind was first released. Last summer at Tailwind Connect I shared a preview of Oxide — a new high-performance engine for Tailwind CSS that we’ve been wo
A Journey Into Shaders
This article is interactive: you can play with the code and sliders to interact with the shaders. Enjoy! What if I told you that it could takes just few lines of code to create graphics as simple as gradients or as complex as rain effects? Welcome to the world of shaders! I’ve been fascinated by shaders for a couple of years, but each time I attempted to dive into the subject, I felt like I was le
10/19/2023 Flappy Bird Implemented in Typescript types The ultimate type-level trickery I wrote a 2D flappy bird game, purely in Typescript types: Yes you heard that right, this game is written entirely in Typescript type annotations, which—if you didn’t know—are Turing complete. So how the hell am I runnning it in the browser and rendering the game in Typescript types? The basic rundown is that I
Safari 17.4 adds vertical writing mode support for form control elements across macOS, iOS, iPadOS, and visionOS. Setting written text vertically is commonly observed in East Asian languages. For example, Chinese, Japanese, and Korean (CJK) may be written vertically and read top-to-bottom, flowing in lines from right to left. Similarly, Traditional Mongolian is a vertical script that flows in line
GoogleのAI研究部門であるGoogle DeepMindで働くニコラス・カルリーニ氏が、「正しいAIの使い方」を解説しています。 How I Use "AI" https://nicholas.carlini.com/writing/2024/how-i-use-ai.html カルリーニ氏は大規模言語モデル(LLM)が世間から「過大評価されている」と感じているそうです。しかし、「過去1年間、毎週少なくとも数時間をLLMの利用に費やしてきた身として、私が与える困難なタスクをLLMが解決する能力には感銘を受けています」とも記しており、LLMヘビーユーザーの意見として、その能力に太鼓判を押しています。カルリーニ氏は「LLMのおかげで研究プロジェクトとサイドプロジェクトの両方でコードを書くのが少なくとも50％速くなりました」と記し、LLMがユーザーの作業効率を大きく高めることにつながると指
Unexplanations: sql is syntactic sugar for relational algebra
Unexplanations: sql is syntactic sugar for relational algebra This idea is particularly sticky because it was more or less true 50 years ago, and it's a passable mental model to use when learning sql. But it's an inadequate mental model for building new sql frontends, designing new query languages, or writing tools likes ORMs that abstract over sql. Before we get into that, we first have to figure
This year, the YJIT team and I have gotten a paper accepted at MPLR 2023 (Managed Programming Languages and Runtimes), which is now freely available through ACM open access. The paper, titled “Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach”, goes into details of the strategy taken to evaluate YJIT’s performance in a production context. One of our key findings, when com
IntroductionAirbnb’s frontend recently reached a major milestone: all of our web surfaces have been upgraded from React 16 to React 18, the current major version of React¹. This was a big project for a product with many surfaces, including Guest and Host pages as well as many internal tools. To safely perform this upgrade, we created the React Upgrade System: reusable infrastructure that allows us
1000行でOSをつくってみる Writing an OS in 1,000 Lines という1000行前後でOSをつくれるコンテンツがあります。 このコンテンツ自体はC言語を前提としているのですが、Rustでもシステムプログラミングが可能なので、今回はRustで挑戦してみました。 Rust で Writing an OS in 1,000 Lines をやってみるときのポイントをまとめておきます。 RISC-V このコンテンツでは RISC-V をターゲットアーキテクチャとしていて、RISC-V のOSを開発します。 RISC-V はオープンソースのRISC (Reduced Instruction Set Computer) のISA (命令セットアーキテクチャ) です。 詳しい説明は、RISC-V で検索すれば数多くヒットします。 この RISC-V 関連で、参考にした主な情報源は
Prism in 2024
In Ruby 3.3.0, a new standard library was added to CRuby called Prism. Prism is a parser for the Ruby language, exposed as both a C library (optionally usable by CRuby) and a Ruby library (usable as a Ruby gem). The Prism project represents many person-years worth of effort, and is the result of a collaboration between Shopify, CRuby core contributors, other Ruby implementation authors, and Ruby t
Today we’re excited to announce the release of TypeScript 5.4! If you’re not familiar with TypeScript, it’s a language that builds on top of JavaScript by making it possible to declare and describe types. Writing types in our code allows us to explain intent and have other tools check our code to catch mistakes like typos, issues with null and undefined, and more. Types also power TypeScript’s edi
Streamline non-coding tasks by integrating generative AI into your JetBrains IDEs, browser, and other tools.
WebKit Features in Safari 18.0
Safari 18.0 is here. Along with iOS 18, iPadOS 18, macOS Sequoia and visionOS 2, today is the day another 53 web platform features, as well as 25 deprecations and 209 resolved issues land in WebKit, the rendering engine driving Safari. New in Safari 18 Distraction Control Distraction Control lets you hide distracting items as you browse the web, such as sign-in banners, cookie preference popups, n
ObsidianCEOによると「アプリよりテキストファイル」(“File over app"なのだ ) という話が印象に残った。 データを残すには、アプリを使うよりもテキストファイルとして残しておくべきという話。 If you want your writing to still be readable on a computer from the 2060s or 2160s, it’s important that your notes can be read on a computer from the 1960s. (拙訳)：もし2060年や2160年のコンピューターでも読めるようにしたいのであれば、その書かれたものは1960年代のパソコンでも読めるようにすることが重要である。 You should want the files you create to be durable,
Why Elixir Is the Best Language for Building a Bootstrapped, B2B SaaS in 2024 | SleepEasy Website Monitor
Why Elixir Is the Best Language for Building a Bootstrapped, B2B SaaS in 2024 [This article is the companion to my presentation for CodeBEAM America 2024, Elixir is the One-Person Stack for Building a Software Startup. You can download the slides as a PDF or view them in Google Slides.] I’d like to share why I chose Elixir as the programming language (and really, as we’ll discuss, the full stack)
There are lots of ways to accidentally spend too much money on AWS, and one of the easiest ways is by carelessly transferring data. As of writing, AWS charges the following rates for data transfer: Data transfer from AWS to the public Internet ranges from $0.09/GB in us-east-1 (N. Virginia) to $0.154/GB in af-south-1 (Cape Town). Therefore a single terabyte of data transfer will run you a cool $90
A recent article on WebAssembly Garbage Collection (WasmGC) explains at a high level how the Garbage Collection (GC) proposal aims to better support GC languages in Wasm, which is very important given their popularity. In this article, we will get into the technical details of how GC languages such as Java, Kotlin, Dart, Python, and C# can be ported to Wasm. There are in fact two main approaches:
Maestro - Introduction
2024-01-02T15:00:00+00:00 Maestro is a Unix-like kernel and operating system written from scratch in Rust Thanks to the internet, I can learn how most things I am interested in work. However, something stayed a mystery to me for a long time: computers. Computers are amongst the most complex tools that humanity has ever built. They are a marvel of engineering that we take for granted because we use
Prompt Like a Pro: 8 Tips and tricks for working with Copilot in Teams
As a reminder, to have access to these features you need a Copilot for Microsoft 365 license! How to prompt like a pro Writing great prompts is the key to having better interactions with Microsoft Copilot in Teams. Just like talking to a co-worker, clear communication and certain techniques can help you get better results from some prompts than others. In this edition, we highlight how to prompt l
Published 04 Mar, 2024 by Louis Pilfold Today Gleam v1.0.0 has been released! This is the first “stable” release of the language (more on what that means later) and a big milestone for the ecosystem. It has been a long journey and I’m proud of both the technology and the community that we’ve built here with Gleam. Thank you so much to everyone who has taken part in any way, you’ve all contributed
Assumed audience: People who have worked with Git or other modern version control systems like Mercurial, Darcs, Pijul, Bazaar, etc., and have at least a basic idea of how they work. Jujutsu is a new version control system from a software engineer at Google, where it is on track to replace Google’s existing version control systems (historically: Perforce, Piper, and Mercurial). I find it interesti
Free-threaded CPython is ready to experiment with!Published July 12, 2024 First, a few announcements: Yesterday, py-free-threading.github.io launched! It's both a resource with documentation around adding support for free-threaded Python, and a status tracker for the rollout across open source projects in the Python ecosystem. We hope and expect both of these to be very useful, with the status tra
For this second post in Zed Decoded, our blog & video series in which we're taking a closer look at how Zed is built, I've talked to Zed's three co-founders — Nathan, Max, Antonio — about the data structure at the heart of Zed: the rope. Companion Video: Rope & SumTree This post comes with a 1hr companion video, in which Thorsten, Nathan, Antonio, and Max use Zed to look at how Zed uses the Rope a
DevRel Guide by Rohit Ghumare Istio Guru by Rohit Ghumare BabyAgi.txt by Nicholas Dobos Take Code Captures by oscaramos.dev Diffusion Master by RUSLAN LICHENKO YT transcriber by gpt.swyx.io 科技文章翻译 by Junmin Liu genz 4 meme by ChatGPT Math Mentor by ChatGPT Interview Coach by Danny Graziosi The Negotiator by ChatGPT Sous Chef by ChatGPT Tech Support Advisor by ChatGPT Sticker Whiz by ChatGPT Obscri
Write OpenAPI with TypeSpec
I've spent the last few years at Microsoft working on an API definition language called TypeSpec. It's essentially a super flexible protocol-agnostic DSL for describing API shapes. You can try it in your browser at the TypeSpec playground. Many things about it are exciting, but I want to talk about one thing in particular: why TypeSpec is the best way to write OpenAPI. OpenAPI: the good and the no
マンキューが、「マンキュー「カマラ・ハリスに投票するけどさぁ・・・」 - himaginary’s diary」で紹介したエントリの続きのような表題のブログエントリ（原題は「Maybe Ms. Harris needs some economists」）を上げている。 The response to the rollout of Kamala Harris's economic plan, especially the price gouging regulation, has not been good. When you lose the ever-reasonable Catherine Rampell, you should doubt whether you are positioning yourself to attract swing voters. Rampbell wr
June 10, 2024 OpenAI and Apple announce partnership to integrate ChatGPT into Apple experiences Editor’s Note: This news was shared at Apple's Worldwide Developer Conference 2024. You can also read about the news here(opens in a new window). Apple is integrating ChatGPT into experiences within iOS, iPadOS, and macOS, allowing users to access ChatGPT’s capabilities—including image and document unde
Introducing Apple’s On-Device and Server Foundation Models
At the 2024 , we introduced Apple Intelligence, a personal intelligence system integrated deeply into iOS 18, iPadOS 18, and macOS Sequoia. Apple Intelligence is comprised of multiple highly-capable generative models that are specialized for our users’ everyday tasks, and can adapt on the fly for their current activity. The foundation models built into Apple Intelligence have been fine-tuned for u
Note reading-flow プロパティは 2024 年 8 月現在 Editor Draft として提案されている機能です。W3C によって標準化されておらず、将来仕様が変更される可能性があります。Chrome Dev または Canary バージョン 128 以降で試すことができます。 Flex や Grid などの CSS レイアウトを使っている場合や、ドラッグアンドドロップで自由に要素を配置できる UI を実装している場合、要素の見た目上の並び順と、DOM 上の並び順が異なることがあります。このような状態はキーボード操作やスクリーンリーダーなどの支援技術を使うユーザーにとって混乱を招く可能性があります。見た目とは異なる順番で要素にフォーカスがされるためです。 例えば、Flex コンテナ内の要素は flex-direction: column-reverse; を指定すると要素
Passkeys を完全に理解するために Rails で実装してみた with Remix - STORES Product Blog
この記事は STORES Advent Calendar 2023 22日目の記事です。 こんにちは STORES 予約開発チームでエンジニアリングマネージャーをしています Natsume です。 昨今 Passkeys が各サービスで導入されており、勢いを感じています。 個人では 1Password のパスワードマネージャーを使っており、1Password が Passkeys 対応してから試しています。 Passkeys でのログインは ID/PW/OTP の autofill などに比べて 1step 省略される程度ですが、ログイン体験が良いと思っており、導入されていたらどんどん切り替えています。 ほどんどのサービスでは ID/PW との併用となっているケースが多く、セキュリティ面でのメリットを享受できるのはまだ先になりそうです。 個人的に Passkeys の実際の挙動や導入する時
Let's take a look at how to work with decimal numbers on an ancient cpu. Modern computers work with decimals, like 0.5, using a system called floating point. If you remember scientific notation from your science classes, it's based on the same idea. These types of numbers are handled by the cpu in modern computers, and so programs can calculate with them very quickly. The Neo Geo can not work with
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Announcing F# 8 - .NET Blog
記事「最近のIUT界隈」（しぶんぎ社）に関するコメント｜Reiya Tachihara
Announcing TypeScript 5.5 - TypeScript
Crafting a 13KB Game: The Story of Space Huggers
Flappy Bird Implemented in Typescript types
Implementing Vertical Form Controls
Google DeepMindの研究者が解説する「正しいAIの使い方」とは？
YJIT Is the Most Memory-Efficient Ruby JIT
How Airbnb Smoothly Upgrades React
Writing an OS in 1,000 Lines を Rust でやってみた
Announcing TypeScript 5.4 - TypeScript
Grazie: AI writing companion for people in tech
ObsidianのCEOいわく「アプリよりファイルを重視せよ」｜ねじまき
Slashing Data Transfer Costs in AWS by 99%
A new way to bring garbage collected programming languages efficiently to WebAssembly · V8
Gleam version 1 – Gleam
jj init — Sympolymathesy, by Chris Krycho
Free-threaded CPython is ready to experiment with!
Zed Decoded: Rope & SumTree - Zed Blog
GitHub - linexjlin/GPTs: leaked prompts of GPTs
ハリスさんは経済学者がご入用なのではないかな - himaginary’s diary
OpenAI and Apple announce partnership
CSS の `reading-flow` プロパティで要素の読み上げ順を制御する
Neo Geo Dev: Fixed Point Numbers