8000 silky (Noon van der Silk) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View silky's full-sized avatar

Highlights

  • Pro

Block or report silky

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@slightknack
Isaac Clayton slightknack
Big into compilers

Cambridge, MA

@nup002
Magne Lauritzen nup002
I code.

Well ID Liverpool, UK

@thiagokokada
Thiago Kenji Okada thiagokokada
dd if=/dev/urandom of=/dev/brain0

https://www.global-e.com/ Dublin, Ireland

@liamlaverty
Liam Laverty liamlaverty
Climate tech in Python, Typescript, C#, .Net. @Etive-Mor "Always read the instructions first, even if you don't intend to follow them"

@Etive-Mor Scotland

@Kalabasa
Lean Rada Kalabasa
Software Engineer

@Canva

@radiantearth
Radiant Earth radiantearth
Increasing shared understanding of our world through community-led initiatives that make data easier to access and use.
@uscuni
Research Team on Urban Structure uscuni
Research Team on Urban Structure of the Urban and Regional Laboratory at Charles University

Czech Republic

@Swilder-M
Ming Swilder-M
Enjoy Life, Enjoy Coding.

@emqx Hangzhou, China

@GearsDatapacks
Gears GearsDatapacks
Amateur software developer, investigating functional programming, compilers and Minecraft datpapacks. Core team member @gleam-lang, one half of @GMDU
@blackheaven
Gautier DI FOLCO blackheaven
Haskell, ViM, Pastas

Lyon, France

@jamii
Jamie Brandon jamii
Feral man-ape.

Vancouver, BC

@runevision
Rune Skovbo Johansen runevision
Indie game developer and procedural generation enthusiast.

Turku

@typst-community
Typst Community typst-community
A community-driven organization for sustaining software related to the Typst ecosystem.
@surprisetalk
Taylor Troesh surprisetalk
🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀 🐀🐀🐀

Seattle

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@nuta
Seiya Nuta nuta

@vercel Tokyo, Japan

@codingcatgirl
Laura codingcatgirl

Freelancer and @abiapp NRW, DE

@purefunctor
Justin Garcia purefunctor

@OxfordAbstracts Manila, Philippines

@alanagoyal
alana goyal alanagoyal
founder, general partner, & engineer

basecase capital sf

@ewan-klein
Ewan Klein ewan-klein

University of Edinburgh Edinburgh, UK

@bdon
Brandon Liu bdon
map stuff

@protomaps Taipei, Taiwan

@TodePond
Lu Wilson TodePond
slightly-surreal creative-coding

tldraw London, UK

@fonsp
Fons van der Plas fonsp
worried about climate change

TU eindhoven Wageningen, Netherlands

@jjba23
Josep Bigorra jjba23
Software Engineer, Backend

@Vandebron Netherlands

@PowerweaveInc
Powerweave PowerweaveInc
Local electricity markets platform
@iyzhang
Irene Zhang iyzhang
Principal Researcher at Microsoft Research Redmond

Microsoft Research Seattle, WA

@nicknovitski
Nick Novitski nicknovitski
Web developer, yes, and operations as well

@expo sf district 4

@szumixie
Szumi Xie szumixie
(x : Haskell) → Agda x
@emersion
Simon Ser emersion
I work on open-source software. Most of my other contributions are on Codeberg and gitlab.freedesktop.org.

France

@xdoardo
edoardo xdoardo
I like compilers and type theory

@SCISemi

@malob
Malo Bourgon malob
CEO at MIRI

Machine Intelligence Research Institute Berkeley, CA

@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

brooklyn

@matthunz
Matt Hunzinger matthunz
Developer, failed dog trainer. Passionate about Haskell + Rust - Former @DioxusLabs + Hedra

Looking for work! North Carolina

@fuma-nama
Fuma Nama fuma-nama
I love circle

fuma's house Hong Kong

@meithecatte
Maja Kądziołka meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.

Probably near my computer

@noushineftekhari
NouN ن noushineftekhari
Post doctoral research associate @ The Alan Turing Institute

The Alan Turing Institute United Kingdom

@colltoaction
Martin Coll colltoaction
Hyping hypergraphs

🇦🇷

@francisrstokes
Francis Stokes francisrstokes
Making Low Byte Productions videos on YouTube. Creator of Arcsecond, super-expressive, construct-js.

Utrecht

@garden-co
Garden Computing garden-co
Software is too hard. Computers are magic. So why do we put up with so much complexity? We believe just a few new ideas can make all the difference.
@hayleigh-dot-dev
Hayleigh Thompson hayleigh-dot-dev
Hi, I'm Hayleigh! Building an isomorphic web framework @lustre-labs, doing core team shit at @gleam-lang, consulting at ????
@AndreasPK
AndreasPK

Vienna, Austria

@samwho
Sam Rose samwho

@Budibase United Kingdom

0