This article was first written during the Unity Fee-asco of 2023. As such, many Unity ECS community members were seeking alternative high-performance solutions, and were asking me about potential places to migrate some technology I have developed.
Unfortunately, most of the ECS solutions were inadequate for facilitating the technology, yet it hasn’t been easy to explain why. That’s why this series exists. I’ll explain several ECS concepts ideas that are often overlooked in
| # Copyright (c) 2017 Stanislav Bobokalo & Alexey Borontov & Dominic T | |
| # Permission is hereby granted, free of charge, to any person obtaining a copy | |
| # of this software and associated documentation files (the "Software"), to deal | |
| # in the Software without restriction, including without limitation the rights | |
| # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
| # copies of the Software, and to permit persons to whom the Software is | |
| # furnished to do so, subject to the following conditions: | |
| # The above copyright notice and this permission notice shall be included in all |
I think I’ve figured out most parts of the cubical type theory papers; I’m going to take a shot to explain it informally in the format of Q&As. I prefer using syntax or terminologies that fit better rather than the more standard ones.
Q: What is cubical type theory?
A: It’s a type theory giving homotopy type theory its computational meaning.
Q: What is homotopy type theory then?
A: It’s traditional type theory (which refers to Martin-Löf type theory in this Q&A) augmented with higher inductive types and the univalence axiom.
| list: | |
| - name: Adobe Systems | |
| name2: Adobe Systems Inc. | |
| url: http://www.adobe.com | |
| symbol: ADBE | |
| price: 39.26 | |
| change: 0.13 | |
| ratio: 0.33 | |
| - name: Advanced Micro Devices | |
| name2: Advanced Micro Devices Inc. |
| require "benchmark/ips" | |
| # Let's say you want pure functions in Ruby. | |
| # Which form of "packaging" is the fastest? | |
| pure_func_proc = -> (a, b) { a + b } | |
| pure_func_lambda = lambda { |a, b| a + b } | |
| def pure_func_global(a, b) | |
| a + b |
Followed a tutorial recently on using Blender to create a low poly mountain landscape. Decided to export the mesh data and create a Three.js scene out of it.
Tutorial http://cgi.tutsplus.com/tutorials/secrets-to-creating-low-poly-illustrations-in-blender--cg-31770
Three.js Exporter for Blender https://github.com/mrdoob/three.js/tree/master/utils/exporters/blender
| module Classical where | |
| open import Data.Empty | |
| using (⊥-elim) | |
| open import Data.Product | |
| using (_×_; _,_) | |
| open import Data.Sum | |
| using (_⊎_; inj₁; inj₂; [_,_]) | |
| open import Function | |
| using (id; _∘_) |
| require 'rubygems' | |
| require 'bundler' | |
| Bundler.require | |
| require './application' | |
| namespace :assets do | |
| desc 'compile assets' | |
| task :compile => [:compile_js, :compile_css] do | |
| end |
| # 0 is too far from ` ;) | |
| set -g base-index 1 | |
| # Automatically set window title | |
| set-window-option -g automatic-rename on | |
| set-option -g set-titles on | |
| #set -g default-terminal screen-256color | |
| set -g status-keys vi | |
| set -g history-limit 10000 |
