◀ 일년전◁ 한달전<< 일주일전< 하루전| 2026-03-17 |다음날 >

21

Leanstral: 신뢰할 수 있는 코드 및 형식 증명 엔지니어링을 위한 오픈소스 에이전트

(mistral.ai)

- Lean 4용으로 설계된 최초의 오픈소스 코드 에이전트로, 형식 증명(formal proof) 을 자동화해 인간 검증 부담을 줄이는 것을 목표로 함 - Apa...

1 point by GN⁺ 11시간전 | 댓글 1개

22

메타, jemalloc에 대한 새로운 투자와 오픈소스 협력 강화

(engineering.fb.com)

- 고성능 메모리 할당기 jemalloc이 메타의 핵심 인프라 구성요소로, 장기적 성능과 안정성 향상에 기여함 - 메타는 코드베이스 현대화와 유지보...

1 point by GN⁺ 12시간전 | 댓글 1개

23

미국 직업 시장 시각화 도구

(karpathy.ai)

- Andrej Karpathy가 미국 노동통계국의 342개 직업과 1억 4,300만 개 일자리 데이터를 기반으로 직업별 고용 규모와 특성을 시각화한 도구 - ...

1 point by GN⁺ 17시간전 | 댓글 1개

24

팔란티어의 영국 정부 핵심 역할, 국가 안보 위협이라는 국방부 내부 경고

(thenerve.news)

- 미국의 AI 감시·보안 기업 팔란티어(Palantir) 가 영국 국방부(MoD)와 다수의 정부 계약을 통해 국가 안보를 위협하고 있다는 내부 고위 기술자...

1 point by GN⁺ 17시간전 | 댓글 1개

25

Apple, AirPods Max 2 공개

(apple.com)

- H2 칩 기반의 오버이어형 헤드폰으로, 전 세대보다 최대 1.5배 향상된 액티브 노이즈 캔슬링(ANC) 성능을 제공 - 고해상도 오디오와 로스리스...

1 point by GN⁺ 17시간전 | 댓글 1개

26

이스라엘군이 차량을 향해 발포해 가족을 잃은 12세 팔레스타인 소년의 증언

(bbc.com)

- 12세 Khaled Bani Odeh는 서안지구에서 귀가 중이던 가족이 이스라엘군의 총격으로 사망했다고 증언 - 부모와 두 동생이 차량 앞유리 너머로 ...

1 point by GN⁺ 17시간전 | 댓글 1개

27

Polymarket 도박 참가자들이 이란 미사일 기사 때문에 기자를 살해하겠다고 협박

(timesofisrael.com)

- 암호화 기반 예측시장 Polymarket 참가자들이 특정 뉴스 보도에 따라 금전적 손익이 발생하자, 기사 내용을 바꾸라며 기자에게 살해 협박을 보냄...

1 point by GN⁺ 17시간전 | 댓글 1개