QR 코드 스캔하여 다운로드
검색“Lean”결과14관련 결과
Techub News 소식, @VitalikButerin이 트윗을 통해 Lean 프로그래밍 언어를 사용한 'vibe-coding'(분위기 코딩) 방식으로 중요한 프로젝트를 개발하는 것에 대해 점점 더 긍정적으로 생각한다고 밝히며, 관련 기술 예시 링크를 공유했습니다. Vibe-coding은 개발자가 자연어로 요구사항을 설명하면 AI가 코드를 생성해 주는 프로그래밍 방식을 말합니다. Lean은 함수형 프로그래밍 언어이자 정리 증명 도구로, 수학적 증명과 핵심 코드의 정확성을 형식적으로 검증하는 데 자주 사용됩니다.
Techub News 소식, 비트코인 채굴 기업 CleanSpark이 2월 운영 업데이트를 발표했습니다. 해당 회사는 당월 총 568개의 비트코인을 채굴했으며, 553.02개의 비트코인을 판매했습니다. 2월 말 기준으로, 그들은 총 13,363개의 비트코인을 보유하고 있으며, 운영 해시레이트는 50.0 EH/s, 평균 운영 해시레이트는 43.2 EH/s입니다.
Techub News 소식, 비트코인 채굴 기업 CleanSpark이 1월 채굴 및 운영 업데이트를 공개했다. 해당 기업은 당월 총 573개의 비트코인을 채굴했다. 1월 31일 기준, 해당 기업의 운영 해시레이트는 50 EH/s이며, 비트코인 보유량은 13513개에 달한다.
Techub News 소식, 비트코인 채굴 기업 클린스파크(CleanSpark)가 2025년 12월 31일까지의 분기 실적을 발표했다. 분기 매출은 1억 8120만 달러로, 전년 동기 1억 6230만 달러 대비 1890만 달러(11.6%) 증가했다. 2025년 12월 31일까지의 3개월간 순손실은 3억 7870만 달러를 기록한 반면, 전년 동기에는 순이익 2억 4680만 달러를 기록했다. 분기 말 기준, 해당 회사는 현금 4억 5800만 달러, 비트코인 보유량 10억 달러, 운전자본 13억 달러를 보유한 것으로 보고했으며, 장기 부채는 18억 달러다.
Techub News 소식에 따르면, CleanSpark은 2025년 12월에 622개의 비트코인을 채굴하여 11월의 587개보다 증가했으며, 2025년 전체 누적 채굴량은 7,746개의 비트코인에 달했습니다. 회사는 12월에 577개의 비트코인을 판매하여 약 5,146만 달러의 수익을 얻었으며, 2025년 12월 31일 기준으로 보유한 비트코인 총량은 소폭 증가하여 13,099개가 되었다고 밝혔습니다.
Techub News 보도에 따르면, 비트코인 채굴 기업 클린스파크(CleanSpark)가 4억 6,000만 달러를 투입해 3,060만 주의 보통주를 환매했다고 발표했습니다. 이는 현재 회사 유통주식 총수의 약 10%에 해당합니다. 이번 환매에는 회사 이사나 고위 간부들의 지분은 포함되지 않았습니다. 또한, 이전에 공개된 전환우선사채 발행을 통한 11억 5,000만 달러 자금 조달 거래가 현재 완료되었습니다.
Techub News 소식, The Block 보도에 따르면 CleanCore Solutions 회사는 자사의 DOGE 디지털 자산 재고가 이전에 발표한 '10억 DOGE 인수' 목표에 점점 가까워지고 있다고 밝혔다. 현재 CleanCore는 7.1억 개의 도지코인을 보유하고 있으며, 현재 가격으로 계산했을 때 약 1.88억 달러의 가치에 해당한다. 해당 회사가 9월 11일에 발표한 업데이트 데이터에 따르면 당시 보유량은 약 5억 DOGE였다. 현재 해당 회사는 1.75억 달러의 사모 배정 주식 등록(공개 시장 유통 허용)을 기다리고 있다.
Techub News 소식, 비트코인 광업 기업 클린스파크가 9월 채굴 및 운영 업데이트를 공개했다. 해당 회사는 당월 총 629비트코인을 채굴했다. 9월 30일 기준, 해당 회사의 운영 해시레이트는 50 EH/s, 비트코인 보유량은 13011개에 달한다.
Techub News 소식, Arkham 데이터에 따르면 CleanSpark가 9시간 전에 Coinbase Prime으로 5810비트코인을 이전했으며, 가치는 7억 달러를 초과합니다.
Techub News 소식, 비트코인 광업 기업 클린스파크(CleanSpark)가 투 프라임(Two Prime)으로부터 새로운 1억 달러 규모의 비트코인 담보 대출 한도를 획득했다고 발표했습니다. 이번 자금 조달로 클린스파크의 총 담보 대출 규모는 4억 달러에 달하게 되었으며, 조성된 자금은 비트코인 채굴 연산력(해시레이트) 배치 지원, 고성능 컴퓨팅(HPC) 능력에 대한 투자, 그리고 회사의 디지털 자산 관리 전략을 지원하는 데 사용될 것으로 예상됩니다.
