René's URL Explorer Experiment


Title: Will Crichton

Open Graph Title: Will Crichton

Mail addresses
will_crichton@brown.edu

direct link

Domain: willcrichton.net

Links:

https://github.com/willcrichton/
https://mastodon.social/@tonofcrates
CVhttps://willcrichton.net/assets/pdf/WillCrichton_CV.pdf
Cognitive Engineering Labhttps://cel.cs.brown.edu/
Pat Hanrahanhttps://amturing.acm.org/award_winners/hanrahan_4652251.cfm
Maneesh Agrawalahttps://graphics.stanford.edu/~maneesh/
Shriram Krishnamurthihttps://cs.brown.edu/~sk/
program slicershttps://github.com/willcrichton/flowistry/
https://github.com/willcrichton/flowistry
document languageshttps://nota-lang.org/
https://github.com/nota-lang/nota
type system visualizershttps://cognitive-engineering-lab.github.io/aquascope/
https://github.com/cognitive-engineering-lab/aquascope
working memory for programmershttps://willcrichton.net/#cah:wm-tracing
psychometrics for programming languageshttps://willcrichton.net/#ck:profiling-learning
type-safe templates for System Fhttps://willcrichton.net/#ck:document-calculus
Rusthttps://willcrichton.net/#sec-rust
Leanhttps://willcrichton.net/#sec-proofs
the browserhttps://willcrichton.net/#sec-browser
we need better metricshttps://dl.acm.org/doi/10.1145/3426428.3426921
predominant in HCIhttps://ieeexplore.ieee.org/document/7503516
Expressiveness Benchmarkhttps://willcrichton.net/expressiveness-benchmark
The Role of Working Memory in Program Tracinghttps://willcrichton.net/#cah:wm-tracing
Grant Sandersonhttps://www.3blue1brown.com/
Bartosz Ciechanowskihttps://ciechanow.ski/
Bret Victorhttps://worrydream.com/
Distillhttps://distill.pub/
too much damn workhttps://distill.pub/2021/distill-hiatus
animations are not always better than static pictureshttps://www.sciencedirect.com/science/article/pii/S1071581902910177
A New Medium for Communicating Research on Programming Languageshttps://willcrichton.net/#c:pl-medium
EPUBhttps://www.w3.org/TR/epub-33/
Portable EPUBshttps://willcrichton.net/notes/portable-epubs/
A Core Calculus for Documentshttps://willcrichton.net/#ck:document-calculus
Notahttps://nota-lang.org/
Scientific Communication as Sequential Arthttps://worrydream.com/ScientificCommunicationAsSequentialArt/
7GUIshttps://eugenkiss.github.io/7guis/
Rosetta Codehttps://rosettacode.org/wiki/Rosetta_Code
TodoMVChttps://todomvc.com/
Take this prototype and get it to work for real.https://willcrichton.net/notes/portable-epubs/
Take this prototype and get it to work for real.https://nota-lang.org/
student surveillancehttps://www.theguardian.com/education/2024/apr/18/us-schools-anti-cheating-software-proctorio
AI gradinghttps://www.vice.com/en/article/pa7dj9/flawed-algorithms-are-grading-millions-of-students-essays
attention-grabbing money holeshttps://mitpress.mit.edu/9780262537445/the-charisma-machine/
folk psychologyhttps://en.wikipedia.org/wiki/Folk_psychology
embodying theories of what makes education effectivehttps://dl.acm.org/doi/10.1145/67449.67452
The Humane Representation of Thoughthttps://vimeo.com/115154289
Things That Make us Smarthttps://www.nngroup.com/books/things-that-make-us-smart/
Why a Diagram is (Sometimes) Worth Ten Thousand Wordshttps://www.sciencedirect.com/science/article/pii/S0364021387800265
Aquascope visualizer for Rusthttps://cognitive-engineering-lab.github.io/aquascope/
A Grounded Conceptual Model for Ownership Types in Rusthttps://willcrichton.net/#cgk:ownership-conceptual-model
Perceptual Learning Modules in Mathematicshttps://onlinelibrary.wiley.com/doi/full/10.1111/j.1756-8765.2009.01053.x
Sexing Day Old Chickshttps://psycnet.apa.org/record/1988-03299-001
The Role of Deliberate Practice in the Acquisition of Expert Performancehttps://psycnet.apa.org/record/1993-40718-001
Quiziushttps://dl.acm.org/doi/abs/10.1145/3287324.3287504
Profiling Programming Language Learninghttps://willcrichton.net/#ck:profiling-learning
Rust Book Experimenthttps://rust-book.cs.brown.edu/
Python Tutorhttps://pythontutor.com/
CrossCodehttps://dl.acm.org/doi/10.1145/3544548.3581390
Log-Ithttps://dl.acm.org/doi/10.1145/3544548.3581403
perceptual learning modulehttps://onlinelibrary.wiley.com/doi/full/10.1111/j.1756-8765.2009.01053.x
WatChat: Explaining Perplexing Programs by Debugging Mental Modelshttps://arxiv.org/abs/2403.05334
game engineshttps://bevyengine.org/
web servershttps://rocket.rs/
2D graphicshttps://github.com/linebender/xilem
cryptographyhttps://github.com/rustls/rustls
linear algebrahttps://docs.rs/nalgebra/latest/nalgebra/
serializationhttp://serde.rs/
parsinghttps://lib.rs/crates/nom
string APIshttps://doc.rust-lang.org/std/string/struct.String.html
contribute to the toolchainhttps://github.com/rust-lang/rfcs/blob/master/text/3123-rustdoc-scrape-examples.md
give talkshttps://www.youtube.com/watch?v=bnnacleqg6k
about Rusthttps://www.youtube.com/watch?v=x5EbGrgmXKw
experimental Rust textbookhttps://rust-book.cs.brown.edu
a fork of the Rust Bookhttps://rust-book.cs.brown.edu
A Grounded Conceptual Model for Ownership Types in Rusthttps://willcrichton.net/#cgk:ownership-conceptual-model
Aquascope visualizerhttps://cognitive-engineering-lab.github.io/aquascope
Profiling Programming Language Learninghttps://willcrichton.net/#ck:profiling-learning
Flowistry program slicerhttps://github.com/willcrichton/flowistry/
Modular Information Flow through Ownershiphttps://willcrichton.net/#cpah:ownership-infoflow
Typed Design Patterns for the Functional Erahttps://willcrichton.net/#c:rust-design-patterns
indexed collectionshttps://github.com/willcrichton/indexical
browser-based logginghttps://github.com/willcrichton/web-logger
lock-free data structureshttps://github.com/willcrichton/rlu-rs
Flowistryhttps://github.com/willcrichton/flowistry/
jQueryhttps://jquery.com/
Backbonehttps://backbonejs.org/
Reacthttps://react.dev/
Solidhttps://www.solidjs.com/
Sveltehttps://svelte.dev/
Flapjaxhttps://www.flapjax-lang.org/
OOPSLA 2009https://dl.acm.org/doi/10.1145/1639949.1640091
D3https://d3js.org/
VIS 2011https://ieeexplore.ieee.org/abstract/document/6064996
Elmhttps://elm-lang.org/
PLDI 2013https://dl.acm.org/doi/abs/10.1145/2499370.2462161
web design firmhttps://www.webspec.com/
Javascript build tool orchestratorhttps://github.com/cognitive-engineering-lab/depot
Elmhttps://elm-lang.org/
Sveltehttps://svelte.dev/
A Core Calculus for Documentshttps://willcrichton.net/#ck:document-calculus
Graphvizhttps://graphviz.org/
Reacthttps://react.dev/
Penrosehttps://penrose.cs.cmu.edu/
SIGGRAPH 2020https://dl.acm.org/doi/10.1145/3386569.3392375
Bluefishhttps://bluefishjs.org/
UIST 2024https://dl.acm.org/doi/10.1145/3654777.3676465
reconciliation algorithmhttps://legacy.reactjs.org/docs/reconciliation.html
tricky to optimizehttps://legacy.reactjs.org/docs/optimizing-performance.html
signalshttps://www.solidjs.com/tutorial/introduction_signals
runeshttps://svelte.dev/blog/runes
F* tutorialhttps://www.fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf
Coqhttps://coq.inria.fr/
CompCerthttps://compcert.org/
2008https://xavierleroy.org/publi/compcert-CACM.pdf
Leanhttps://lean-lang.org/
F*https://www.fstar-lang.org/
Project Everesthttps://project-everest.github.io/
an expert at Brownhttps://robertylewis.com/
Hooglehttps://hoogle.haskell.org/
Looglehttps://loogle.lean-lang.org/
Mooglehttps://www.moogle.ai/
Rust for Everyone!https://www.youtube.com/watch?v=R0dP-QR5wQo
The Performance Engineer's Toolkithttps://www.youtube.com/watch?v=SVw9nKfVPx4
Visualizing and Explaining Rust's Ownership Modelhttps://www.youtube.com/live/qOb2OYimabA?si=sOdPBRKx5lJHZOky&t=19411
Evaluating Human Factors Beyond Lines of Codehttps://blog.sigplan.org/2024/11/21/evaluating-human-factors-beyond-lines-of-code/
Typography Misconceptionshttps://willcrichton.net/notes/typography-misconceptions/
Portable EPUBshttps://willcrichton.net/notes/portable-epubs/
URLhttps://www.usenix.org/conference/osdi25/presentation/adam
Githubhttps://github.com/brownsys/paralegal
Artifacthttps://zenodo.org/records/15374862
Doihttps://doi.org/10.1145/3729302
arXivhttps://arxiv.org/abs/2504.18704
Githubhttps://github.com/cognitive-engineering-lab/argus/
Artifacthttps://zenodo.org/records/15226307
Doihttps://doi.org/10.1145/3649812
arXivhttps://arxiv.org/abs/2401.01257
Videohttps://www.youtube.com/watch?v=osigYESO_ew
Artifacthttps://zenodo.org/records/10798571
Doihttps://doi.org/10.1145/3632865
arXivhttps://arxiv.org/abs/2310.04368
Videohttps://www.youtube.com/watch?v=yC4ja0Zines
Githubhttps://github.com/cognitive-engineering-lab/document-calculus
Artifacthttps://zenodo.org/records/8409115
Doihttps://doi.org/10.1145/3622841
arXivhttps://arxiv.org/abs/2309.04134
Videohttps://www.youtube.com/watch?v=NtQYUwf6mas
Githubhttps://github.com/cognitive-engineering-lab/aquascope/
Artifacthttps://zenodo.org/records/8317948
Doihttps://doi.org/10.1145/3519939.3523445
arXivhttps://arxiv.org/abs/2111.13662
Videohttps://www.youtube.com/watch?v=M5_M_wSeaaA
Githubhttps://github.com/willcrichton/flowistry/
Artifacthttps://zenodo.org/records/6327882
Doihttps://doi.org/10.1145/3411764.3445257
arXivhttps://arxiv.org/abs/2101.06305
Videohttps://www.youtube.com/watch?v=-C1gQg07Jis
arXivhttps://arxiv.org/abs/2403.05334
Githubhttps://github.com/kach/watchat
Doihttps://doi.org/10.1145/3609025.3609477
arXivhttps://arxiv.org/abs/2307.07069
Videohttps://www.youtube.com/watch?v=mB2ZhK8tB8Y
URLhttps://willcrichton.net/nota/
arXivhttps://arxiv.org/abs/2011.05600
Videohttps://www.youtube.com/watch?v=WIfuYjLq300
arXivhttps://arxiv.org/abs/1904.06750

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.