Barry Jay@the_trees
@Jay59009444Deep ideas, simple products
Similar User
@carloangiuli
@roopshasamanta
@icfp_conference
@jeremysiek
@jer_gib
@_ddiaconescu_
@lambdabetaeta
@lexi_lambda
@int_index
@satnam6502
@lysxia
@aspiwack
@andrasKovacs6
@Blaisorblade
@jjcarett2
FP-SYD is on this Wed 16th, with Barry Jay presenting his work on A Combinatory Account of Types. Please RSVP on meetup if you’re coming along. meetup.com/en-AU/fp-syd/e…
To apply f:A-> B to u:C requires that A=C which is hard to decide if these types are abstractions (ie quantified). Instead of using meta-theory, I plan to internalise the types for tree calculus as programs in tree calculus, whose equality is decidable.
Something I'm curious about is @Jay59009444 work on a type theoretic way of describing this kind of meta-programming
I wish I could be in Sydney this November. @Jay59009444 will present "A Combinatory Account of Types". Reserve a seat now if you can! meetup.com/fp-syd/events/…
If Monday-Friday is the working week, what should we call the on-site workdays, when not WFH?
On the name of @CoqLang -it reads well but sounds bad, so let’s allow a second pronunciation, as “Kind” for the Kalculus of inductive constructions.
FP-SYD is getting ready to resume in-person events this month, please come along and meet the locals. We’re also on the lookout for speakers, get in touch if you’ve got an FP topic that you’d like to talk about. meetup.com/FP-Syd/events/… #haskell #ocaml #functionalprogramming
Most papers could use more examples. Use “Again, if …” to introduce a second one.
I've started a new and exciting chapter. I've joined Google Research Australia. I'm very excited about what the new lab means for Australian computer science, and thrilled to be a part of it. A few words about what's got me so excited... 1/7 crn.com.au/news/google-to…
Instead of the paperless office, we got the peep-less office!
Just had a face-to-face meeting with @chewxy, mixing it up with trees, types and matrices.
Let’s rank conferences on extroversion, on the percentage of papers by outsiders, as well as percentage accepted.
Just pick a book, and use the index to find names
Something I'm curious about is @Jay59009444 work on a type theoretic way of describing this kind of meta-programming
The Church-Turing Thesis, by confusing programs with numbers, hides the need for models of computation that can analyse their own programs, such as SF-calculus and tree calculus.
What are examples of ideas that held back advances in a domain? Does this have a name
Sarcasm is the lowest form of wit, even when mislabelled as irony.
The precise term is “amateur” (doing it for love). Many can give up the money but few can give up the status, both professional and personal.
This question's gauche, but: given the prevalence of $400k++ comp packages for ~30-year-olds in Big Tech, why aren't there lots more "gentle[wo]man scholars"? i.e. people quitting to do non-remunerative creative projects I can think of some, but shouldn't there be thousands?
If you're a user, a prospective user, or a learner of the Coq proof assistant, we encourage you to participate in the Coq community survey 2022: sondages.inria.fr/index.php/3563… (by 28 February 2022, AoE). We are grateful for all your feedback! 🐓✨👍
Random thought: can solar panels be tuned to absorb green light only? Then we could plant crops in their blue-red shadow!
United States Trends
- 1. #IDontWantToOverreactBUT N/A
- 2. #Superman 32,6 B posts
- 3. #mondaymotivation 23,7 B posts
- 4. #SkylineSweeps N/A
- 5. Good Monday 54,4 B posts
- 6. Victory Monday 2.098 posts
- 7. John Williams 1.172 posts
- 8. #Alphabot 7.274 posts
- 9. Big Bass Xmas Extreme N/A
- 10. James Gunn 13,5 B posts
- 11. $BOOST 11,8 B posts
- 12. Jane Austen 2.095 posts
- 13. Immanuel 5.263 posts
- 14. Boston Tea Party 2.875 posts
- 15. Look Up 98,8 B posts
- 16. Burna 33,1 B posts
- 17. Boston Harbor 1.251 posts
- 18. Zimmer 3.293 posts
- 19. $PENGU 23,8 B posts
- 20. Benny Hill N/A
Who to follow
-
Carlo Angiuli
@carloangiuli -
Roopsha Samanta
@roopshasamanta -
ICFP Conference
@icfp_conference -
Jeremy Siek
@jeremysiek -
Jeremy Gibbons
@jer_gib -
Denisa Diaconescu
@_ddiaconescu_ -
Alex Kavvos
@lambdabetaeta -
Alexis King
@lexi_lambda -
Vladislav Zavialov
@int_index -
Satnam Singh
@satnam6502 -
ly:xia
@lysxia -
Arnaud Spiwack
@aspiwack -
András Kovács
@andrasKovacs6 -
Paolo G. Giarrusso
@Blaisorblade -
Jacques Carette
@jjcarett2
Something went wrong.
Something went wrong.