タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
IntroductionPython-BPF offers a new way to write eBPF programs entirely in Python, compiling them into real object files. This project is open-source and available on GitHub and PyPI. I wrote it alongside R41k0u. Update: This article has now taken off on Hacker News. Published Library with Future PlansPython-BPF is a published Python library with plans for further development towards production-re
akinomyoga/ble.sh -- 87K lines (63K LoC w/o comments) in total. Bash Line Editor---fish-like interactive line editor in pure bash! The main file out/ble.sh has 39K lines (29K LoC), but there are 80K+ lines including module files in total. There are many comments (in Japanese). How Interactive Shells Work has a nice overview of how ble.sh works. It's very sophisticated, using bind -x to read raw by
GitHub - hackclub/putting-the-you-in-cpu: A technical explainer by @kognise of how your computer runs programs, from start to finish.
I've done a lot of things with computers, but I've always had a gap in my knowledge: what exactly happens when you run a program on your computer? I thought about this gap — I had most of the requisite low-level knowledge, but I was struggling to piece everything together. Are programs really executing directly on the CPU, or is something else going on? I've used syscalls, but how do they work? Wh
GitHub - EmNudge/watlings: Learn WebAssembly by writing small programs!
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Recently I’ve been thinking about how everything that happens in the terminal is some combination of: Your operating system’s job Your shell’s job Your terminal emulator’s job The job of whatever program you happen to be running (like top or vim or cat) The first three (your operating system, shell, and terminal emulator) are all kind of known quantities – if you’re using bash in GNOME Terminal on
GitHub - zigcc/zig-cookbook: Simple Zig programs that demonstrate good practices to accomplish common programming tasks.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - tamatebako/tebako: Tebako: an executable packager (for Ruby programs)
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - erikw/vim-keybindings-everywhere-the-ultimate-list: The ultimate list of which programs support Vim-like keybindings natively, or how they can be added with extensions. A collaborative project.
Once your fingers have learned to speak Vim, they don't want to speak anything else! It's simply a very effective way of navigating, creating, and editing text. Thus, it's natural that one would like to get Vim-like keybindings in as many programs we use as possible. The intention of this collaborative list is to: learn which programs/apps you already use, which you can enhance with Vim keybinding
GitHub - quick-lint/quick-lint-js: quick-lint-js finds bugs in JavaScript programs
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Unit Testing eBPFLove it or hate it, writing unit tests is all but mandatory for your code. They provide a safety net when making changes, and give you that nice, warm feeling when you see them all pass after a change. While working on a Kernel patch I had to investigate writing unit tests for eBPF programs. Turns out, the Kernel developers have thought about this already and infrastructure exists
GitHub - dongaba/TVerRec: TVerRecは、TVerの番組をダウンロード保存するためのダウンロード支援ツールです。番組のジャンルや出演タレント、番組名などを指定して一括ダウンロードする支援をします。TVerRec is a software to assist in downloading and saving TVer programs. Supporst bulk downloading by specifying the genre, talent, name, etc.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - pkhungurn/talking-head-anime-3-demo: Demo Programs for the "Talking Head(?) Anime from a Single Image 3: Now the Body Too" Project
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - microsoft/aici: AICI: Prompts as (Wasm) Programs
LLGuidance library is an actively maintained evolution and specialization of AICI, recommended if all you want is constrained decoding. The Artificial Intelligence Controller Interface (AICI) lets you build Controllers that constrain and direct output of a Large Language Model (LLM) in real time. Controllers are flexible programs capable of implementing constrained decoding, dynamic editing of pro
GitHub - Netflix/bpftop: bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - ifilot/opengl-cpp-course: Course to learn how to write OpenGL C++ programs
This repository contains the source code for the OpenGL C++ course. The course teaches students how to effectively use C++ in conjunction with OpenGL to build graphical programs. The course is made in a concise manner and we refer often to external resources which we expect the student to read (or at least glance through). The learning strategy employed here is "Learning by example" and "Learning
GitHub - zag/js-pod6: Pod6 is an easy-to-use markup language. It can be used for writing language documentation, for documenting programs and modules, as well as for other types of document composition
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - jplag/JPlag: State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - formal-land/rocq-of-rust: Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Formal verification tool for Rust: check 100% of execution cases of your programs to ensure they are safe and correct. Even if the type system of Rust prevents many mistakes, including memory errors, the code is still not immune to vulnerabilities, such as security vulnerabilities, unexpected panics, or wrongly implemented business rules. One way to go further is to mathematically prove that the c
The fields of Origin of Life and Artificial Life both question what life is and how it emerges from a distinct set of "pre-life" dynamics. One common feature of most substrates where life emerges is a marked shift in dynamics when self-replication appears. While there are some hypotheses regarding how self-replicators arose in nature, we know very little about the general dynamics, computational p
GitHub - onesuper/tui-use: tui-use lets agents interact with programs that expect a human at the keyboard — REPLs, debuggers, TUI apps, and anything else bash can't reach.
AI agents can run shell commands and call APIs — but they can't interact with programs that expect a human at the keyboard. The moment a REPL waits for input, a debugger hits a breakpoint, or a TUI app renders a menu, agents are stuck. tui-use fills that gap. Spawn any program in a PTY, read its screen as plain text, send keystrokes — all from the command line. Built for the cases where bash isn't
GitHub - facebookexperimental/hermit: Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be u
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - elastic/bpfcov: Source-code based coverage for eBPF programs actually running in the Linux kernel
Source-code based coverage for eBPF programs actually running in the Linux kernel This project provides 2 main components: libBPFCov.so - an out-of-tree LLVM pass to instrument your eBPF programs for coverage. bpfcov - a CLI to collect source-based coverage from your eBPF programs. This section aims to provide a high-level overiew of the steps you need to get started with bpfcov. Compile the LLVM
本田 孝一氏が語る「アラビア書道に魅せられて―究極の文字芸術が教えてくれたアラブの心」 | IHJ Programs
「アラビア書道」とは、アラビア文字を用いて書かれる文字芸術のこと。イスラム教の聖典コーランの章句を表したその美しい文字は、千年の時をかけて洗練されてきた。本田孝一氏は日本におけるアラビア書道の第一人者だ。その作品は大英博物館にも収蔵されるなど、世界的に高い評価を得ている。アラビア書道との出会い、そこに垣間見るアラブ世界の精神、書を通じた文化交流などを聞いた。 [2016年3月] 本田 孝一（ほんだ・こういち） 1946年東京生まれ。アラビア書道家（免許保持者）、日本アラビア書道協会会長。東京外国語大学アラビア語学科を卒業後、通訳として中東に滞在中、アラビア書道と出会う。その後トルコ人書道家のハッサン・チェレビー師に師事し、数々の賞を受ける。トルコ・イスタンブールで日本人初の個展が開催されるなど国際的に活躍。代表作の一つ「神の顔」は大英博物館所蔵。作品集に『アラビア書道の宇宙』（2006年、
GitHub - rex-rs/rex: Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF. Unlike eBPF-based frameworks such as Aya, Rex programs do not go through the in-kernel verifier, instead, the programs are implemented in the safe subset of Rust, on which the Rust compiler performs the needed safety checks and generates native code directly. T
1Tel Aviv University, 2University of Chicago, 3Purdue University GeoCode is a new paradigm that aims to ease the process of creating complex, high-quality procedural shape programs while balancing expressiveness and ease of use. We showcase one of our shape programs, that produces detailed chair shapes while maintaining structural validity through various human-interpretable edits. The task of cra
GitHub - LukasZahradnik/PyNeuraLogic: PyNeuraLogic lets you use Python to create Differentiable Logic Programs
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - coder-mike/microvium: A compact, embeddable scripting engine for applications and microcontrollers for executing programs written in a subset of the JavaScript language.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Posted on September 07, 2021 mustang is a system for writing Rust programs entirely in Rust, meaning they don't use libc, crt1.o, or any C code. It's experimental, but it's complete enough to run a std-using Hello World and other simple programs on Linux on x86-64, x86, and aarch64. See mustang's README for information on how to use it. This post walks through the major steps leading to this point
Wiki Forum Manual Touch interface Differences from BB4W Beginners' Tutorial Happy Birthday! History Click on picture for full-size version: BBCSDL running on Windows BBCSDL running on Linux (Ubuntu) BBCSDL running on MacOS BBCSDL running on Raspberry Pi BBCSDL running on Android BBCSDL running on Amazon Fire TV BBCSDL (64-bit) running on iOS BBCSDL running in Firefox BBC BASIC for SDL 2.0 (BBCSDL)
Remote workers who make at least $2,750 a month can apply to Portugal's new 'digital-nomad visa' starting October 30. Here's how it stacks up to similar programs in Europe.
Copy link Email Facebook WhatsApp X LinkedIn Bluesky Threads An icon in the shape of a lightning bolt. Impact Link Portugal just released the requirements for its "digital-nomad visa" launching October 30. Remote workers making at least four times its minimum wage can apply. That's about $2,750 a month. Recipients can live and work in Portugal for one year or apply for residency and stay longer. P
mustang is a system for writing Rust programs entirely in Rust, meaning they don't use libc, crt1.o, or any C code. It's experimental, but it's complete enough to run a std-using Hello World and other simple programs on Linux on x86-64, x86, and aarch64. See mustang's README for information on how to use it. This post walks through the major steps leading to this point. System calls The first buil
GitHub - maurymarkowitz/101-BASIC-Computer-Games: Type-in programs from the original 101 BASIC Computer Games, in their original DEC and Dartmouth dialects. No, this is *not* the same as BASIC Computer Games.
This folder contains the programs found in the March 1975 3rd printing of David Ahl's 101 BASIC Computer Games, published by Digital Equipment Corp. You can download all of the programs in a single archive using the Releases link to the right. Contrary to popular belief, 101 is not the same as the later and more famous BASIC Computer Games (BCG) published by Ahl through Creative Computing. A numbe
GitHub - ChrisTitusTech/winutil: Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Infrastructure as code for engineers in Node.js, Python, Go, .NET, Java, and YAML
GitHub - OpenRakis/Spice86: Reverse engineer and rewrite real mode DOS programs!
Rewriting a program from only the binary is a hard task. Spice86 is a tool that helps you do so with a methodic divide and conquer approach. General process: You start by emulating the program in the Spice86 emulator. At the end of each run, the emulator dumps some runtime data (memory dump and execution flow) You load those data into ghidra via the spice86-ghidra-plugin The plugin converts the as
GitHub - ColleagueRiley/RGFW: A cross platform lightweight single-header simple-to-use window abstraction library for creating graphical programs or libraries.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - mohsen1/llm-debugger-vscode-extension: VSCode extension that demonstrates the use of large language models (LLMs) for active debugging of programs
Traditional LLM-based debugging approaches analyze only static source code. With LLM Debugger, the LLM is provided with real-time runtime context including: Runtime Variable Values: Observe actual variable states as the program executes. Function Behavior: Track how functions are called, what values they return, and how they interact. Branch Decisions: Understand which code paths are taken during
March 8, 2022 I was talking to a friend last summer about what resources might be helpful for folks learning to program. My friend said they thought some people might benefit from a list of small and fun programming projects – the kind of thing you can do in an evening or weekend. So let’s talk about that! I like to write small programs that have some marginal utility in my life. Kind of like this
The designers of the Zig programming language have been working to find a suitable design for asynchronous code for some time. Zig is a carefully minimalist language, and its initial design for asynchronous I/O did not fit well with its other features. Now, the project has announced (in a Zig SHOWTIME video) a new approach to asynchronous I/O that promises to solve the function coloring problem, a
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
![[アップデート] Amazon Bedrock AgentCore Runtime に Amazon S3 Files をネイティブマウントできるようになりました | DevelopersIO](https://cdn-ak-scissors.b.st-hatena.com/image/square/06ce09adec4f951a274bffd8d3004551d010f5fd/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fimages.ctfassets.net%2Fct0aopd36mqt%2F7M0d5bjsd0K4Et30cVFvB6%2F5b2095750cc8bf73f04f63ed0d4b3546%2FAgentCore2.png)
PythonBPF - Writing eBPF Programs in Pure Python | mallya's blog
Structure and Interpretation of Computer Programs
The Biggest Shell Programs in the World
"Rules" that terminal programs follow
Unit Testing eBPF Programs | who.ldelossa.is
Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction
GeoCode: Interpretable Shape Programs
Rust programs written entirely in Rust
BBC BASIC - Write your own programs
Rust programs written entirely in Rust
Converting Full Terraform Programs to Pulumi
Some tiny personal programs I've written
Zig's new plan for asynchronous programs
wakkanaipress.com
natumeroyoko1.hatenablog.com
sato.oa.gob.jp
www.washilog.com
www.hokkaido-np.co.jp
jbpress.ismedia.jp