zheng.li :: archive :: buzzlogs :: ocaml

2013/05/23/Twitter

Thu, 23 May 2013 23:59:59 GMT

01:33:43  <terurou> JavaScript → Haxe → OCaml → Js_of_ocaml → JavaScript   | 337380791287963648
02:18:33  <planet_ocaml> 0005905: Allow to define explicit "impure" (i.e. generative) functors: For some applications, not havin... http://t.co/QfJZ5kIk29 #ocaml   | 337392073697292289
02:18:33  <planet_ocaml> 0006018: Signalhandling not detailed enough: sigaction(2) not mentioned anywhere: The reliable Unix si... http://t.co/qPUEYBdvKV #ocaml   | 337392074989129728
02:18:34  <planet_ocaml> OCaml-RDF 0.5: Now include a Turtle parser and writer. http://t.co/Sl9KbbcT5e #ocaml   | 337392076167737345
02:18:34  <planet_ocaml> 0006017: A new format implementation based on GADTs: I wrote a new implementation of formats unsing GAD... http://t.co/bJtRrJc6jw #ocaml   | 337392077421834240
02:29:35  <PLT_Hulk> HULK BITTER THAT TALK PROPOSAL NOT ACCEPT TO @strangeloop_stl "HULK CAN SNAP YOU FEMUR WITH ONE FINGER: A STORY OF OCAML!!"   | 337394849206652928
03:14:51  <bitquabit> durin42: Generics. Terse lambdas. Predictable GC. Clean C interop. Go isn’t a bad language, but it’s filling OCaml’s niche for me, badly.   | 337406240466550785
05:29:26  <dethornSTEM> PLT_Hulk: THAT STRAW BROKE OCAML'S BACK!   | 337440111614652418
05:49:57  <mukaken> [ocaml]"This is custom buid pack to run OCaml apps on Heroku." / “mzp/heroku-buildpack-ocaml · GitHub” http://t.co/8bQmeCvotz   | 337445274211467267
06:25:19  <MtJune11> Ocaml   | 337454176110010369
08:14:08  <TeresaJenna> Mind-boggler hire an ocaml entrepreneur regardless of long since terminal date go through air lock developing ... http://t.co/bLIhziVBXa   | 337481558330060800
16:37:18  <tqbf> We have our 20th finisher (http://t.co/hIEIYbVhuw), and I think our first OCaml finisher. $400 raised for PIH/Watsi. (I think? Math’s hard.)   | 337608186859237376
19:53:45  <planet_ocaml> 0006019: Unnecessary calls to caml_modify: For some mutation heavy code, the c-call to caml_modify is e... http://t.co/Xo4u6mxWBn #ocaml   | 337657624998858752
22:02:39  <gbluma> I was able to get C level performance in: Haskell, OCaml, Felix, and Go. Haskell was the hardest due to laziness.   | 337690062114390016
23:06:06  <mzp> Buildpack for OCaml/Eliom https://t.co/JJKjb0ZWbd sample https://t.co/jlL790a3Ps   | 337706030215606272

2013/05/22/Twitter

Wed, 22 May 2013 23:59:59 GMT

08:25:33  <OCamlPro> 50 OCaml enthousiasts met at IRILL in Paris yesterday ! Next meetup in June, contact us to give a talk ! #ocaml-paris http://t.co/CiTfgZIIj3   | 337122042564460544
08:54:56  <fclosedotcom> How to get the assembly code for #OCaml code generated by ocamlopt? http://t.co/gkQepEvvh7 #programming   | 337129440616275968
08:59:00  <Oranadoz> OCaml-RDF 0.5 is out http://t.co/ivxQgVPtt3   | 337130463997087744
10:25:27  <johndagostino> jethrocarr,mikelorant: ocaml   | 337152219516383232
17:44:19  <FergusonRuby1> Wealthiest ocaml waxing train helps entree come around yours basin round http://t.co/vbHSGHa1gY   | 337262660716466176
18:00:05  <jakedonham> chrisamaphone: it's FRP based on self-adjusting computation, plus ocaml -> JS compilation. more at http://t.co/yKsHbwOFLF   | 337266631711551488
18:50:06  <mentby> Licenses - Confusion #caml #ocaml http://t.co/drYLm4TD5Z   | 337279215659544576
18:50:08  <mentby> [rpi] opam switch to get ocamlopt on RPi with raspbian #caml #ocaml http://t.co/hbtr1pTOKd   | 337279227890110464
22:25:46  <gnuvince> avsm: Hello Anil, I was wondering when we could expect a public beta of Real World OCaml? Cheers!   | 337333490494353408

2013/05/21/Twitter

Tue, 21 May 2013 23:59:59 GMT

05:55:31  <OsborneNeal1> Ocaml customized building ground plan outgrowth services http://t.co/3PSWfGmAvd   | 336721898278903808
08:57:25  <ColinGerald1> Ocaml customized fibrilla prom metastatic tumor services   | 336767675588022272
16:38:38  <GervaseStapleto> We provide ocaml make upshot outsourcing holy rite inside of india.   | 336883744122224640
16:47:51  <yutopp> Ocaml   | 336886064318914561
17:48:23  <BozmanCagdas> Meetup #ocaml in Paris: core-team http://t.co/Gca69FeyD4   | 336901297213149184
17:57:45  <BozmanCagdas> Gabriel Scherer: interaction with the #ocaml core-team. OCaml Users in PariS http://t.co/bgBnV2UHjS   | 336903656022609922
18:12:35  <BozmanCagdas> MLFI #OCaml by Lexifi. #oups http://t.co/ro0AmfdsWM   | 336907387858464768
18:15:33  <BozmanCagdas> Why #ocaml at Lexifi ? #oups http://t.co/7KTGuy01sQ   | 336908132347432962
18:50:36  <BozmanCagdas> #ocaml #bytecode as a source language. #oups http://t.co/dm4PddjWD5   | 336916954633883648
19:15:16  <BozmanCagdas> No camlp4 for Merlin for now #ocaml #oups http://t.co/5DnGVhBQUV   | 336923160588980224
19:15:56  <BozmanCagdas> TrustMySoft is hiring #ocaml #oups http://t.co/c16ynBjvtZ   | 336923331376848896
21:35:56  <basus> Finally wrote my own modules and functors in OCaml. I feel so grownup.   | 336958564797140992
23:02:18  <possiblywrong> eikke: this is awesome stuff. Not come across monadic programming in Ocaml before.   | 336980296060784641

2013/05/20/Twitter

Mon, 20 May 2013 23:59:59 GMT

00:54:33  <pwgen> michaelblume: Are you sure you haven't reached the point of diminishing returns for learning FP languages? Does OCaml have new ideas?   | 336283771441655808
02:04:18  <MabelCarl> Sublease ocaml developer, earnings scala news commentator to outsource false ritornello http://t.co/mbaaTeMpIw   | 336301325686030337
02:45:47  <michaelklishin> michaelblume: http://t.co/SwL5EBDXtL lists a few popular ones. Honestly, the best ones are in French.   | 336311762653691906
14:16:17  <ppedemon> Revived my 13yrs old PC: found my Haskell ray-tracer, my Haskell JVM, and my Ocaml code for Appel's Tiger compiler. See the pattern?   | 336485535554101249
16:16:05  <wintorez> I still can't decide between Haskell, Erlang and OCaml. #confused   | 336515680692236288
17:16:29  <nwhusted> CameronSwords: (Says the guy whose current language fascination is a relative of OCaml).   | 336530884628983809
20:28:25  <joseanpg> Learning OCaml   | 336579184992350208
20:49:29  <thedude13> richinseattle: do you have tips on the bap + z3 headache that currently exists due to flux / bugginess in z3 ocaml? :)   | 336584484759666688

2013/05/19/Twitter

Sun, 19 May 2013 23:59:59 GMT

06:00:56  <DebianRemove> Removed: [auto-cruft] #mingw-ocaml 3.12.1+debian3 [amd64, i386, kfreebsd-amd64, kfreebsd-i386] in unstable. [] obsolete arch any packag...   | 335998486610862080
06:01:19  <DebianRemove> Removed: [auto-cruft] #mingw32-ocaml 3.12.1+debian3 [all] in unstable. [] no longer built from source...   | 335998582081585152
08:47:05  <badgermind> jonharrop: something comparing the practical strengths and quirks of F#, Scala, Ocaml, Haskell and how will fall over in specific uses   | 336040301502275584
14:53:38  <nepiadeath> Ocaml   | 336132545924186114
20:05:26  <baconmeteor> tqbf: I mean I could have tied Perl with OCaml but I was disloyal and used python   | 336211013168943104
20:42:51  <mathiasbourgoin> bnwr: For more info on our work (done in Paris) on SPOC (Stream Processing with OCaml), http://t.co/ZKVO5R3qBQ #OCaml #GPGPU #CUDA #OpenCL   | 336220426973900801
22:00:02  <JapanTechFeeds> OCaml Debugger: Exception uncaught [unix] [ocaml] [foreign-it] - Recent Questions - Stack Overflow.. http://t.co/NSErtOgAfx   | 336239850346930176
22:22:40  <michaelblume> Already love Haskell and Clojure. Anyone want to send me an OCaml tutorial? Thinking it might be a good next language to learn.   | 336245549965656067

2013/05/18/Twitter

Sat, 18 May 2013 23:59:59 GMT

00:57:23  <dblhelix> Had a hard time convincing the OCaml type checker that my program is in fact type-correct. 2nd-order continuations made both our heads hurt.   | 335559707974590465
07:10:16  <nadamin> fogus: http://t.co/gadfwkAyTY 2000 lines of ML designed for teaching, generates optimized machine code for a small subset of OCaml,   | 335653547536433152
08:50:16  <ocaml_tan> opam mirror updated. +23 packages available.   | 335678712882274304
18:59:44  <woodardj> DataRiot: I don't remember OCaml coming up either.   | 335832090358726656

2013/05/17/Twitter

Fri, 17 May 2013 23:59:59 GMT

03:42:22  <plus7> Ocaml   | 335238838656069633
04:55:08  <fclosedotcom> Answered: Good tools to manage OCaml packages http://t.co/C2t5hhJZSw   | 335257153919127552
05:43:12  <SomptomToms> OKU_K: OCaml   | 335269249071345664
07:44:03  <planet_ocaml> 0006015: Negative integer and float literals: I never understood this behaviour:<br /> <br /> # sin -3.... http://t.co/E0vQKj6q6E #ocaml   | 335299660564529154
07:53:09  <BozmanCagdas> You should join me at this Meetup. Check it out ! http://t.co/7AVX69HUc7   | 335301950155411456
10:18:21  <bnwr> #OCaml GPGPU talk at the Cambridge Computer Lab. A third of the audience is native French speaking.   | 335338493700108289
14:14:42  <markusm73> gsl-ocaml - superbobry - Added bindings to 'gsl_combination'   | 335397972575674369
14:17:39  <markusm73> gsl-ocaml - mmottl - Fixed bug in combi example   | 335398714283786240
15:38:40  <eriangazag> job in #ocaml (Links is written in ocaml) https://t.co/8Ob2tzCo7J   | 335419103814754304
19:57:11  <joseanpg> [ #OCaml ] "Developing Applications With Objective Caml" by E.Chailloux, P.Manoury and B.Pagano http://t.co/0TrgGLSBMn #book   | 335484160053501953
20:00:40  <hxa7241> mwotton: I was not sure if that was limited in some way . . . but that kind of idea. (Something OCaml lacks.)   | 335485037485105152
20:39:23  <planet_ocaml> 0006016: non-recursive type declarations: All type declarations are by default recursive. This is a pr... http://t.co/d6FllJ15Ri #ocaml   | 335494778424786944

2013/05/16/Twitter

Thu, 16 May 2013 23:59:59 GMT

03:39:57  <missingfaktor> raphscallion,debasishg,raichoo: I don't know what anonymous modules in OCaml are. Will explore. Thanks!   | 334875844633845761
05:29:58  <pasberth> OCaml Girl   | 334903531838533632
06:13:33  <AnonWolfanon> Compiling a C dialect straight to ELF64 with a single small OCaml file #programming http://t.co/acZ5djYqJA   | 334914500039946240
08:38:47  <raphscallion> deech,jimduey,debasishg: people tend to use modules a lot more than objects in OCaml. They're simpler.   | 334951045690183680
08:48:40  <JoSuisFoutu> OLLFP EJMDJ BFNAE DEGDH YOMOF OCAML NENEA IENOM NEPNK GFJEO   | 334953536280461312
12:48:58  <raichoo> Lambda Ladies. A place for ladies interested in functional programming: http://t.co/rHkzQrqjud #haskell #ocaml #idris #scala #lisp #clojure   | 335014009839427585
16:45:50  <Love2Code> QCC - A Simple C Compiler written in OCaml http://t.co/r3lHhsCQiC   | 335073617505312768
21:58:26  <pandamonial> agilecoach,psnively,milessabin,odersky,rioter,travisbrown,jbrains: dont forget F# and OCaml. Im less of a Clojure evangelist than most   | 335152287485943808

2013/05/15/Twitter

Wed, 15 May 2013 23:59:59 GMT

00:06:46  <dfarmer> jonharrop: I still go back and forth on Ocaml+Linux vs F# (+/- Windows). Glad you've got a book on each, just need to make up my mind.   | 334459804884021248
02:16:27  <shrydar> Anyone interested in my dead tree edition of “Practical OCaml” (2006)? It was $85 new, but happy to part with it for postage and/or a pint.   | 334492441518411777
02:26:56  <AdrianC28501816> Favor ocaml the subordination relating to how me basement arrive in interactive websites.   | 334495079735648256
13:30:58  <stesla> When I'm working in OCaml, SML, or Haskell, I find that thinking about my types provides the same design guidance as TDD in other langs...   | 334662190965600257
15:17:53  <psnively> QCC: a tiny C-ish compiler in #ocaml http://t.co/JMf4Yh8ifO   | 334689095592841217
15:40:17  <basus> psnively,debasishg,puffnfresh: I consider OCaml's modules to be an example of OO interfaces done right.   | 334694732930355200
15:45:40  <debasishg> Would love to see a comparative study of module system of OCaml & Scala. Traits & object syntax IMHO provide enough power in scala.   | 334696089615736834
16:14:57  <loverdos> debasishg: Something I've been thinking of writing up but I don't see it happening soon. OCaml modules vs modular programming via traits.   | 334703456868777984
16:59:05  <deech> jimduey,debasishg: Ocaml has mature implementations of both. Maybe worth asking them which one they prefer and why.   | 334714566032363521
17:00:08  <tek_news> Reddit/p: Compiling a C dialect straight to ELF64 with a single small OCaml file http://t.co/VqRUo4jXeK   | 334714829799567360
17:02:59  <Zougloulevrai> Mazavel: tranquille ocaml   | 334715547344314369
17:33:44  <raichoo> missingfaktor,debasishg: My #ocaml knowledge is quite limited but at my current state, that's pretty much how I think.   | 334723286162370560
17:42:56  <metadave> check out this C compiler in only 728 lines of OCaml: http://t.co/MpiXOfa0EL   | 334725599069347842
18:05:22  <debasishg> missingfaktor,raichoo: I also have done very little OCaml stuff .. hence would love to see one discussion on this topic ..   | 334731244271202304
18:15:52  <larsr_h> debasishg: I've done a fair bit of OCaml, and modules are nice, but they have some shortcomings. @missingfaktor @raichoo   | 334733886628184064
18:17:39  <larsr_h> debasishg: Scala objects feel much more "first class" than modules in OCaml @missingfaktor @raichoo   | 334734336454696960
18:18:45  <larsr_h> debasishg: OTOH, the distinction between signature and impl. in OCaml is something Scala programmers should learn @missingfaktor @raichoo   | 334734611584262145
21:47:29  <eltonbowie> Compiling a C dialect straight to ELF64 with a single small OCaml file http://t.co/xRvxVwKeWF   | 334787144289771520
22:10:34  <eriangazag> A simple concurrent programming langage for #Arduino https://t.co/hc5NleFzmi ... and the compiler is writen in #ocaml !   | 334792950666113024
22:27:33  <SunRohle> It's still a bit slower than my #OCaml Menhir-generated parser, though: 0.33 sec. instead of 0.28 sec. for the 50K vertices Stanford dragon.   | 334797224288600065

2013/05/13/Twitter

Mon, 13 May 2013 23:59:59 GMT

02:17:08  <sdbo> psnively: monad, Applicative, Functor, Transformers, Control.Error, and prolific use throughout the Platform. I assume OCaml is similar.   | 333767837778845698
09:12:11  <EAPLS> CFP: OCaml 2013 - Boston, deadline is June 7 http://t.co/AE2lxX4fU4   | 333872288531361792
10:50:07  <vext01> trufae: I mean, I have the binary already (static elf binary made by ocaml) , now I want to package it ;)   | 333896936820199424
11:40:23  <carbon_twelve> OCaml   | 333909586279030784
11:57:21  <na4zagin3> Categorical Abstract Machine Language Caml Objective Caml O'Caml OCaml Ocaml   | 333913853643587585
19:21:20  <silentbicycle> hyperpape,deryni,telemachus: I do make an effort to write Python that doesn't look too much like my OCaml though   | 334025587138117633
19:42:46  <silentbicycle> jessitron: And OCaml made me better at C because I learned how to express static constraints in type systems, even lousy ones.   | 334030981361180673
19:50:54  <psnively> strlen: It's not accidental that #ocaml is my favorite language in which to do stuff I care about.   | 334033026382180352
20:00:18  <MelindaRubaniuk> jessitron: OCaml, too!   | 334035392300998656
21:32:55  <RamCSingh> #riconeast Anyone have the link to the github repository for the OCAML/Arduino "teach programming to my 8 yo"(?) project?   | 334058700115439617
23:37:23  <its_out_of_tune> ocamlbot: ocaml   | 334090024758951938
23:37:36  <its_out_of_tune> ocamlbot: oCaml   | 334090078165020673
23:37:48  <its_out_of_tune> ocamlbot: Ocaml   | 334090128127582208