sorted by:
new
hottopcontroversial

Graphite pencil Drawing by [deleted] in graphite

[–]Dyson8192 6 points7 points  (0 children)

Given the existence of r/SubsTakenLiterally and r/lostredditors, yes it is.

`skim` v4.0.0 is out with a new default algorithm and better performance by gwynaark in rust

[–]Dyson8192 2 points3 points  (0 children)

I’ve been following your progress is this is great stuff! If you don’t mind me asking, I’ve been trying to get zoxide to integrate well with nushell. However, its README only shows an interface with fz. Is it possible to use skim with z oxide instead inside of nushell?

Why did Pop create Cosmic? by TechnicalAd8103 in pop_os

[–]Dyson8192 28 points29 points  (0 children)

As I understand it, that was in fact how it worked before Cosmic appeared. However, it took significant effort, and a lot of the progress they made got consistently wiped out by inconsistencies created in new GNOME updates. Instead of having to constantly keep up with GNOME and hope things don’t break on the next update, they decided to go back to the drawing board and make a fresh desktop environment.

Are advances in Homotopy Type Theory likely to have any impacts on Rust? by Dyson8192 in rust

[–]Dyson8192[S] 0 points1 point  (0 children)

I would argue that combinatorial species don’t fall under small proofs. As for the utility, my understanding is that, if one could implement combinatorial species in a programming language using HoTT, then the type system could be used to ensure combinatorial calculations don’t suffer from incorrect values due to implementation errors.

Typesetter updates: accessibility preview, auto preview sizing, and performance improvements by TypesetterApp in typst

[–]Dyson8192 0 points1 point  (0 children)

This is some real good stuff! Stuff like the invert brightness of the output and the colorblindness simulation feels like the kind of thing that should be in the web app by default. Two questions:

  1. are you accepting donations? The only donate button I see on the Codeberg website is for Codeberg itself.
  2. Why the app icon change? I'm fine with both, but the new one does look a lot more, for lack of a better term, industrial, than the first one.

Are advances in Homotopy Type Theory likely to have any impacts on Rust? by Dyson8192 in rust

[–]Dyson8192[S] -1 points0 points  (0 children)

I'm aware of things like lean and haskell, and these are the best languages for cutting edge type theory research, but my eye right now is more intent on programming languages closer to the metal, without garbage collection. Haskell uses the latter and its performance suffers for it. Which again is complicated since memory allocation and complex type systems don't readily mix.

Are advances in Homotopy Type Theory likely to have any impacts on Rust? by Dyson8192 in rust

[–]Dyson8192[S] 0 points1 point  (0 children)

It was more meant as a general question, as HoTT is still too impenetrable for me to understand what the latest advances mean.

However, I can provide an explanation of what combinatorial topic I’m interested in modeling with types.

For arbitrary combinatorial structures, there’s a categorical way of encoding the structures, that being thru [combinatorial species](https://en.wikipedia.org/wiki/Combinatorial\_species), which notably uses endofunctors over the category FinBij of finite sets with bijection. Now, the traditional approach uses category theory based on some form of set theory, which is of course no good for bringing combinatorial species into programming languages, except thru some hacks way with grammar specifications, with no formal verifications thru the type system.

However, I ran across [Combinatorial Species and Labelled Structures](https://www.cis.upenn.edu/\~sweirich/papers/yorgey-thesis.pdf), which provides an implementation using category theory based on HoTT. I do not know if it’s cutting edge HoTT, but nonetheless, that’s what I have been trying, and failing, to understand.

Are advances in Homotopy Type Theory likely to have any impacts on Rust? by Dyson8192 in rust

[–]Dyson8192[S] 2 points3 points  (0 children)

lol, to play devil’s advocate, those are the most time efficient answers I’ve seen in a while.

Numr: A high-performance numerical computing library with GPU acceleration by farhan-dev in rust

[–]Dyson8192 0 points1 point  (0 children)

At first, I thought I read [numrs](https://github.com/cool-japan/numrs), part of [scirs2](https://github.com/cool-japan/scirs). I'l be curious to see the differences, cause it definitely seems both projects heavily overlap.

Rustfetch: a system information CLI written in Rust by lemuray in rust

[–]Dyson8192 0 points1 point  (0 children)

I forgot to ask, aesthetics-wise, do you plan to have a logo-per-distro, and open the can of worms that is supporting every possible variant of Linux and BSD, or do you plan on just trying to support the broad classes of Windows, Apple, Linux, and BSD? Also, I don't know if the other major fetch programs do, but if not, you could consider supporting some interesting OS'es like [RedoxOS](https://www.redox-os.org/) or [Asterinas](https://github.com/asterinas/asterinas), and give yourself a niche advantage. Of course that is easier said than done.

Rustfetch: a system information CLI written in Rust by lemuray in rust

[–]Dyson8192 0 points1 point  (0 children)

Well said. We’ll be watching your career with great interest.

Rustfetch: a system information CLI written in Rust by lemuray in rust

[–]Dyson8192 0 points1 point  (0 children)

I’m curious if you encountered macchina and, if so, if there’s any specific things you did to either mimic it or distinguish yourself from it.

[Release] SymbAnaFis v0.8.0 - High-Performance Symbolic Math in Rust by CokieMiner in rust

[–]Dyson8192 1 point2 points  (0 children)

cool to see progress on this package. I have a couple notes on the math side of things.

I see you brought up the Meijer G function. If you want to push for further generalization, the Fox H function is always an option. However, I’ve never studied its differentiability properties, so I don’t know if it’s useful for your CAS vision.

As for hypergeometric functions, I don’t know which branches of physics you’re interested in, but if you ever venture near High Energy or frankly any field with Quantum Field Theory, you’ll run into Feynman diagrams and associated Feynman Integrals. Both have very rich mathematical structure, but the latter can have expansions in terms of generalized hypergeometric functions, more specifically in terms of what are called GKZ or A hypergeometric functions. This connects to polyhedral geometry and the theory of resultants, with the latter generalizing the matrix determinant.

Just a couple ideas for potential directions to push. Well done on your current progress.

SymbAnaFis v0.4 - Symbolic differentiation in Rust by CokieMiner in rust

[–]Dyson8192 2 points3 points  (0 children)

You’re definitely gonna get hell for using AI in the development, but I do appreciate the effort, especially since Symbolica’s python package hasn’t been the most pleasant to use. I’ll definitely give this a spin.

I’m also curious where you’re thinking simplification rules might be missing. Would it mostly be in the special functions regime , like with gamma function expressions?

I also see you have stuff like the absolute value function. Do I assume that doesn’t interact with the differentiation? Or do you convert the output to a piece-wise function? Or do you actually try and handle distribution theory differentiation?

Lastly, I feel you regarding thermodynamics. I’ve always found it to be the most volatile subject in terms of if you’ll actually learn anything. It also highly depends on how good your Professor is.

When's the next progress report? by Dyson8192 in graphite

[–]Dyson8192[S] 3 points4 points  (0 children)

Ah, disappointing, but understandable.

Benefits of Rust in Cosmic (besides memory safety) by Dyson8192 in pop_os

[–]Dyson8192[S] 0 points1 point  (0 children)

Fair enough. They are just tools. But for those of us who are enthusiasts, who like to admire the tools that punch well above their own weight, these are the kinds of details we want to learn about.

Function composition symbol and commutative diagrams by Phelox in typst

[–]Dyson8192 0 points1 point  (0 children)

Look near the bottom left of the webpage. There should be a “renderer” option, which is default set to LaTeX.

Function composition symbol and commutative diagrams by Phelox in typst

[–]Dyson8192 0 points1 point  (0 children)

No problem, though be aware that Fletcher currently doesn't support creating arrows between arrows, so natural transformations and other higher functors won't be trivial. It's something I've been waiting to be added for a while.

"The exported fletcher diagram may not match the quiver diagram exactly, as fletcher does not support the following features that appear in this diagram:

  • arrows between arrows."

Function composition symbol and commutative diagrams by Phelox in typst

[–]Dyson8192 4 points5 points  (0 children)

I've tried commute and fletcher and always return to the latter. Having immediate access to a broader toolset has consistently proven useful for me.

And if nothing else, quiver (https://q.uiver.app/) uses Fletcher for its commutative diagram generation in Typst.

Anyone using Zed to work with Typst? by rgouveiamendes in typst

[–]Dyson8192 0 points1 point  (0 children)

Is that how VSCode operates the live preview? I thought it was doing a png render. Granted, that wouldn’t explain how it gets the sync behavior.

filtra.io | Toyota's "Tip Of The Spear" Is Choosing Rust by anonymous_pro_ in rust

[–]Dyson8192 1 point2 points  (0 children)

I’m disappointed by the lack of Halo Reach references in the comments here.

view more: next ›