Aaron Hill Aaron1011
Aaron1011
/ gist:773c912a59ac58fb7f368a3bef38af65
Created
November 18, 2025 17:17
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2025-11-18T17:08:34.9350018Z thread 'rustc' (215) panicked at /rustc-dev/ed61e7d7e242494fb7057f2657300d9e77bb4fcb/compiler/rustc_serialize/src/opaque.rs:273:45: | |
| 2025-11-18T17:08:34.9351110Z range start index 6676677 out of range for slice of length 226278 | |
| 2025-11-18T17:08:34.9351645Z stack backtrace: | |
| 2025-11-18T17:08:34.9402164Z 0: 0x7fabd130f903 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::haa87a551a4affa55 | |
| 2025-11-18T17:08:34.9403171Z 1: 0x7fabd1ac4bd8 - core::fmt::write::h80461e1e45e4fdd2 | |
| 2025-11-18T17:08:34.9403792Z 2: 0x7fabd30c8b6f - std::io::Write::write_fmt::h6e6c69b2d6337d9b | |
| 2025-11-18T17:08:34.9404534Z 3: 0x7fabd12d4dc2 - std::sys::backtrace::BacktraceLock::print::hf67a46baa621998e | |
| 2025-11-18T17:08:34.9405344Z 4: 0x7fabd12dad19 - std::panicking::default_hook::{{closure}}::h391aa815d5e47ec8 | |
| 2025-11-18T17:08:34.9406407Z 5: 0x7fabd12da843 - std::panicking::default_hook::hd6fdcf2489bb807d | |
| 2025-11-18T17:08:34.9410522 |
Aaron1011
/ gist:d33f6fab1291c5595ba5c234f21c655f
Created
November 4, 2025 17:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2025.11.04 17:07:53.807149 [ 85 ] {} <Fatal> BaseDaemon: ########## Short fault info ############ | |
| 2025.11.04 17:07:53.807172 [ 85 ] {} <Fatal> BaseDaemon: (version 25.10.1.3832 (official build), build id: 45E84B04E418D6507C86CB91B5011CB334F3E8F3, git hash: f95c1af632a1c4fb9c69a501d05ae04a393b8f81, architecture: x86_64) (from thread 846) Received signal 11 | |
| 2025.11.04 17:07:53.807180 [ 85 ] {} <Fatal> BaseDaemon: Signal description: Segmentation fault | |
| 2025.11.04 17:07:53.807187 [ 85 ] {} <Fatal> BaseDaemon: Address: 0x30. Access: read. Address not mapped to object. | |
| 2025.11.04 17:07:53.807199 [ 85 ] {} <Fatal> BaseDaemon: Stack trace: 0x000000001ab0ae12 0x000000001ab08bc2 0x000000001aab321a 0x000000001aac73f9 0x000000001aaccb4f 0x000000001aa2bf79 0x000000001aa77280 0x0000000018938999 0x000000001893845e 0x0000000018d0de04 0x0000000018d14a0d 0x000000001a3bfb28 0x000000001a3c48a4 0x000000001a49dd33 0x000000001f54aa87 0x000000001f54af19 0x000000001f5116c7 0x000000001f50fac1 0x00007f412e9c6ac3 0x00007f412ea57a74 | |
| 202 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?xml version="1.0" encoding="UTF-8"?> | |
| <testsuites name="nextest-run" tests="70" failures="2" errors="0" uuid="7ec32e56-7fd8-41df-9ccd-cf0e5477eab3" timestamp="2025-10-17T13:07:52.966-04:00" time="278.596"> | |
| <testsuite name="tensorzero-core" tests="7" disabled="0" errors="0" failures="0"> | |
| <testcase name="providers::sglang::tests::test_sglang_provider_new_api_base_check" classname="tensorzero-core" timestamp="2025-10-17T13:07:53.181-04:00" time="0.028"> | |
| </testcase> | |
| <testcase name="providers::sglang::tests::test_sglang_response_with_metadata_try_into" classname="tensorzero-core" timestamp="2025-10-17T13:07:53.182-04:00" time="0.033"> | |
| </testcase> | |
| <testcase name="providers::sglang::export_bindings_sglangprovider" classname="tensorzero-core" timestamp="2025-10-17T13:07:53.182-04:00" time="0.046"> | |
| </testcase> | |
| <testcase name="config::provider_types::export_bindings_sglangdefaults" classname="tensorzero-core" timestamp="2025-10-17T13:07:53.181-04:00" time="0. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| curl https://api.x.ai/v1/chat/completions -H "Content-Type: application/json" -H "Authorization: Bearer $XAI_API_KEY" -d '{"messages":[{"role":"user","content":"What is the name of the capital city of Japan?"}],"model":"grok-3-mini","response_format":{"type":"json_object"},"stream":false}' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- TODO - upstream to mathlib | |
| lemma x_log_x_tendsto_atTop: Filter.Tendsto ((fun x => x⁻¹) ∘ fun x => Real.log x / x) Filter.atTop Filter.atTop := by | |
| apply Filter.Tendsto.comp (f := fun x => Real.log x / x) (g := fun x => x⁻¹) (x := Filter.atTop) (y := (nhdsWithin 0 (Set.Ioi 0))) (z := Filter.atTop) | |
| . | |
| exact tendsto_inv_nhdsGT_zero (𝕜 := ℝ) | |
| . | |
| rw [tendsto_nhdsWithin_iff] | |
| refine ⟨?_, ?_⟩ | |
| . | |
| have log_div_x := Real.tendsto_pow_log_div_mul_add_atTop 1 0 1 (by simp) |
Aaron1011
/ bad_refcell_error.rs
Created
April 18, 2025 18:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| use std::cell::RefCell; | |
| struct Wrapped { | |
| first: bool, | |
| second: bool | |
| } | |
| fn main() { | |
| let a = RefCell::new(Wrapped { | |
| first: true, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import Mathlib | |
| lemma foo: Filter.Tendsto ((fun x => x⁻¹) ∘ fun x => Real.log x / x) Filter.atTop Filter.atTop := by | |
| have bar := Filter.Tendsto.comp (f := fun x => Real.log x / x) (g := fun x => x⁻¹) (x := Filter.atTop) (y := (nhdsWithin 0 (Set.Ioi 0))) (z := Filter.atTop) ?_ ?_ | |
| . | |
| exact bar | |
| . | |
| exact tendsto_inv_nhdsGT_zero (𝕜 := ℝ) | |
| . | |
| rw [tendsto_nhdsWithin_iff] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| fof(eq1, hypothesis, ! [X] : X = X). | |
| fof(eq2, hypothesis, ! [X] : ! [Y] : X = Y). | |
| fof(eq3, hypothesis, ! [X] : X = mul(X, X)). | |
| fof(eq4, hypothesis, ! [X] : ! [Y] : X = mul(X, Y)). | |
| fof(eq5, hypothesis, ! [X] : ! [Y] : X = mul(Y, X)). | |
| fof(eq6, hypothesis, ! [X] : ! [Y] : X = mul(Y, Y)). | |
| fof(eq7, hypothesis, ! [X] : ! [Y] : ! [Z] : X = mul(Y, Z)). | |
| fof(eq8, hypothesis, ! [X] : X = mul(X, mul(X, X))). | |
| fof(eq9, hypothesis, ! [X] : ! [Y] : X = mul(X, mul(X, Y))). | |
| fof(eq10, hypothesis, ! [X] : ! [Y] : X = mul(X, mul(Y, X))). |
Aaron1011
/ gist:9cf66232619fd336e993dbaa76b82e48
Created
December 4, 2023 01:28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (lldb) process attach --pid 6936 | |
| Process 6936 stopped | |
| * thread #9, stop reason = [31mException 0x80000003 encountered at address 0x7ff8f9f03d80[0m | |
| frame #0: [33m0x00007ff8f9f03d81[0m ntdll.dll`DbgBreakPoint + 1 | |
| ntdll.dll`DbgBreakPoint: | |
| [33m-> [0m 0x7ff8f9f03d81 <+1>: retq | |
| [33m [0m 0x7ff8f9f03d82 <+2>: int3 | |
| [33m [0m 0x7ff8f9f03d83 <+3>: int3 | |
| [33m [0m 0x7ff8f9f03d84 <+4>: int3 | |
| Executable module set to "D:\a\ruffle\ruffle\target\debug\deps\tests-8b6a3f6194ee2f95.exe". |
Aaron1011
/ gist:479c460250ed9ead4e0e6631a2535071
Created
June 22, 2020 17:31
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2020-06-22T07:22:58.9930522Z error: auxiliary build of "tests/ui/auxiliary/proc_macro_attr.rs" failed to compile: | |
| 2020-06-22T07:22:58.9930946Z status: exit code: 1 | |
| 2020-06-22T07:22:58.9942809Z command: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2-tools-bin/clippy-driver" "tests/ui/auxiliary/proc_macro_attr.rs" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2-tools/x86_64-unknown-linux-gnu/release/build/clippy-0fb70441c4c18d97/out/test_build_base" "--target=x86_64-unknown-linux-gnu" "--error-format" "json" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2-tools/x86_64-unknown-linux-gnu/release/build/clippy-0fb70441c4c18d97/out/test_build_base/empty_line_after_outer_attribute.stage-id.aux" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2-tools/release/deps" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2-tools/x86_64-unknown-linux-gnu/release/deps" "-Dwarnings" "-Zui-testing" "--extern" "clippy_lints=/checkout/obj/build/x86_64-unknown-linux-gnu/stage2-tools/x8 |
NewerOlder