sankha93

7 ms·

1.
by sankha93 1y ago
A few months back I was pessimistic about AI, and now I am the opposite. The perspective change happened when I realized giving it an entire problem and expecting it to solve that is unrealistic. The real value add is if you can use AI at t
2.
by sankha93 2y ago
Do you mean Ruby lacks syntactic support for adding type annotations inline in your programs? I am one of the authors of RDL ( https://github.com/tupl-tufts/rdl ) a research project that looked at type systems for Ruby b
3.
NSF Budget Cuts Would Put the Future of U.S. Innovation and Security at Risk(cra.org)
8 points by sankha93 2y ago|0 comments
4.
by sankha93 4y ago
Can you list the concrete problems a FastAPI approach will have, and what tools like Nvidia Triton do differently to get around it? I have no idea about running such models at scale.
5.
by sankha93 4y ago
The idea that symbolic AI lost is uninformed. Symbolic AI essentially boils down to different kinds of modeling and constraint solving systems, which are very much in use today: linear programming, SMT solvers, datalog, etc. Here is here sy
6.
by sankha93 4y ago
It is already here to be honest. I know BrowserStack and other mobile testing platforms (at Facebook and Amazon) do host real devices, both Android and iPhones, in server farms like this. Meta wrote a blog post about it: https://
7.
by sankha93 4y ago
This is exactly how Compilers are taught at the University of Maryland. The class CMSC430 ( https://www.cs.umd.edu/class/fall2021/cmsc430/ ) actually starts off with a Scheme (limited subset of Racket) and grad
8.
by sankha93 4y ago
There has been attempts as you describe before. I can specifically point to work done in Ruby by my PhD advisor using the exact profiling approach, and then static typing from that: http://www.cs.tufts.edu/~jfoster/pape
9.
by sankha93 4y ago
I have experienced something similar as well. I was visiting NYC, and the place we booked did not look anything like the online listing showed. Regardless, the hosts were nice and helpful, so I left them a 5 star rating on all parameters ex
10.
by sankha93 4y ago
This seems to be an instance of concolic execution which has seen some success in the fuzzing and testing research community. The key ideas originate from these papers: [1] https://web.eecs.umich.edu/~weimerw/590/r
11.
The Kani Rust Verifier Project(model-checking.github.io)
4 points by sankha93 4y ago|1 comments
12.
by sankha93 4y ago
Natural language is ambiguous, so I do not think any programming by example methods will work well here. I think if you are working with a limited vocabulary in the set of sentences you want to parse, it may be fine to roll out a handmade s
13.
by sankha93 4y ago
> Best solution? Most easily maintained? We apply the Occam's razor here. For a given problem, a smaller program that solves the problem is a preferred solution. It is not a very good metric, and it is fine to disagree with it. But
14.
by sankha93 4y ago
> Write a test, which proves for all real numbers, that y = 2 * x. Tests by definition do not prove any for all property. They just check on correctness on concrete values. Formal properties are great for proving properties on values, i.
15.
by sankha93 4y ago
It is a hard task, for sure! But without any tests to convey your intent as a programmer, RbSyn also has no way of knowing what you intended a method's behavior to be. The running thread here is if you would have written a method and s
16.
by sankha93 4y ago
That is a fair concern. The tool only guarantees correctness up to the level checked by the tests you provide. So if all corner cases are not covered, RbSyn will generate some program that passes the tests, but might not pass unspecified co
17.
by sankha93 4y ago
Thanks for the feedback! I just uploaded a video now that demos RbSyn in action: https://www.youtube.com/watch?v=yYAOK5S8lRY The concepts, capabilities, and limitations of RbSyn are explained in this talk: https:/&#x2
18.
by sankha93 4y ago
Indeed, there is rich prior work on example based program synthesis. Often these use inductive logic programming or aided by SMT solvers if these examples can be lifted to solver level values (think integers or booleans, or data types made
19.
by sankha93 4y ago
> But doesn't this just mean that instead of writing your code and logic in Ruby you're writing it in RDL? RDL allows the specification of types and effect labels only. You still write the tests in standard Ruby and synthesized
20.
Show HN: Program Synthesis for Ruby(github.com)
82 points by sankha93 4y ago|19 comments
21.
by sankha93 4y ago
Hey, nice work with Sorbet! I am one of the grad students who worked on RDL, one of the early research projects related to Ruby type systems. What are the next set of challenges that a tool like Sorbet needs to solve? I see you mentioned me
22.
by sankha93 5y ago
Ruby is and will be the same language even after static types. A Ruby programmer will need to opt-in to writing type annotations in an external file and run a separate type checker (that is not a part of MRI binary). The benefit is if libra
23.
by sankha93 6y ago
What you are looking for are refinement type systems. LiquidHaskell [0] is the most well known refinement type system out there, to specify and verify these kind of assertions. [0]: https://ucsd-progsys.github.io/liquidhaske
24.
by sankha93 6y ago
> Learning languages is big investment, and having dozens of languages around is not productive, human languages are consolidating over a few, English is by far the business language of the world > Why does language design continue to
25.
by sankha93 6y ago
I agree with the mathematical rigor required for abstract interpretation. I am arguing that there is a lot of value in thinking about programs that operate on other programs as interpreters. Essentially interpreter doesn't have to be e
26.
by sankha93 6y ago
My pet peeve is with all static analysis articles like this is they demonstrate how to solve a particular problem, but never talk about the universal abstraction that allows one to write any static analysis tool: interpreters. Really, all y
27.
by sankha93 6y ago
This article is a classic example of Facebook PR doing a wonderful job of selling the research and linked paper [1] claiming too much in the introduction. Please, please talk to actual researchers before you buy such claims. If you go throu
28.
by sankha93 6y ago
University of Maryland teaches Rust for a single lecture as a part of their CMSC330 (Organization of Programming Languages) [1] undergraduate class. The lecture slides are available online [2]. [1] https://www.cs.umd.edu/cla
29.
by sankha93 6y ago
I am from a computer science background. I understand basic biology and genetics. I have been trying to understand what are reasons why code and that cells are biological computers is a poor assumption. Anecdotal evidence like the SARS-COV2
30.
by sankha93 6y ago
The article doesn't try to use any feature of the web platform, but tries to piggy back on it to provide their own runtime functions. WebIDL could be a overkill in such a scenario. Usage of WebIDL means there is a bindings generation p

More ›