Tensor Shapes
Pyrefly는 PyTorch 모델 내 텐서의 형태(shape)를 추적하여 정적 타입 검사와 자동 인레이 타입 힌트를 제공하는 실험적 도구입니다. 심볼릭 정수 산술과 연산자별 형태 변환 규칙을 결합해 복잡한 텐서 형태를 추론하며, 코드 작성 시 중간 텐서의 형태를 즉시 확인할 수 있어 디버깅과 개발 생산성을 크게 향상시킵니다. 기존 Pyre, Pyright, jaxtyping과 비교해 더 간결하고 실용적인 타입 시스템을 제공하며, PyTorch 연산자에 대한 형태 변환 DSL 확장도 지원합니다. 현재 활발히 개발 중이며 커뮤니티 기여를 받고 있습니다.
Every 0UTC Wednesday!
there will of course be the Tuesday-evening-in-the-Americas #lispyGopherClimate #live on
#archive
https://toobnix.org/w/eCCvKBZvuwkXj244ojjzTU
!
- show starts with @kentpitman #haiku and a discussion of the #climateCrisis
Kent and Ramin will join today for a discussion of #lisp #IDE s.
Kent scanned his historical c. 1980 #TECO #emacs cheatsheet: https://climatejustice.social/@kentpitman/116484262128356625
Ramin's #schemacs https://emacsconf.org/2025/talks/schemacs/
viz Smith's new mine #staticTyping #coalton ide.
+ the emacs/ide ecosystem.
#lispyGopherClimate If the stars align and everything works
https://toobnix.org/w/m18PXLF4busMtXMh1Zby8Z
#peertube #archive sunday morning in Europe !
I'm still out-of-it-after-surgeory so I am going to read these threads:
https://appdot.net/@mdhughes/116451465535355292 @mdhughes @lain_7 @djl @indyradio in the vane of Liskov's #CLU #history .
https://mastodon.scot/@simon_brooke/116469811023564889 @simon_brooke tried Robert Smith ( #coalton #staticTyping )'s new #commonLisp #IDE https://coalton-lang.github.io/20260424-mine/
Poetry-wise, reading @vnikolov 's https://ieji.de/@vnikolov/116469719666807396
I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.
https://coalton-lang.github.io/20260424-mine/
@vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt (reverse-chronological earlier toots).
EDIT:
Simon Brooke's review was a major topic in the sunday-morning-in-europe #lispygopherclimate see
https://gamerplus.org/@screwlisp/116469933987641020
By Robert Smith mine is a brand new IDE for Coalton and Common Lisp, built from the ground up with one purpose: To make Coalton and Common Lisp easier and more accessible to the programming world. TL;DR? Go to mine's homepage with downloads for Windows/macOS/Linux. mine is a complete, single-download application that comes with everything needed to experience the interactive and incremental development programming workflow, including hot-reloading and on-the-fly debugging, that Lisp programmers often refer to as the differentiating feature of the ecosystem. After installing, one can immediately open a file, program some Coalton or Lisp, and beam code to the REPL. On the same token, it has many of the advanced features you’d expect in a professional IDE:
Today at work I learned that you can make `.d.ts` files adjacent to `.js` files and TypeScript's compiler (and IDEs) can treat it just like Ruby + RBS sidecars! 😍
#JavaScript #TypeScript #Ruby #StaticTyping #TypeHints #DynamicLanguages #Programming
Raise a hand if you find dynamic typing disfavourable!
Play Static Games, Win Static Prizes https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/
#staticTyping #typechecking #staticProgramAnalysis #commonLisp #lisp #sbcl #series #acl2
In which I look at modern and to some extent historical static program analysis popularly used with common lisp #programming.
I accidentally make the really good point that even if #sbcl is not your deployment target, you can still use its static type checking, for which I work an example.
#lazyEvaluation and formal theorems are also included.
@mdhughes @screwtape @smlckz @sektor @clew @eduardoochs @dougmerritt
The point is not that static type checking is omnipotent: it isn't, of course.
The point is that it catches _very many_ mistakes that programmers are _prone_ to make.
I say again: mistakes that are _often_ made, not all that can be made _in principle_.
> function addints(int x, int y) : int { return 3; }
This is too trivial.
Warning: variable declared but never used.
🐘 The case against static typing in PHP | Tony Marston
https://www.tonymarston.net/php-mysql/against-static-typing-in-php.html
sayzard
screwlisp
Kerrick Long (code)
Solar Granulation
Vassil Nikolov | Васил Николов
N-gated Hacker News
jbz