◀ 일년전◁ 한달전<< 일주일전< 하루전| 2025-03-26 |다음날 >일주일후 >>

TLA+ - 프로그램 및 동시/분산 시스템을 모델링하기 위한 고급 언어

(lamport.azurewebsites.net)

- TLA+는 코드 수준이 아닌 상위 수준에서 **소프트웨어를 모델링**하고, 회로 수준이 아닌 상위 수준에서 **하드웨어를 모델링**하기 위한 **언어...

21 points by xguru 8일전 | 댓글 3개

▲

Crabtime - Zig의 Comptime을 Rust에서 사용합시다

(crates.io)

- **컴파일 타임**에 인라인 Rust 로직을 평가하여 **새로운 코드를 생성하여 추가**해주는 매크로 - Procedural 매크로보다 더 많은 유연성과...

5 points by xguru 9일전 | 댓글 1개

▲

argp - Go용 GNU 스타일 커맨드라인 인자 파서

(github.com/tdewolff)

- `./test -vo out.png --size 256 input.txt` 같은 GNU 표준을 따르는 명령줄 인자 파서 - `-h` 및 `--help`로 내장된 도움말 메시지 제공 ...

2 points by xguru 9일전 | 댓글 1개

▲

Show GN: velopers: 국내 IT 기업들의 기술 블로그를 한곳에서 모아볼 수 있는 웹사이트

(velopers.kr)

### 소개 velopers는 다양한 국내 IT 기업들의 기술 블로그를 한곳에서 모아볼 수 있는 웹사이트에요. 기업 테크 블로그 포스팅을 RSS 기반...

21 points by sm0514sm 8일전 | 댓글 7개

▲

Show GN: 쉽고 빠르게 설치할 수 있는 최신 Git 라이브러리, es-git

(es-git.slash.page)

지금까지 Node.js에서 Git을 다루려면 느린 설치 속도를 감내하거나, 비효율적으로 Git 프로세스를 직접 띄워야 했어요. 토스에서 Git을 현...

9 points by raon0211 8일전 | 댓글 2개

▲

Show GN: Every TypeScript developer is AI developer

(dev.to)

- Agentica, Function Calling 특화 프레임워크 - TypeScript 클래스 타입만 넣으면, 그 함수들을 호출해주는 챗봇 완성 - 컴파일러가 소스 ...

1 point by samchon 8일전 | 댓글 7개

▲

코딩은 프로그래밍이 아니에요

(socallinuxexpo.org)

- Leslie Lamport는 LaTeX의 초기 개발자이며 분산 시스템 분야의 선구자. 2013년 튜링상 수상 - 그가 SCaLE 22x 키노트에서 **추상화의 중요...

49 points by GN⁺ 9일전 | 댓글 5개

▲

자신을 팔고, 작업을 팔기

(solipsys.co.uk)

- 기술적으로 훌륭한 작업을 혼자서 만족하며 해냈다고 해도, 다른 사람에게 알리지 않으면 아무 의미가 없음 - 아무도 당신의 작업을 모르게 ...

42 points by GN⁺ 8일전 | 댓글 4개

▲

Hacker News 유명도 기준 최고의 개인 블로그들

(refactoringenglish.com)

- Hacker News에서 인기 있는 개인 블로그를 순위별로 나열한 목록으로, 각 블로그의 저자, 주제 및 총 점수를 표시 - 다양한 기술 및 비즈니스...

33 points by GN⁺ 8일전 | 댓글 1개

▲

스패머들이 SPF, DKIM, DMARC를 더 잘 활용함

(toad.social)

- DMARC, SPF, DKIM과 같은 이메일 인증 방법은 스팸을 줄이기 위한 수단으로 사용되지만, 실제로는 스팸 발송자들이 더 잘 활용하고 있음. - ...

14 points by GN⁺ 9일전 | 댓글 2개

▲

Polypane - 야심찬 웹 개발자를 위한 브라우저

(polypane.app)

- 반응형 디자인, 접근성, 성능 테스트 등 웹사이트 개발과 디버깅, 테스트를 위한 기능이 통합된 데스크탑 브라우저(크로미움 기반) - 모든 작...

13 points by GN⁺ 9일전 | 댓글 4개

▲

OpenAI, 4o 이미지 생성 기능 공개

(openai.com)

- OpenAI는 **이미지 생성**이 언어 모델의 핵심 기능 중 하나여야 한다고 오랫동안 믿어왔고, 이러한 비전을 바탕으로 가장 정교하고 **강력한 이...

12 points by GN⁺ 9일전 | 댓글 3개

▲

오픈소스 개발자, AI 크롤러가 트래픽을 초래하면서 국가 전체를 차단

(arstechnica.com)

- AI 크롤러가 오픈소스 프로젝트 사이트에 과도한 트래픽을 유발하면서 실제로 서비스 마비 수준의 피해 발생 - AI 크롤러는 `robots.txt` 무...

9 points by GN⁺ 8일전 | 댓글 1개

▲

구글, Gemini 2.5 출시

(blog.google)

- Gemini 2.5는 복잡한 문제 해결을 위해 설계된 가장 지능적인 **추론 기반 AI 모델** - 최초 릴리스인 **Gemini 2.5 Pro Experimental**은 다...

8 points by GN⁺ 9일전 | 댓글 3개

▲

AI의 주요 가치는 R&D보다 광범위한 자동화에서 발생함

(epoch.ai)

- 일반적으로 AI의 경제적 가치는 **연구 및 개발(R&D)** 자동화를 통해 창출될 것이라는 관점이 널리 퍼져 있음 - **Dario Amodei**는 AI가 ...

8 points by GN⁺ 9일전 | 댓글 2개

▲

Node.js에서 Corepack 배포 중단하기로 결정

(socket.dev)

- Node.js 기술운영위원회(TSC)가 Corepack을 더 이상 Node.js에 포함해 배포하지 않기로 공식 투표로 결정함 - Node.js 25버전부터 적용되며, ...

4 points by GN⁺ 9일전 | 댓글과 토론

▲

Stoop Coffee: 간단한 아이디어가 우리 동네를 변화시킨 방법

(supernuclear.substack.com)

- Patty와 남편 Tyler는 도시에서도 교외 같은 공동체 느낌을 만들고자 노력함 - 처음엔 쿠키를 만들어 돌리거나 저녁 식사에 초대할까 고민했...

3 points by GN⁺ 9일전 | 댓글 1개

▲

Search My Site – 개인 및 독립 웹사이트를 위한 오픈소스 검색 엔진

(searchmysite.net)

- "indieweb", "small web", "digital gardens"와 같은 비상업적 콘텐츠에 초점을 맞춘 틈새 검색 엔진임 - 주로 개인 및 독립 웹사이트를 대상...

2 points by GN⁺ 9일전 | 댓글 1개

▲

일본 과학자들, 척수 손상 치료를 위한 줄기세포 임상 실험

(medicalxpress.com)

- 일본 Keio University 연구진이 세계 최초로 iPS 줄기세포를 이용한 척수 손상 치료 임상 시험을 실시함 - 중증 척수 손상으로 인한 마비에 ...

2 points by GN⁺ 9일전 | 댓글과 토론