Keno

# Julia build, mis-optimization investigation in code_typed, issue 60883

**Session ID:** ses_3e3e55a5bffen2NB7ERQ16afxV
**Created:** 2/2/2026, 2:07:14 AM
**Updated:** 2/2/2026, 2:10:59 AM

---

## User

Keno

Clone https://github.com/oxidecomputer/hubris, which is the kernel for for Oxide's rack-scale control software. The thermal PID loop is mistuned and frequently trips into an overheat regime. Create a Dyad model for all the heat sources and various fans (read the source to find out what they are), as well as the PID controller. Be sure to model the fan inlet temperature. Match the PID controller values to the hubris settings and pick reasonable values for the thermal loads, then demonstrate the failure of the PID loop. oxidecomputer/hubris#2361 has some (limited) measurement data. Use this to tune parameters under the specified conditions. Once you have demonstrated the failure mode, retune the PID loop to prevent thermal tripping.

Keno

primitive type AddrSpace{Backend} 8 end
const CPU = Core.bitcast(AddrSpace{Core}, 0x00)

recursive type (
    # Core type metadata cycle
    DataType, TypeName, MethodCache, MethodTable,
    # Module/Binding cycle
    Module, BindingPartition, Binding, GlobalRef,
    # Memory/Array (GenericMemoryRef -> GenericMemory, Array -> GenericMemoryRef)
    GenericMemory, GenericMemoryRef, Array,

Keno

This is a writeup of a proposal for mutually recursive type declarations. This has some history. The original issue here is JuliaLang/julia#269. There were previous attempts in JuliaLang/julia#32581 and JuliaLang/julia#32658.

General proposal overview

The general idea is to have a scoped declaration syntax for recursive types:

recursive type Edge

Keno

Syntax for match statements

This is a proposal for the native implementation of a match statement for pattern matching in julia. This was previously discussed in JuliaLang/julia#18285 and there have been various packages for this as well, most notably https://github.com/JuliaServices/Match.jl. `match is also found in several other languages, such as Scala (https://docs.scala-lang.org/tour/pattern-matching.html) and Rust (https://doc.rust-lang.org/book/ch06-02-match.html) as well as many functional progamming languages

This proposal is my attempt at a native julian take on these constructs, so the

Keno

Declared exceptions

The goal of this proposal is put forth a concrete proposal for having methods declare which exceptions are part of its API. This has been discussed in JuliaLang/julia#7026 and various other venues, but because the discussion there is extensive, I'm creating this as a clean document to put forward a concrete proposal.

Declared exceptions

Keno

cl = Int32[32, 1, 1, 47, 1, 1, 54, 1, 1, 58, 1, 1, 68, 2, 1, 72, 3, 1, 73, 0, 0, 76, 4, 1, 77, 5, 1, 78, 0, 0, 81, 7, 2, 81, 7, 3, 81, 7, 4, 81, 7, 5, 81, 7, 6, 81, 7, 7, 81, 7, 8, 81, 7, 9, 81, 7, 11, 81, 7, 12, 81, 7, 13, 81, 7, 14, 81, 7, 15, 81, 7, 16, 81, 7, 17, 81, 7, 18, 81, 7, 19, 81, 7, 20, 81, 7, 21, 81, 7, 22, 81, 7, 23, 81, 7, 24, 81, 7, 25, 81, 7, 26, 81, 7, 27, 81, 7, 28, 81, 7, 29, 81, 7, 30, 81, 7, 31, 81, 7, 32, 81, 7, 33, 81, 7, 34, 0, 0, 0, 81, 7, 36, 81, 7, 39, 81, 7, 40, 81, 7, 40, 81, 7, 40, 81, 7, 40, 81, 7, 40, 81, 7, 41, 81, 7, 42, 84, 0, 0, 85, 0, 0, 86, 0, 0, 86, 0, 0, 86, 0, 0, 86, 0, 0, 98, 11, 1, 98, 11, 2, 98, 11, 3, 98, 11, 4, 98, 11, 5, 98, 11, 7, 98, 11, 8, 98, 11, 9, 98, 11, 11, 98, 11, 12, 98, 11, 13, 98, 11, 14, 98, 11, 16, 98, 11, 17, 98, 11, 18, 98, 11, 19, 98, 11, 20, 99, 0, 0, 102, 0, 0, 103, 0, 0, 104, 0, 0, 106, 12, 1, 107, 13, 1, 107, 13, 2, 108, 0, 0, 109, 0, 0, 113, 12, 1, 114, 14, 1, 114, 14, 2, 114, 14, 3, 114, 14, 4, 119, 0, 0, 119, 15, 2, 119, 15, 3, 119, 15, 

Keno

I am debugging an issue attempting to manage multiple macs through a TESmart KVM switch and a PiKVM. Everything works beautifully if the PiKVM is hooked up directly to the mac. Unfortunately, with the TESmart switch in the middle, the mac display goes dark after 30s or so. AllRez (https://github.com/joevt/AllRez) output from both the direct attach and with the temsart in the middle are attached.

Of particular note (to me at least) is that the HDCP status differs. Without the TESmart switch in the middle, HDCP is disabled:

    68028h AUX_HDCP_BCAPS: BCAPS_HDCP_CAPABLE, BCAPS_REPEATER_PRESENT
 68029h AUX_HDCP_BSTATUS: BSTATUS_LINK_FAILURE

Keno

### A Pluto.jl notebook ###
# v0.19.25

using Markdown
using InteractiveUtils

# ╔═╡ 3f8b71ed-d04c-4ce1-8c5d-663329993d6d
Main.foo

# ╔═╡ Cell order:

Keno

abstract type AbstractLattice; end

function widen; end

"""
    struct JLTypeLattice

A singleton type representing the lattice of Julia types, without any inference
extensions.
"""