· software
Ty: 빠른 Python 타입 검사기 및 LSP
기사 URL: https://astral.sh/blog/ty 댓글 URL: https://news.ycombinator.com/item?id=46294289 포인트: 41 댓글: 4
-
- · software
전통적인 Linters가 중요한 버그를 놓치는 이유 (그리고 AI가 할 수 있는 일)
모든 개발자는 이 악몽 같은 상황을 경험해 본 적이 있습니다: 코드를 프로덕션에 배포합니다. 테스트가 통과합니다. 린터가 초록불을 켭니다. 코드 리뷰가 승인되었습니다....
- · software
Formal Specification에 대한 다가오는 필요
번역하려는 텍스트를 제공해 주시겠어요? 텍스트를 주시면 한국어로 번역해 드리겠습니다.
- · software
TypeScript 도구를 더 안전하고 똑똑하게 만들기
개요: 지난 몇 주 동안 저는 실제 TypeScript 개발자들에게 매일 영향을 미치는 오픈소스 기여에 집중했으며, 단순한 스타일 수정 이상의 문제들을 해결했습니다.
- · software
신뢰할 수 있는 C
기사 URL: https://dependablec.org/ 댓글 URL: https://news.ycombinator.com/item?id=46214091 점수: 8 댓글: 1...
- · software
typescript-eslint에서 중첩된 any 잡기
배경: 오픈 소스 기여를 위해 TypeScript linting 분야에서 계속 작업하기로 결정했고, no-unsafe- 기능 요청을 선택했습니다.
- · software
Show HN: Detail, 버그 파인더
안녕 HN, tl;dr 우리는 버그 파인더를 만들었는데, 특히 앱 백엔드에서 정말 잘 작동하고 있어요. 한번 사용해보고 의견을 보내 주세요! 자세한 이야기는 아래에 있습니다.
- · software
배포 전에 취약점을 잡아라: 로컬 SonarQube 설정 (파트 2)
소개 Static Application Security Testing(SAST)는 Software Security Development Life Cycle(SSDLC) 내에서 개발자들이 ...
- · software
CodeQL 2.23.6에 Swift 6.2.1 및 새로운 C# 보안 쿼리 추가
CodeQL은 GitHub 코드 스캔 뒤에 있는 정적 분석 엔진입니다.
- · software
사소한 꼬리잡기에 시간을 낭비하지 마세요: PR 리뷰 자동화
수동 PR 리뷰의 문제점 우리 모두 겪어본 적이 있습니다. 수십 개 파일에 걸친 Pull Request를 열고, 다음 한 시간 동안 들여쓰기나 …에 대해 댓글을 달곤 합니다.
- · software
덜 복잡한 Binary Decision Diagrams for 집합론적 타입
번역할 텍스트를 제공해 주시겠어요?