· software
소프트웨어 개발 툴링 소개 (2024)
기사 URL: https://bernsteinbear.com/isdt/ 댓글 URL: https://news.ycombinator.com/item?id=46297127 Points: 50 Comments: 4
Source
Hacker News
2403 posts from this source
-
- · software
Sei AI (YC W22) 채용 중
번역할 텍스트를 제공해 주세요.
- · software
Show HN: 브라우징하면서 일본어를 상황에 맞게 배우기
안녕하세요 HN, 제 공부 루틴을 돕기 위해 작업해 온 도구를 공유하고 싶어요. 이것은 Lingoku라는 브라우저 확장 프로그램입니다. 아이디어는 간단합니다: 우리는…
- · software
Windows 11, 분노 사태 이후 AI와 개인 파일을 공유하기 전에 동의를 요청합니다
마이크로소프트는 논란이 일어난 후, 윈도우 11이 AI와 개인 파일을 공유하기 전에 사용자 동의를 요청할 것이라고 확인했습니다.
- · software
미국인들은 소셜 미디어 사용자가 유해 콘텐츠를 게시하는 비율을 과대평가한다
번역할 텍스트를 제공해 주시겠어요?
- · software
Dafny: 검증 인식 프로그래밍 언어
번역할 텍스트를 제공해 주시겠어요? 텍스트를 알려주시면 한국어로 번역해 드리겠습니다.
- · software
나는 JustHTML를 Python에서 JavaScript로 Codex CLI와 GPT-5.2를 사용해 몇 시간 만에 포팅했다
번역할 텍스트를 제공해 주시겠어요?
- · ai
RK3588 NPU 역공학: 비전 트랜스포머 실행을 위한 제한 해킹
번역할 텍스트를 제공해 주시겠어요?
- · software
RK3588 NPU 역공학: Vision Transformers 실행을 위한 제한 해킹
번역하려는 텍스트를 제공해 주시겠어요? 해당 내용이 있으면 바로 한국어로 번역해 드리겠습니다.
- · ai
AI가 formal verification을 대중화한다
번역하려는 텍스트를 직접 제공해 주시겠어요? 해당 내용을 알려주시면 한국어로 번역해 드리겠습니다.
- · software
예측: AI가 형식 검증을 보편화한다
번역할 텍스트를 제공해 주시겠어요?
- · software
ty 베타 릴리스를 발표합니다
번역할 텍스트를 제공해 주시면 한국어로 번역해 드리겠습니다.