If Mathematicians Were in Charge of Punctuation - Scientific American Blog Network

5 days ago by pozorvlak

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

10 days ago by pozorvlak

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

maths
women
university
combinatorics

23 days ago by pozorvlak

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.

23 days ago by pozorvlak

random-choose.md · GitHub

28 days ago by pozorvlak

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

6 weeks ago by pozorvlak

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

6 weeks ago by pozorvlak

Disordered Hyperuniformity: A Weird New State of Matter in Chicken Eyes

chickens
science
materials
maths
chaos
eyes
bio

7 weeks ago by pozorvlak

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.

7 weeks ago by pozorvlak

That Viva story - Google Docs

7 weeks ago by pozorvlak

Phil Steadman's awful series of neverending vivas.

phds
architecture
science
research
maths
neuroscience
psychology
academia
horror
7 weeks ago by pozorvlak

Is the Square a Secure Polygon?

9 weeks ago by pozorvlak

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

The 600-Cell (Part 2) | Azimuth

december 2017 by pozorvlak

Inscribing tetrahedra in an icosahedron, connections to group theory, and generalising it all to 4D.

maths
geometry
december 2017 by pozorvlak

Jam3/math-as-code: a cheat-sheet for mathematical notation in code form

maths
computers
programming

december 2017 by pozorvlak

math-as-code - a cheat-sheet for mathematical notation in code form

december 2017 by pozorvlak

Contrasts in Number Theory - Scientific American Blog Network

maths
writing

december 2017 by pozorvlak

Mathematicians of the world, unite; you have nothing to lose but your chains!

december 2017 by pozorvlak

Infinite Negative Utility: Proofs and Programs and Rhetoric

computers
programming
maths
haskell
culture

november 2017 by pozorvlak

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.

november 2017 by pozorvlak

Simple unsolved math problem, 5 | Yet Another Mathblog

october 2017 by pozorvlak

No number > 1 appears more than 12 times in Pascal's triangle.

maths
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

october 2017 by pozorvlak

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

A Neighborhood of Infinity: Data and Codata

july 2017 by pozorvlak

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

may 2017 by pozorvlak

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

computers
databases
maths

may 2017 by pozorvlak

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…

may 2017 by pozorvlak

Apply category theory to modeling and software development

april 2017 by pozorvlak

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

april 2017 by pozorvlak

Do students need to learn calculus before statistics?

statistics
teaching
learning
maths
april 2017 by pozorvlak

The Mathematical Nature of Strength Training | Mark Rippetoe

march 2017 by pozorvlak

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

march 2017 by pozorvlak

Versine, Vercosine, Coversine, Covercosine, Exsecant, Excosecant, Haversince, Havercosine, Hacoversine, Hacovercosine.

The haversine is used in the Haversine Formula for great-circle distances.

maths
navigation
The haversine is used in the Haversine Formula for great-circle distances.

march 2017 by pozorvlak

Do Expressive Programming Languages Always Have Undefined Behavior? – Embedded in Academia

march 2017 by pozorvlak

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"

february 2017 by pozorvlak

Babbage complains about the notation sin^2 x.

babbage
maths
february 2017 by pozorvlak

Twelvefold way - Wikipedia

february 2017 by pozorvlak

A neat way of classifying basic combinatorial problems.

maths
february 2017 by pozorvlak

Why prove programs equivalent when your compiler can do that for you? – Blog – Joachim Breitner's Homepage

february 2017 by pozorvlak

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

Monads: Programmer’s Definition | Bartosz Milewski's Programming Cafe

january 2017 by pozorvlak

In terms of composition in the Kleisli category.

computers
programming
haskell
categorytheory
maths
january 2017 by pozorvlak

Determinism is topologically impossible | David R. MacIver

january 2017 by pozorvlak

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

video
sculpture
art
3dprinter
maths

january 2017 by pozorvlak

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

january 2017 by pozorvlak

**related tags**

Copy this bookmark: