bmc7505

26 ms·

241.
by bmc7505 5y ago
The way we treat artificially-intelligent agents feels inhumane. I wonder if a century from now, when future generations pause to reflect on our early experiments with conscious machines, they may come to regret the nightmares we once plant
242.
by bmc7505 5y ago
To share specific examples here would be irresponsible. But qualitatively speaking, one could argue that viral media are mild forms of memetic hazard propelling irrational, conspiratorial, or even extremist behavior in the real world. While
243.
by bmc7505 5y ago
I think if you take these parables literally, there probably isn't a single input that will reliably cause the mind to self-destruct, but they are a cautionary warning. The internet gives plenty of evidence to support the theory that m
244.
by bmc7505 5y ago
"You're a hacker, that means you have deep structures to worry about, too." "Deep structures?" "Neurolinguistic pathways in your brain. Remember the first time you learned binary code?" &quot
245.
by bmc7505 5y ago
Facial recognition: https://www.theverge.com/2021/7/9/22567029/tencent-china-fac...
246.
by bmc7505 5y ago
There are some good papers which take inspiration from abductive reasoning to study automatic knowledge base construction and structured inference here in case anyone is interested: https://www.cs.utexas.edu/~ml/publica
247.
Large-Scale Automated Source Code Refactoring with OpenRewrite(docs.openrewrite.org)
79 points by bmc7505 5y ago|14 comments
248.
by bmc7505 5y ago
Nice! I like the syntax, this reminds me of the structural search and replace feature from IntelliJ IDEA. Is this the project you were referring to? https://github.com/erezsh/py2js
249.
by bmc7505 5y ago
I wonder if something like this exists for other languages? Most rewriting/refactoring tools make too many assumptions about the surrounding project. Something simple which supports pattern matching against a CST subtree and invertible
250.
Small Summaries for Big Data(dimacs.rutgers.edu)
1 points by bmc7505 5y ago|0 comments
251.
by bmc7505 5y ago
https://statmodeling.stat.columbia.edu/2020/12/09/what-are-t...
252.
by bmc7505 5y ago
I thought this blog post would discuss type-level integers but I didn’t see anything about that: https://users.rust-lang.org/t/notes-on-type-level-integral-n...
253.
by bmc7505 5y ago
The prior probability matters because iff it is strictly less than 1 then your estimate should increase by a factor of: P(Chinese | no memory, post-pan-Chinese callosotomy) / P(Chinese | no memory, pre-pan-Chinese callosotomy) I
254.
by bmc7505 5y ago
What is your prior probability that sudden memory loss occurs in the general population?
255.
Migrating from Python to Kotlin for Our Back End Services(doordash.engineering)
2 points by bmc7505 5y ago|1 comments
256.
by bmc7505 5y ago
Both look pretty well maintained to me. Just like any other language (including Java), there are tools which are more or less active depending where users are concentrated. Most JVM developers I know prefer the IntelliJ Platform, so it&#x27
257.
by bmc7505 5y ago
The same could be said about Java or any other statically typed programming language in a text editor for that matter. Neither Vim nor Nano are intended as standalone IDEs, so it makes sense the UI is less complete. Despite their rudimentar
258.
by bmc7505 5y ago
Kotlin also works with Vim [1], Eclipse [2] and the Language Server Protocol [3]. [1]: https://github.com/udalov/kotlin-vim [2]: https://github.com/JetBrains/kotlin-eclipse [3]: https:/&#x2F
259.
Making Software 'Correct by Construction'(gresham.ac.uk)
1 points by bmc7505 5y ago|0 comments
260.
KeOps: Kernel Operations on the GPU(github.com)
2 points by bmc7505 5y ago|0 comments
261.
Computer-Aided Design as Language(arxiv.org)
3 points by bmc7505 5y ago|0 comments
262.
by bmc7505 5y ago
Thank you for your kind remarks! As you mentioned, a better name might have been "languages for calculation". In French these subjects are all "calcul". Personally, I would skip the first few and listen to the guest spea
263.
by bmc7505 5y ago
Surprisingly, there is an interesting proof-theoretic connection between differential and sequent calculus! For a more detailed account of differential linear logic (DiLL), see Erhard [1] and Kerjean [2]. More generally, the same rules from
264.
Constructions in Combinatorics via Neural Networks(arxiv.org)
3 points by bmc7505 5y ago|1 comments
265.
Computer Calculus Reading Group(compcalc.github.io)
121 points by bmc7505 5y ago|16 comments
266.
Category theory is a universal modeling language(math.mit.edu)
214 points by bmc7505 5y ago|91 comments
267.
by bmc7505 5y ago
Thank you for your feedback! Kotlin∇ is currently a research prototype for composing differentiable programs from basic primitives. If you’re looking for a higher-level API, KotlinDL [1] or KInference [2] might be a better fit for building
268.
Show HN: AceJump: a single character search, select, and jump(github.com)
1 points by bmc7505 5y ago|0 comments
269.
Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types(github.com)
15 points by bmc7505 5y ago|2 comments
270.
by bmc7505 6y ago
This presentation is so good. It really helps you appreciate how wide the gap is between mediocre and excellent instruction. This video explains in 30 minutes that took years of classes in computer vision for me to grasp at an intuitive lev

More ›