Can Cursor Remain a Platform for OpenAI and Anthropic’s Models Inside SpaceX?

Cursor가 SpaceX에 인수된 후에도 외부 AI 모델을 계속 제공할 계획이며, 이를 통해 주요 AI 연구소 간의 관계를 시험하고자 합니다. 이 움직임은 최첨단 AI 모델을 통합하는 플랫폼의 전략적 방향을 보여줍니다.

Cursor가 SpaceX의 일원이 됨으로써, 이 회사는 OpenAI나 Anthropic과 같은 선도적인 AI 연구소들 간의 관계를 시험하는 데 중점을 두고 있습니다. 이는 다양한 프론티어 AI 모델을 하나의 플랫폼 내에서 어떻게 통합하고 상호작용시킬 수 있는지에 대한 실질적인 테스트를 의미합니다.

이러한 시도는 개발자들에게 여러 AI 모델을 하나의 환경에서 테스트하고 활용할 수 있는 새로운 기회를 제공할 수 있습니다. Cursor가 외부 모델 지원을 유지함으로써, 사용자는 특정 모델에 얽매이지 않고 다양한 AI 생태계를 탐색할 수 있게 됩니다.

결론적으로, 이번 인수는 단순한 인수 이상의 의미를 가지며, AI 모델 간의 관계와 통합에 대한 새로운 비즈니스 모델을 구축하려는 시도로 해석됩니다. 이는 향후 AI 플랫폼의 발전 방향에 중요한 영향을 미칠 수 있습니다.

Boeing-owned Wisk Aero accused of firing manager who raised safety concerns

보잉 소유의 항공 택시 회사인 위스크 에어로가 안전 문제를 제기한 관리자를 해고했다는 소송에 직면했습니다. 전 소프트웨어 관리자인 브리아나 오닐(Briahna O’Neill)은 위스크가 2025년 비행 시험을 맞추기 위해 필수적인 소프트웨어 테스트를 축소했다고 주장하며 위스크를 상대로 차별 및 부당 해고 소송을 제기했습니다.

오닐 씨는 위스크가 두 건의 내부 안전 보고서를 제출했는데, 이 보고서들은 엔지니어들이 연방항공청(FAA)이 요구하는 소프트웨어 테스트량을 줄여 2025년 시험 비행 기한을 맞추려 했다는 내용을 담고 있다고 밝혔습니다. 그녀는 두 번째 불만을 제기한 직후 해고당했다고 주장하며 안전 문제에 대한 회사의 대응을 문제 삼고 있습니다.

위스크 에어로는 상업적으로 실행 가능한 전기 수직 이착륙 항공기를 개발하고 완전한 자율성을 목표로 하는 회사입니다. 이 회사는 올해 FAA의 승인을 받아 해당 항공기를 시험하기 위한 3년 프로그램에 참여하고 있습니다.

이 사건은 항공우주 및 자율 시스템 분야에서 소프트웨어 안전 기준과 기업의 책임에 대한 중요한 맥락을 제공합니다. 이는 개발자들이 안전 규제 준수와 제품 개발 과정에서 직면할 수 있는 윤리적 및 법적 쟁점을 이해하는 데 참고가 될 수 있습니다.

FAA proposal: Supersonic airliners can fly over US cities if they’re quiet

미국 연방항공청(FAA)이 소음 폭발(sonic boom)을 줄일 수 있는 상업용 초음속 항공기가 미국 도시 상공을 비행할 수 있도록 하는 새로운 규칙을 제안했습니다. 이는 1973년부터 존재했던 상업용 초음속 항공기의 육상 비행 금지 조치를 뒤집을 가능성을 열어줍니다.

이 새로운 규칙은 2026년 6월 30일에 발표될 예정이며, 항공기가 지상에 미치는 소닉 붐의 영향을 줄이는 것을 전제로 하는 임시적인 소음 기반 인증 기준을 요구합니다. 이 기준에 따르면 지표면에서의 소닉 붐 압력은 제곱피트당 0.11파운드 미만으로 유지되어야 합니다.

이 기준은 콜로라도 기반 스타트업인 붐 서퍼소닉(Boom Supersonic)이 XB-1 항공기를 통해 입증한 기술을 기반으로 합니다. 이 항공기는 특정 대기 조건을 활용하여 초음속 속도 바로 위 고고도에서 비행함으로써 충격파가 지면에 도달하기보다 대기 중으로 굴절되도록 설계되었습니다. 따라서 이 규정은 항공기 설계와 비행 방식이 소음 최소화에 어떻게 기여할 수 있는지에 대한 기술적 기준을 제시합니다.

Job seekers giving up: Labor force participation falls to lowest in 50 years

최근 노동 시장에서 구직자들이 포기하면서 노동력 참여율이 50년 만에 최저치를 기록했습니다. 노동력 참여율은 고용 상태에 있거나 구직 중인 생산가능인구의 비율을 측정하는데, 이는 61.5%로 마침 2021년 3월 이후 최저치를 기록했습니다. 특히 코로나 시대의 고용 시장을 제외하면, 이는 1976년 6월 이후 가장 낮은 노동력 참여율입니다.

이러한 참여율 하락은 실업률 감소와는 별개로 노동력의 대규모 유출에서 비롯되었습니다. 6월 한 달 동안 노동력은 72만 명 감소했으며, 구직자 및 구직하지 않는 인구를 포함하는 노동력의 규모는 83만 2천 명 증가했습니다. 이는 단순히 은퇴나 이민으로 인한 감소가 아니라, 구직자들이 적극적인 구직 활동을 포기하면서 발생한 현상입니다.

특히 25세에서 54세 사이의 '주요 연령층' 노동자들의 참여율이 0.6%p 하락하여 83.3%를 기록했는데, 이는 2023년 12월 이후 최저치입니다. 일부 경제학자들은 이러한 수치가 노이즈가 섞여 있을 수 있다는 지적을 했지만, 노동력 참여율의 하락 추세는 지속되고 있습니다. 이는 현재의 고용 기회가 제한적이라는 현실을 반영하며 노동 시장의 구조적 변화를 시사합니다.

Ars Live recap: When are the big rockets NASA desperately needs going to be ready?

지난 5월 말 블루 오리진의 뉴 글렌 로켓이 정적 연소 시험 중 붕괴하는 대참사가 발생했습니다. 이 사건은 NASA의 아르테미스 4 임무를 위한 달 착륙 시도에 대한 여러 함의를 낳았습니다.

이 실패는 블루 오리진과 스페이스X가 달을 목표로 하는 인간 임무를 지원하기 위해 개발 중인 발사체와 착륙선의 개발에 영향을 미치고 있습니다. 전문가들은 이 실패가 우주 산업 전반에 미치는 영향을 논의했습니다.

인간 임무를 위한 블루 오리진의 현재 설계 구조는 뉴 글렌의 새로운 변형인 9x4 로켓을 네 차례 발사해야 함을 요구합니다. 이 9x4 로켓은 아홉 개의 제1단 엔진과 네 개의 상단 단계 엔진을 갖춘 더 강력한 버전입니다.

블루 오리진은 9x4 로켓의 출시 목표 날짜를 아직 설정하지 않았지만, 일부 소식에 따르면 이 로켓은 2027년 말 또는 2028년 초에 출시될 것으로 예상됩니다. 이는 NASA가 달 임무를 성공적으로 수행하기 위해 필요한 로켓 개발 일정에 중요한 변수가 될 수 있습니다.

Show HN: QUALITY.md – open format/specification, agent skill, and CLI

QUALITY.md는 프로젝트의 품질 모델을 선언하기 위한 개방형 파일 형식으로, 보안성, 유지보수성, 코드 품질 등 원하는 품질 특성, 요구 사항, 그리고 그 배경(목표, 위험 등)을 포괄적으로 정의합니다. 이 형식은 에이전트, 도구, 벤더에 구애받지 않는 방식으로 설계되어, 품질에 대한 이해관계자들의 합의를 도출하고 품질 개선을 위한 체계적인 접근을 가능하게 합니다.

이 시스템의 핵심 목표는 품질을 사후 대응적 검토 및 수리 방식에서 벗어나 능동적인 관리 방식으로 전환하는 것입니다. QUALITY.md는 품질을 구성 요소로 분해하고 측정 가능한 기준으로 연결함으로써, AI 에이전트와 인간이 품질을 더 잘 돌볼 수 있도록 돕는 것을 목표로 합니다. 이는 제조 품질 관리나 소프트웨어 품질 모델의 오랜 전통을 이어받아, 품질을 측정 가능하고 관리 가능한 형태로 만드는 데 중점을 둡니다.

실제 사용을 위해서는 `/quality agent skill`과 `qualitymd CLI`를 설치하여 환경을 구축하고, `/quality evaluate` 명령으로 품질 보고서를 생성한 후 `/quality improve` 명령으로 개선 사항을 반영하는 품질 루프를 실행할 수 있습니다. 이 루프는 에이전트의 규칙과 기술 스킬이 내부 루프를 안내하고, QUALITY.md가 상위의 평가 및 개선 루프를 구동하는 방식으로 작동합니다.

이처럼 QUALITY.md는 에이전트의 행동을 안내하는 규칙과 스킬을 보완하며, 품질 평가와 개선을 위한 프레임워크를 제공합니다. 이는 단순히 소프트웨어 품질을 모델링하는 것을 넘어 문서, 데이터 제품 등 다양한 영역에 적용될 수 있으며, 오픈 소스로 공개되어 MIT 라이선스로 배포되고 있습니다.

Plex debuts 5-year membership pass for $250

Plex가 라이프타임 액세스 대신 5년 구독 플랜을 도입하며 가격 정책을 변경했습니다. 이는 Plex가 사용자로부터 더 많은 수익을 창출하고 소프트웨어 개발 및 지원에 대한 투자를 지속하려는 재정적 목표를 반영한 것입니다.

Plex는 2025년 3월부터 $250에 5년 구독을 제공하며, 이는 이전의 라이프타임 패스 가격보다 훨씬 낮은 금액입니다. 이와 함께 Plex는 라이프타임 패스 가격을 $750으로 인상하는 조치를 발표했습니다. Plex는 이러한 가격 조정이 소프트웨어의 지속적인 가치와 향후 지원에 대한 회사의 약속을 반영한다고 설명했습니다.

이러한 변화는 Plex가 아직 수익을 달성하지 못했으며 9차례의 펀딩을 통해 총 8760만 달러를 모금했다는 점을 고려할 때 더욱 주목됩니다. Plex는 사용자들에게 더 많은 수익을 얻고 미디어 서버 사업을 더 높은 가격에 책정하려는 재정적 목표를 가지고 있습니다.

The video game disc is dead

오랫동안 게이머들은 콘솔, 컨트롤러, 액세서리뿐만 아니라 게임 자체를 수집하는 것을 통해 게임 문화의 일부로 여겨왔습니다. 하지만 이제 이러한 물리적 게임 매체의 시대가 막을 내리고 있습니다.

최근 논의는 소니의 플레이스테이션 디스크 생산 중단 계획, 마이크로소프트의 게임 디지털화 전략, 그리고 물리적 게임 미디어의 전반적인 종말에 초점을 맞추고 있습니다. 이러한 변화는 게임 산업 내에서 새로운 비즈니스 모델을 모색하는 과정에서 발생하고 있습니다.

이러한 움직임은 기업들이 사업적인 타당성을 찾기 위해 움직이고 있음을 보여줍니다. 소니와 마이크로소프트 같은 주요 기업들은 물리적 매체에서 디지털로의 전환을 통해 새로운 수익 구조를 구축하려 하고 있으며, 이는 개발자와 플랫폼 모두에게 중요한 변화를 의미합니다.

Africa CDC confirms Marburg case in Uganda as Ebola outbreak rages

아프리카 질병통제예방센터는 에볼라 발병 상황 속에서 우간다에서 마조르병 바이러스(Marburg virus) 사례를 확인했다고 발표했습니다. 이 사례는 1년 반 된 아동이 사망한 것으로 확인되었으며, 우간다 보건 당국은 이 사건과 관련하여 정보를 공개하는 데 주저하고 있습니다.

마조르병 바이러스는 에볼라 바이러스와 관련이 있으며 유사한 출혈성 질환을 유발합니다. 따라서 마조르병의 전파 경로와 예방 조치 역시 에볼라와 유사한 맥락에서 이해되어야 합니다.

아프리카 CDC는 우간다 보건 당국의 정보를 인용하여 사망한 아동의 접촉자들에게 증상이 발현되지 않았으며 우간다 내에 다른 현재 활동 사례는 없다고 밝혔습니다. 그러나 로이터 통신이 우간다 보건부에 문의했을 때, 우간다 보건부 대변인은 마조르병 발병에 대해 알지 못한다고 답변했습니다.

Former Microsoft dev built a 2.5KB Notepad clone

전 Microsoft 개발자가 불필요한 AI 기능을 제거한 2.5KB 크기의 Notepad 클론을 개발했습니다. 이 프로젝트는 텍스트 편집 기능은 유지하면서 디스크 공간을 최소화하는 데 중점을 두었으며, TinyRetroPad라는 이름으로 공개되었습니다.

이 개발자는 과거 Microsoft의 MS-DOS 시절부터 근무하며 Task Manager와 같은 주요 Windows 기능을 개발한 경험이 있습니다. 그는 최근 Microsoft가 Notepad에 추가한 불필요한 AI 기능들을 제거하고, 윈도우 XP 버전의 Notepad처럼 기능에만 집중하는 최소주의적인 텍스트 편집기를 만들고자 했습니다.

TinyRetroPad는 2.5킬로바이트(KB) 내외의 크기로 구현되었으며, 이는 1킬로바이트가 1,024바이트를 의미하므로 매우 공격적인 최적화 기법을 사용했음을 의미합니다. 이 프로그램은 어셈블리 언어로 작성되었으며 Windows API의 "RICHEDIT50W" 컨트롤을 활용하여 구현되었습니다.

개발자는 최신 Notepad가 생성형 AI나 이미지 임베딩 같은 불필요한 기능을 테스트하는 용도로 사용되는 것에 반대하며, 도구를 처음부터 재구축하는 것을 목표로 했습니다. 결과적으로 TinyRetroPad는 기능적 최소주의를 유지하면서도 현대적인 메뉴와 같은 일부 기능을 제공하는 동시에 AI 요소를 완전히 배제한 텍스트 편집기입니다.

The US Government Is Now a Shareholder in 26 Companies

미국 정부가 2025년 1월부터 26개 기업에 지분 투자하여 현재까지 총 1810억 달러를 추가로 투입할 계획입니다. 이는 정부가 보조금 지급 모델에서 벗어나 직접적인 주주가 되는 방식으로 산업 정책을 전환했음을 의미합니다. 이러한 투자에는 인텔, xLight, 양자 컴퓨팅 기업 등 다양한 분야가 포함되며, 이는 미국 산업 정책에 대한 관점을 근본적으로 변화시키고 있습니다.

정부는 직접적인 지분 투자 외에도 보조금과 대출, 그리고 가장 강력한 도구인 오프테이크 계약 및 가격 상한선을 결합하여 지원 체계를 구축했습니다. 예를 들어, MP Materials에 대해 10년간 가격 상한선을 보장하는 계약을 체결하여 정부가 단순한 자금 지원을 넘어 성공을 보장하는 구조를 만들었습니다. 이러한 세 가지 도구(지분 투자, 보조금, 가격 상한선)의 결합은 정부가 공동 소유자, 공동 자금 지원자, 그리고 보장된 고객의 역할을 동시에 수행하게 하여 민간 경쟁자가 따라올 수 없는 국가 챔피언 구조를 형성합니다.

또한, 미국 정부는 DFC(개발금융공사)의 투자 한도를 기존 600억 달러에서 2050억 달러로 상향 조정하며 자금 조달 능력을 확대했습니다. 여기에 JP모건, 골드만삭스 같은 민간 투자자와 아부다비 SWF 같은 해외 자금까지 참여하여 총 47억 5천만 달러의 추가 자본이 투입되었습니다.

향후 정부의 관심 분야는 드론, 로봇공학, 그리고 희토류 광물 생산 등 새로운 산업 분야로 확장될 예정입니다. 이러한 투자 프로그램의 신뢰도는 MP Materials나 인텔의 18A 모델 검증과 같은 구체적인 마일스톤에 달려 있으며, 이는 미국 산업 정책이 보조금에서 소유권으로 변화하는 과정의 중요한 증거가 될 것입니다.

Artificial cell manages a few rounds of cell division

생명체의 기원을 이해하는 것은 많은 과학적 질문을 해결해야 하는 복잡한 과정입니다. 초기 지구의 단순한 화학 물질이 어떻게 생명에 필요한 복잡한 분자를 만들었는지에 대한 연구는 진행되었지만, 최초의 세포를 둘러싼 막(membrane)이 어떻게 형성되었는지에 대한 핵심 난제는 여전히 해결되지 않았습니다.

물론 물에서 막이 자발적으로 형성되는 것은 쉽고 핵산 등을 포함한 모든 것을 감쌀 수 있지만, 이 막은 내부의 화학 반응을 외부 환경으로부터 차단하여 반응이 멈추게 만듭니다. 따라서 생명의 기원을 이해하기 위해서는 이러한 막이 어떻게 형성되었는지에 대한 메커니즘을 밝혀내는 것이 중요합니다.

미네소타 대학교의 한 연구팀은 이러한 문제에 대한 새로운 접근법을 제시했습니다. 이들은 막이 유전 물질을 감싸면서도 외부에서 새로운 물질을 지속적으로 수입할 수 있는 단순화된 시스템을 개발했습니다. 이 시스템은 자발적으로 분열하여 몇 세대의 "후손"을 만들어냈으나, 추가된 물질 덕분에 몇 차례의 세포 분열만 가능했습니다.

이 연구는 생명의 기원과 최소한의 형태를 탐구하는 새로운 길을 열어주지만, 현재로서는 여전히 인간의 개입에 크게 의존하고 있으며 더 많은 연구가 필요합니다.

Google loses long-running appeal of record EU fine, will have to cough up $4.7 billion

구글은 유럽연합(EU)의 기록적인 벌금에 대한 장기간의 항소권을 상실했으며, 최종적으로 47억 달러를 지불해야 합니다. 이는 구글이 안드로이드 독점에 대해 위반했다는 이유로 부과된 벌금과 관련이 있습니다.

이 벌금은 2018년에 구글이 안드로이드에 대한 독점을 남용했다는 이유로 부과되었으며, 유럽사법재판소는 이 처벌을 확정했습니다. 구글은 이 결정에 대해 여러 차례 이의를 제기했지만, 최종적으로 항소의 여지가 없게 되면서 이 금액을 수용해야 합니다.

벌금의 근거는 구글이 안드로이드 운영체제와 크롬 브라우저를 기본 옵션으로 묶어 제공한 방식에 있습니다. 유럽 반독점 규제 당국은 구글이 삼성이나 샤오미 같은 다른 회사의 장치에서도 구글 앱을 기본으로 포함하게 하여 불공정한 이점을 얻었다고 판단했습니다.

이 벌금은 구글의 광고 독점과 관련하여 지난해 유럽연합이 부과한 29억 5천만 유로 벌금과는 별개입니다. 따라서 이 사안은 안드로이드 라이선스 및 소프트웨어 배포와 관련된 구글의 사업 관행에 초점을 맞추고 있습니다.

AI가 일자리보다 먼저 가져가는 것

AI 시대의 최대 수혜자로 자처하는 개발자가 AI와만 일한 지 1년이 넘은 시점에 느낀 위화감을 소설 《삼체》의 '지자(智子)' 비유를 통해 풀어낸 에세이가 주목받고 있습니다. 이 글은 AI가 일자리를 가져가기 훨씬 전에 몰입감, 소유감, 성장의 사다리 같은 일자리보다 먼저 사라지는 것들을 조용히 없애고 있다는 핵심 주장을 제시합니다.

저자는 AI가 단순히 직업을 대체하는 것을 넘어 인간의 경험과 심리적 상태에 영향을 미치고 있음을 지적합니다. 즉, 개발자들이 경험하는 몰입이나 성장의 과정이 AI와의 상호작용 속에서 변화하고 있으며, 이는 전통적인 일자리 개념보다 더 근본적인 차원의 변화를 의미합니다.

이러한 변화는 AI가 노동 시장에 미치는 영향보다 개인의 경험과 심리적 상태에 미치는 영향이 선행될 수 있다는 점을 강조합니다. 따라서 개발자들은 AI가 가져올 직업 변화뿐만 아니라, AI 환경 속에서 우리가 경험하는 몰입과 소유감 같은 내면적 가치에 대해서도 깊이 성찰할 필요가 있습니다.

OpenAI, Codex 전용 미니 키보드 ‘Codex Micro’ 티저 공개

OpenAI가 Codex 사용자를 위한 전용 하드웨어인 Codex Micro를 예고했습니다. 이번 티저는 OpenAI Developers 계정을 통해 공개되었으며, 사용자들이 선호하는 Codex 단축키를 업그레이드해 줄 장치라는 메시지가 담겨 있습니다.

Codex Micro는 작은 매크로패드 형태의 장치로 디자인되어 개발자들이 코드를 더 효율적으로 작성할 수 있도록 돕는 것을 목표로 합니다. 이 하드웨어는 Codex 사용자의 작업 효율성을 높이는 데 중점을 두고 개발되었습니다.

해당 제품의 정식 공개일은 2026년 7월 15일로 예정되어 있습니다. 개발자들은 이 새로운 하드웨어가 Codex 관련 작업 흐름을 어떻게 개선할지 기대하고 있습니다.

Influencer screenings aren’t going away

크리스토퍼 놀란 감독의 영화 <오디세이>에 대한 인플루언서 대상 사전 상영이 사라질 것이라는 분위기였습니다. 하지만 월요일에 유니버설은 이에 대해 번복하지 않고, 관련 언론 행사(press junket)를 위해 인플루언서들이 전통적인 비평가 및 기자들과 함께 특별 상영회에 참여하도록 허용했습니다.

이는 유니버설이 현대 엔터테인먼트 언론계의 현실을 수용하고 있음을 보여줍니다. 영화 스튜디오 입장에서 인플루언서와 콘텐츠 크리에이터는 관객에게 도달할 수 있는 매우 가치 있는 경로가 되기 때문입니다.

결국 인플루언서와 콘텐츠 제작자들은 미디어 생태계에서 중요한 부분을 차지하고 있으며, 이는 영화 제작사들에게 새로운 마케팅 및 홍보 기회를 제공하고 있습니다.

Flexible metaprogramming with Rhombus

Rhombus는 Racket의 메타프로그래밍 기능을 단순한 Python과 유사한 구문과 합리적인 표준 라이브러리 기본값에 결합하여 유연한 프로그래밍을 목표로 하는 새로운 언어입니다. 이 프로젝트는 학문적 기반을 가지고 있으며 Racket 프로그래밍 언어 재단으로부터 실용적인 사용을 위한 지원을 받고 있습니다.

Rhombus의 핵심은 효율성을 높인 데이터 구조에 있습니다. 기존 Lisp 계열 언어에서 흔히 사용되는 단일 연결 리스트 대신, Rhombus는 불변 트리 구조를 기반으로 리스트를 구현하여 많은 연산을 로그 시간 복잡도로 수행합니다. 또한 표준 라이브러리에는 평평한 가변 배열, 트리 기반 맵 및 집합, 해시 기반 맵 및 집합 등이 포함되어 있어 개발자가 효율적인 자료 구조를 쉽게 사용할 수 있도록 합니다.

언어 구문은 들여쓰기 기반이며, 조건문에서 분기를 위해 "|" 기호를 사용합니다. 특히 Rhombus의 반복문은 루프 결과를 최종 값으로 결합하는 선택적 "리듀서" 기능을 지원하여, 다른 언어의 리스트 컴프리헨션과 유사한 기능을 제공합니다. 이와 더불어 매크로 기능을 통해 언어의 특정 부분을 확장하거나 새로운 리듀서를 생성할 수 있어 유연성을 극대화합니다.

Rhombus는 MIT 또는 Apache 2.0 라이선스로 배포되며 Racket 런타임 위에 구축되어 있어 기존 Racket 인프라를 재사용할 수 있습니다. 이는 Rhombus가 학술적 연습을 넘어 실제 프로그래밍 환경에서 사용될 수 있도록 실용성을 확보하는 데 기여합니다.

Show HN: ZkGolf

영지식 증명(ZKPs)은 입력값을 공개하지 않고도 계산이 올바르게 실행되었음을 증명할 수 있게 해주는 기술입니다. 하지만 어떤 것을 증명하기 위해서는 먼저 계산을 유한체 위에서 다항식 방정식(제약 조건)으로 표현하는 회로(circuit) 형태로 만들어야 합니다. 현재 회로들은 증명자(prover)에게 시간 비용을 발생시키므로 실제 환경에서는 수동으로 최적화됩니다.

최근 연구자들은 형식 사양을 작성하고 이를 기반으로 대규모 언어 모델(LLM)이 회로를 생성하도록 실험하고 있습니다. 이 실험은 SHA-256 압축 알고리즘을 대상으로 시작되었으며, LLM에게 R1CS 정수화 및 대규모 필드를 목표로 회로를 작성하도록 요청했습니다. 이 과정에서 LLM은 몇 시간 만에 합리적인 구현을 제시했으며, 이후 제약 조건 수를 줄이는 방식으로 회로를 공격적으로 최적화하도록 지시했습니다.

이러한 과정을 통해 LLM은 현재 인간이 최적화한 SHA256 압축의 최고 수준을 능가하는 비결정적 회로를 도출해냈습니다. 이 경험을 바탕으로 연구팀은 ZKP 사용의 기준을 낮추고 적용을 더 효율적으로 만들기 위해 최적화되고 형식적으로 검증된 회로를 생산하는 오픈 경쟁인 "zk.golf"를 창설했습니다.

Show HN: Inkwell – An RSS reader for e-ink devices

Inkwell은 Kindle의 내장 브라우저에 최적화된 정적 HTML 형태로 기사들을 제공하는 자체 호스팅 RSS/Atom 리더입니다. 이 도구는 사용자가 기기에서 터치할 때 로컬 디스크에서 즉시 렌더링할 수 있는 바이트를 가져오기 위해 모든 기사를 미리 추출하고 모든 내장 이미지를 트랜스코딩하는 백그라운드 작업을 수행합니다.

이러한 사전 처리 방식 덕분에 사용자는 e-ink 기기에서 매우 빠르고 효율적인 독서 경험을 할 수 있습니다. Inkwell은 키보드 단축키를 통해 챕터 탐색, 검색, 도움말 표시 등을 지원하며, 사용자는 목록 보기, 기사 보기, 나중에 읽기 보기 등의 다양한 뷰와 Kindle에서의 동작 방식을 설정할 수 있습니다.

개발자들은 Inkwell을 Docker 환경에서 소스 코드로 빌드하여 실행할 수 있으며, docker-compose, 리버스 프록시, 관리자 접근 제어, 백업, 업그레이드를 포함한 자체 호스팅 환경을 구축할 수 있습니다. 또한, 피드 및 그룹을 추가/제거하고 OPML을 가져오는 등 관리 기능을 제공하여 사용자가 자신의 콘텐츠를 완벽하게 통제할 수 있도록 합니다.

사용자 인증은 기기에서 타이핑 없이 인증 게이트웨이를 통해 새로운 Kindle을 등록하는 방식으로 처리되며, 모든 설정은 YAML 필드와 환경 변수를 통해 참조할 수 있습니다.

Melinda Gates’ venture firm backs Magnify Ventures’ $46.6M Fund II

멜린다 게이츠의 벤처 캐피털 회사가 Magnify Ventures의 펀드 II에 투자하며 총 4660만 달러를 지원했습니다. 이 펀드는 멜린다 프렌치 게츠의 Pivotal Ventures를 포함한 여러 투자자들로부터 자금을 모았습니다.

Magnify Ventures는 2021년에 설립되었으며 보조 로봇, 가족 사이버 보안, 가정용 AI와 같은 돌봄 경제 관련 기업에 투자하는 초기 단계 회사입니다. 이들은 특히 가정, 건강 및 홈 시스템을 위한 AI 도구와 가족을 위한 핀테크 인프라 구축에 중점을 두고 펀드 II에 투자할 계획입니다.

이러한 투자는 Magnify Ventures가 이전 2022년에 5200만 달러 규모의 펀드 I를 조성했으며, Pivotal Ventures가 이 펀드의 주요 투자자였던 맥락에서 이루어졌습니다. Magnify Ventures는 이미 Kinside나 Till Financial과 같은 돌봄 관련 스타트업에 투자한 바 있으며, Pivotal Ventures는 돌봄 경제 분야 기업들을 지원하는 역할을 하고 있습니다.

결론적으로 이번 투자는 가정 및 가족 시스템에 AI 기술을 통합하는 분야에 대한 집중을 보여주며, 돌봄 경제와 기술 혁신이 결합된 시장에서 새로운 기회를 모색하고 있음을 시사합니다.