Google의 '내 정보 결과' 도구 업데이트: 개인 정보 삭제 더욱 쉬워져

2025-02-26
Google의 '내 정보 결과' 도구 업데이트: 개인 정보 삭제 더욱 쉬워져

2022년에 출시되어 2023년에 업데이트된 Google의 '내 정보 결과' 도구는 사용자가 온라인상의 개인 정보를 관리하는 데 도움을 줍니다. 최근 업데이트에는 디자인이 개선된 허브와 오래된 검색 결과를 업데이트하는 기능이 포함됩니다. 사용자는 검색 결과에서 직접 삭제 요청을 보내고 검색을 새로 고쳐 최신 정보를 얻을 수 있습니다. 대대적인 개편은 아니지만, 업데이트를 통해 사용자 경험이 향상되고 개인 정보 관리가 간소화됩니다. 하지만 이 도구는 전 세계적으로 사용 가능한 것은 아닙니다.

더 보기
기술 검색

스웨덴, 데모신을 유네스코 무형유산으로 지정

2025-03-31
스웨덴, 데모신을 유네스코 무형유산으로 지정

스웨덴이 데모신을 국가 유네스코 무형문화유산으로 지정했습니다. 아마도 가장 오래된 창의적인 디지털 서브컬처일 데모신은 기술적, 경제적 변화 속에서도 그 가치관과 전통을 유지해왔습니다. 하드웨어 한계를 뛰어넘는 경쟁이 중심이지만, 데모신에는 기이한 작품을 만드는 것, 온라인 커뮤니티를 유지하는 것, 파티를 기획하는 것 등 다양한 활동이 포함됩니다. 저자는 향수에 젖은 프로그래머와 파격적인 아티스트 모두를 사로잡는 이 장면의 다양성과 포용성을 강조합니다.

더 보기

숨겨진 공격: 테넌트 수준의 보안 분석이 악의적인 활동을 폭로하다

2025-03-31
숨겨진 공격: 테넌트 수준의 보안 분석이 악의적인 활동을 폭로하다

보안팀은 평범한 사용자 로그인으로 위장된 24명의 사용자를 표적으로 한 정교한 공격을 발견했습니다. 공격자는 Microsoft Azure CLI를 사용하여 멕시코 데이터센터에서 여러 계정에 대한 로그인을 시도했습니다. 각 사용자에 대한 시도는 2회 이하로 제한되어 무차별 대입 공격 감지를 회피했습니다. 또한 2001:0470:c8e0::/48 IP 주소 범위를 사용하여 IOC 기반 감지를 회피했습니다. 개별 사용자가 아닌 테넌트 수준의 로그인 활동을 분석함으로써 팀은 공격을 성공적으로 식별했습니다. 이는 평범한 사용자 행동에 숨겨진 악의적인 활동을 발견하기 위해 테넌트 전체 로그 분석이 중요함을 보여줍니다.

더 보기

Diaspora* 내부 팀 연락 사항

2024-12-30
Diaspora* 내부 팀 연락 사항

이 발췌문은 Diaspora* 내부 팀 연락 사항에서 발췌한 것입니다. 웹사이트가 제대로 작동하려면 JavaScript를 활성화해야 한다고 명시하고 있으며, 콘텐츠 신고 방법과 신고 기준에 대한 설명도 포함되어 있습니다. Diaspora* 프로젝트 토론 및 지원 링크, 코드 버전, Pod 통계, 이용 약관, 연락처 정보, 터치 최적화 모드 전환 옵션 등 웹사이트 정보도 표시됩니다.

더 보기
개발

조지아에서 미지의 문자가 새겨진 신비로운 돌판 발굴

2024-12-14
조지아에서 미지의 문자가 새겨진 신비로운 돌판 발굴

조지아 드마니시 지역 바슈플레미 호수 근처에서 수수께끼 같은 언어가 새겨진 현무암 돌판이 발견되었다. 24.1 x 20.1cm 크기의 이 돌판에는 60개의 문자(그중 39개는 고유한 문자)가 새겨져 있으며, 연구원들을 당황하게 만들었다. 이 기호들은 전리품, 건설 프로젝트 또는 종교 의식과 관련이 있을 가능성이 있으며, 중동, 인도, 이집트, 서이베리아의 문자와 부분적으로 유사하지만, 명확한 유사성은 없다. 청동기 시대 후기 또는 철기 시대 초기의 것일 가능성이 있으며, 이 돌판은 코카서스 지역의 문화사에 새로운 복잡성을 더하고, 다양한 지역 간의 고대 문화 교류를 시사한다.

더 보기

Python 클래스: 언제 피해야 할까요?

2025-07-24

Python은 간결함과 가독성으로 유명하며, 클래스는 객체지향 프로그래밍에서 강력한 기능입니다. 하지만 항상 최선의 선택은 아닙니다. 이 글에서는 Python의 내장형, 함수, 표준 라이브러리 모듈이 더 간단한 대안을 제공하는 시나리오를 살펴봅니다. 예를 들어, 간단한 데이터 컨테이너 대신 namedtuple이나 dataclass를 사용하거나, 상태가 없는 유틸리티 클래스 대신 함수를 사용하거나, 상수 그룹화에 모듈을 사용하거나, 간단한 상태 관리에 사전이나 목록을 사용하거나, 일회용 작업에 람다 표현식이나 리스트 컴프리헨션을 사용하거나, Python의 풍부한 표준 라이브러리를 활용하는 등입니다. 이 글에서는 클래스에 의존하기 전에 더 간단하고 효율적인 대안을 고려하여 코드를 깔끔하고 간결하게 유지하는 것을 강조합니다. 경우에 따라서는 클래스를 완전히 생략하는 것이 좋습니다.

더 보기
개발

기쁨을 재발견하세요: AI 시대에 개인 웹사이트 만들기

2025-02-26
기쁨을 재발견하세요: AI 시대에 개인 웹사이트 만들기

저자는 오늘날 상업화되고 중앙 집중화된 웹에 대한 대응책으로 개인 웹사이트 구축으로의 회귀를 촉구합니다. 이 글은 초기 웹사이트의 개성과 현대 기업 사이트의 동질성, 그리고 대규모 플랫폼 의존과 관련된 데이터 프라이버시 문제점을 대조합니다. 독자들은 개인적인 관심을 동기로 하여 독창적인 온라인 공간을 만들고 콘텐츠에 대한 통제권을 되찾도록 격려받습니다. Neocities와 같은 편리한 웹사이트 제작 도구 및 플랫폼도 소개됩니다. 이 글은 더욱 분산된 웹에 대한 동경과 독립적인 창작의 축제를 반영합니다.

더 보기

Google Cloud 서비스 상태: 포괄적인 모니터링

2025-06-12

Google Cloud Platform은 모든 서비스의 실시간 상태 모니터링 페이지를 출시했습니다. 이 페이지는 Compute Engine부터 AI Platform까지 다양한 서비스의 작동 상태를 나열합니다. 사용자는 다양한 지역 및 다중 지역의 서비스 가용성을 쉽게 확인할 수 있습니다. 여기에 나열되지 않은 문제가 발생하면 지원팀에 문의하십시오. 서비스 상태 정보 및 해석 방법에 대한 FAQ도 제공됩니다.

더 보기

ToS;DR: 동료 검토를 통한 서비스 약관 간소화

2025-03-31
ToS;DR: 동료 검토를 통한 서비스 약관 간소화

ToS;DR은 개인 정보 보호 정책 및 서비스 약관의 이해를 간소화합니다. 자원 봉사 기여자는 약관을 검토하고 점수(좋음, 중립, 나쁨, 차단)를 매깁니다. 최종 등급(A~E)은 공정성을 반영합니다. 많은 서비스가 아직 등급이 지정되지 않았습니다. 사용자의 기여를 환영합니다.

더 보기

Google Android XR 카메라 접근: 스마트폰처럼 간편하게

2025-02-07
Google Android XR 카메라 접근: 스마트폰처럼 간편하게

이 기사는 Google의 Android XR 시스템에서 카메라 접근 방식을 보여줍니다. 스마트폰과 마찬가지로 개발자는 사용자의 허가를 받아 카메라 데이터에 접근하고, 표준 Android Camera API(CameraX 등)를 사용하여 이미지 스트림을 가져올 수 있습니다. 전면 카메라에는 접근할 수 있지만(사용자 아바타 표시), 후면 카메라는 원시 데이터 스트림이 아니라 재구성된 이미지를 제공합니다. 이는 Apple의 Vision Pro 전략을 반영하며, Android 앱을 XR 기기로 원활하게 이식하고 스마트폰과 헤드셋 간에 일관된 권한 요청을 유지하도록 합니다. Android XR은 현재 미리 보기 단계이므로 향후 변경될 수 있습니다.

더 보기

TikTok이 '뇌 부패'를 일으키는가? 연구의 논란점과 한계

2025-03-02
TikTok이 '뇌 부패'를 일으키는가? 연구의 논란점과 한계

최근 중국 천진사범대학의 연구는 짧은 동영상(TikTok 등)의 과도한 소비가 뇌 구조를 변화시켜 소위 '뇌 부패'로 이어진다고 주장합니다. 이 연구는 헤비 유저에게 특정 뇌 영역의 회색질 증가와 뇌 활동 동기화 향상이 관찰되었다고 보고합니다. 그러나 이 연구에는 상당한 한계가 있습니다. 단면 연구 설계로 인과 관계를 증명할 수 없고, 전뇌 분석으로 인한 위양성 위험 증가, 뇌 활동 동기화 해석의 논란 등이 있습니다. 전문가들은 '짧은 동영상 중독'이 공식적인 임상 진단이 아니며, 이 연구 결과를 TikTok에 의한 뇌 손상으로 단순히 해석해서는 안 된다고 지적합니다. 무의미한 동영상 과다 시청이 문제가 될 수 있지만, 뇌 구조 변화를 걱정하기보다는 더 건강한 미디어 습관을 기르는 것이 생산적입니다.

더 보기
기술

2025년 나의 Home Assistant 사용기

2025-01-24
2025년 나의 Home Assistant 사용기

이 블로그 게시글은 작가가 7년 동안 Home Assistant를 사용하면서 겪은 경험을 자세히 설명합니다. 작은 아파트에서 IKEA 스마트 전구를 사용한 간단한 설정으로 시작하여 현재는 100개 이상의 기기를 갖춘 대규모 스마트홈으로 발전했습니다. 게시글의 핵심은 Home Assistant의 Adaptive Lighting을 사용한 정교한 조명 제어와 AI 코딩 어시스턴트인 Cursor를 활용하여 YAML 구성 및 디버깅을 간소화하는 방법입니다. 다양한 IKEA 전구 유형에 대한 최적화된 Adaptive Lighting 구성을 공유하고, 보다 정밀한 실내 온도 제어를 위한 스마트 라디에이터 밸브 통합 계획도 설명합니다.

더 보기
개발

NASA, ISS에서 최초의 Twitch 라이브 스트림!

2025-02-07
NASA, ISS에서 최초의 Twitch 라이브 스트림!

NASA는 2월 12일 오전 11시 45분(ET)에 국제 우주 정거장(ISS)에서 최초의 라이브 Twitch 스트림을 개최합니다! 우주비행사 Don Pettit과 Matt Dominick이 ISS에서의 일상 생활과 미세 중력 환경에서의 연구에 대해 이야기하고, 시청자들의 질문에 답변할 예정입니다. 이는 이전의 우주 유영, 발사, 착륙 라이브 스트림에 이어 NASA 최초의 Twitch 독점 우주 라이브 스트림이며, 앞으로도 유사한 이벤트가 계속될 예정입니다.

더 보기

독해력과 뇌 구조: 신경 영상 연구

2024-12-13
독해력과 뇌 구조: 신경 영상 연구

새로운 연구에 따르면 독해력이 다른 사람들의 뇌 구조에 상당한 차이가 있는 것으로 나타났습니다. 1,000명이 넘는 참가자의 오픈소스 데이터를 분석한 결과, 독해력과 좌측 전두엽 및 헤슐 회전의 구조 사이에 상관관계가 있는 것으로 나타났습니다. 좌측 두정엽은 다양한 정보를 통합하는 반면, 청각 피질의 일부인 헤슐 회전의 두께는 독해력과 상관관계가 있었습니다. 이 연구는 뇌의 가소성을 강조하며, 독서가 뇌 구조를 형성하고 개인과 인류 모두에게 이익을 가져다 준다는 것을 시사합니다.

더 보기

Little Sisyphus: 한 달 만에 완성된 NES 플랫포머

2025-02-19

2023년 NESDev Compo를 위해 단 한 달 만에 물리 기반 NES 플랫포머 게임인 Little Sisyphus가 개발되었습니다. 게임은 공을 산 정상까지 굴리는 간단한 게임이지만, 고대 그리스 도자기에서 영감을 얻은 독특한 아트 스타일과 도전적인 게임플레이를 제공합니다. 개발자는 NESFab 사용, 임펄스 기반 및 위치 기반 물리 엔진, 물 효과, 음악 작곡 등 개발 과정의 세부 사항을 설명합니다. NES 하드웨어의 제약으로 인해 타협이 있었지만, 최종 결과물은 효율적인 개발과 창의적인 문제 해결의 증거이며, AI 생성 아트도 활용되었습니다.

더 보기

AI 코드: 진동기에서 심박조율기까지 - 코드에 대한 신뢰는 어디까지일까요?

2025-07-10

저자는 진동기와 심박조율기 프로그램 코드를 예로 들어 AI 시대 코드의 안전성과 신뢰성에 대해 논의합니다. 단순한 진동기 프로그램과 복잡한 심박조율기 프로그램은 구조적으로 놀라울 정도로 유사하지만, 후자는 생명 안전과 관련되어 엄격한 검토 및 인증이 필요합니다. 저자는 미래에 AI가 인간보다 더 나은 코드를 생성할 수 있게 되더라도, 특히 자동차 제동 시스템과 같이 생명 안전과 관련된 프로그램에 대해 AI 생성 코드를 완전히 신뢰할 수 있을지 의문을 제기합니다. 저자는 오픈 코드, 사양, 프로세스 등 철저한 투명성이 신뢰 구축의 핵심이며, 코드의 정확성만으로는 불충분하고 포괄적인 시스템 이해 및 안전 조치도 필요하다고 주장합니다.

더 보기

캘리포니아 산불에 대한 미신 해체: 사실 대 허구

2025-01-13
캘리포니아 산불에 대한 미신 해체: 사실 대 허구

캘리포니아 산불이 맹렬히 타오르는 가운데 온라인상에서 잘못된 정보가 퍼져나갔습니다. 뉴섬 주지사 사무실은 예산 삭감, 산림 관리 부실, 물 부족, 그리고 산불 원인에 대한 허위 주장을 반박하는 성명을 발표했습니다. 실제로 CalFire 직원 수와 예산은 거의 두 배로 늘었고, 산림 관리에 대한 지출도 크게 증가했습니다. 저수지는 가득 차 있어 물 부족 주장은 사실이 아닙니다. 산불 원인에 대한 조사가 진행 중이며, 당국은 사탄 의식과 같은 주장을 부인하고 있습니다. 캘리포니아주는 전례 없는 산불에 대처하기 위해 광범위한 자원을 투입하고 있습니다.

더 보기

지브리코어: AI 아트의 즐거움과 딜레마

2025-03-31
지브리코어: AI 아트의 즐거움과 딜레마

OpenAI가 ChatGPT에 기본 이미지 생성 기능을 통합하면서 소셜 미디어는 스튜디오 지브리 스타일의 작품으로 넘쳐났다. 이는 AI, 예술, 그리고 주의의 미래에 대한 논쟁을 불러일으켰다. 기술적 발전이 상당했지만, 지브리 스타일 이미지를 만들기 위해 이 기능이 널리 사용된 것은 AI가 얼마나 쉽게 독특한 예술 양식을 재현할 수 있는지를 보여주었다. 이는 예술적 노동의 가치 하락과 AI에 의한 창의적 산출의 균질화 가능성에 대한 논의로 이어졌다. 이 사건은 AI가 기쁨과 혼란을 모두 가져올 수 있는 능력을 강조하며, AI 지원 창의적 프로세스를 이끌어가는 데 있어 아트 디렉션의 중요성이 점점 더 커지고 있음을 보여준다.

더 보기

Portspoof: 포트 스푸핑 오픈소스 도구가 포트 스캔을 방해하다

2024-12-25
Portspoof: 포트 스푸핑 오픈소스 도구가 포트 스캔을 방해하다

Portspoof는 OS 보안을 강화하도록 설계된 오픈소스 포트 스푸핑 도구입니다. 모든 65535개의 TCP 포트를 항상 열어 두고 모든 연결 시도에 SYN+ACK로 응답하여 포트 스캐너를 교란시킵니다. 또한 Portspoof는 다양한 서비스 배너를 모방하여 공격자가 실제 서비스를 식별하는 것을 더욱 어렵게 만드는 동적 서비스 시그니처의 방대한 데이터베이스를 갖추고 있습니다. 이를 통해 공격자가 포트 스캔 및 서비스 식별을 수행하는 데 걸리는 시간과 어려움이 크게 증가하여 root 권한 없이도 시스템 보안을 효과적으로 향상시킵니다.

더 보기

FurtherAI: AI로 보험 업무 혁신

2025-01-12
FurtherAI: AI로 보험 업무 혁신

Y Combinator를 포함한 최고 수준의 투자자들로부터 투자를 유치한 스타트업 FurtherAI는 AI 동료를 구축하여 보험 업무 워크플로우를 자동화하고 있습니다. 이러한 AI는 비정형 문서 처리, 데이터 입력, 심지어 전화 통화까지 처리할 수 있습니다. FurtherAI의 목표는 인간 직원과 동등한 수준의 신뢰성, 적응력, 그리고 지속적인 학습 능력을 갖춘 AI를 만드는 것입니다. 현재 제품 디자이너, 응용 연구 엔지니어, 소프트웨어 엔지니어 등 다양한 직책에 대한 채용을 진행 중이며, AI와 보험 업계에 관심 있는 분들에게 좋은 기회가 될 것입니다.

더 보기
AI

C/C++의 정의되지 않은 동작: 효율성과 보안의 줄타기

2025-03-16

이 글에서는 C/C++의 "정의되지 않은 동작"의 본질과 컴파일러 최적화 및 프로그램 보안에 미치는 영향을 심층적으로 다룹니다. 정의되지 않은 동작은 특정 상황에서 컴파일러가 고효율 코드를 생성할 수 있게 하지만, 프로그램이 예측할 수 없는 방식으로 동작하게 만들고 보안 취약성으로 이어질 수 있다고 주장합니다. 사례 연구를 통해 컴파일러가 최적화를 위해 정의되지 않은 동작을 활용하는 방법과 그 결과 발생하는 위험을 완화하는 방법을 설명합니다. 개발자는 주의를 기울이고 코드의 정확성과 보안을 보장하기 위해 여러 도구와 방법을 결합하는 것이 좋습니다.

더 보기

LIEF, DWARF 생성 추가: 리버스 엔지니어링 툴 통합 강화

2025-05-28
LIEF, DWARF 생성 추가: 리버스 엔지니어링 툴 통합 강화

LIEF는 이제 DWARF 파일을 생성하기 위한 포괄적인 API와 리버스 엔지니어링 분석 결과를 내보내기 위한 Ghidra 및 BinaryNinja 플러그인을 제공합니다. 이를 통해 함수 이름 및 구조체와 같은 중요한 정보를 서로 다른 리버스 엔지니어링 툴 간에 공유할 수 있습니다. LLVM의 DWARF 백엔드를 활용한 이 API(Python, Rust, C++에서 사용 가능)는 스택 변수 오프셋과 같은 세부 사항 처리도 간소화합니다. 이를 통해 복잡한 리버스 엔지니어링 프로젝트의 협업 및 이해도가 향상됩니다.

더 보기
개발

트럼프 행정부, 연방 정부 직원들에게 이메일 서명에서 대명사 삭제 명령

2025-01-31
트럼프 행정부, 연방 정부 직원들에게 이메일 서명에서 대명사 삭제 명령

ABC 뉴스가 입수한 내부 메모에 따르면, 여러 연방 정부 기관들이 직원들에게 금요일 오후까지 이메일 서명에서 대명사를 삭제하라는 명령을 내렸습니다. 이 지시는 트럼프 대통령이 취임 첫날 서명한 두 개의 행정 명령에서 비롯된 것으로, 다양성과 형평성 프로그램을 억제하는 것을 목표로 합니다. 교통부, 에너지부, CDC 등 여러 기관이 유사한 지시를 받았습니다. CDC 직원 중 한 명은 10년간의 근무 경험 동안 이러한 일이 없었다고 말하며 불만을 표했습니다. 인사 관리국도 각 기관에 이메일 시스템을 검토하고 대명사 입력을 요구하는 기능을 비활성화하라는 메모를 발표했습니다. 이러한 조치는 트럼프 행정부가 연방 정부 내 다양성과 형평성 노력을 해체하려는 최신 움직임입니다.

더 보기
기타 다양성

오픈소스 게임 엔진 boardgame.io: 턴 기반 게임 개발 간소화

2024-12-20
오픈소스 게임 엔진 boardgame.io: 턴 기반 게임 개발 간소화

boardgame.io는 턴 기반 게임 개발을 간소화하는 오픈소스 JavaScript 게임 엔진입니다. 상태 관리, 멀티플레이어 네트워킹, AI 상대 등 복잡한 부분을 자동으로 처리하여 개발자는 게임 로직 작성에 집중할 수 있습니다. 이 엔진은 여러 게임 단계, 로비 매칭, 프로토타이핑 기능, 다양한 뷰 레이어 기술(React 및 React Native 등)을 지원합니다. 강력한 플러그인 시스템과 추적 가능한 게임 로그를 통해 개발 효율성과 게임 경험이 더욱 향상됩니다.

더 보기

Browsercraft로 브라우저에서 수정되지 않은 Minecraft 실행

2025-03-31

Browsercraft는 WebAssembly 기반의 최신 브라우저용 Java 런타임인 CheerpJ를 사용하여 수정되지 않은 Minecraft(1.2.5) 버전을 브라우저에서 직접 플레이할 수 있게 해줍니다. CheerpJ는 수정 없이 모든 Java 애플리케이션을 실행하므로 독특한 성과입니다. 아직 개발 중이므로(현재 오디오는 지원되지 않음) 프로젝트는 오픈 소스이며 기여를 환영합니다.

더 보기
게임

Atlassian, Opsgenie를 Jira Service Management 및 Compass에 통합

2025-03-06
Atlassian, Opsgenie를 Jira Service Management 및 Compass에 통합

Atlassian은 고객의 요구를 더 잘 충족하기 위해 Opsgenie의 기능을 자사 플랫폼에 완전히 통합한다고 발표했습니다. Opsgenie의 알림 및 온콜 관리 기능은 Jira Service Management와 Compass 모두에 통합됩니다. Jira Service Management는 완벽한 인시던트 관리 솔루션이 되고, Compass는 컨텍스트가 풍부한 알림 및 온콜 관리를 제공합니다. Opsgenie는 2025년 6월 4일에 판매 종료되고, 2027년 4월 5일에 지원이 종료됩니다. 고객은 Jira Service Management 또는 Compass로 마이그레이션할 수 있으며, Atlassian은 맞춤형 마이그레이션 도구 및 지원을 제공합니다.

더 보기
개발

Yggdrasil: 실험적인 분산형 라우팅 기법

2025-05-08

Yggdrasil은 완전히 분산되어 있으며 작동에 필요한 상태가 매우 적은 실험적인 컴팩트 라우팅 기법입니다. 주로 최단 경로 기법이며, 네트워크는 목적지까지 가장 직접적인 경로를 찾으려고 합니다. 노드는 동등한 참여자이며, 네트워크 트래픽을 전달하는 피어 투 피어 연결을 사용하여 서로 연결됩니다. 피어링은 직접 유선 또는 무선 링크, LAN 또는 인터넷 등 모든 IP 네트워크에서 설정할 수 있습니다. 경우에 따라 동일한 네트워크의 근처 장치에서 멀티캐스트 디스커버리를 사용하여 피어링이 자동으로 설정될 수도 있습니다. Yggdrasil 네트워크의 모든 노드는 라우터 역할을 하며, 가능한 한 목적지에 가까워지도록 트래픽을 자동으로 전달합니다. 즉, 희소하게 연결된 네트워크에서도 네트워크의 모든 노드가 해당 네트워크의 다른 모든 노드에 접근할 수 있다는 의미입니다. 노드가 NAT 뒤에 있는 경우에도 상관없습니다. 피어링이 설정되면 트래픽은 해당 피어링을 통해 양방향으로 흐릅니다. Yggdrasil은 네트워크 변경에도 견딜 수 있도록 설계되었습니다. 예를 들어 링크가 실패하면 네트워크는 자체적으로 복구하고 사용 가능한 다른 링크를 사용하여 트래픽을 라우팅합니다. 이는 네트워크 토폴로지가 변경될 수 있으며, 종종 변경되는 메시 네트워크에서 사용하기에 적합합니다. 네트워크의 각 노드에는 위치와 관계없는 암호화된 ID가 있으며, 현재 실험적 구현에서는 이 키에서 안정적인 IPv6 주소가 생성됩니다. 따라서 IPv6을 지원하는 애플리케이션은 거의 수정 없이 Yggdrasil에서 작동할 수 있습니다. 주소는 완전히 모바일이며, 노드가 네트워크를 이동해도 유지됩니다.

더 보기

NIH, 최종 과학적 진실성 정책 폐지

2025-03-30

미국 국립보건원(NIH)은 행정부의 우선순위에 맞추기 위해 최종 과학적 진실성 정책(NOT-OD-24-178)을 폐지했습니다. NIH는 과학적 진실성 유지를 계속해서 노력하고 있으며, 연구 부정행위, 저자 표기, 인간 및 동물 피험자 보호, 데이터 관리 및 공유에 대한 여러 중복 정책을 유지하고 있습니다. 이 공지는 최종 과학적 진실성 정책에만 적용되며, 여기에 언급된 다른 정책에는 적용되지 않습니다. NIH는 HHS 과학적 진실성 정책도 준수할 것입니다.

더 보기
기술

Lean4에서 ZK 회로를 위한 임베디드 DSL 및 형식 검증 프레임워크: Clean

2025-03-27

연구원들은 제로 지식(ZK) 회로를 구축하기 위한 Lean4 기반의 임베디드 도메인 특화 언어(DSL) 및 형식 검증 프레임워크인 Clean을 개발했습니다. ZK 회로는 버그가 발생하기 쉽지만, Clean은 Lean4에서 회로를 정의하고, 원하는 속성을 지정하고, 공식적으로 증명함으로써 정확성을 향상시키는 것을 목표로 합니다. 이 프로젝트는 zkEVM 형식 검증 프로젝트의 일부이며, zkEVM의 형식 검증을 위한 인프라와 도구를 제공하는 것을 목표로 합니다. Clean은 회로 정의에 witness, assert, lookup, subcircuit의 네 가지 기본 연산을 지원하며, 사용 편의성을 높이기 위한 모나드 인터페이스를 제공합니다. 핵심은 FormalCircuit 구조이며, 회로 정의, 가정, 사양, 건전성, 완전성 증명을 종속형으로 밀접하게 패키징합니다. 하위 회로의 제약 조건을 (공식적으로 검증된) 사양으로 재귀적으로 대체함으로써 대규모 회로를 공식적으로 검증할 수 있습니다. 이 프레임워크는 이미 8비트 덧셈과 같은 간단한 회로를 성공적으로 검증했으며, 향후 계획으로 더 낮은 수준의 가젯을 추가하고, 일반적인 해시 함수 회로를 정의하고, RISC-V의 하위 집합을 위한 공식적으로 검증된 최소 VM을 구축하는 것이 있습니다.

더 보기
1 2 549 550 551 553 555 556 557 595 596