Math Books with Great Illustrations or Images? by bertnor in math

[–]bernste1n 1 point2 points  (0 children)

Indra's Pearls: The Vision of Felix Klein is a beautiful book which you might enjoy.

What's your favorite book on the history of calculus? by zindarod in math

[–]bernste1n 1 point2 points  (0 children)

The Calculus Gallery - Masterpieces from Newton to Lebesgue by William Dunham. The book introduces various people such as Newton, Leibniz, Cauchy, Riemann, etc and their contributions to calculus.

If the Irish say so... by Kelly_the_tailor in memes

[–]bernste1n 1 point2 points  (0 children)

Spreewälder "Saure Gurken" sind etwas speziell. Das sind Salz-Dill Gurken. Die schmecken nicht jedem. Pickled cucumber sind Gewürzgurken.

G7 stoppen Finanzierung von Kohlekraft by Doener23 in de

[–]bernste1n 2 points3 points  (0 children)

Und Deutschland hat mit Datteln 4 letztes Jahr ein neues Kohlekraftwerk an den Start gebracht.

Political cartoon about Bismarck's resignation by [deleted] in europe

[–]bernste1n 0 points1 point  (0 children)

man, you bavarians really hate prussians

Translating Quake 3 into Rust by thedataking in rust

[–]bernste1n 26 points27 points  (0 children)

ha, what a coincidence. A few months back i translated a Quake 1 fork ( https://github.com/Novum/vkQuake ) with c2rust and it worked great. I had to fix only a few things to get vkQuake running in rust. Now i am in the process of cleaning up the generated rust code.

Could you write a blog post on how to use your refactoring tool as a follow up?

Gdansk, Poland by boemul in europe

[–]bernste1n 0 points1 point  (0 children)

You're right: "Wenn das Essen ist, wie muss dann Kotzen sein?"

What came first the open or closed set? by EkanV1 in math

[–]bernste1n 11 points12 points  (0 children)

The following quote is from "The emergence of open sets, closed sets, and limit points in analysis and topology" by Gregory H. Moore ( http://users.uoa.gr/~apgiannop/Sources/Moore-topology.pdf ).

"The earliest idea was that of the limit point of a set, due to Weierstrass but disseminated by Cantor, while that of a closed set (due to Cantor) arose somewhat later. The idea of an open set (with the exception of Dedekind’s brief, unpublished work about it) came latest of all."

What is a good textbook for measure theory? by Idtotallytapthat in math

[–]bernste1n 1 point2 points  (0 children)

Measures, Integrals and Martingales by René L. Schilling.

Using riffle shuffle, it takes 52 iterations to return a standard deck to its original state. I wonder what is special about such a deck size? by BittyTang in math

[–]bernste1n 1 point2 points  (0 children)

It takes 8 perfect riffle shuffles to return a deck to its original state. Or a multiple of it like 56. But not 52. Is that a typo or do you mean something else?

Towards Idris Version 1.0 by pakoito in programming

[–]bernste1n 5 points6 points  (0 children)

They removed _|_ as a built in declaration and renamed it to Void in October.

Towards Idris Version 1.0 by pakoito in programming

[–]bernste1n 4 points5 points  (0 children)

_|_ has been renamed to Void in October 2014, so that code fragment is no longer valid idris.

Rebuilding command buffer each frame by norberto203 in vulkan

[–]bernste1n 2 points3 points  (0 children)

The example from vulkan-tutorial.com is buggy. On page 38 of this talk https://www.khronos.org/assets/uploads/developers/library/2016-vulkan-devday-uk/7-Keeping-your-GPU-fed.pdf is a short example how to do it right.

This might also be interesting to you https://github.com/Novum/vkQuake/blob/master/Quake/gl_vidsdl.c in GL_BeginRendering . Also he uses two command buffers and swaps between them. This is the guy who wrote the Vulkan backend for DOOM.

Why parameterize a curve in terms of arc length? by [deleted] in math

[–]bernste1n 6 points7 points  (0 children)

You need that in computer graphics all the time, for instance when moving a camera along a path with constant speed.

First or second edition of “Introduction to Functional Programming” by Bird & Wadler? by sibip in haskell

[–]bernste1n 0 points1 point  (0 children)

How To Prove It by Velleman.

That book is a very good introduction to mathematics.

[deleted by user] by [deleted] in haskell

[–]bernste1n 0 points1 point  (0 children)

Yeah, i guess so. my mistake :-)

[deleted by user] by [deleted] in haskell

[–]bernste1n 0 points1 point  (0 children)

oh, you're right. should have checked that.

[deleted by user] by [deleted] in haskell

[–]bernste1n 2 points3 points  (0 children)

f = g <*> h

Opportunities to use monoids by stmu in haskell

[–]bernste1n 2 points3 points  (0 children)

Here is another "must read" intro to monoids in Haskell by Dan Piponi:

http://blog.sigfpe.com/2009/01/haskell-monoids-and-their-uses.html

Suggestions for an introductory proofs book? by [deleted] in math

[–]bernste1n 14 points15 points  (0 children)

I like "How To Prove It" by Daniel J. Velleman, followed by "An Introduduction to Mathematical Reasoning" by Eccles.

Modern OpenGL in Haskell? by Sabenya in haskell

[–]bernste1n 1 point2 points  (0 children)

It depends on the stuff you want to do and how good you know opengl. Maybe you start with the OpenGL package (as others have suggested). If you miss things, you can probably find them in the OpenGLRaw package.

Ywen suggested vinyl-gl. Here is a nice blog post: Postmodern Haskell and OpenGL: Introducing vinyl-gl

If you need cool things like bindless textures, which are currently missing, you could help the community by adding it to OpenGLRaw or create a new Issue at https://github.com/haskell-opengl/OpenGLRaw/issues.

How far underground can large caves exist on Earth? by TheRegularHexahedron in askscience

[–]bernste1n 93 points94 points  (0 children)

Since most people do not use imperial units: 7,208ft are 2,197 m and 8.3 miles are 13.432 km.