recentpopularlog in


« earlier   
The Scientific Paper Is Obsolete
"maniac in the middle"

"I spoke to a neuroscientist-turned-software-developer who contributed to Jupyter, who told me that the professor in charge of his former lab was originally an electrophysiologist—he actually measured neuronal activity with implanted electrodes. 'This kind of data is basically so costly, so expensive, and so good,' he said, that nobody would ever share it. 'You collect one batch of data and you can mine it for the rest of your career.'"
TheAtlantic  science  research  publication  data  computation  JamesSomers  2018  publishing  Python  Mathematica  Jupyter  StephenWolfram  ESR  Linux 
8 weeks ago by cosmic
Logic, Explainability and the Future of Understanding
A long, wide-ranging article by Stephen Wolfram. Ostensibly about developing computer-assisted proofs by enumeration. But riffs into philosophical discussions around the nature of doing science, mathematics, and proofs. In particular, the explainability and understandability of proofs by humans. A long deep read.
wolfram  mathematica  logic  theorems  proofs  axioms  science  philosophy  mathematics  understandability  explainability  abstraction  knowledge 
november 2018 by drmeme
Prio | Stanford Applied Crypto Group
Prio: Private, Robust, and Scalable Computation of Aggregate Statistics
privacy  statistics  mathematica  cryptography 
november 2018 by e2b
Algorithm Repository
Data Structures
Dictionaries, Priority Queues, Suffix Trees and Arrays, Graph Data Structures, Set Data Structures, Kd-Trees

Numerical Problems
Solving Linear Equations, Bandwidth Reduction, Matrix Multiplication, Determinants and Permanents, Constrained and Unconstrained Optimization, Linear Programming, Random Number Generation, Factoring and Primality Testing, Arbitrary-Precision Arithmetic, Knapsack Problem, Discrete Fourier Transform

Combinatorial Problems
Sorting, Searching, Median and Selection, Generating Permutations, Generating Subsets, Generating Partitions, Generating Graphs, Calendrical Calculations, Job Scheduling, Satisfiability

Graph: Polynomial-time Problems
Connected Components, Topological Sorting, Minimum Spanning Tree, Shortest Path, Transitive Closure and Reduction, Matching, Eulerian Cycle/Chinese Postman, Edge and Vertex Connectivity, Network Flow, Drawing Graphs Nicely, Drawing Trees, Planarity Detection and Embedding

Graph: Hard Problems
Clique, Independent Set, Vertex Cover, Traveling Salesman Problem, Hamiltonian Cycle, Graph Partition, Vertex Coloring, Edge Coloring, Graph Isomorphism, Steiner Tree, Feedback Edge/Vertex Set

Computational Geometry
Robust Geometric Primitives, Convex Hull, Triangulation, Voronoi Diagrams, Nearest Neighbor Search, Range Search, Point Location, Intersection Detection, Bin Packing, Medial-Axis Transform, Polygon Partitioning, Simplifying Polygons, Shape Similarity, Motion Planning, Maintaining Line Arrangements, Minkowski Sum

Set and String Problems
Set Cover, Set Packing, String Matching, Approximate String Matching, Text Compression, Cryptography, Finite State Machine Minimization, Longest Common Substring/Subsequence, Shortest Common Superstring
algorithms  code  dataStructures  c  ada  c++  c#  fortran  go  java  javascript  lisp  mathematica  pascal  php  python 
november 2018 by dicewitch
(34 封私信 / 33 条消息)如何系统的学习Mathematica? - 知乎
october 2018 by yoci642
Jupyter, Mathematica, and the Future of the Research Paper – Paul Romer
Each is spot on. I had to learn the hard way why so many kept their distance from Mathematica. Now, I’m much more productive with Jupyter. I’m experimenting with, and excited about, its potential as a way to write up research results.
jupyter  mathematica 
october 2018 by euler

Copy this bookmark:

to read