How do I talk directly on Robinhood?Get {Help} Get {Help} Navigating Robinhood's customer service is less like dialing a phone number and more like embarking on a digital quest. +1-(832)-175-7278 To talk directly to a person, you must first master the art of defining your need within their system. Think of it as programming a request variable: Get {Help}. The curly braces {} are a container you mu
How to Fix Your Context
Mitigating & Avoiding Context Failures Following up on our earlier post, “How Long Contexts Fail”, let’s run through the ways we can mitigate or avoid these failures entirely. But before we do, let’s briefly recap some of the ways long contexts can fail: Context Poisoning: When a hallucination or other error makes it into the context, where it is repeatedly referenced. Context Distraction: When a
GitHub - octelium/octelium: A next-gen FOSS self-hosted unified zero trust secure access platform that can operate as a remote access VPN, a ZTNA/BeyondCorp architecture, API/AI gateway, a PaaS, an infrastructure for MCP & A2A architectures or even as an
Octelium is a free and open source, self-hosted, unified platform for zero trust resource access that is primarily meant to be a modern alternative to remote access VPNs and similar tools. It is built to be generic enough to not only operate as a zero-config remote access VPN (i.e. alternative to OpenVPN Access Server, Twingate, Tailscale, etc...), a ZTNA platform (i.e. alternative to Cloudflare A
低レイヤを知りたいPHPerのためのCコンパイラ作成入門 完全版 / Building a C Compiler for PHPers Who Want to Dive into Low-Level Programming - Expanded
PHP Conference Japan 2025の資料です
The Rust team is happy to announce a new version of Rust, 1.88.0. Rust is a programming language empowering everyone to build reliable and efficient software. If you have a previous version of Rust installed via rustup, you can get 1.88.0 with: $ 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 detailed release notes
技術選定の審美眼 2025年版
本記事では、2025年5月14日に開催されたオンラインイベント「【技術選定を突き詰める】Online Conference 2025」内のセッション「技術選定の審美眼 2025年版」の内容をお届けします。同セッションでは、タワーズ・クエスト株式会社の和田卓人（@t_wada）さんに、1990年代前半から現在にかけての技術の変化の歴史についてお話いただきました。ぜひ本編のアーカイブ動画とあわせてご覧ください。 和田： 和田卓人（t-wada）と申します。インターネット上ではt-wadaさんと呼ばれています。技術顧問としてコンサルティング業を多く手掛ける傍ら、技術書の出版や翻訳にも関わっています。SQLアンチパターンという本の第2版が7月上旬に発売されますので、是非よろしくお願いいたします。 本日の講演は、「技術選定の審美眼2025年版」です。2018年頃にDevelopers Summi
I recently needed to build a custom Lua interpreter in Go. The exact reasons aren’t important for this blog post, but neither the reference implementation — which I will be referring to as “PUC‑Rio Lua” — nor the other open source Go Lua intepreters I could find were a good fit for my needs. Building a Lua interpreter ended up being a rather enjoyable months-long side quest. I’ve had a number of f
An exploration of the mindset, methods, and motivations behind crafting tiny, expressive shaders that combine code, art, and constraint. Hi, I’m Xor. As a graphics programmer, my job is essentially to make pixels prettier using math formulas. I work on video effects like lighting, reflections, post-processing, and more for games and animated backgrounds in software. For fun, I like to unwind by wr
「薄采ディスプレイ」 各種音楽配信サービス：https://togenashitogeari.lnk.to/fragile_violet 「薄采ディスプレイ」Credit 【Music】 Produced by 玉井健二（agehasprings） 作詞：Misty mint 作曲：Misty mint 編曲：玉井健二, 大西省吾 Programming & All Instruments：大西省吾 (agehasprings) Recorded by 神谷ちなみ Mixed by 中村”NK-1”研一 Recorded at Studio Device Mixed at prime sound studio form Directed & Organized by 曲谷鴻輝 (agehasprings) Mastered by 茅根裕司 (Sony Music Studios
You might not have noticed, but a large portion of a programmer's day involves writing: code, comments, emails, messages — whether in Portuguese, English, Python, or JavaScript — we are constantly converting thoughts into characters. Or, as I prefer to see it, transforming abstractions into concrete actions. You could argue that comparing writing code to writing text (i.e., natural language) is pu
AI活用を爆速にする技術｜松濤Vimmer
AIの進化により、私たちの生産性はかつてないほど向上しました。文章の要約やデータ分析、タスク管理など、さまざまな作業が自動化され、時間を大幅に節約できるようになっています。 しかしその一方で、AIの操作そのものは依然として非効率なままです。私たちはいまだに、マウスとキーボードを行き来しながらポチポチとクリックを繰り返す操作に時間を費やしています。 マウスの使用は、意外にも生産性を下げる要因のひとつです。キーボードから手を離し、マウスを持ち、クリックし、またキーボードに戻る——この一連の動作は、作業の流れを中断し、集中力を削ぎ、結果として大きな時間の浪費を引き起こします。 特にAIツールを活用する際には、頻繁なUI操作が発生するため、この無駄が積み重なりやすいのです。 もしマウスを使わず、キーボードだけでAIを操作できれば、作業はよりスムーズかつスピーディーになります。操作の中断がなくなり、
Parsing in GoLet’s examine how Go parses JSON, XML, and YAML. Go’s standard library provides JSON and XML parsers but not a YAML parser, for which there are several third-party alternatives. For our analysis, we’ll focus on: encoding/json version go1.24.1encoding/xml version go1.24.1yaml.v3 version 3.0.1 (the most popular third-party Go YAML library)We’ll use JSON in our following examples, but al
システムエンジニア流生成AIの活用術｜村田 裕樹
「スキをもらいやすい時間帯は何時で、どの時間帯に記事を投稿をすればよいか？」 という記事で、スキの時間を集計しました。 🪄どうやってスキを集計したと思いますか？ 「スキされました！」メールを1件1件数えるととても大変です。 そのため、プログラムで自動的に集計しています。 スキ1件につき20秒でExcelに記入した場合、 スキ50件で1,000秒 ≒ 16.6分かかります。 100件だと30分以上です。 プログラムだと、毎日1時に自動実行されるため、 私は全く時間がかかりません。 こんな生成AIの使い方ができると、とっても便利になります✨ この記事は期間限定ではなく、ずっと無料にしておきますので、ぜひ、ご参考ください。 気に入っていただけたら拡散していただけると嬉しいです😄 飛躍的に幅が広がる生成AIの使い方プログラムと生成AIの組合せは、やばいです。 そして、そのコツはプログラムを理解
Software 3.0 とは、Andrej Karpathy が Y Combinator の AI Startup School keynote で提唱した考え方です。AI エンジニアとして生きていくにあたって、何を考えていくべきなのかの指針に非常に役立つと思ったので、自分の考えも交えて紹介します。 Nice - my AI startup school talk is now up! Chapters: 0:00 Imo fair to say that software is changing quite fundamentally again. LLMs are a new kind of computer, and you program them in English. Hence I think they are well deserving of a major vers
はじめに OpenHandsからClaude CodeのようにCLIで動作するOpenHands CLIがリリースされました。 今回は早速触ってみた感触などをお伝えできればと思います。 OpenHandsCLIとは OpenHandsはこれまでDocker環境とGUIが必須だったが、もっと手軽に使えるようになりたいというユーザの声を元に開発されたとのことです。 MITライセンスで完全にオープンソースとして提供されているといった特徴があります。 また公式のSNSでも言及されていますがClaude Codeに似ています。 similar to Claude Code 公式ドキュメントはこちら 触ってみた 準備編 python3.12 or 3.13が動作する環境で $ pip install openhands-ai もしくはuvxを用いて $ uvx --python 3.12 --from
Pioneer Impact 歌 : アンティーカ×シーズ 作詞 : 真崎エリカ 作曲・編曲 : ねりきり (KEYTONE) Download & Streaming https://lnk.to/LACM-24701s Performed by アンティーカ 月岡恋鐘（CV.礒部花凜） 田中摩美々（CV.菅沼千紗） 白瀬咲耶（CV.八巻アンナ） 三峰結華（CV.希水しお） 幽谷霧子（CV.結名美月） シーズ 七草にちか（CV.紫月杏朱彩） 緋田美琴（CV.山根 綺） Guitar : 清水”カルロス”宥人（KEYTONE） Bass : Igo Drums : SHiN All other instruments & Programming：ねりきり（KEYTONE） Mixing Engineer : 岸本泰明 (KEYTONE) Mixing Studio : THE G
Async Rust
TOPICS Programming 発行年月日 2025年07月16日 発売予定 PRINT LENGTH 284 （予定） ISBN 978-4-8144-0118-5 原書 Async Rust FORMAT Print ネットワークアプリケーションの複雑化により、数千から数万のネットワーク処理を並行して処理することが求められるようになりました。OSが提供するスレッドでも並行処理は実装可能ですが、オーバーヘッドが大きいためこの規模の並行性を実現することは困難です。このため、プロセス内部で複数のタスクをスケジューリングすることで並行性を実現する非同期機構の採用が、さまざまな言語で進んでいます。Rustのasync/awaitによる非同期機構はその1つで、async/awaitによる簡潔でわかりやすい記述をコンパイラが状態遷移マシンに書き換えることで、スタックを使用しない低コストな非同期
GitHub - zyedidia/Literate: A literate programming tool for any language
Literate programming is a style of programming invented by Donald Knuth, where the main idea is that a program's source code is made primarily to be read and understood by other people, and secondarily to be executed by the computer. This frees the programmer from the structure of a program imposed by the computer and means that the programmer can develop programs in the order of the flow of their
Andrej Karpathy's keynote on June 17, 2025 at AI Startup School in San Francisco. Slides provided by Andrej: https://drive.google.com/file/d/1a0h1mkwfmV2PlekxDN8isMrDA5evc4wW/view?usp=sharing Chapters (Powered by https://ChapterMe.co) - 00:00 - Intro 01:25 - Software evolution: From 1.0 to 3.0 04:40 - Programming in English: Rise of Software 3.0 06:10 - LLMs as utilities, fabs, and operating sys
Toggle dark mode I may be late to the party, but LangGraph lets you build complex workflow architectures and codify them as powerful automations. Also LLMs, if you want. But you don’t have to! LLM Architecture I always liked the idea of “flow-based” programming. PureData, DaVinci Resolve, Node Red... they all appeal to me. I also always liked the idea of running LLMs locally, rather than spending
最先端の大規模言語モデル(LLM)が難解なコーディング問題を1発で正解する確率はゼロ％、競技プログラマーなどの熟練スキルを持つ人間には依然として歯が立たないことが明らかに
テクノロジー企業のトップから「AIがコードを書くのでもうプログラミングを学ぶ必要はない」や「コーディングを学ぶのは時間の無駄」といった言葉が飛び出すほど、大規模言語モデル(LLM)のコーディング能力は高く、既にMicrosoft製品のコードの30％がAIにより書かれていることが明らかになっています。しかし、LLMは競技プログラミングなどで出題される難解な問題においては、依然として熟練のスキルを持った人間の専門家には歯が立たないことが明らかになりました。 Paper page - LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming? https://huggingface.co/papers/2506.11928 [2506.11928] LiveCodeBench Pro: H
Chawan: TUI web browser
# Chawan: TUI web browser Chawan is a text-mode web browser and pager for Unix-like systems, with a focus on implementing modern web standards while remaining self-contained, easy to understand and extensible. It includes functionality like CSS, inline images and JavaScript through a small, independent browser engine. Most of Chawan has been developed from scratch in the memory-safe Nim programmin
2025.fp-matsuri.org 行ってきました。何やらみなさんブログを書いているみたいなので折角なので書いておこうと思います。 きっかけは最近ちょこちょこお話 (？) している Kory さんが何やら喋るということで。特に言語作ろうとしていたところなので (言語ランタイムどうしようか悩んでいたので) ちょうど良い話が聴けそうで、というところでした。 ちなみに私は…最近はすっかり VRChat 周辺に居ますが、元々 Haskell/Agda ユーザーで、CWM とか HoTT book とか (一人で寂しく) 読んでた人なので (そういえば名札には「直観主義」って書いていました)、まぁ関数型の話であれば (？) 色々面白そうな話が聴けそうという気持ちでした。本当か？ ふと考えてみると、具体的な言語のカンファだとするとむしろ行って無さそうで…それは特に私が言語非依存な「概念」のほうが好
Biome v2—codename: Biotype
We are happy to announce that Biome v2 is officially out! 🍾 Biome v2—codename: Biotype, the first JavaScript and TypeScript linter that provides type-aware linting rules that doesn’t rely on the TypeScript compiler! This means that you can lint your project without necessarily installing the typescript package. With this release, the Core Contributors of the project want to show to the whole comm
関数型まつり2025ありがとう､そして補足
こんにちは､びしょ〜じょです｡ ナイトレインは買ったら最後資料が作れなくなると思って発表終わるまで買うまいとしていたんですが､結局LoLのブロウルを無限にやってました｡ ショウジンTF黒斧のファイタールシアンが面白いですが､ナヴォリ積むならショウジンじゃなくてIEでよくないか? と思わなくもない｡ 今ならポーションで無限スケールするので､天啓で金策ビルドも良いかもしれない｡ みんなのブロウル用クソビルドはどうかな? はじめに 関数型まつり2025にスピーカーおよびスポンサーとして参加した｡ Continuations: continued and to be continued - lilyum ensemble lily, Aikatsu, Programming language, and more とりあえず発表すると人から声を掛けてもらえるのと､他の発表者に声を掛けやすいという雑な
I am a huge fan of Richard Feyman’s famous quote: “What I cannot create, I do not understand” I think it’s brilliant, and it remains true across many fields (if you’re willing to be a little creative with the definition of ‘create’). It is to this principle that I believe I owe everything I’m truly good at. Some will tell you to avoid reinventing the wheel, but they’re wrong: you should build your
関数型まつり2025まとめ＆感想
こんにちは、skytomoと申します！ この記事は関数型言語に疎い人（著者）の視点から見た関数型まつり2025を書きます。 来年、参加しようか迷っている方に参考になればいいと思っています！ 関数型まつり2025について 「関数型まつり2025」は関数型プログラミングのカンファレンスです！ 関数型まつりとしては初めての開催ですが、前身としてScalaMatsuriがありました。 ウェブサイト：https://fortee.jp/2025fp-matsuri 参加理由 普段は業務でRubyを書いています（！？）。 Rubyは関数型言語とは程遠く、私自身も関数型言語及びその周辺知識がほとんどありません。 なぜ参加したのか気になると思いますが、今回参加したのには理由がふたつあります。 フォロワーさんが宣伝していた 関数型言語に強い興味があった 「フォロワーさんが宣伝していた」 なんかよくわからない
関数型まつり2025に参加した
2025/06/14(土)、2025/06/15(日)に中野セントラルパークで行われた関数型まつり2025に参加した。 筆者はElmやRustの開発体験を気に入っており、Webアプリケーションのサーバーサイドを関数型言語で書くことに興味があったので参加してみた。 関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ - lagénorhynque/カマイルカさん# lagénorhynque/カマイルカさんによるHaskell, Scala, Clojure, Elixirの紹介と比較を行う発表。 https://www.docswell.com/s/lagenorhynque/Z6VX6E-functional-language-tasting-haskell-scala-clojure-elixir#p1 部
Competitive programming with Haskell Functional Festival 2025 in TOKYO
Hypershell: A Type-Level DSL for Shell-Scripting in Rust | Context-Generic Programming
Discuss on Reddit, Lobsters, and Hacker News. Summary I am thrilled to introduce Hypershell, a modular, type-level domain-specific language (DSL) for writing shell-script-like programs in Rust. Hypershell is powered by context-generic programming (CGP), which makes it possible for users to extend or modify both the language syntax and semantics. Table of Contents Estimated reading time: 1~2 hours
Kent Beck
Stream the Latest EpisodeListen and watch now on YouTube, Spotify and Apple. See the episode transcript at the top of this page, and timestamps for the episode at the bottom. Brought to You By• Sonar — Code quality and code security for ALL code. • Statsig — The unified platform for flags, analytics, experiments, and more. • Augment Code — AI coding assistant that pro engineering teams love —
Most of my readers are probably familiar with procedural programming, object-oriented programming (OOP), and functional programming (FP). The majority of top programming languages on all of the language popularity charts (like TIOBE) support all three to some extent. Even if a programmer avoided one or more of those three paradigms like the plague, they’re likely at least aware of them and what th
Published Jun 13, 2025 Our Research feature uses multiple Claude agents to explore complex topics more effectively. We share the engineering challenges and the lessons we learned from building this system. Claude now has Research capabilities that allow it to search across the web, Google Workspace, and any integrations to accomplish complex tasks. The journey of this multi-agent system from proto
OxCaml | About
OxCaml is a fast-moving set of extensions to the OCaml programming language. It is both Jane Street’s production compiler, as well as a laboratory for experiments focused towards making OCaml better for performance-oriented programming. Our hope is that these extensions can over time be contributed to upstream OCaml. OxCaml’s primary design goals are: to provide safe, convenient, predictable contr
They tell me software developers will soon be replaced by autonomous agents. Yet every single day, I encounter bad software. When AGI comes, can its first assignment be to ship a decent calendar app? I'm not here to complain about bad software, at least not in this post. I'm here to make the case for quality software in an era where constraints on code production have been dramatically lifted. Whe
Jason Evans
The jemalloc memory allocator was first conceived in early 2004, and has been in public use for about 20 years now. Thanks to the nature of open source software licensing, jemalloc will remain publicly available indefinitely. But active upstream development has come to an end. This post briefly describes jemalloc’s development phases, each with some success/failure highlights, followed by some ret
Part 7: Office Migration from Source Depot to Git, or how I learned to love DevEx. | Daniel Sada Caraveo | Developer Productivity & Culture
Part 7: Office Migration from Source Depot to Git, or how I learned to love DevEx. After going in deep in product, I found myself drawn to a different challenge: making other developers more productive. As one of my biggest mentors would always say: “Developer productivity is always ‘Multiplier work’, especially in places where you have a lot of developers. By saving a couple minutes from every de
How I Use Claude Code
One month ago, I subscribed to Claude Max. I've been using AI agents including Claude Code for some time prior, but with the flat pricing, my usage skyrocketed and it's become a daily driver for many tasks. I find myself going to VS Code much less often now. Since AI agents are new for everyone right now, I thought it might be fun to share some patterns I've been noticing recently. Here's how I us
TypeScriptの"いま”を追う、TSKaigi 2025参加記 - カミナシ エンジニアブログ
まえがき はじめまして！カミナシでソフトウェアエンジニアをしている shimmy(@naoya7076) です。 カミナシは 2025年5月23・24日に開催された「TSKaigi 2025」にゴールドスポンサーとして協賛し、私は現地で参加しました。 各登壇の内容やトーク内容の詳細は、きっと誰かがまとめてくれていると思いますので、この記事では以下の点に絞って書いていこうと思います。 やること 自分の中でテーマごとに整理した内容と、それぞれの感想 TS Kaigiで自分が聞いたセッション全体を通じて感じたこと やらないこと 登壇の内容を網羅的に伝えること 全ての登壇について詳細に書くこと 静的解析 The New Powerful ESLint Config with Type Safety The New Powerful ESLint Config with Type Safety -
crawshaw - 2025-06-08
How I program with Agents 2025-06-08 This is the second part of my ongoing self-education in how to adapt my programming experience to a world with computers that talk. The first part, How I program with LLMs, covered ways LLMs can be adapted into our existing tools (basically, autocomplete) and how careful prompting can replace traditional web search. Now I want to talk about the harder, and more
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How do I talk directly on Robinhood?Get {Help}
Announcing Rust 1.88.0 | Rust Blog
Why Go Rocks for Building a Lua Interpreter
Modeling the World in 280 Characters | Codrops
【Official Music Video】トゲナシトゲアリ「薄采ディスプレイ」 - アニメ「ガールズバンドクライ」
Why every programmer should write
Unexpected security footguns in Go's parsers
Software 3.0 時代を楽しく生きる - As a Futurist...
Claude Codeに似ているOpenHands CLIが出たので触ってみた
【シャニマス】アンティーカ×シーズ「Pioneer Impact」2DMV【アイドルマスター】
Andrej Karpathy: Software Is Changing (Again)
LangGraph for complex workflows — surma.dev
関数型まつりに行きました - Imaginantia
Writing Toy Software Is A Joy
Haskell でアルゴリズムを抽象化する / 関数型言語で競技プログラミング
Implementing Logic Programming
How we built our multi-agent research system
The Case for Software Craftsmanship in the Era of Vibes - Zed Blog