benrg

Member for 4 years, 3 months
Last seen this week

Summary

Reputation

2,092

2.1k
1.1k
131

2020
2021
2022
2023

Top tag

complexity-theory

Next privilege

2,500 Rep.

Create tag synonyms

Badges

Newest

Yearling

Next badge

0/1

Excavator

Answers

View all 59 answers

Score Activity Newest

Theory behind regex implementations

Feb 11, 2021

Can a total programming language be Turing-complete?

Dec 12, 2020

Curry-Howard, void, and type checking in Haskell

Oct 3, 2020

Why we can not define factorial in lambda calculus

Feb 17, 2022

Regular languages that seem irregular

Aug 23, 2022

Questions

Score Activity Newest Views

This user has not asked any questions

Reputation

+10

In the simulation of a C-program by a Turing machine, how does a TM determine which instruction to execute?

+10

(how) is assignment or binding possible in purely functional languages?

+10

If the virtual address space can be larger than the physical address space, how are the address mappings stored in memory?

+10

What is the reason or motivation for having 128-bit pointers?

Badges

View all badges

This user doesn’t have any gold badges yet.

silver badges

Yearling

× 4

Sep 3

bronze badges

Critic

Feb 3, 2021
Citizen Patrol

Apr 19, 2021
Commentator

May 7, 2021

Accounts

View all 58 accounts

Physics

25.4k
2
47
91

Astronomy

3,498
8
18

Skeptics

3,125
20
19

Computer Science

2,092
4
12

Retrocomputing

1,951
11
15

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

112

upvotes

downvotes

question votes

answer votes

User feed

Stack Exchange Network

Summary

Top tag

Next privilege

Newest

Next badge

Answers

Questions

Tags

Reputation

Badges

Accounts

Active bounties (0)

Votes cast