ak 🌱🎗🕯

7.1K posts

ak 🌱🎗🕯

ak 🌱🎗🕯

@_a6g_

🌱🎗🕯

Seoul, Korea Katılım Mayıs 2008
956 Takip Edilen4.1K Takipçiler
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
@beingbook 저는 Time.now() 같은 함수를 만들고 모든 코드에서 이 함수를 쓰도록 강제하고, 테스트에서는 Time.freeze(), Time.pass(3, "days") 같은 식으로 시간 흐름을 제어합니다. 2001년부터 써왔던 패턴인데 아주 좋아요.
한국어
0
0
2
33
ElleMeDit
ElleMeDit@beingbook·
몇몇 테스트는 이게 까다롭다. 가령 사용자간의 거래가 존재하는 플랫폼에서 거래가 3일 넘게 결제되지 않으면 자동으로 취소 처리하는 이런 플로우는 실제로 3일을 지나게 만들거나, E2E용으로 3일보다 짧은 시간에 처리되게 만드는 구멍을 만들어놓거나, 컴퓨터 시간을 조작하거나 뭐 이런 식인데
한국어
2
0
1
196
ElleMeDit
ElleMeDit@beingbook·
E2E 테스트를 작성할 때, 서버상태를 동시에 수정하는 경우가 너무 많아서 독립적인 테스트케이스를 만드는게 아직 어렵게 느껴지는데 다들 어떻게 해결하고 있을지 궁금하다. 나는 결국 서버 상태를 쉽게 만들 수 있는 E2E용 API를 만들거나 직접 테스트를 통해 만드는 것을 선택해야 하는데
한국어
3
1
14
1.4K
ak 🌱🎗🕯 retweetledi
Cheng Lou
Cheng Lou@_chenglou·
Latex fans assemble! It's time to use Pretext's expressive controls to improve text readability. @Somnai_dreams implemented the Knuth-Plass algorithm to reduce reading churn on long paragraphs of text: chenglou.me/pretext/justif…
English
21
61
698
158.8K
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
codex cli 판교 사투리 쓰는거 왜 이렇게 듣기 싫을까
한국어
0
0
6
326
anarcher
anarcher@anarcher·
@_a6g_ 저도 FIT가 LLM시대에 다시 각광 받지 않을까 상상 한 적이 있어요 ㅎ
한국어
1
0
1
77
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
Alloy spec과 E2E 테스트와 자연어 설명이 뒤얽힌 실행 가능한 명세서. Ward Cunningham의 Framework for Integrated Test에서 주로 아이디어를 얻어왔다.
ak 🌱🎗🕯 tweet media
한국어
2
4
20
1.7K
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
Alloy + LLM 조합 정말 강력하다.
한국어
0
0
6
712
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
@galadbran 앗 근데 문서를 천천히 읽어보니 위 프로젝트에 이 방식(키와 API 엔드포인트를 엮고 API별로 섬세하게 통제하기)이 대체로 적용되어 있네요.
한국어
0
0
1
34
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
@galadbran 전통적으로 SSRF 막는 방식들을 겹겹이 쌓아야겠죠. 일단 키와 HTTP 엔드포인트를 엮어서 특정 키가 특정 API 호출에만 쓰일 수 있게 묶어야하고, 잘 알려진 제공자의 API라고 하더라도 whitelist로 섬세하게 막고 등등요.
한국어
1
0
1
121
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
하지만 이 방식으로 TLS MITM 해봤자, LLM이 SSRF 공격으로 비밀키를 탈취하는 경로는 여전히 열려 있음. 아무튼 LLM이 엮여 있으면 언제나 보안 주의.
GeekNews@GeekNewsHada

onecli - AI 에이전트용 시크릿 게이트웨이 - AI 에이전트와 외부 API 사이에 위치한 보안 프록시 게이트웨이로 API 키를 직접 노출하지 않고, 요청 시점에 자동 주입 - 실제 키는 내부 AES-256-GCM 암호화 저장소에 보관 - Rust 기반 고속 HTTP 게이트웨이 + Next․… news.hada.io/topic?id=27719

한국어
1
4
17
3K
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
지난 2월부터 코르카라는 회사에서 일하고 있다. 에이전틱 엔지니어링에 진심인 곳. 코딩 에이전트 구독료를 지원해줄 뿐 아니라, 매주 목요일을 "AX 데이"로 정해서 이 날은 모두가 일을 멈추고 AI 활용법 공부+실습을 한다. 다음은 동료가 쓴 "AX 데이" 소개 글: stdy.blog/corca-ax-day/
한국어
1
31
130
10.1K
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
Ward Cunningham의 FIT에서 차용해온 방식(테이블)과 내가 2007년 경에 스프링노트 편집기 만들 때 고안했던 방식(캐럿 표현과 before+after)을 섞어서 WYSIWYG 편집기 스펙을 작성했다(AI가) 참고로 "‸" 기호는 캐럿의 위치를 표현. 그나저나 나는 왜 또 WYSIWYG 에디터를 하고 있나...
ak 🌱🎗🕯 tweet media
한국어
1
0
3
597
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
@guersam 비슷한 고민을 하고 있어요. traceability 개념을 좀 강화하고 싶더라고요. 작년에 했던 실험[1]에서는 비즈니스(자연어)-기능(자연어)-인수테스트까지는 연결을 했었는데, 비슷한 방식으로 자연어 명세-모델-AT-UT-코드로의 추적성을 보장하고 싶다는 생각이 듭니다. [1] wiki.g15e.com/pages/Semi-str…
한국어
1
0
1
64
Jisoo Park
Jisoo Park@guersam·
@_a6g_ 저는 기존 범용 유닛/e2e 테스트 코드에 jsdoc처럼 alloy 스펙 id directice를 주석으로 추가하는걸 시도해봤는데 자연어 <-> alloy 변환하고 동일성 체크하는 부분이 아무래도 반복 실행하기에 약해보이더라고요. 보여주신 것처럼 유닛 대신 e2e에만 집중하고 셋 다 한 문서 안에 있는거 좋네요.
한국어
1
0
1
96
ak 🌱🎗🕯
ak 🌱🎗🕯@_a6g_·
매우 말이 된다. 이제 명세서가 핵심 자산이고 소스 코드는 유도된 산출물에 불과하다면, PR이 아니라 잘 작성된 issue가 더 가치있겠다.
James Cowling@jamesacowling

Yesterday the Convex infra team requested no one in-house send them generated PRs and to just submit bug reports, because it's much easier to write the code than review it. Writing code has always been easier than proving it correct. This is the era of testing and validation my friends.

한국어
1
12
47
5K
경기 마운튼독
경기 마운튼독@gyeonggidog·
옵시디언에 폴더도 있고 태그도 있고 링크도 있어서 어떻게 정리해나가야할지 고민이었는데 이 글을 보고 도움을 받았다 wiki.g15e.com/pages/Wiki%20g…
한국어
6
97
194
15.8K
Jisoo Park
Jisoo Park@guersam·
@_a6g_ 저는 자연어 <-> alloy <-> 범용 언어 스펙 변환 구조를 실험해보고 있었는데 자연어+alloy 구조가 더 좋네요!
한국어
1
0
1
95

Keşfet

@beingbook @Somnai_dreams @anarcher @galadbran @diget_love @guersam @elonmusk @BarackObama