AI SparkupAI 제품 디자인의 새로운 역할, 모델 디자이너가 말하는 균형의 기술
Figma 모델 디자이너 Barron Webster의 8년 실무 경험. AI 제품을 만들 때 UI가 아닌 모델 행동을 설계하고, Eval로 성능을 관리하며, 과용과 부족 사이의 균형을 찾는 법을 소개합니다.
Hmmm seems like Typst doesn't have lazy evaluation but it does have #eval() which might work for this...
#eval #check #synth #guard #guard_expr #exit #print #[ #v[ #reduce #check_tactic #check_tactic_failure #check_simp #discr_tree_key #discr_tree_simp_key #widget
(All the #commands in Lean that I could find by running rg '^syntax .* "#')
20년 개발 경험이 독이 되는 순간: AI 에이전트 엔지니어링의 5가지 함정
시니어 개발자가 AI 에이전트 개발에서 오히려 고전하는 이유. 전통적 소프트웨어 엔지니어링 원칙과 AI 에이전트 개발의 5가지 근본적 차이점을 소개합니다.
jcreed@chrisamaphone like, genuine question, I don't know haskell's whole feature set, can you do like
def look_no_state_monad (n gas : Nat) : Id Bool := do
let mut n := n
let mut gas := gas
while gas > 0 do
if n == 1 then return true
if n % 2 == 0
then n := n / 2
else n := 3 * n + 1
gas := gas - 1
dbg_trace n
return false
/--
info: 53
---
info: false
-/
#guard_msgs in
#eval look_no_state_monad 27 100
/-- info: true -/
#guard_msgs in
#eval look_no_state_monad 27 200
Habr[Перевод] Парадокс безопасности локальных LLM
Команда AI for Devs подготовила перевод исследования о парадоксе безопасности локальных LLM. Если вы запускаете модели на своём сервере ради приватности, эту статью стоит прочитать. Эксперименты показывают: локальные модели вроде gpt-oss-20b куда легче обмануть, чем облачные аналоги. Они чаще вставляют вредоносный код, не замечая подвоха, и превращаются в идеальную цель для атак.
https://habr.com/ru/articles/960132/
#LLM #безопасность #локальные_модели #атаки #бекдор #eval #exec #RedTeaming #приватность #разработка
Hacker NewsReveal – Read Eval Visualize Loop for Clojure
https://vlaaad.github.io/reveal/
#HackerNews #Reveal #Read #Eval #Visualize #Loop #Clojure #Programming
Kanashimia
NaWik🔍 Online-Workshop: Praxisnahe Evaluation von #Wissenschaftskommunikation! Teilnehmende entwickelten in unserem Workshop Evaluationspläne für Projekte-von Exzellenzclustern bis hin zu Formaten für Schüler:innen. Der Fokus lag dabei auf Ziel, Methode & Umsetzung. Danke für den inspirierenden Austausch! 🙌💡 #Wisskomm #Eval
