Twitter | Pretraživanje | |
Tim Sweeney
Epic Games founder & CEO
7.295
Tweetovi
231
Pratim
69.650
Osobe koje vas prate
Tweetovi
Tim Sweeney 11 h
Odgovor korisniku/ci @gamingonlinux
See . The grant program covers open source 3D tools of all sorts, among other categories of eligible projects.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 24 h
Cryptonuts, digital donuts powered by the blockchain!
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 24 h
Odgovor korisniku/ci @vreshetnikov @Lucas_Trz
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 24 h
Odgovor korisniku/ci @vreshetnikov @Lucas_Trz
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
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 24 h
Odgovor korisniku/ci @gigatexal @Bumfluffski
Will you accept donuticons? 🍩🍩🍩
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 24 h
Odgovor korisniku/ci @olliewi42665977 @tyrellan i 3 ostali
It’s okay to just disagree with the practice of store exclusives without turning it into a bribery scandal or a stabbing.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 3. velj
Odgovor korisniku/ci @vreshetnikov @Lucas_Trz
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 3. velj
Odgovor korisniku/ci @vreshetnikov @Lucas_Trz
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Congrats to Godot for showing that a pemissively licensed open source 3D engine can succeed at scale!
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @paniq @pkhuong
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @paniq @pkhuong
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @paniq @pkhuong
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @paniq @pkhuong
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @paniq @pkhuong
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @SupraHadouken
Yes.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @paniq @noop_dev @freshofftheufo
All threads, all GC overhead being amortized across threads or in negligibly small timeslices.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 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!
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @muxah
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.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
What have we done to offend you?
Reply Retweet Označi sa "sviđa mi se"