|
Tim Sweeney
@
TimSweeneyEpic
|
|
Epic Games founder & CEO
|
|
|
7.295
Tweetovi
|
231
Pratim
|
69.650
Osobe koje vas prate
|
| Tweetovi |
|
Tim Sweeney
@TimSweeneyEpic
|
11 h |
|
See unrealengine.com/en-US/megagran…. The grant program covers open source 3D tools of all sorts, among other categories of eligible projects.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
24 h |
|
Cryptonuts, digital donuts powered by the blockchain!
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
24 h |
|
forever if the exact value were desired. The constructive reals are the subset of the reals that can be computed in this way. Constructive logic is less powerful than full logic. See the Curry Howard correspondence for the neat programming connections.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
24 h |
|
Constructivists accept that a thing exists if one can produce a constructive proof of its existence. The constructive reals can be defined by a function that produces a successively tighter bounds on the exact value and is proven to converge, even though computing it would take
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
24 h |
|
Will you accept donuticons?
🍩🍩🍩
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
24 h |
|
It’s okay to just disagree with the practice of store exclusives without turning it into a bribery scandal or a stabbing.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
3. velj |
|
The Axiom of Choice shouldn't be viewed as true or false, but as a tool to explore the space of non-constructively provable propositions. Anything that can be proven without AC ought to be, as a proof is more powerful as it represents a computation.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
3. velj |
|
The core distinction is between constructive logics (in which proofs of existence are guaranteed to produce an example) and non-constructive logics which can prove something exists without any clue as to what it is.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
Congrats to Godot for showing that a pemissively licensed open source 3D engine can succeed at scale! twitter.com/reduzio/status…
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
The technique for tracking where references live is awesomely brute-force. There's 128TB of address space, so I virtually allocate 32TB of uncommitted memory for tags, with one byte tag for each 8 bytes of address space. I then catch page faults in tag memory, commit, and track.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
References in managed memory are not roots. They are tracked by the GC and are only treated as live when the object they reside in is live.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
In my case, box<t> is the type of managed references (like shared_ptr<t>, but GC instead of ARC). There are two types of memory, and the GC treats them differently. References living in unmanaged memory like the stack or C++ heap are roots.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
The timeslice for GC assistance can be arbitrarily small. The critical requirement for keeping memory allocation bounded is: on average, the all threads have to free abandoned objects at least as fast as they abandon objects.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
Once we abandon stop-the-world GC, there are some nice choices available. You can have a dedicated GC thread, but it's impossible to guarantee it can keep up with the garbage created by other threads. So you really need the ability for thread that allocate to help with GC.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
Yes.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
All threads, all GC overhead being amortized across threads or in negligibly small timeslices.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
Because, ultimately, no amount of features of revenue sharing improvements could by themselves overcome the lock-in power of the $100,000,000,000 digital store monopolies each starting with over 95% marketshare. But exclusive games can and will!
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
Thanks for sharing. My view all along has been: 30% store fees are exploitative and the importance of overcoming them very much justifies a strategy of exclusives. Each person involved in gaming will have to make up their own mind on opposing either 30% or exclusives.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
Pure functions have many useful properties that can be used in generic types all the way up to proving programs correct. They enable us to reason about equality of unknown values derived from complex expressions involving unknown pure functions.
|
||
|
|
||
|
Tim Sweeney
@TimSweeneyEpic
|
2. velj |
|
What have we done to offend you?
|
||
|
|
||