টুইট
- টুইট, বর্তমান পৃষ্ঠা।
- টুইট এবং উত্তর
- মিডিয়া
আপনি @smdiehl-কে ব্লক করেছেন
আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @smdiehl অবরোধ মুক্ত হবে না।
-
পিন করা টুইট
Slides for my Zurihac 2018 keynote on the LLVM toolchain in Haskell.
#zurihac http://dev.stephendiehl.com/zurihac_2018.pdf …ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
cl3 - Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)https://github.com/waivio/cl3
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
Guarded Impredicative Polymorphism, from PLDI 2018
#Haskell#ImpredicativeTypeshttps://youtu.be/HemHEwWQtg0এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Goodbye Netherlands, it's been fun.
– Amsterdam Airport Schiphol (AMS)-এধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
I had a lot of fun making my
@PLDI 2018 talk on Language Integrated Verification:https://www.youtube.com/watch?v=F2tYCxb30WU …ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
The second alpha of the 8.6 release of the Glorious Glasgow Haskell Compiler is now out. Happy testing!
#Haskellধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
A year into Backpack: http://blog.ezyang.com/2018/07/a-year-into-backpack/ … Lots of things have happened in Backpack since I graduated my PhD! Here are some of the most interesting ones.
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
This is the free modular lattice on 3 generators, where "modular" means A∨(B∧C)=(A∨B)∧(A∨C) when A<B or A<C. The free modular lattice on 4 generators is infinite! This one is connected to representations of the D4 quiver, but big mysteries remain: https://tinyurl.com/baez-modular pic.twitter.com/lRCQuyhLDp
এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
In Amsterdam for the weekend if anyone fancies meeting for coffee and Haskell.
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
London
Amsterdam.
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
Physicists have achieved a cosmic first—they’ve tracked a ultrahigh-energy neutrino back to its source.https://www.quantamagazine.org/neutrinos-linked-with-cosmic-source-for-the-first-time-20180712 …
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
Open sourced a new Haskell bulletproofs library for constructing short non-interactive zero-knowledge proofs that require no trusted setup.
https://github.com/adjoint-io/bulletproofs …ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
First release of djbsort: super-fast constant-time automatically verified AVX2 sorting code for int32 arrays. https://sorting.cr.yp.to (Next target is ARM NEON.) Verification starts with the
#angr toolkit for symbolic execution, which in turn uses libVEX from Valgrind.ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Open sourced a new Haskell bulletproofs library for constructing short non-interactive zero-knowledge proofs that require no trusted setup.
https://github.com/adjoint-io/bulletproofs …ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
The Book of Types Type-Level Programming in
#Haskell by Sandy Maguire http://reasonablypolymorphic.com/types.pdfধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
Slides for my LICS'18 talk on Quantitative Type Theory https://bentnib.org/docs/qtt-lics2018-slides.pdf …
এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
New blog post about our project `typerep-map` — very efficient dependent map from type representations to values of these types! And many thanks to
@int_index for active participation. https://kowainik.github.io/posts/2018-07-11-typerep-map-step-by-step.html …ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
How close is octonion multiplication to being associative? https://www.johndcook.com/blog/2018/07/09/octonion-associator/ …pic.twitter.com/OI1F3WECFw
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
New blog post! On why parsing Haskell list comprehensions is harder than you might think: http://www.rntz.net/post/2018-07-10-parsing-list-comprehensions.html …
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Stephen Diehl পুনঃ টুইট করেছেন
Numerical Programming in Functional Languages https://icfp18.sigplan.org/track/npfl-2018-papers … submission deadline in the 3 days. Please re-tweet.
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায় -
Ah good to back to perpetual overcast in London.
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায়
লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।
টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।