paavohtl

25 ms·

241.
by paavohtl 6y ago
I don't understand this critique with regards to F*. As far as I can tell it has a type signature syntax that is very similar to Haskell, and is used extensively in the linked tutorial.
242.
by paavohtl 6y ago
I don't find this answer satisfactory, because you also need to specify in Rust whether or not a function moves its argument(s). // This moves the argument fn func(a: A) -> B { .. } func(x); // x is not a
243.
by paavohtl 6y ago
Expose is pretty good! But the Windows 10 task view [1] (Windows+Tab) does practically the same thing. [1] https://www.windowscentral.com/how-use-task-view-windows-10 Spotlight is great and puts Windows 10's search to
244.
by paavohtl 6y ago
> Mac a little better in window management Can you elaborate on this? I've been using a Mac for work for a couple of years now and I find the out-of-the-box window management experience pretty bad compared to Windows. No snapping to
245.
by paavohtl 6y ago
Most procedural macros were stabilised in 2018, but some smaller features related to them were stabilised later. Rocket also used a ton of other nightly features beyond metaprogramming, which have either been stabilised by the compiler or r
246.
by paavohtl 6y ago
Most meta programming facilities are stabilized, most importantly procedural macros.
247.
by paavohtl 6y ago
Technically speaking, stable Rocket requires nightly Rust, but nightly (master) Rocket runs on stable Rust. The compiler has finally stabilised all the necessary features for Rocket 1.0, it's just up to Rocket to finish their next rele
248.
by paavohtl 6y ago
It is possible (and popular) to have sum types in TypeScript by manually adding a tag, though. type Maybe<T> = | { kind: "Some", value: T } | { kind: "None" }
249.
by paavohtl 6y ago
Unity does support .blend files and has done so for the better part of a decade - however, it is implemented by the Unity editor invoking Blender to transparently convert the model from .blend to FBX. Here's a related page from the Uni
250.
by paavohtl 6y ago
Chrome's rendering engine (Blink [1]) was hard forked from WebKit in 2013. [1] https://en.wikipedia.org/wiki/Blink_(browser_engine)
251.
by paavohtl 6y ago
It's a cool story, but I don't think there is evidence that it actually happened (in Civ 1, certainly in later games as a homage to this potentially urban legend). The YouTube channel People Make Games did an investigation[1] abou
252.
by paavohtl 6y ago
I don't disagree with your premise, but I disagree with the claim that Rust doesn't automatically manage memory. Rust absolutely does automatic memory management - that's one of the main motivations behind the ownership/
253.
by paavohtl 6y ago
I don't understand the "and C#" part. C# has had stack allocation support (for primitives, structs and fixed size arrays) since the very first release.
254.
by paavohtl 6y ago
Rust's rustc, TypeScript's tsc and C#'s Roslyn are all developed in the open and constantly merge patches from new contributors.
255.
by paavohtl 6y ago
Well not entirely (and depending on what you count as this console generation): the Nintendo Switch is based on an NVidia SOC. Although that's probably not the biggest money maker.
256.
by paavohtl 6y ago
It was confirmed[1] in a Digital Foundry interview that the demo is NOT using HW raytracing. [1] https://www.eurogamer.net/articles/digitalfoundry-2020-this-...
257.
by paavohtl 6y ago
It does have extensions[1]. It just might not be able to run _all_ extensions. [1] From the link: "Inside of a codespace, you’ll have access to the Visual Studio Code Marketplace, and you can preload any extensions you want loaded at l
258.
by paavohtl 7y ago
> Npm could easily be an open source client The NPM client is and has always been open source: https://github.com/npm/cli . > Npm wanted to control nodejs and make money out it. And they have. In what way, other t
259.
by paavohtl 7y ago
Garry's Mod (as a game development "platform") essentially boils down to a Lua interpreter bolted to the Source Engine, with access to assets from Valve's games. If you want to make a new game(mode) in Garry's Mod,
260.
by paavohtl 7y ago
As a long time TypeScript user, I do think this is a design mistake with the language. For example, it breaks instanceof checks. However: - The language primarily uses structural typing. If two classes are compatible, it's not complete
261.
by paavohtl 7y ago
Generally speaking, a Rust project not building/installing with built-in Cargo commands is a bug.
262.
by paavohtl 7y ago
get_unchecked() is marked as an #[inline] function (like most other low level primitives), and through the magic of compiler optimization it should have exactly 0 overhead. The function should most likely compile down to a single CPU instru
263.
by paavohtl 7y ago
Unsafe Rust has significantly more safety guarantees than C or C++. It doesn't disable the type system, bounds checking, ownership tracking or borrow checking.
264.
by paavohtl 7y ago
There's no "panic checking". AFAIK in a no_std environment panic simply jumps to the panic handler, which is more or less an ordinary function. As for what can panic, anything that calls the `panic!` macro. For example trying
265.
by paavohtl 7y ago
The course is and has always been available in all countries; this announcement is about translating it to more languages.
266.
by paavohtl 7y ago
A large part if not the majority of indie games (both on and outside of Steam) are based on Unity.
267.
by paavohtl 7y ago
jQuery is not an UI framework. It's a library of utilities for DOM querying and manipulation.
268.
by paavohtl 7y ago
Alternatively: provision a Heroku dyno, add a single-line Procfile, git push heroku and you're done.
269.
by paavohtl 7y ago
From my experience people learning Rust are not people who are learning a language to get a job. They are usually experienced developers with jobs who know at least couple of languages, and learn Rust to expand their toolbox.
270.
by paavohtl 7y ago
I'm aware of the later leak, but at least the screenshots attached to the Archive file are from the 2003 leak. https://ia800800.us.archive.org/24/items/HalfLife22007Source...

More ›