3 ms·
- Deduction system, in particular as relating to logic programming such as Datalog. This is more or less in link with my research interest in programming langua
by norswap 10y ago
- Deduction system, in particular as relating to logic programming such as Datalog. This is more or less in link with my research interest in programming languages - I feel like these techniques could have a lot of implication in compilers.
- Front-end programming using javascript. I'm always intrigued by all the conversations surrounding React, Angular, etc... There is a background I lack to see why such convoluted solutions are need, what problems they fix.
- Fundamentals of machine learning, esp. neural network (I have some clues about things like Bayesian filters). It just seem like something that could be used in practice if one knows how to roll with it.
- brown-dragon 10y agoI can do "front-end programming using javascript" and "fundamentals of machine learning" but have no clue about "deduction systems". Amongst the two, which would you say interests you more?
- norswap 10y agoI'd be more interested by pointers for Javascript front-end principles, because I feel like I'm lacking some background to understand much of what I'm encountering, whereas there's quite a bit about machine learning (which I haven't checked, still I have good hope it covers the fundamentals). Deduction systems: see https://www.youtube.com/watch?v=R2Aa4PivG0g https://www.youtube.com/watch?v=R2Aa4PivG0g for instance.
- brown-dragon 10y agoFascinating talk! Thanks!