· software
Show HN: Lean4 증명, SSOT는 정의 시점 훅과 introspection을 필요로 함
나는 Lean 4에서 Single Source of Truth SSOT 원칙을 약 2.1k LOC, zero sorry 로 형식화하고 두 가지 핵심 결과를 증명했다: Structural SSOT는 a la…에만 달성될 수 있다.
-
- · it
딥테크 전문기업 ‘QAI’, 국내 최초 ‘상업용 양자-AI 하이브리드 데이터센터’ 시대 개막
퀀텀 AI 전문기업 ㈜큐에이아이 대표 임세만, 이하 QAI가 양자기술 전문기업 SDT 대표 윤지원와 ‘하이브리드 양자 컴퓨팅 시스템 구축’ 계약을 체결하며 차세대 인프라 시장 공략에 나선다. QAI는 상업용으로는 국내 최초인 20큐비트 초전도체 양자 컴퓨터 KREO SC-20를 구매했으며,...
- · devops
탐지를 넘어: 탄력적인 소프트웨어 공급망 구축 (Shai-Hulud Post-Mortem에서 얻은 교훈)
Shai-Hulud npm 사건은 현대 소프트웨어 공급망에서 반응형 보안의 한계를 드러냈습니다. 다음 대규모 공격을 견뎌내기 위해 조직은…
- · it
Databricks의 Instructed Retriever가 기존 RAG 데이터 검색을 70% 능가 — 엔터프라이즈 메타데이터가 빠진 연결 고리였다
데이터 검색 작업의 핵심 요소는 retriever라는 구성 요소를 사용하는 것입니다. 이 구성 요소의 역할은 주어진 쿼리에 대해 관련 콘텐츠를 검색하는 것입니다. In...
- · software
SQL WHERE 절: 내가 알고 있다고 생각했는데… LIKE에 대해 물어볼 때까지 😭
WHERE 절이란 무엇인가? WHERE 절은 기본적으로 SQL의 필터 버튼과 같습니다. 전체 행을 원하지 않고, 특정 행만 원합니다. sql SELECT FROM students; 모든 행
- · it
라이프스타일 테크 기업 ‘커버써먼’, 인터베스트로부터 후속 투자 유치
라이프스타일 테크 기업 ㈜커버써먼대표 이재호이 기존 투자사인 인터베스트로부터 후속 투자Follow-on를 유치했다. 투자 금액은 양사 합의에 따라 비공개로 진행되었다. 이번 투자는 커버써먼의 기술 경쟁력과 중장기 성장 전략에 대한 신뢰를 바탕으로 이뤄진 전략적 투자다. 인터베스트는 초기...
- · software
JsWeb — 설정 없이 AJAX, Admin Panel 및 내장 API Docs를 제공하는 초고속 ASGI Python 웹 프레임워크
소개 JsWeb은 최신 ASGI 기반 Python 웹 프레임워크로, 속도, 단순성, 그리고 프로덕션 준비가 된 파워를 하나의 패키지에 제공합니다. 봇을 지원합니다.
- · it
AI 교육기업 ‘위버스브레인’의 ‘맥스AI’, 토스·SPA 시험 대비 코스 출시
AI 교육기업 위버스브레인 대표이사 정연중, 조세원의 AI 튜터 기반 일대일 화상 영어 서비스 ‘맥스AI’가 토익스피킹과 SPA 시험 대비 전용 코스를 새롭게 출시했다. 토익스피킹과 SPASpeaking Proficiency Assessment는 취업 및 이직 과정에서 활용되는 대표적 영…
- · software
Clone Graph: 코딩 문제 솔루션 설명
Clone Graph 문제는 연결된 그래프의 깊은 복사본을 만드는 것을 요구합니다. 그래프의 각 노드에는 값과 이웃 노드들의 리스트가 포함되어 있습니다....
- · software
Python을 사용해 나만의 Linux 명령어를 만든 방법 (초보자 친화적, 실전)
왜 직접 명령을 만들까요? 그것은 한 번에 세 가지 중요한 것을 가르쳐 주기 때문입니다: - Linux 명령이 실제로 어떻게 작동하는지 - Python 패키지가 어떻게 구조화되는지 - How...
- · it
푸드테크 ‘널담’, GS25서 고단백 저당 베이글·쿠키 신규 맛 2종 런칭
푸드테크 기업 조인앤조인의 프리미엄 고기능성 브랜드 '널담'이 GS25에 고단백 저당 간식의 신규 제품을 단독 출시했다. 널담은 8일 자사 베스트셀러 상품인 ‘고단백 저당 배꼽베이글’과 ‘고단백 저당 르뱅쿠키’의 신규 플레이버 2종을 전국 GS25 편의점에 공급한다고 밝혔다. 이번 신제...
- · it
[커머스BN] 2025년 트렌드로 보는 2026년 커머스 업계 (2)
이전 기사에서 2025년을 돌아봤으니, 2026년 나타날 커머스 업계의 트렌드를 살펴보아야겠지요. <목차 1......