DevInsight

나중에 다시 보려고, AI로 정리해두는 기술 기록

Tech News
조회 16약 2분 읽기

Show HN: GlyphLang – An AI-first programming language

GlyphLang은 AI에 의해 생성되도록 설계된 프로그래밍 언어로, 기존 언어보다 더 효율적으로 토큰을 사용하여 코드의 맥락을 유지합니다. 초기 벤치마크에 따르면, Python보다 약 45%, Java보다 약 63% 적은 토큰을 사용합니다.

#glyphlang#ai-programming#programming-language#tokenization#machine-learning

출처: Hacker News — https://news.ycombinator.com/item?id=46571166

  • GlyphLang의 특징
    • AI에 의해 생성되고 인간이 검토하는 방식으로 설계됨
    • 기존 언어보다 더 적은 토큰 사용
    • 코드 예시
      • Python: @app.route('/users/') def get_user(id): user = db.query("SELECT * FROM users WHERE id = ?", id) return jsonify(user)
      • GlyphLang: @ GET /users/:id { $ user = db.query("SELECT * FROM users WHERE id = ?", id) > user }
    • 사용 가능한 기능
      • 바이트코드 컴파일러, JIT, LSP, VS Code 확장, PostgreSQL, WebSockets, async/await, 제네릭
    • 문서 및 리포지토리 링크

의견

댓글/토론에서 나온 의견을 참고용으로 정리했습니다. (사실로 단정하지 말고 맥락 확인 권장)

  • Hacker News · @rubyn00bie: I think there’s a certain amount of novelty to this, and the aesthetic of the language I find pleasing, but I’m a little confused… Admittedly, I didn’t read the entire doc and only quickly glanced at the source… But is it just transpiling Golang code to and from this syntax, or is it intended to be a whole language ev…
  • Hacker News · @goose0004: That's an awesome tool! I think textclip.sh solves a different problem though (correct me if I'm wrong - this is the first I've been exposed to it). Compression at the URL/transport layer helps with sharing prompts, but the token count still hits you once the text is decompressed and fed into the m…
  • Hacker News · @noosphr: I've found that short symbols cause collisions with other tokens in the llms vocabulary. It is generally much better to have long descriptive names for everything in a language than short ones. An example that shocked me was using an xml translation of C for better vector search. The lack of curly braces made the…
  • Hacker News · @rubyn00bie: Yeah, big plus one from me. I recently tried to investigate some sort of alternative encoding to/from “the prompt,” and was swiftly told that was both not possible and would work against me. As you pointed out, the LLMs are trained on language and language itself is often not terse. Trying to skirt that will caus…
  • Hacker News · @jbritton: I had a conversation with Claude about what language to work in. It was a web app and it led me to Typescript mainly because of the training data for the model, plus typing and being able to write pure functions. Haskell might have been preferred except for the lower amounts of training data.
  • Hacker News · @jaggederest: Funny, I've been noodling on something that goes the other direction - avoiding symbols as much as possible and trying to use full english words. Very underbaked but https://github.com/jaggederest/locque

댓글

댓글을 읽어오는 중입니다.

같이 읽으면 좋은 글

방금 읽은 주제와 이어지는 글을 골랐습니다.

Tech News 전체 보기
Tech News

CCTV로 화물을 잰다는 것: LTL 터미널에서 단안 비전이 마주하는 현실

YC P26 스타트업 Transload가 LTL 터미널의 기존 CCTV를 활용해 화물 치수를 자동 측정하는 사례를 분석한다. 단안 카메라 메트릭 깊이 추정, 바코드 스캔과 영상 객체의 연결, 그리고 현장 워크플로우를 방해하지 않는 배경형 측정의 실무적 의미와 도입 시 주의사항을 운영 관점에서 정리한다. 이 글은 단순 기술 소개를 넘어, 물류 현장에 3D 비전을 녹이기 위해 필요한 체크포인트와 조직적 판단 기준을 제시한다.

#Computer Vision#LTL#Logistics#Monocular Depth
Tech News

증명의 무게와 운영의 속도: verified polygon intersection을 실무 선택지로 읽는 법

폴리곤 교차 알고리즘을 Lean으로 형식 검증한 이번 사례는 단순한 AI 생성 코드 뉴스가 아니라, 복잡한 geometry 로직에서 무엇을 얼마나 신뢰할지 다시 묻게 만든다. 실무에서는 formally verified core, 테스트 중심 일반 구현, 검산용 하이브리드 구조를 서로 다른 기준으로 비교해야 한다. 이 글은 저장소와 RSS 본문에 드러난 범위 안에서, correctness 신뢰 범위와 성능, 팀 역량, 통합 리스크, 도입 판단 기준을 함께 분석한다.

#Hacker News#Formal Verification#Lean#Computational Geometry