Ask HN: 지금 무엇을 만들고 있나요? — 프로그래밍 언어/컴파일러

2026-06-16 · 2026-06-16_hn-48528779_05-prog-lang-compiler.md

#hn #hn-discussion #ask-hn #what-are-you-working-on #prog-lang-compiler

원문 출처

프로그래밍 언어/컴파일러 — 21개 댓글

통계

  • 총 댓글: 21개
  • 30단어 이상 상세 댓글: 17개
  • 10-30단어 중간 댓글: 3개
  • 10단어 미만 간단한 댓글: 1개

상세 댓글 (30단어 이상)

exDM69: I started writing a software triangle rasterizer Not

소프트웨어 삼각형 라스터라이저(rasterizer)를 작성하기 시작했어요. 왜 그런지는 정확히 모르겠지만, 그냥 하고 싶었거든요. 많은 소프트웨어 라스터라이저 프로젝트처럼 Fabian Giesen의 소프트웨어 라스터라이저 블로그 시리즈[0]를 베이스라인(baseline)으로 사용했어요. 깊이 테스트(depth testing)가 있는 단색 삼각형의 경우, 10년 이상 된 제 노트북이 초당 약 32억 픽셀(Gpixels/s)의 필레이트(fill rate)를 달성하는데, 이는 사용 가능한 메모리 대역폭(~26 GiB/s, 픽셀당 64비트)의 80% 이상이에요. memset을 베이스라인 비교로 사용했어요. Rust와 std::simd를 사용했고, 코드는…

---

iparaskev: github.com

Hopp를 계속 만들고 있어요. 오픈 소스(OS) 페어 프로그래밍(pair programming) 앱이에요. 몇 달 전 웹킷(WebKit)이 강제하는 WebRTC 제한을 우회하기 위해 프론트엔드(frontend) 일부를 Rust로 포트(port)했어요. (Hopp는 Tauri로 작성되어 있어요.) 그 결과 안정성 문제가 생겼지만, 지금은 앱이 다시 안정적이 되고 개선과 수정을 계속 하고 있어요. https://github.com/gethopp/hopp

---

weatherlight: I'm working on Glyph Its a is a

Glyph를 만들고 있어요. ML 계열의 정적 타입(statically typed) 함수형(functional) 언어예요. 표면 구문(surface syntax)은 대부분 SML-1997 스타일이지만, 안은 완전히 다른 거예요: simple-sub 타입 추론(type inference), 대수적 효과(algebraic effects), 모듈적 임플리시트(modular implicits), 그리고 트레이싱 GC 대신 Perceus 스타일 참조 카운팅(reference counting). 컴파일러는 현재 Rust 프론트엔드 → Zig 코드 생성(codegen) → 네이티브 바이너리(native binary) 파이프라인이에요. 지금까지 정말 재미있었어요.

---

ema: github.com

Rust를 더 익히기 위해 Lisp 같은 언어의 인터프리터(interpreter)를 Rust로 구현하고 있어요. 추가적인 도전으로 개발 과정을 모두 녹화해서 YouTube에 올릴 것을 스스로 약속했어요. https://github.com/ema-fox/amber

---

asaka: github.com

Go로 컴파일되는 스크립트 언어인 goblin을 만들고 있어요. 아이디어: 스크립팅을 위한 동적(dynamic) + 최소 문법(minimal syntax), 하지만 단일 정적 바이너리(single static binary)와 Go의 동시성 원시(primitives)(goroutines/channels)를 무료로 얻을 수 있어요. 배포할 런타임(runtime)이 없고, 어디서든 쉽게 배포 가능. 의도적으로 기능이 적고, 목표는 작고 스크립트 가능(scriptable)함. 프로그래밍 경험이 있는 사람은 반 시간 안에 배울 수 있어야 해요. 아직 초기 단계예요. https://github.com/aisk/goblin

---

schmuhblaster: github.com

Prolog와 WASM 기반의 LLM/에이전트(agent) 프레임워크(framework)를 만들고 있어요[0]. 재사용 가능한 스킬(skill)과 핵심 하네스(harness) 기능이 논리 프로그래밍 언어(logic programming language)로 인코딩되어 있어요. 최근 Borland Turbo Vision 스타일 디자인의 작은 TUI를 추가했어요. 제 목표는 작은 모델(small models)과 잘 작동하는 완전히 해킹 가능한(hackable) 하네스를 만드는 거고, 논리 프로그래밍과 LLM의 조합을 더 홍보하는 거예요. [0] https://github.com/deepclause/deepclause-sdk

---

techman001: github.com

cmsis-svd-lsp 언어 서버(language server) 애플리케이션 설계를 막 시작했어요. LSP 호환 에디터(editor)와 함께 사용하여 STM32xx MCU 레지스터(register)와 비트필드(bitfield)에 대해 올바른 CMSIS 이름을 제공해 주는 도구예요. 단순히 모델의 SVD 파일을 사용하면 돼요. MIT 라이선스. 올바른 이름, 절대 주소, 비트 오프셋(bit offset)과 폭(width), 비트필드 설명을 포함해요. 제조사의 거대한 모노리식(monolithic) 시스템을 사용하지 않고 베어 메탈(bare metal) 코딩(어떤 언어든)에 필요해요. 저는…

---

bckr: I m in the first weeks of designing

nub 설계를 막 시작했어요: Not Unix, Basically(기본적으로 유닉스가 아님). 모토는 "모든 사람을 위한 범용, 증명 가능하게 올바른 소프트웨어"예요. seL4 위에 소프트웨어 스택을 구축하여 컴파일 타임(capability guarantees) 보장과 다른 고신뢰성(high-assurance) 원시(primitives)를 모든 소프트웨어에 기본적으로 내장하는 아이디어예요. "nub"는 PL(프로그래밍 언어), 타입 시스템(type system), OS 설계에서 저는 "noob(초보)"이기도 해서 좋은 이름이에요. 하지만 제가 배우고 있는 깊은 연결 관계에 정말 빠져 있어요…

---

joeldw: I'm building a P2P distributed computing mesh that

브라우저에서 실행되는 P2P 분산 컴퓨팅 메시(mesh)를 만들고 있어요. TS 라이브러리(library)로 다음을 제공해요:

  • WS + WebRTC 메시(mesh)
  • 가장 가까운 또는 가장 효율적인 피어(peer)가 요청에 응답하도록 인센티브(incentive)를 주는 요청/응답 프로토콜(protocol)
  • 결정론적(deterministic) 실행을 보장하고 계약 조합(contract composition)을 지원하는 WASM 환경
  • 응답 주변의 담보화(collateralization) — 잘못된 응답이 점진적으로 부정적 가치를 가지도록 보장
  • 낮은 레이턴시(low-latency), 낮은 최종성(low-finality) 마이크رو페이먼트(micropayment)에 초점을 맞춘 컨센서스(consensus)와 UTXO 레이어…

---

C++29를 위한 제안(proposal)을 작업 중이에요. std::execution을 확장하여 타입-에이즈드(type-erased) sender를 도입하는 거예요(P4223 https://wg21.link/p4223). 이번 주 SG1에서 종이(paper)를 검토하는 동안 우연히 상당히 중요한 문제를 다루게 되었다는 걸 발견했어요. C++26에서 제공되는 sender는 task를 제외하면 모든 표준 sender가 계산의 형태(shape)를 타입(type)에 완전히 인코딩하기 때문에, 실제로 인라인 함수(inline functions)의 비동기(async) 버전만 표현할 수 있어요. 이런…

---

dboon: github.com

C를 위한 Cargo를 만들고 있어요. 작동하는 데모의 3/4가 완료되었어요. 이 도구는 스스로 빌드할 수 있고, Make나 CMake를 감싸는 대신 이 도구로 네이티브(native)로 빌드되도록 포트(port)한 몇 가지 비자명한(non-trivial) 의존성(dependencies)도 포함해요. 피치(pitch): C 코드를 빌드하려면 Python이나 Lua를 끌어들여야 한다는 건 미친 거예요. CMake는 신에게 대한 저주(abomination)인데 자기 자신을 초월해서 사용 가능하게 되었죠. Zig cc는 이 전체 생태계(ecosystem)가 부끄러운 일임을 증명해요. 제 도구는 C 프로젝트에 TOML 매니페스트(manifest)를 제공하고, 빌드…

---

loganboyd: github.com

간단하고 명시적인 스케줄링(scheduling) 모델(루프 분할(loop splitting), 루프 순서(loop ordering), 입력 "스테이징(staging)")을 가진 텐서 컴퓨팅 언어/컴파일러(tensor computing language/compiler)인 i를 만들고 있어요. 이 메커니즘들만으로도 FlashAttention 같은 복잡한 알고리즘을 표현할 수 있고, 루프 퓨전(loop fusion), 최소화된 중간 할당(intermediate allocations), "온라인(online)" 리덕션(reductions) 같은 기법으로 타겟 코드를 생성해요. 지금은 의존성 없는(depedency-free) Rust로 작성된 C 타겟(runtime and compiler)과 최소한의 Python 프론트엔드가 있어요. 프로젝트는 아직 초기…

---

mohsen1: github.com

Rust로 TypeScript 타입 체커(type checker)를 만들고 있어요. tsz가 제 메인 사이드 프로젝트(side project)예요. 완전히 자동화된 방식으로 소프트웨어를 만드는 법을 배우려고 해요. tsz의 목표는 tsc(tsgo)와 동일하게 맞추되 더 나은 성능을 내는 거예요. tsc의 모든 테스트 케이스(test cases)를 통과하지 못하고 있고, 복잡한 타입 패키지를 작동시키는 방향으로 작업 중이에요. https://github.com/tsz-org/tsz

---

1024bits: totemkb.com

Totem(https://totemkb.com)을 만들고 있어요. HTML이나 웹 기술(web-tech) 없이 완전히 Rust로 구축된 협업형 지식 관리 시스템(collaborative knowledge management system)이에요. 현재 Windows, MacOS, Ubuntu, iOS를 지원해요(iOS 빌드는 현재 검토 중). 효율적인 올인원 워크스페이스(all-in-one workspace)를 만드는 게 목표지만, 아직 회사 운영용으로는 사용하지 않을 거예요. 지금은 거친 부분과 비교적 최소한의 기능 세트를 개의치 않는 얼리 어답터(early adopters)를 찾고 있어요. https://alpha…

---

stevekemp: When creating a programming language it's worth assuming

프로그래밍 언어를 만들 때 아무도 사용하지 않을 것이라고 가정하는 게 좋아요. 그래서 자기 이름으로 명명하거나, 단일 문자 이름을 붙여 주세요(/r/compilers나 /r/ProgrammingLanguages를 보면 그런 이름이 정말 흔해요). 제 토이(toy) 언어를 "s"라고 명명했어요. s for Steve, 둘을 동시에 했죠!

---

joeldw: Yes That's a great model that works well

맞아요! 신뢰할 수 있는 참여자(trusted participants)에게는 정말 잘 작동하는 모델이에요. 저는 어떤 참여자도 신뢰하지 않는다고 가정하는 것을 만들고 있어요. 즉, 임의의 피어(arbitrary peer)의 계산 결과를 신뢰할 수 있게 노드를 강화하는 거죠.

---

digitaltrees: That Ruby project looks interesting They all do

그 Ruby 프로젝트 흥미로워 보여요. (모두 흥미롭네요). 그런데 뭐에 사용할 계획이에요? Ruby나 Elixir 같은 언어가 우리가 하는 것처럼 모델이 스크래치패드(scratchpad)나 계산기(calculator)로 사용할 수 있는 독특한 스케폴드(scaffold)를 만드는지 궁금했어요. 런타임(runtime)과 상호 작용할 수 있는 동적 언어(dynamic languages)가 가장 좋은 매체(media)라고 생각해요.

---

간단한 댓글 (10단어 미만)

  • jaaacckz: 또한 elixir가 정말 대단해요 ~

중간 댓글 (10-30단어)

  • PenguineDavid: 재미있네요, 저도 Glyph이라는 프로그래밍 언어를 만들려다가 GlyphLang을 발견해서 Kith라고 이름 바꾸기로 했어요.
  • kaoussi: Unexpected Application Error! Unexpected token '<', \"<!DOCTYPE \"... is not valid JSON SyntaxError: Unexpected token '<', \"<!DOCTYPE \"... is not valid JSON
  • 1024bits: 알려줘서 고마워요. 아마 Apple reps와의 iOS 검토 과정(back-and-forth)에서 며칠을 절약해 준 것 같아요. 이제 고쳤어요.