Computer Science
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly
  • Member for 9 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
495
reputation
4k
reached
0
answers
26
questions
Communities
View all
About

Amateur mathematician. Software developer.

“[Mathematics is] only real when shared” ― Jon Krakauer, Into the Wild

My new favorite book:

Theories, Sites, Toposes; by Olivia Caramello

It is unbelievably readable for modern graduate students or those familiar with basic Category Theory. This is in contrast to the difficulty one has when they start up Johnstone's books. Olivia Caramello is a super hero of mathematics.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
0
Score
11
Posts
42
Posts %
0
Score
6
Posts
23
Posts %
0
Score
5
Posts
19
Posts %
0
Score
5
Posts
19
Posts %
0
Score
4
Posts
15
Posts %
0
Score
3
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
9
Can an Earley Parser be made into a fuzzy parser similar to the Levenshtein Automata Algo for DFA?
Jul 30, 2015
question
4
How does Earley parsing using an automaton work?
Dec 25, 2013
question
3
Closure of context-sensitive languages under inverse language substitution
May 30, 2021
question
2
Do you know of a brute-force algorithm for optimizing polynomial expressions? [closed]
Apr 21, 2014
question
2
If you have a smallest grammar approximation, do you immediately have a CFG inference algorithm?
Jan 11, 2019
question
2
Do graphs with a bounded number of incident edges have a polynomial-time subgraph-isomorphism algorithm?
Sep 24, 2021
question
2
Why can't 3-SAT be solved efficiently if you convert all clauses (x ∨ y ∨ z) into (u ∨ z) by introducing a variable?
Aug 16, 2022
question
2
What is the closest theory to "The theory of code refactoring"?
Jul 8
question
1
Complexity of general polynomial map evaluation is polynomial?
Apr 19, 2014
question
1
How do you solve a general linear diophantine equation in polynomial time (with minimization constraint)?
Aug 1, 2019
Top network posts
View all network posts
64
Is it not effective to learn math top-down?
45
What is integration by parts, really?
42
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
29
Group formed on Parabola similarly to how an Elliptic curve forms a group (by drawing lines, circles, intersecting, or taking tangent lines)
24
Every natural number is covered by consecutive numbers that sum to a prime power.

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.