Hacker News Reader

turnersron Self-Supervised Learning from Images with JEPA (2023)

Yeah! JEPA seems awesome. Do you mind sharing what other self-supervised methods work better than JEPA?

Do you happen to know other implementations that allow for live updates and metadata filtering like Pinecone?

turnersron Vectorizing the Code of Federal Regulations

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 you find fine tuning your embedding model helpful?

turnersron AI is discovering patterns in pure mathematics that have never been seen before

Here's the code https://github.com/deepmind/mathematics_conjectures/blob/mai...

turnersron Tortured phrases: A dubious writing style emerging in science

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 suggestions as the reviewer.

turnersron Launch HN: Athens Research (YC W21) – Open-Source Roam Research

I would love to be able to search math and scientific literature. Do you all support LaTex?

turnersron Enzyme – High-performance automatic differentiation of LLVM

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?

turnersron Categories of Nets

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.

turnersron Dave’s Short Course on Complex Numbers (2013)

Do you have a reference or example of how this encoding works? Curious about this interpretation of complex numbers. Thanks for sharing!

turnersron India bans PUBG, Baidu and more than 100 apps linked to China

Do you have a reference for this? Would love to see how this is written down and enforced.

turnersron Explaining RNNs without neural networks

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 in-between.

Looking forward to your take on LSTMs and transforms ;).

Much thanks!

Great contribution.

turnersron What is Symplectic Geometry? (2016) [pdf]

What does "paired-off coordinates, like (x,v) in mechanics" mean? What is x and v here?

Thanks!

turnersron Deep learning has a size problem

What methods make BERT outdated? Do you have pointers to other options?

turnersron Cryptocurrency Analysis with Python – Buy and Hold

What do you mean by those plots currently have different units? Don't they consider the price in dollars as the unit?

turnersron Ask HN: Is there a Hacker News equivalent for research papers?

Depending on your interests you might like: https://www.reddit.com/r/REMath/

turnersron Why I Majored in Philosophy Despite Everyone Telling Me Not To (2013)

Do you mind please explaining rigid designators from Kripke and how they apply to pointers? That sounds like a neat insight! :D

turnersron BAP: Binary Analysis Platform

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/implementations and https://github.com/REMath/literature_review .

Two projects that really stand out are https://github.com/trailofbits/mcsema and https://bitbucket.org/jkinder/jakstab/ .

turnersron Neglected machine learning ideas

Why is that?

turnersron A Hacker News for grad students?

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/hackernews

http://www.reddit.com/r/REMath/

http://www.reddit.com/r/ReverseEngineering/

http://www.reddit.com/r/lowlevel/

http://www.reddit.com/r/vrd/

http://www.reddit.com/r/systems/

http://www.reddit.com/r/math/

http://www.reddit.com/r/types/

http://www.reddit.com/r/dependent_types/

http://www.reddit.com/r/Coq/

http://www.reddit.com/r/haskell/

http://www.reddit.com/r/ocaml/

http://www.reddit.com/r/crypto/

http://www.reddit.com/r/fsharp/

http://www.reddit.com/r/scala/

http://www.reddit.com/r/lisp/

http://www.reddit.com/r/ProgrammingLanguages/

http://www.reddit.com/r/dataisbeautiful/

http://www.reddit.com/r/PhilosophyofMath/

http://www.reddit.com/r/AcademicPhilosophy/

http://www.reddit.com/r/PhilosophyofScience/

http://www.reddit.com/r/MachineLearning/

http://www.reddit.com/r/IPython/

http://www.reddit.com/r/statistics/

http://www.reddit.com/r/Design/

http://www.reddit.com/r/museum/

turnersron PyParallel: How we removed the GIL and exploited all cores

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 implementing protocol-based classes.

You probably don't want to use all of Sage for that anyway because you are most likely not using GAP, for example. Instead gut out parts of Sage and look at IPython's interface to Spark http://nbviewer.ipython.org/gist/JoshRosen/6856670 or implement a protocol for your specific computation and use PyParallel.

I highly doubt you just point to new a Python implementation and tell Sage to just roll with it and expect things to be automagically faster.

Also, if you have a long running job, then why would you do it in a notebook that requires you to keep your browser open?

turnersron Using Genetic Algorithms to Break Things

This line of thought has a long research history. Check it out at http://scholar.google.com/scholar?q=fuzzing+machine+learning... .

turnersron Reverse Engineering for Beginners

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/turnersr/turnersr.github.io/blob/master/t... .

turnersron New generic top-level domains

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 one. The rest are at https://gist.github.com/turnersr/11163058#file-registry-coun... .

Uniregistry, Corp. 9 ['COUNTRY', 'CHRISTMAS', 'PICS', 'PHOTO', 'GIFT', 'LINK', 'GUITARS', 'SEXY', 'TATTOO']

Afilias Limited 8 ['BLACK', 'MEET', '\xe7\xa7\xbb\xe5\x8a\xa8 (xn--6frz82g) \xe2\x80\x93 Chinese for "mobile"', 'BLUE', 'KIM', 'PINK', 'RED', 'SHIKSHA']

United TLD Holdco Ltd. 7 ['DEMOCRAT', 'SOCIAL', 'MODA', 'DANCE', 'IMMOBILIEN', 'KAUFEN', 'NINJA']

United TLD Holdco, Ltd. 7 ['ROCKS', 'CONSULTING', 'HAUS', 'PUB', 'ACTOR', 'REVIEWS', 'FUTBOL']

Top Level Domain Holdings Limited 6 ['VODKA', 'COOKING', 'RODEO', 'HORSE', 'FISHING', 'MIAMI']

Public Interest Registry 4 ['\xe6\x9c\xba\xe6\x9e\x84 (xn--nqv7f) \xe2\x80\x93 Chinese for "agencies/institutions"', '\xe0\xa4\xb8\xe0\xa4\x82\xe0\xa4\x97\xe0\xa4\xa0\xe0\xa4\xa8 (xn--i1b6b1a6a2e) \xe2\x80\x93 Hindi for "organization/sangathana"', '\xe7\xbb\x84\xe7\xbb\x87\xe6\x9c\xba\xe6\x9e\x84 (xn--nqv7fs00ema) \xe2\x80\x93 Chinese for "organization"', '\xd0\xbe\xd1\x80\xd0\xb3 (xn--c1avg) \xe2\x80\x93 Russian for "organization/org"']

GMO Registry, Inc. 3 ['YOKOHAMA', 'TOKYO', 'NAGOYA']

CORE Association 3 ['\xd8\xa8\xd8\xa7\xd8\xb2\xd8\xa7\xd8\xb1 (xn--mgbab2bd) \xe2\x80\x93 Arabic for "bazaar/bazar"', '\xd0\xbe\xd0\xbd\xd0\xbb\xd0\xb0\xd0\xb9\xd0\xbd (xn--80asehdb) \xe2\x80\x93 Russian for "online"', '\xd1\x81\xd0\xb0\xd0\xb9\xd1\x82 (xn--80aswg) \xe2\x80\x93 Russian for "site"']

Top Level Design, LLC 2 ['INK', 'WIKI']

BusinessRalliart Inc. 2 ['RYUKYU', 'OKINAWA']

Punto 2012 Sociedad Anonima Promotora de Inversion de Capital Variable 2 ['REST', 'BAR']

NetCologne Gesellschaft für Telekommunikation mbH 2 ['COLOGNE', 'KOELN']

XYZ.COM, LLC 2 ['COLLEGE', 'XYZ']

China Organizational Name Administration Center 2 ['\xe5\x85\xac\xe7\x9b\x8a (xn--55qw42g) \xe2\x80\x93 Chinese for "charity"', '\xe6\x94\xbf\xe5\x8a\xa1 (xn--zfr164b) \xe2\x80\x93 Chinese for "government"']

I-REGISTRY Ltd. Niederlassung Deutschland 2 ['RICH', 'ONL']

TLD Registry Limited 2 ['\xe4\xb8\xad\xe6\x96\x87\xe7\xbd\x91 (xn--fiq228c5hs) \xe2\x80\x93 Chinese for "Chinese network"', '\xe5\x9c\xa8\xe7\xba\xbf (xn--3ds443g) \xe2\x80\x93 Chinese for "online"']

Koko Station, LLC 2 ['VISION', 'VILLAS']

Monolith Registry LLC 2 ['VOTE', 'VOTO']

Computer Network Information Center of Chinese Academy of Sciences (China Internet Information Center) 2 ['\xe7\xbd\x91\xe7\xbb\x9c (xn--io0a7i) \xe2\x80\x93 Chinese for "network"', '\xe5\x85\xac\xe5\x8f\xb8 (xn--55qx5d) \xe2\x80\x93 Chinese for "company"']

turnersron Ask HN: Who is hiring? (April 2014)

Reversing, computer security, and program analysis jobs are posted at http://www.reddit.com/r/ReverseEngineering/comments/1vui22/r... . INTERN, REMOTE

turnersron Ask HN: What are some alternatives to HN?

http://www.reddit.com/r/REMath/

http://www.reddit.com/r/ReverseEngineering/

http://www.reddit.com/r/lowlevel/

http://www.reddit.com/r/vrd/

http://www.reddit.com/r/systems/

http://www.reddit.com/r/math/

http://www.reddit.com/r/types/

http://www.reddit.com/r/dependent_types/

http://www.reddit.com/r/Coq/

http://www.reddit.com/r/haskell/

http://www.reddit.com/r/ocaml/

http://www.reddit.com/r/crypto/

http://www.reddit.com/r/fsharp/

http://www.reddit.com/r/scala/

http://www.reddit.com/r/lisp/

http://www.reddit.com/r/ProgrammingLanguages/

http://www.reddit.com/r/dataisbeautiful/

http://www.reddit.com/r/PhilosophyofMath/

http://www.reddit.com/r/AcademicPhilosophy/

http://www.reddit.com/r/PhilosophyofScience/

http://www.reddit.com/r/MachineLearning/

http://www.reddit.com/r/IPython/

http://www.reddit.com/r/statistics/

http://www.reddit.com/r/Design/

http://www.reddit.com/r/museum/

turnersron Fallacies

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. :)

turnersron Fallacies

> 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 about different sorts of reasoning?

turnersron Ask HN: Where do you find interesting papers to read?

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 .

turnersron Applying to Ph.D. Programs in Computer Science (2011) [pdf]

Why maybe to David?

turnersron MOV is Turing Complete [pdf]

This share is most likely a cross-post from a great community of reversing folks at http://www.reddit.com/r/ReverseEngineering/ . I encourage interested people to watch out for other papers and resources related to reverse engineering software and hardware at that subreddit.