pozorvlak + maths   237

If Mathematicians Were in Charge of Punctuation - Scientific American Blog Network
As a publicly mathematical person, one of the matters upon which I am called to adjudicate is what I think of as “viral order of operations questions” with a math problem along the lines of “48÷2(9+3) = ?”
maths  funny  writing 
5 days ago by pozorvlak
1/0 = 0 • Hillel Wayne
Pretty much every counterargument makes this exact same mistake: it assumes that because 1/0 is now defined, there is now some 0⁻ that generalizes our theorems. But there’s not.
maths  programming  computers 
10 days ago by pozorvlak
Lauren Williams gives Math Department a dose of algebraic combinatorics – Harvard Gazette
The Gazette sits down with Lauren Williams, the second woman to be tenured in Harvard’s Math Department and the Seaver Professor at the Radcliffe Institute.
maths  women  university  combinatorics 
23 days ago by pozorvlak
random-choose.md · GitHub
Select k sorted distinct natural numbers less than n, fairly among all the ways of doing so. By Ciphergoth (Paul Crowley)
algorithms  maths  computers  programming  python 
28 days ago by pozorvlak
So what happened to the abc conjecture and Navier-Stokes? | The Aperiodical
Dear Prof. Montgomery-Smith,

To my shame, on the page 56 the inequality (6.34) is incorrect therefore the proposition 6.3 (p. 54) isn’t proved. I am so sorry.

Thanks for goodwill.
maths  kazakhstan 
6 weeks ago by pozorvlak
Disordered Hyperuniformity: A Weird New State of Matter in Chicken Eyes
Despite what you learned in school,there are way more than four states of matter. One possible new one, disordered hyperuniformity, was recently found in the weirdest place – the eyes of chickens.
chickens  science  materials  maths  chaos  eyes  bio 
7 weeks ago by pozorvlak
Is the Square a Secure Polygon?
It is possible to place a finite number of points in the square that will block any possible shot from A to T. Moreover, 16 points will suffice!
maths  dataviz 
9 weeks ago by pozorvlak
Beast Academy
For "aspiring math beasts"
maths  learning  children 
june 2018 by pozorvlak
The 600-Cell (Part 2) | Azimuth
Inscribing tetrahedra in an icosahedron, connections to group theory, and generalising it all to 4D.
maths  geometry 
december 2017 by pozorvlak
Contrasts in Number Theory - Scientific American Blog Network
Mathematicians of the world, unite; you have nothing to lose but your chains!
maths  writing 
december 2017 by pozorvlak
Infinite Negative Utility: Proofs and Programs and Rhetoric
But if we articulate our position as, "Math and programming are identical, have I blown your mind yet?" we don't come across as people trying to push for a better world, who are trying to share tools and knowledge to make both mathematics and programming better. We come across as preaching sectarians, and we unfortunately become yet another data point for the "functional programmers are smug and out-of-touch" pile.
computers  programming  maths  haskell  culture 
november 2017 by pozorvlak
Simple unsolved math problem, 5 | Yet Another Mathblog
No number > 1 appears more than 12 times in Pascal's triangle.
october 2017 by pozorvlak
Bartosz Milewski's answer to Should the elementary concepts of category theory be taught in pre-college courses? Could that be a benefit for the general population? - Quora
Instead of forcing computers to work with human abstractions, most programmers try to compete with them at following rigid instructions. It puzzled me why this style of imperative programming seems more natural to most programmers until I realized that we’ve been brainwashed into it from early childhood. The damage has already been done and it’s very hard to overcome early training.
computers  programming  teaching  school  categorytheory  maths 
october 2017 by pozorvlak
Raup's Coiler
Mathematical model of shell coiling.
maths  oceans 
october 2017 by pozorvlak
A Neighborhood of Infinity: Data and Codata
distinguishing between data and codata means we can allow the coexistence of infinite lists, structural recursion and open-ended loops, without risk of causing bad behaviour.
computers  programming  maths  haskell  categorytheory  types 
july 2017 by pozorvlak
Algebra: the Faustian bargain | Division by Zero
Algebra is the offer made by the devil to the mathematician. The devil says: I will give you this powerful machine, it will answer any question you like. All you need to do is give me your soul: give up geometry and you will have this marvelous machine. —Sir Michael Atiyah, 2002
maths  geometry 
may 2017 by pozorvlak
Set Theory: the Method To Database Madness – basecs – Medium
Now that we’re finally a third of the way through this series, things are finally starting to come together. Sure, we know about quite a few different data structures, how they work, which ones are…
computers  databases  maths 
may 2017 by pozorvlak
Apply category theory to modeling and software development
Category theory isn’t the solution to life, the universe, and everything. It’s a tool, like dimensional analysis and type checking. Or maybe aerial reconnaissance is a better analogy. Sometimes it’s extremely useful to have a 10,000 ft view of a situation. But an aerial view won’t solve anything by itself unless it guides the hard work on the ground.
maths  categorytheory 
april 2017 by pozorvlak
Biased and Inefficient - Prerequisites
Do students need to learn calculus before statistics?
statistics  teaching  learning  maths 
april 2017 by pozorvlak
The Mathematical Nature of Strength Training | Mark Rippetoe
The mathematics of strength training is quite simple. The addition of small incremental increases over a sufficient amount of time increases strength. The process is linear at first, and then later the slope of the improvement curve flattens out and approaches a limit. The process is accumulative, its most important aspect. But never is the process random, nor can it be made random. After a while, when you get as strong as Glenn Gould was virtuosic, it will be complicated. Chances are you’ll never need that level of specialization in your strength training. For now, just keep it simple and get stronger, by the numbers.
weightlifting  training  exercise  maths 
march 2017 by pozorvlak
Vestigial trigonometry functions
Versine, Vercosine, Coversine, Covercosine, Exsecant, Excosecant, Haversince, Havercosine, Hacoversine, Hacovercosine.

The haversine is used in the Haversine Formula for great-circle distances.
maths  navigation 
march 2017 by pozorvlak
Do Expressive Programming Languages Always Have Undefined Behavior? – Embedded in Academia
But this is a red herring. Rice’s Theorem only applies to non-trivial properties: “properties that apply neither to no programs nor all programs in the language.” To sidestep it, we only need to define a programming language where UB-freedom is a trivial property. This is done by ensuring that every operation that a program can perform is a total function: it is defined in all circumstances. Thus, programs in this language will either terminate in some defined state or else fail to terminate. This kind of extremely tight specification is not typically done for realistic programming languages because it is a lot of work, particularly if the language has open-ended interactions with other levels of the system, such as inline assembly. But the problem is only a practical one; there is no problem in principle. It is not too difficult to write an UB-free specification for a (Turing-complete) toy language or subset of a real language.
computers  programming  maths  cs  c 
march 2017 by pozorvlak
"The third is by far the most objectionable"
Babbage complains about the notation sin^2 x.
babbage  maths 
february 2017 by pozorvlak
Twelvefold way - Wikipedia
A neat way of classifying basic combinatorial problems.
february 2017 by pozorvlak
Why prove programs equivalent when your compiler can do that for you? – Blog – Joachim Breitner's Homepage
RT @nomeata: I can finally have #GHC prove (simple) #Haskell equivalences for me, right in the source code:
computers  programming  haskell  maths  logic  GHC 
february 2017 by pozorvlak
Determinism is topologically impossible | David R. MacIver
RT @DRMacIver: It's only just occurred to me, but is probably quite interesting for machine learning.
maths  science 
january 2017 by pozorvlak
Mind-Bending Sculptures Come Alive Thanks to Math | Nerdist
About a year ago, we brought you an enchanting video featuring 3D-printed sculptures dubbed Blooms that seemed to come to life before your eyes. There were no
video  sculpture  art  3dprinter  maths 
january 2017 by pozorvlak
« earlier      
per page:    204080120160

related tags

3dmodelling  3dprinter  4chan  aave  abandoned  academia  aging  ai  aircraft  algorithms  amazon  android  anime  archaeology  architecture  arguments  art  aws  babbage  babylon  badscience  beauty  benfordslaw  bio  biography  books  boredom  business  c  canada  cars  categorytheory  chaos  chickens  childraising  children  china  classics  climbing  clothes  clothing  combinatorics  comics  compilers  computers  computervision  conferences  constraints  crafting  crypto  crystals  cs  culture  dancing  databases  dataviz  death  deeplearning  design  development  distributedsystems  drink  education  elections  emacs  engineering  europe  exercise  eyes  facebook  feminism  fibonacci  fiction  food  formalmethods  fractals  funny  fuzzers  gadgets  games  gauss  genius  geometry  GHC  gifs  graphtheory  greece  haskell  history  homotopy  horror  ice  india  infosec  integration  intelligence  internet  iq  ireland  japan  java  javascript  jobs  jokes  kazakhstan  knots  langsec  language  law  learning  lego  linguistics  lisp  logic  lovelace  machinelearning  maps  materials  math  mathematica  maths  mathschat  meteorology  military  motivation  music  mythology  navigation  neuroscience  node.js  np  nsa  ocaml  oceans  opensource  optimization  organisation  parenting  phds  philosophy  photography  photos  physics  pijul  poetry  politics  probability  programming  psychology  pua  pubs  puzzles  python  quantum  racism  reddit  research  russia  Scala  scaling  school  science  sculpture  security  sexism  sf  snipers  space  sports  statistics  teaching  techindustry  testing  theoremprovers  thingstobuy  topology  training  travel  twitter  types  uk  ukraine  units  university  usa  utah  vcs  video  visualization  war  weather  weightlifting  women  writing  ww2 

Copy this bookmark: