· software
Formal Specification에 대한 다가오는 필요
번역하려는 텍스트를 제공해 주시겠어요? 텍스트를 주시면 한국어로 번역해 드리겠습니다.
Source
Hacker News
2403 posts from this source
-
- · software
Oliver Sacks가 그의 책에서 핵심 세부사항을 조작했다
번역하려는 텍스트를 제공해 주시겠어요? 해당 기사나 댓글의 내용을 직접 입력해 주시면 한국어로 번역해 드리겠습니다.
- · software
올리버 색스는 자신의 사례 연구에 자신을 투입했다. 그 대가는 무엇이었을까?
번역할 텍스트를 제공해 주시겠어요? 텍스트를 알려주시면 한국어로 번역해 드리겠습니다.
- · software
Conway's Game of Life에 구현된 Lisp 인터프리터 (2021)
번역할 텍스트를 제공해 주시면 한국어로 번역해 드리겠습니다.
- · software
1300 정지 이미지: 하야오 미야자키 스튜디오 지브리 애니메이션 영화 (2023)
번역할 텍스트를 제공해 주시면 한국어로 번역해 드리겠습니다.
- · software
하야오 미야키의 스튜디오 지브리 애니메이션 영화에서 1300개의 정지 이미지
번역할 텍스트를 제공해 주시겠어요?
-
- · ai
OpenAI가 조용히 스킬을 도입하고 있으며, 이제 ChatGPT와 Codex CLI에서 사용할 수 있습니다
번역할 텍스트를 제공해 주시겠어요? 해당 내용이 없으면 번역을 진행할 수 없습니다.
- · software
증명 보조기 50년
번역할 텍스트를 제공해 주시겠어요? 텍스트를 알려주시면 한국어로 번역해 드리겠습니다.
- · it
HTTPS RR을 사용할 수 있나요?
번역할 텍스트를 제공해 주시겠어요? 텍스트를 받으면 한국어로 번역해 드리겠습니다.
- · software
Wine 11.0 RC2 – Linux, BSD, Solaris 및 macOS에서 Windows 애플리케이션 실행
기사 URL: https://gitlab.winehq.org/wine/wine/-/releases/wine-11.0-rc2 댓글 URL: https://news.ycombinator.com/item?id=46249566 포인트: 13 댓글: 0
- · software
Show HN: C로 만든 작은 VM 샌드박스, Rust, C 및 Zig 앱 포함
기사 URL: https://github.com/ringtailsoftware/uvm32 댓글 URL: https://news.ycombinator.com/item?id=46249538 포인트: 20 댓글: 0