turnersr

6 ms·

1.
by turnersr 1y ago
Yeah! JEPA seems awesome. Do you mind sharing what other self-supervised methods work better than JEPA?
2.
by turnersr 4y ago
Do you happen to know other implementations that allow for live updates and metadata filtering like Pinecone?
3.
by turnersr 5y ago
Awesome work!!!! curious how you handle paragraphs and niche language like federal regulations. What are your favorite ways to do sentence and paragraph embeddedings and is there a framework you like where you can tune to custom data? Do yo
4.
by turnersr 5y ago
Here's the code https://github.com/deepmind/mathematics_conjectures/blob/mai...
5.
by turnersr 5y ago
In your review, did you suggest the definition and explanation that they used? In this situation, would have an acknowledgment at the end have been enough? In my mind, it seems like you all had a conversation and the authors took up your su
6.
by turnersr 6y ago
I would love to be able to search math and scientific literature. Do you all support LaTex?
7.
by turnersr 6y ago
Hello, Thank you for sharing and releasing usable code! Do you know if this would work for GPU based applications? Tensorflow models that are trained on a GPU, for example?
8.
by turnersr 6y ago
Do you know of any interesting natural ismorphism between the categories you define in your paper and the category of finite-dimensional hilbert spaces? Curious if you have thought about applications to categorical quantum mechanics.
9.
by turnersr 6y ago
Do you have a reference or example of how this encoding works? Curious about this interpretation of complex numbers. Thanks for sharing!
10.
by turnersr 6y ago
Do you have a reference for this? Would love to see how this is written down and enforced.
11.
by turnersr 6y ago
Thank you for this. As someone who who understands linear algebra well, I feel the neural network formalism obfuscates the core meaning of these processes. It's good for describing composition, but not good for understanding the parts
12.
by turnersr 7y ago
What does "paired-off coordinates, like (x,v) in mechanics" mean? What is x and v here? Thanks!
13.
by turnersr 7y ago
What methods make BERT outdated? Do you have pointers to other options?
14.
by turnersr 9y ago
What do you mean by those plots currently have different units? Don't they consider the price in dollars as the unit?
15.
by turnersr 10y ago
Depending on your interests you might like: https://www.reddit.com/r/REMath/
16.
by turnersr 10y ago
Do you mind please explaining rigid designators from Kripke and how they apply to pointers? That sounds like a neat insight! :D
17.
by turnersr 12y ago
If you like this kind of work, there a lot of other awesome platforms worth checking out. Here's are some repositories of other program analysis tools aimed at executable code https://github.com/REMath/implementati
18.
by turnersr 12y ago
Why is that?
19.
by turnersr 12y ago
Check out Ask HN: What are some alternatives to HN? - https://news.ycombinator.com/item?id=7254884 All the subreddits listed below were aggregated into http://www.reddit.com/user/Widdershiny/m&#x
20.
by turnersr 12y ago
My guess is that you can't drop in PyParallel without any work of porting Sage because it's not clear how you would pass objects around like those used for GAP. Sage also would have to be rewritten to use this new API of implement
21.
by turnersr 12y ago
This line of thought has a long research history. Check it out at http://scholar.google.com/scholar?q=fuzzing+machine+learning... .
22.
by turnersr 12y ago
If you find binary reverse engineering fascinating and want to go deeper into the formal aspects checkout http://www.reddit.com/r/ReverseEngineering/comments/smf4u/re... and https://github.com
23.
by turnersr 12y ago
The data in csv form can be found at https://gist.github.com/turnersr/11163058#file-gtlds-csv . Here are the registries and the number of strings that were assigned. I'm only showing the ones with a count above on
24.
by turnersr 12y ago
Reversing, computer security, and program analysis jobs are posted at http://www.reddit.com/r/ReverseEngineering/comments/1vui22/r... . INTERN, REMOTE
25.
by turnersr 13y ago
http://www.reddit.com/r/REMath/ http://www.reddit.com/r/ReverseEngineering/ http://www.reddit.com/r/lowlevel/ http://www.reddit.com/r/vrd&
26.
by turnersr 13y ago
I'm sure others in the community would like to know. I'm also always looking for good books full of ideas and modes of explanation and augmentation. :)
27.
by turnersr 13y ago
> The best thing is to learn about different sorts of reasoning and how they work in good cases, and pick up a feel for some fallacies along the way. At the end of the day, reasoning is an art. Do you have good suggestions for learning a
28.
United Nations signs off on 'right to privacy in the digital age'(theregister.co.uk)
2 points by turnersr 13y ago|0 comments
29.
by turnersr 13y ago
If you want to learn about research in security and program analysis checkout: http://www.reddit.com/r/vrd and http://www.reddit.com/r/remath .
30.
by turnersr 13y ago
Why maybe to David?

More ›