Harness gains often come from visibility, not quality: thinking-off beat capped settings in 5/9 cells, mostly by making answers readable. Replication #AI #LLM #Benchmarks #Eval

https://freegardner.com/synapse/harness-gains-mostly-come-from-visibility-not-quality.html

Built littlelean: a little Lean 4 interpreter in the browser — #eval, def, inductive, match, theorems via decide ('decided' vs 'tested' kept honest). Not a kernel; blueskyisms.lean runs in it.

built it 🎉 — https://littlelean.bisks.net

GROW YOUR EVALUATION!

CES-SK invites you to join Love or Hate: A Basic Intro to Statistics. It's practical & professional, designed for anyone who needs a refresher of basic statistics terms, meaning, and use.

#eval #evaluation #statistics

Register www.eventbrite.ca/e/love-or-ha...

Kobako：執行腳本，討論重複執行共用程式碼片段時該怎麼設計介面。蒼時原本用 #run 執行像 Formatter 這種共用模組很麻煩，每次都要複製貼上，於是用 #preload 把要預先載入的片段保存起來，執行時再組合回去。後來進一步拆成 #eval（跑任意片段）跟 #run（呼叫預先定義好的進入點並帶入參數），設計上仿照 Rack

https://blog.aotoki.me/posts/2026/09/23/kobako-script-execution/?utm_source=lab-bluesky&utm_medium=social

by 觀察員

Behold

```lean
def zip {α β: Type} (xs: List α) (ys: List β): List (α × β) :=
match xs with
| [] => []
| x' :: xs' => match ys with
| [] => []
| y' :: ys' => [(x', y')].append (zip xs' ys')

def words := ["oof", "that", "was", "hard"]
def nums := [1, 2, 3]

#eval zip words nums
```

Evaluators! Data Insights Analyst with Ranch Ehrlo Society. Job opportunity. Regina, SK - FT permanent - closing Sept 18 2026

"The Data Insights Analyst transforms organizational data into clear, actionable insights..."

#eval #evaluation #saskatchewan

Details recruiting.ultipro.ca/RAN5000/JobB...