My techno-optimism
My techno-optimism 2023 Nov 27 See all posts Special thanks to Morgan Beller, Juan Benet, Eli Dourado, Karl Floersch, Sriram Krishnan, Nate Soares, Jaan Tallinn, Vincent Weisser, Balvi volunteers and others for feedback and review. Last month, Marc Andreessen published his "techno-optimist manifesto", arguing for a renewed enthusiasm about technology, and for markets and capitalism as a means of b
Improvements to static analysis in the GCC 14 compiler | Red Hat Developer
I work at Red Hat on GCC, the GNU Compiler Collection. For the last five releases of GCC, I've been working on -fanalyzer, a static analysis pass that tries to identify various problems at compile-time, rather than at runtime. It performs "symbolic execution" of C source code—effectively simulating the behavior of the code along the various possible paths of execution through it. This article summ
RIP Redis: How Garantia Data pulled off the biggest heist in open source history — Momento
A poem is never finished, only abandoned. You can keep refining it endlessly, making it better with every iteration. As a solo project, full agency is reasonable. However, a unilateral decision to upend a joint project with over a decade of love, support from a thriving community, and functional governance is a bold—dare I say reckless—transaction. Redis is a Swiss army knife of features and cap
Cloudflare Calls: millions of cascading trees all the way down
Cloudflare Calls: millions of cascading trees all the way down04/04/2024 Following its initial announcement in September 2022, Cloudflare Calls is now in open beta and available in your Cloudflare Dashboard. Cloudflare Calls lets developers build real-time audio/video apps using WebRTC, and it abstracts away the complexity by turning the Cloudflare network into a singular SFU. In this post, we dig
Some time ago, Hillel Wayne published an article titled Microfeatures I’d like to see in more languages . In this article, he described three kinds of features in programming languages: fundamental features, deeply engrained features, and nice-to-have convenience features. Hillel’s premise was that language designers tend to focus on the first two; however, because the convenience features are rel
レポート 「Lunar Lake」Deep Diveレポート - 【Part 2】Memory、GPU、NPUについて 前回はP-CoreとE-Coreの話に終始してしまったので、今回はもう少し広範な話をしたい。 謎のMemory Side Cache Photo01は基調講演のスライドから切り出して、ついでに複数のスライドの情報を重ね合わせたものである。上側がCompute Tileであるが、向かって右端にP-Core×4+12MB L3 Cache、その下にIPU(Image Processing Unit:通常ならISPと呼ばれるが、要するにカメラ入力に対応した画像処理エンジン)、右にNoCが入り、そのNoCの上にMedia EngineとMemory Side Cache、NOCの下にE-Core×4+4MB L2 CacheとDisplay Engine、その左がNPUとなり、一
Regular, Recursive, Restricted Jun 4, 2024 A post/question about formal grammars, wherein I search for a good formalism for describing infix expressions. Problem statement: it’s hard to describe arithmetic expressions in a way that: declaratively captures the overall shape of expression, and has a clear precedence semantics Let’s start with the following grammar for arithmetic expressions: Expr =
AndroidでiMessageを使えるアプリ「Beeper Mini」がAppleの対策で使用不能になったもののアップデートで復活
Android用メッセージングアプリ「Beeper Mini」は、AndroidデバイスでApple製メッセージサービス「iMessage」のチャットに参加できるアプリです。このBeeper Miniに対してAppleが対策を取った結果、登場からわずか3日で送受信が機能しなくなってしまいました。しかし、Beeper Miniの2023年12月11日に配信されたアップデートで、送受信機能が復活したことが報告されました。 Beeper Mini Is Back - Beeper Blog https://blog.beeper.com/p/beeper-mini-is-back Beeper is working with iMessage yet again, though Apple is likely to fight it | Ars Technica https://arstechn
DisclaimerAll projects mentioned in this blog post have been contacted, and I confirmed that the behavior described in this article is either working as intended, already fixed, or will not be fixed. TL;DRThe browser loads elements in the HTML from top to bottom, and some JavaScript libraries retrieve data or attributes from the DOM after the page has been completely loaded. Because of how the con
Press Release: Future Software Should Be Memory Safe | ONCD | The White House
Leaders in Industry Support White House Call to Address Root Cause of Many of the Worst Cyber Attacks Read the full report here WASHINGTON – Today, the White House Office of the National Cyber Director (ONCD) released a report calling on the technical community to proactively reduce the attack surface in cyberspace. ONCD makes the case that technology manufacturers can prevent entire classes of vu
KID FRESINO - rose https://kidfresino.lnk.to/rose Cast : KID FRESINO / Nana Komatsu Director : Tomokazu Yamada Director of Photography : Keisuke Imamura / Yamato Sugimoto Lighting Director : Koshiro Ueno Production Designer : Chiro Matsumoto (R.mind) Hair&Make-up (Nana Komatsu) : Mai Ozawa (mod's hair) Stylist (Nana Komatsu) : Daisuke Iga Colorlist : Toshiki Kamei (ARTONE FILM) Offline Editor
Engineering for Slow Internet How to minimize user frustration in Antarctica. Hello everyone! I got partway through writing this post while I was still in Antarctica, but I departed before finishing it. I’m going through my old draft posts, and I found that this one was nearly complete. It’s a bit of a departure from the normal content you’d find on brr.fyi, but it reflects my software / IT engine
The Complex But Awesome CSS border-image Property — Smashing Magazine
The CSS border-image property is one of those properties you undoubtedly know exists but may not have ever reached for. Or maybe you have reached for it but found all of its slicing logic difficult and cumbersome. That’s because it is! But the property is also capable of some really interesting things if we take the time to understand its syntax. In this article, Temani Afif demonstrates different
lamplightdev - Streaming HTML out of order without JavaScript
This is a simple page that renders a list of 10 items. Try it with and without JavaScript enabled in your browser. There's a few things to notice: The 'app shell' renders first - you see the header and the footer, but there's a loading placeholder where the list of items will be rendered. After a second the loading placeholder is replaced with the list of items - but with each item itself having a
Platform teams have a unique reliance on other teams to ensure adoption of their platform - getting code changes into other teams' codebase is critical to their success. There are a variety of patterns for that cross-team collaboration, and selecting the right ones depends on both the phase of platform adoption and the ability of both teams and codebases to accept external influence. 19 July 2023
Preview – Enable Foundation Models to Complete Tasks With Agents for Amazon Bedrock | Amazon Web Services
AWS News Blog Preview – Enable Foundation Models to Complete Tasks With Agents for Amazon Bedrock This April, Swami Sivasubramanian, Vice President of Data and Machine Learning at AWS, announced Amazon Bedrock and Amazon Titan models as part of new tools for building with generative AI on AWS. Amazon Bedrock, currently available in preview, is a fully managed service that makes foundation models (
Paul Auster, the Patron Saint of Literary Brooklyn, Dies at 77
Paul Auster, the prolific novelist, memoirist and screenwriter who rose to fame in the 1980s with his postmodern reanimation of the noir novel and who endured to become one of the signature New York writers of his generation, died on Tuesday evening at his home in Brooklyn. He was 77. His death, from complications of lung cancer, was confirmed by his wife, the writer Siri Hustvedt. With his hooded
Code is read more than written This phrase is, by now, common programmer knowledge, a reminder that the person first writing a piece of code shouldn’t buy convenience at the expense of the people who will have to read it and modify it in the future. More generally, code is read more than written conveys that it’s usually a good investment to make the code maintainable by keeping it simple, writing
FunSearch: Making new discoveries in mathematical sciences using Large Language Models
Research FunSearch: Making new discoveries in mathematical sciences using Large Language Models Published 14 December 2023 Authors Alhussein Fawzi and Bernardino Romera Paredes By searching for “functions” written in computer code, FunSearch made the first discoveries in open problems in mathematical sciences using LLMs Large Language Models (LLMs) are useful assistants - they excel at combining c
The Hayao Miyazaki Sequences That Changed Animators’ Lives The animation master’s devotees on the moments they can’t forget. By Eric Vilas-Boas, a Vulture editor who covers streaming and animation. He won a New York Press Club Award for "The 100 Sequences That Shaped Animation" in 2021. This article was originally published on March 8, 2024. At the 2024 Oscars, The Boy and the Heron won the award
How AWS protects customers from DDoS events | Amazon Web Services
AWS Security Blog How AWS protects customers from DDoS events At Amazon Web Services (AWS), security is our top priority. Security is deeply embedded into our culture, processes, and systems; it permeates everything we do. What does this mean for you? We believe customers can benefit from learning more about what AWS is doing to prevent and mitigate customer-impacting security events. Since late A
I look forward to summer every year. Sun, beach, warm nights, and putting the finishing touches on the next version of .NET. It’s also the time I get to continue a tradition I started for myself back in 2017 of writing about the performance improvements that have gone into the latest .NET incarnation. A year ago that was Performance Improvements in .NET 7, which followed similar posts for .NET 6,
by Hugo Barra (former Head of Oculus at Meta) Friends and colleagues have been asking me to share my perspective on the Apple Vision Pro as a product. Inspired by my dear friend Matt Mullenweg’s 40th post, I decided to put pen to paper. This started as a blog post and became an essay before too long, so I’ve structured my writing in multiple sections each with a clear lead to make it a bit easier
Retrieval Augmented Generation at scale — Building a distributed system for synchronizing and…
Disclaimer: We will go into some technical and architectural details of how we do this at Neum AI — A data platform for embeddings management, optimization, and synchronization at large scale, essentially helping with large-scale RAG. As we’ve shared in other blogs in the past, getting a Retrieval Augmented Generation (RAG) application started is pretty straightforward. The problem comes when tryi
Why async Rust?
Async/await syntax in Rust was initially released to much fanfare and excitement. To quote Hacker News at the time: This is going to open the flood gates. I am sure lot of people were just waiting for this moment for Rust adoption. I for one was definitely in this boat. Also, this has all the goodness: open-source, high quality engineering, design in open, large contributors to a complex piece of
That's a good article. He's right about many things.I've been writing a metaverse client in Rust for several years now. Works with Second Life and Open Simulator servers. Here's some video.[1] It's about 45,000 lines of safe Rust. Notes: * There are very few people doing serious 3D game work in Rust. There's Veloren, and my stuff, and maybe a few others. No big, popular titles. I'd expected some A
まとめ 旅行の場合は影響しない。 就労ビザ・留学ビザの場合は影響し得る。 移民ビザの場合は影響する。 最近はSNSアカウント名の提供が求められているので、SNSでの活動が影響するかも。 発端 以下のツイート見て、本当に？と思った次第。 毎年言ってますが大学生、とくに新入生の皆さん、政治・人権運動に興味を持ち、デモ等に参加するのは良いと思います。まず主催団体がどんな組織かをしっかり確認してください。そして、主催団体に安易に深入りはしないでください。 その理由をリプ欄に続けます https://t.co/Yg1Q5NAm22— 𝙈𝙖𝙠𝙤 𝙉𝙖𝙠𝙖𝙢𝙪𝙧𝙖 (@Mak0Nakamura) 2024年4月1日 この方のパートナーの方も似たようなツイートしている。 Go back to (アジア国名)は割とよく言われるセリフですが、アメリカのビザが発給されない日本共産党の皆様
Kuto, a reverse JS bundler
Kuto, a reverse JS bundler Kuto is a novel approach to shipping code on the web. It lets you re-use code a client already has for shipping updates. For a 'real-world' site with ~3mb of JS, updating the React dependency resulted in: 71% smaller download 28% faster start time (on a ~5yo old phone, a Pixel 3). …vs a single bundle, or any case where all the code is invalidated. Note that Kuto works re
GNU/Hurd strikes back
Photo by Ken Goulding on UnsplashGNU/Hurd is alive and kickin’The GNU/Hurd is the Sagrada Família of the Software World: having started to develop in 1990, the GNU/Hurd has yet to reach version 1.0. The Linux kernel, on the other hand, began development in 1993 and was initially considered a “kludge” until the Hurd was completed. It is now matured and widely used. Like the Loch Ness Monster, many
This post could’ve been titled “Nostr vs ATProto”, but that really isn’t what I wanted to do here. While I will be comparing and contrasting them a lot, and that’s kind of even the point of writing this, I didn’t want to really pit the two against each other at all, and especially not with the title. I also want to try avoiding commenting on the differences between the communities that have formed
PySkyWiFi: completely free, unbelievably stupid wi-fi on long-haul flights | Robert Heaton
The plane reached 10,000ft. I took out my laptop, planning to peruse the internet and maybe do a little work if I got really desperate. I connected to the in-flight wi-fi and opened my browser. The network login page demanded credit card details. I fumbled for my card, which I eventually discovered had hidden itself inside my passport. As I searched I noticed that the login page was encouraging me
How to scale a large codebaseRecommendations for building and scaling large software projects. Scaling a codebase is an integral, and inevitable, part of growing a software company. You may have heard many terms thrown around as answers — monoliths, monorepos, micro frontends, module federation, and more. At Vercel, we’ve helped thousands of large organizations evolve their codebases, and we have
Screenshot of Zed — but where are the red/yellow/green window controls? Does anything stick out? Yes, exactly, it's a screenshot of Zed running on Linux! Wait, what? Zed on Linux? Is it released yet? No, it's not, but it's taking shape, fast. At the end of January we open-sourced Zed and had zero Linux support. Now, three months later, you can compile & run Zed on Linux and actually use it. And I
Announcing Pages support for monorepos, wrangler.toml, database integrations and more!
Announcing Pages support for monorepos, wrangler.toml, database integrations and more!04/04/2024 Pages launched in 2021 with the goal of empowering developers to go seamlessly from idea to production. With built-in CI/CD, Preview Deployments, integration with GitHub and GitLab, and support for all the most popular JavaScript frameworks, Pages lets you build and deploy both static and full-stack ap
‘Oppenheimer’ finally opens in Japan, the only nation to experience horror of nuclear war | CNN
Japanese moviegoers finally got the chance to see “Oppenheimer” this weekend, eight months after the biopic’s worldwide release, following concerns over how it might be received in the only country to directly experience the horror of nuclear weapons. The Oscar-winning blockbuster by British-American director Christopher Nolan was one of 2023’s most successful films and its joint release on the sa
Permaculture instructor Andrew Millison journeys with the UN World Food Programme to the Northern border of Senegal to see an innovative land recovery project within the Great Green Wall of Africa that is harvesting rainwater, increasing food security, and rehabilitating the ecosystem. WFP Resilience Building: https://www.wfp.org/resilience-building See more on the ground videos of WFP's work wi
Large Language Models for Code (Code LLMs)と自然言語推論、ソースコードの関係について - Preferred Networks Research & Development
GPT-4が67%という突出したスコアを出しています。Codegen[^3]やStarcoder[^4]などの重みが公開されているモデルは2割から4割程で大きく後れを取っていたのですが、2023年の8月にLlama2[^16]やStarcoder[^4]をチューニングして作成されたWizard[^17], Code Llama[^18]が50%,60%台のスコアを出し、CodeLLMにおいてはチューニングが注目されています。特に、WizardやCode Llamaによってチューニングの中でも指示チューニングがHumanEvalのスコアを伸ばす事が確認されており、指示チューニングとCode LLMの関係が気になるところです。 Code LLMの自然言語指示チューニング CodeLLMが指示チューニングによってなぜスコアを大きく伸ばせるかが気になりました。我々はCodeLLMモデル自体に自然言
refuse systemd-tmpfiles --purge invocation without config file specified on cmdline · Issue #33349 · systemd/systemd
systemd version the issue has been seen with 256 Used distribution Debian Unstable Linux kernel version used 6.8.12-amd64 CPU architectures issue was seen on x86_64 Component systemd-tmpfiles Expected behaviour you didn't see I noticed my /var/tmp directory grew quite a bit and wanted to manually clean it. Since I was about to log off for the day, I skimmed through the manual for systemd-tmpfiles(
Extending Rust's Effect System — 2024-02-09 introduction rust without generics why effect generics? stage i: effect-generic trait definitions stage ii: effect-generic bounds, impls, and types what are effects? stage iii: more effects outro This is the transcript of my RustConf 2023 talk: "Extending Rust's Effect System", presented on September 13th 2023 in Albuquerque, New Mexico and streamed onli
References are like jumps
In a high-level language, the programmer is deprived of the dangerous power to update his own program while it is running. Even more valuable, he has the power to split his machine into a number of separate variables, arrays, files, etc.; when he wishes to update any of these he must quote its name explicitly on the left of the assignment, so that the identity of the part of the machine subject to
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Microfeatures I Love in Blogs and Personal Websites
「Lunar Lake」Deep Diveレポート - 【Part 2】Memory、GPU、NPUについて
Regular, Recursive, Restricted
DOM-based race condition: racing in the browser for fun
KID FRESINO - rose (Official Music Video)
Engineering for Slow Internet – brr
How platform teams get stuff done
Code is run more than read
The Hayao Miyazaki Sequences That Changed Animators’ Lives
Performance Improvements in .NET 8 - .NET Blog
Vision Pro is an over-engineered “devkit” // Hardware bleeds genius & audacity but software story is disheartening // What we got wrong at Oculus that Apple got right // Why Meta could finally have its Android moment
Leaving Rust gamedev after 3 years | Hacker News
共産党系の運動をすると米国のビザが取得できないという話 - 発声練習
Nostr and ATProto - Shreyan Jain
How to scale a large codebase – Vercel
Zed Decoded: Linux when? - Zed Blog
How the UN is Holding Back the Sahara Desert
Extending Rust's Effect System