• Breaking News

    Friday, March 19, 2021

    Home Unlabelled Algorithm Proving, Career Paths Computer Science

    Algorithm Proving, Career Paths Computer Science

    March 19, 2021

    Algorithm Proving, Career Paths Computer Science

    Algorithm Proving, Career Paths

    Posted: 19 Mar 2021 01:10 AM PDT

    I'm (19 M) and I really enjoy proving algorithms rather than writing code or doing something practical.

    Which Computer Science fields or career paths involve inventing and proving algorithms?

    submitted by /u/pottojam
    [link] [comments]

    Forensic Facial Reconstruction Expert Reveals What Jesus Would REALLY Have Looked Like

    Posted: 19 Mar 2021 03:28 AM PDT

    The Most Popular Programming Languages - 1965/2021

    Posted: 19 Mar 2021 01:36 AM PDT

    What are the important types of tree data structure worth learning?

    Posted: 18 Mar 2021 10:40 AM PDT

    I am currently learning data structures and I learned linked lists, queue, stack, and Binary search tree, but now I need to know what other trees are worth learning as there are many types of trees.

    submitted by /u/VirusMinus
    [link] [comments]

    Possibility of simulating boston dynamics robots to perform reinforcement learning.

    Posted: 18 Mar 2021 05:48 PM PDT

    I've recently gone down the boston dynamics rabbit hole for the millionth time, watching their videos showing off the locomotion capabilities of their robots and I was again struck with an idea that I'm certain I'm not the first to think of: Would it be possible to somehow use reinforcement learning to have these robots learn to navigate and walk on their own?

    I usually come to the same conclusion that, by the nature of reinforcement learning, it doesn't seem like an idea you can apply to a real world object and that you would instead have to somehow simulate the robot and perform the learning virtually.

    I guess I just wanted to open a discussion to see what people think could be possible. Do you think that we could 3D model a boston dynamics robot with its motors and joints and train it in locomotion in a 3D environment? I can imagine the difficulty in replicating aspects of a real world environment even as simple as just a flat open surface has issues like gravity, friction, weight e.t.c but I can't see that doing this kind of basic simulation would be impossible.

    Performing reinforcement learning with evolutionary algorithms on a population of these virtual robots and then applying their solution to a real boston dynamics robot is a really facinating idea to me and one I'm sure that most of us couldn't have the opportunity to test out such an idea what with their robots costing $70,000+ to buy now. I wonder if anyone knows of any similar research done in the area of learned locomotion with other robots?

    submitted by /u/Sidearms4raisins
    [link] [comments]

    Creating other types of synchronization objects that can be used with co_await, part 7: The mutex and recursive

    Posted: 18 Mar 2021 09:04 AM PDT

    [N] Hugging Face Quantifies the Benefits of Prompts for Pretrained Language Models

    Posted: 18 Mar 2021 10:20 AM PDT

    A research team from Hugging Face shows that prompting is indeed beneficial for fine-tuning pretrained language models, and that this benefit can be quantified as worth hundreds of data points on average across classification tasks.

    Here is a quick read: Increasing Data Efficiency: Hugging Face Quantifies the Benefits of Prompts for Pretrained Language Models

    The paper How Many Data Points is a Prompt Worth? is on arXiv.

    submitted by /u/Yuqing7
    [link] [comments]

    Where can I find research about the pattern behind mapping between declarative and imperative domains? (Examples included in description)

    Posted: 18 Mar 2021 07:55 AM PDT

    I have started recently using Terraform. If you aren't familiar, Terraform is a CLI tool that lets you manage "resources" with declarative configuration. It tracks the current state of resources, computes the diff with the desired state of resources, and then generates and executes a sequence of imperative actions which, if successful, land all resources in the desired state. While learning about this I realized that this pattern of diffing states->executing actions to reconcile state is an extremely common pattern. Kubernetes operators do the same thing except the state is represented with kubernetes resources. React-like web UI frameworks also do this to efficiently update the DOM ala virtual DOM. I'm sure there are hundreds or other examples I am not thinking of right now.

    I would be interested in hearing other example of this pattern that people like, but I am most interested in help finding research that delves into the mathematics behind this pattern. I am hoping to find answers to questions like "What properties of this mapping are necessary/sufficient to guarantee a faithful mapping?" and anything else that could help me understand, and perhaps generalize, this pattern. I don't even know the right way to describe this when trying to find prior work, so even the right thing to search for could help. Thanks in advance for any help!

    submitted by /u/sccrstud92
    [link] [comments]

    So what does WYSIWYG mean? A good WYSIWYG editor should satisfy the following 3 axioms...

    Posted: 18 Mar 2021 04:34 AM PDT
    Read more
    at

    No comments:

    Post a Comment