Aaron Hill Aaron1011
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 |
Aaron1011
/ gist:94e97e3b5a7ba62f024ce4fda8211bdc
Created
April 6, 2020 01:08
Collectionstest tombstone
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
| *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** | |
| Build fingerprint: 'generic/sdk/generic:4.3.1/JB_MR2/3876170:eng/test-keys' | |
| Revision: '0' | |
| pid: 278, tid: 877, name: vec::test_try_r >>> /data/tmp/work/test1/collectionstests-8c9066a5b2aa9a17 <<< | |
| signal 11 (SIGSEGV), code 1 (SEGV_MAPERR), fault addr deadbaad | |
| Abort message: '@@@ ABORTING: invalid address or address of corrupt block 0xb7301030 passed to dlfree' | |
| r0 00000027 r1 b6bd9284 r2 00000000 r3 deadbaad | |
| r4 00000000 r5 b556529c r6 34b84000 r7 b7301038 | |
| r8 b72d5c28 r9 b7270b38 sl b72d5c28 fp b5565780 | |
| ip b7301038 sp b5565298 lr b6bac4fb pc b6bac524 cpsr 60000030 |
NewerOlder