뉴스 알림

내 알림

로그인하고 알림을 만들어 보시기 바랍니다

전체 알림

Dune제욱 님 AI제욱 님 해커뉴스성현 님

해커뉴스

Free Pascal 컴파일러와 Lazarus IDE에 동적 패키지 전면 지원이 추가됨 인텔 8087의 부동소수점 덧셈과 뺄셈 마이크로코드 분석 Haskell Kind 시스템으로 보는 타입의 타입 분류 체계 처칠과 루스벨트가 쓴 2차대전 암호 전화 SIGSALY 드릴을 달아 전동화한 Razor 킥보드, 최대 2마일 주행 개조기 sealed 타입을 공개 API에 노출하면 하위 타입 추가가 런타임 MatchException으로 터짐 플로리다 HOA와 콘도 협회가 회원 집을 압류하는 소송이 1만 건을 넘김 닌텐도 공식 연대기를 따라 젤다 시리즈를 정리한 Show HN 사이트 공개, 오카리나 리메이크 앞두고 화제 Linear 측 글쓴이, 기능만 쌓인 제품은 통일된 관점을 잃는다고 주장 꼬리 지연 시간이 평균 지연과 동시성 비용을 얼마나 차지하는지 로렌츠 곡선으로 계산함 C 전처리기에 __map과 VA_COUNT 같은 내장 매크로를 추가한 DrC 컴파일러 작성기 정규식을 3D 구슬 레일로 시각화한 도구, HN에 올라와 논쟁이 붙음 브라우저에서 선형계획법 풀이 과정을 그려 보는 lpviz 공개 μRepRap, 3D 프린터로 1μm 안팎 정밀도를 내는 프로토타입 공개 서브마이크로미터 정밀도의 3D 모션 제어 플랫폼 Open MicroManipulator 오픈소스 공개 Lua 방언 Teal, 정적 타입을 지원하고 .tl 소스를 .lua 파일로 컴파일하는 언어 공개 Meta 수정 약관, 'train' 문구는 뺐지만 광범위 스크래핑 권한은 그대로 파서 콤비네이터를 17장 슬라이드로 설명한 T3 블로그 글, Parser 타입 정의와 ping 출력 파싱 예시 소개 Neato 로봇청소기를 살리는 자체 서버 vacuula 공개 클라우드플레어가 무료 요금제를 계속 두는 이유 (2016년 발언)Sphinx, 에이전트가 짠 코드를 push 전에 퀴즈로 검사하는 Git 훅 Lean 4.35.0부터 검증된 커널 4개를 함께 배포, con-leche는 일관성까지 증명됨 DeepSeek, 검색과 페이지 가져오기 API를 성공 요청당 $0.75에 공개 뉴욕 하원의원, 게임을 라이선스 아닌 소유물로 보장하는 연방 법안 발의 Claude가 양자 회로 8개를 재설계해 기존 최고 설계보다 큐비트와 게이트 수를 줄임 Ultramarine 1 Flash 공개, GLM-5.3 Flash 기반 지식노동 모델이 Fable급 성능을 주장함 트랜스포머의 기억 저장 용량을 선형 층부터 self-attention까지 따라가며 계산한 글 eBay, 무선 장비 판매 목록 제한... 아마추어 대역 전용 장비는 예외 탈옥한 PS5에서 llama.cpp 구동, GGUF 모델을 콘솔 안에서 실행 Home Assistant 비밀번호 유출 검사 기능, 사전 고지 없이 켜져 있어 논란 JPEG XL과 AVIF 웹 비교: 사진은 AVIF가 더 작고 JPEG XL은 기존 JPEG 변환과 무손실에 강점 앤트로픽, KBRA에서 투자등급 바로 아래인 BB+ 받아 Claude Code 팀, 자동 리뷰 계층 도입 후 되돌림 비율 40% 넘게 감소 웨이모, 토론토에 자율주행 택시 준비 착수 첫 승객은 2028년 목표 미국 근로시간 90%는 AI 벤치마크가 거의 다루지 않는 업무임 Claude가 NIST 타원곡선 시드의 출처를 밝혀냄: lrand48 난수 생성기와 유닉스 타임스탬프 테슬라 로드스터, 팬 기반 거꾸로 주행과 세미트럭 점프 시연 공개 MEMS 자이로스코프 소형화를 다룬 영상, 재생 오류로 본문은 확인 불가 5배 비싼 인덕션 상판 소재 Dekton은 사실상 도자기임 GPT-6 Astra가 StarSkirmish 벤치 v0.2에서 57% 승률로 1위, 사람 작성 상위 봇 상대로는 7%만 이김 OpenBSD 커널의 37년 묵은 정수 오버플로로 SMAP/SMEP를 뚫고 root 셸 획득 KiCad 10용 AI PCB 설계 도구 Konnect, 회로 설계와 부품 검색은 쓸 만하지만 라우팅은 아직 약함 Mac Studio 4대 클러스터로 8,160억 파라미터 모델을 초당 36토큰 이상 구동함 두 스택으로 역함수 없는 슬라이딩 윈도우 집계를 분할 상환 O(1)에 처리하는 방법 라틴어 비문 직업 기록으로 로마 제국 경제 복잡성을 계산해 현대 국가들과 비교함 DOS 소프트웨어 렌더링의 선명하고 거친 화면을 다시 보자는 글, 고성능 PC에서 Quake를 고해상도로 돌린 후기 괄호 없이 JS 함수를 호출하는 새 기법, prepareStackTrace와 valueOf 트릭 조합 빈 폴더로 코드를 짜는 esolang Folders, 폴더 35만 개가 0바이트임 Gentoo, Chromium 패키지에 last rites 선언하고 유지보수 중단 Haiku에서 돌아가는 BeBox 에뮬레이터, 원본 부트롬으로 BeOS 구동 ICQ 비밀번호 9자 이상이면 버퍼 오버런으로 아무 UIN에 로그인 가능 맥 화면을 아이폰과 아이패드로 보고 조작하는 Sill 0.5.1 공개 RPKI 검증 경로 비율 1년 새 70.3%로 상승, 중국 증가분이 대부분 차지 메타, 10월 30일부터 비즈니스 계정 웹사이트 스크래핑에 동의하게 하는 새 약관 적용 BIPM, 2027년 5월 20일부터 UTC 윤초 추가 중단 결정 Zimmermann이 PGP를 만든 이유: 1991년 SB 266과 감청 인프라 우려 Claude로 스캐너와 노트북 카메라 드라이버를 리버스 엔지니어링한 후기 이잉크 Kaleido 4 발표, 컬러 전자종이 색 영역과 명암비 개선 Withings, 신규 계정 Apple Health 동기화에 연 $99.99 구독 요구 사우스파크 에피소드로 위장한 exe가 토렌트에 퍼져 있었고 정보 탈취 악성코드였음 Jellyfin으로 스트리밍을 끊고 중고 미니PC 한 대에 자가호스팅 서비스를 모은 개발자 사례 Jev는 다섯 명을 구하려고 한 명을 희생하지만 질문을 바꾸면 자기 서버를 지키려고 스무 명을 희생한다 포트란 첫 매뉴얼 발행 70주년, 케임브리지 ICCS가 12월 맨체스터에서 기념 행사 개최 Krea 3 공개 베타, 편집 속도 4배와 장당 $0.06 가격 내세움 사이먼스 재단, Anthropic과 OpenAI 참여로 수학계 AI 대응에 $15M 투입 에픽 런처 V2 공개 하루 만에 Steam이 콜드 부팅 속도에서 앞질러 광고 입찰로 기기를 감염시킨 AdFection 제로클릭 스파이웨어 공격 확인 OpenAI가 수백 건의 수학 증명을 내놓자 수학자들이 슬픔과 혼란을 드러냄 신경망은 이미 깔끔하다는 주장, 다의성 뉴런은 중첩이 아니라 흔한 학습 실패임 책상 위 종이 창을 쓰는 Wayland 리눅스 데스크톱 DEsk 베타 공개 메타, 816B 오픈웨이트 모델 Muse Spark Open 공개, 맥 스튜디오 두 대로 로컬 실행 시연 사는 곳에서 자랄 토종 식물을 골라주는 웹앱 Indigene, Show HN으로 공개됨 Libreboot 26.10, UEFI 지원과 Chromebook 233종 추가 아르헨티나 시골 목장에서는 AM 라디오 메시지로 가족 소식을 주고받음 양끝에서 할당하는 더블 헤디드 스택 할당기로 메모리 단편화를 막는 법 미국 공유지에 맞닿은 매물만 골라 보여주는 Unfenced, 경계 데이터로 13,626필지 집계 C 표준과 실제 gcc·clang·musl 동작의 차이 정리 Xbox 360 부팅 서명 검증을 전압 글리치로 우회하기까지 9년이 걸린 과정 이스라엘 광고사 디스커버텍, 광고로 제로클릭 스파이웨어 설치 경로 제공 의혹 TP-Link EAP770 AP의 SFE/PPE 오프로드 버그로 Wi-Fi 전송 데이터가 손상되고, 작성자는 root 권한을 얻으려 커널 익스플로잇을 직접 작성함 사람들이 기쁜 순간을 한 문장씩 남기는 나무 사이트 Catch a Bird가 공개됨 Oxide Voxel: 미니 PC 한 대에서 Oxide 랙 전체를 에뮬레이션하는 방법 The Consensus, AI 티 탐지기로 피드 글 선별 방식 공개 블로그 전체를 curl용 ANSI 텍스트로 제공하는 개인 사이트 사례 CoScreen과 Screenhero 후속 Petal, 오픈소스로 무료 공개 LFM2.5-24B-A2B 공개, 활성 파라미터 2B로 온디바이스 에이전트 겨냥 Go 1.27, HTTP/1 응답 본문을 안 읽어도 연결 재사용 가능해짐 Jev 1.14.0 출시, danger zone 플래그 뒤에 이미지와 box 타입 실험 기능 공개 합리주의 블로그 글이 지나치게 긴 이유, 장황함을 지혜 부족의 증거로 본 비판 Tiny Little Office, 링크 안에 문서를 담는 웹 오피스 모음 Anthropic Scion 설계, Meta Mononoke와 닮았는데 출처 표기는 빠졌다는 논란 OpenCode 2.0, 백그라운드 서버와 코드 모드로 에이전트 구조 바꿔 JPMorgan 등 은행, 오라클 데이터센터 대출 380억 달러 떠넘기기 나서 구글, 안드로이드 기기에 로그인된 모든 Google 계정에 전화번호를 기본값으로 자동 연결 중 편평세포암 환자가 쓴 암 진단 후 체크리스트, HN 1면에 올라 댓글 활발함 AI 에이전트 폭주가 아니라 프런티어 연구소의 격리와 모니터링 기본기 실패임 Pharo용 새 IDE Pulsar, ESUG 2026에서 코딩 중심 설계 공개 레오나르도 다 빈치 3D 박물관, 실제 크기로 그림을 벽에 걸고 안내 산책으로 보여줌 1976년 4색 정리, 컴퓨터가 증명한 첫 사례와 수학자들의 엇갈린 반응 TV4 더 챌린지 2027년으로 연기, AI 에이전트 삭제 보도는 부인

Lua 방언 Teal, 정적 타입을 지원하고 .tl 소스를 .lua 파일로 컴파일하는 언어 공개

Lua 방언 Teal, 정적 타입을 지원하고 .tl 소스를 .lua 파일로 컴파일하는 언어 공개

Teal은 Lua의 정적 타입 방언으로, 타입 주석으로 배열, 맵, 레코드, 인터페이스, 유니온 타입, 제네릭을 지정함
컴파일러 tl이 .tl 소스 코드를 .lua 파일로 변환하며, luarocks install tl 명령으로 설치하거나 Linux와 Windows용 사전 빌드 바이너리를 내려받을 수 있음
대형 프로젝트 빌드에는 빌드 도구 Cyan을 권장하고, VS Code용 vscode-teal과 NeoVim용 teal-language-server 같은 에디터 연동 도구도 제공됨
프로젝트는 Hisham Muhammad가 시작했고 GitHub에서 개발되며, 라이선스는 Lua와 같은 MIT임
브라우저에서 Teal Playground를 열어 컴파일러를 바로 실행해 볼 수 있음

Hacker News 의견들

AI 시대에 이런 실험을 왜 하는 거임? 예술 목적 말고는 의미가 있나 싶음.

gcc도 AI 시대에는 필요 없는 거임? 에이전트한테 컴파일러 만들라고 하면 되지 않나. 근데 Teal은 2019년 1월부터 있던 프로젝트임.

정적 타입 검사기는 LLM한테도 도움 됨. 컴파일 단계에서 실수를 잡아주니까.

새 프로그래밍 언어는 AI 시대에도 여전히 필요함. 튜링 완전해도 언어마다 표현력이 다르더라.

AI는 좋은 타입 체커에서 바로 피드백 받을 때 훨씬 잘 짬. 그냥 그게 다임.

Luau랑 비교는 어떰? 아, 이건 트랜스파일러라서 Luau랑 다른 거임. Luau는 완전히 다른 언어랑 런타임이고, Lua 문법 3대장은 Teal(TypeScript 느낌), Fennel(Lisp 느낌), Moonscript(Ruby 느낌)임.

나는 Lua 자체가 너무 가벼워서 별로 안 좋아함. 그래도 창의성이 계속 앞으로 밀고 나가는 건 좋음.

musl이랑 Lua에 C 라이브러리 붙이면 정적 바이너리 하나로 나옴. 나는 이걸 많이 씀.

Lua를 조금 써봤는데 JavaScript를 처음부터 제대로 설계했으면 이랬을 것 같음. 모듈 시스템도 Lua는 처음부터 있었던 것 같은데 내가 확실히는 모르겠음.

1부터 시작하는 인덱싱은 계산할 때마다 +1, -1 해야 해서 진짜 짜증남.

Luarocks 소스가 큰 Teal 코드베이스 예시임. 타입 힌트는 동적 언어에 다 좋은 것 같음.