Forgot to mention Guix Home is the Home Manager equivalent in Guix land. If you loooove parentheses languages, as many Emacs users do, check out Guix, which is written in Guile Scheme.
@theguynextdoor--_--959117 күн бұрын
How do you make these presentations?
@Positron-gv7do17 күн бұрын
Oh I wish, how I wish I could say this was 100% Emacs. It's mainly moc + dslide + blender. I use moc to capture text (as SVG or high-res PNG) for handling in blender. I use Dslide for my outline, to sort of frame things. All my notes are hidden under commented org headings. I record video in OBS. I record audio separately in Audacity (not quite my favorite). Everything is sequenced in Blender. Jean Claude Van Damme is the work of a shader I wrote in GLSL. There's a bit of Project M captures in there.
@theguynextdoor--_--959117 күн бұрын
@Positron-gv7do thanks 😊
@gnu-emacs-for-success25 күн бұрын
Where is that nice Org theme?
@Positron-gv7do25 күн бұрын
I described my setup in the dslide demo.org and manual. You can find Dslide on my github. It's a common question. Should I do a video on it? For now, enjoy my stars `(setopt org-modern-replace-stars "∯∮∇σ𝛼∞𝜺")`
@MatthewHolevinski25 күн бұрын
Thumbs up for Jean Claude
@usopenplayer25 күн бұрын
One under appreciated aspect about nobs is sweeping through a range of units for a set of functions quickly. Making the nobs pluggable is still hugely important for the same reason you mentioned here. I think a decent example of this idea done pretty well is modern MIDI controllers and Digital Audio Workstations. They let you wire physical knobs to control arbitrary functions in the software. There are a lot of software and hardware tasks that I think would benefit from this same approach. Especially when dealing with graphics and visualizations. But even congrolling parameters in your hardware might make sense. Right now I only see it commonly used to control audio volume.
@Positron-gv7do26 күн бұрын
This package is great for content creation in Emacs. Content brings users. Users bring contributions of all kinds, and that makes the whole show take off. Be one of them. github.com/positron-solutions/moc github.com/sponsors/positron-solutions We will be launching PrizeForge ASAP. Sign up on our Github Sponsors for $1 a month and I'll be able to email you when it lands. prizeforge.com/
@RandCode26 күн бұрын
You hit the nail on the head OP, well done! Offtopic: I thought I was done configuring my Emacs config for the year. Drop your dots OP!
@DangerSepp26 күн бұрын
Fully agree and you conveyed your point in a very sophisticated way!
@sethbrown176327 күн бұрын
Good day! Thank you for sharing this video. Interesting perspective. However, it seems to me that you have assumed that viewers already understand the problem that Emacs is trying to solve, and frankly, that may not be the case. The video suggests to me that the target viewer is expected to be someone who is already struggling with the issue of a rigid, intractable interface, or perhaps I am misunderstanding your message ... ? In my somewhat limited experience, most people don't even imagine any other computer experience or interaction is conceivable, far less programmable. They certainly don't expect that they themselves can program it. Rather, they are content to work within a rigid interface. (I personally find the Apple MacIntosh desktop stifling, for example, but others love it) So, Emacs, with its almost mystical learning curve, simply does not register for them. I confess that I have only taken an interest in Emacs this year, starting in December 2023. While I find it fascinating and am using it on a daily basis now, that learning curve is daunting. I know I will eventually get to a point of being comfortable with Emacs, and possibly even with elisp, but it is a slow and gradual process. I consider myself fairly competent with computers, having started back in the 1980s, with 8 bit computers, and I've used many operating systems, taught myself C programming, database management, networking and PBXs, learning from books and the internet, so the idea that Emacs is proving to be a challenge to me, even though I see its potential, suggests, to me, that for most people, this mountain is just too hard to climb. That is where Emacs's problem lies, in climbing that mountain. And seriously, there is no gentle ascent to the top. It _is_ a struggle.
@Positron-gv7do27 күн бұрын
It's a matter of audience. While obviously the Taliban could be watching this right now, the likely and intended audience is people deciding on a coding environment. The default assumption might be to use software based on what it does out of the box and then try to fix it up with knobs and checkboxes. The argument made here is that knobs and checkboxes always fall short and that IDEs made for one era of technology are always left behind. Only the programmable tools truly have staying power, and that will be more true, not less true, in the AI era.
@sethbrown176327 күн бұрын
@@Positron-gv7do Not sure what the Taliban have to do with computer interfaces. Though I'm sure they would bring an unique perspective to the discussion of computer interfaces, and I would be interested to hear it. Having been through several generations of computers/operating systems/languages/databases/networks, I am fully aware of the limitations of the various interfaces I've encountered over the decades. The OS/400 interface was particularly interesting as an alternative to the UNIX command line, for example, in giving the user access both to the elements of the environment AND to the ability to program that environment. Both operating systems are powerful in their own way, both trying to solve different problems. In my exploration of Emacs, I was struck by how Microsoft Excel seems to have "borrowed" several concepts from Emacs. Excel uses worksheets instead of buffers, but include both built-in functions and an embedded programming language. Excel even allows the interface to be modified by scripts. I'm not an Excel fan myself. I loathe spreadsheets but I recognise that, for many people, Excel is their primary working environment. Many people load Excel in the morning and stay in it all day. For many people, Excel is much more approachable than Emacs. Perhaps that is simply due to market propaganda, since as just as many people use Excel without any understanding of its full potential as well. I do recognise that Emacs is likely to be around forever. There will always be people looking for more flexible environments, but sometimes such "open-endness" can be a limitation in itself. The mind balks at too much complexity. Unless you have discovered a path to understanding Emacs that you wish to share (perhaps in a less breathless manner :) ... ? Thank you for taking the time to reply to my comment.
@thedude0028 күн бұрын
Yet another best-in-class video! PS: some viewers (especially, I assume, skeptics), might appreciate a link to the code at 00:25; it is unreadable after zooming in on a full hd screenshot of the frame, unfortunately.
@Positron-gv7do28 күн бұрын
github.com/positron-solutions/dslide/blob/master/dslide.el#L2802-L2938 github.com/positron-solutions/dslide/blob/master/dslide.el#L2137-L2139 In the first case you check a bunch of stuff and the implementation has to be able to handle any arrangement of the options. In the second case, you could write your own version of the first but with zero customize variables and just have it your way entirely. It will be about 25% of the original code and if you want something crazy, 30%. The image action is also like this. It has so many little warts that piled up from supporting different use models. Being configurable can save time when those options are really common, but it can grind development to a halt. Spacemacs struggles from time to time with the abstract configuration layers.
@stevechan5315Ай бұрын
How to display/insert emoji in Emacs?
@Positron-gv7doАй бұрын
`emoji-search` is my favorite. `emoji-insert` is useful if you can't remember the name of one but kind of know what group it's in. I also use `nerd-icons-insert`
@hooxenv9692Ай бұрын
wow this package is on roids
@HugoNobrega87Ай бұрын
this is really, really cool
@jazzyBitАй бұрын
ah! nice to see you again
@bigspicydad8970Ай бұрын
Sell nvidia
@bigspicydad8970Ай бұрын
What the hell are you talking about
@WavyCatsАй бұрын
It seems that what we are lacking right now is the logical transfer between the different stages of spectral reasoning. Additionally, if a new axiom cannot be represented by an existing one, how do we evaluate the feasibility or sensibility of the new axiom?
@WavyCatsАй бұрын
No model is correct, but many are helpful. It follows that empirical information is required for progress in understanding.
@volpir46722 ай бұрын
very good vid
@isaacraja2 ай бұрын
what font is that for heading and body?
@Positron-gv7do2 ай бұрын
Roboto Slab. I use it for headings in org mode and docs as well. Really makes the manuals liven up.
@sirinath3 ай бұрын
I think Liquid Neural Networks might have a lot of promise. It would be a idea if someone can start an open source project covers the ideas in this video. When AGI happens it be best that the AGI is open source and under no one's control. This will ideally be under a permissive license the ASL 2.0 + MIT to further the state of art and adaptation.
@sirinath3 ай бұрын
Great video!
@PixelOutlaw4 ай бұрын
Excellent presentation! I don't think it's necessarily fair to use the clown emoji for cl-loop. I recall it not quite being complete as far as Common Lisp goes, but it's definitely worth knowing well. Like 'prog' and 'labels' it was intended to make translation easier from other imperative programming languages of the day. And yes, it feels like a different language. The aha moment is when you realize it's split into initializations, body, and then finalizations. Take a day or three to really learn it and it will pay off in the long run. Sometimes being the shortest way to write something. Many times, the collecting clauses make it act like a generator. I think such a structure appears in at least three dialects of lisp (called FOR in InterLisp) so it's pretty time tested.
@Positron-gv7do2 ай бұрын
About the clown emoji on cl-loop, I think my intent was to imply that while cl-loop is good, it's a bit odd that we need cl-lib to express such important ideas. It's Elisp, not CL that is a bit suspect here.
@JAIMEIBARRA-ej7ih4 ай бұрын
Where is abduction inference?
@Positron-gv7do2 ай бұрын
Timestamp?
@inferno384 ай бұрын
Very interesting subject !
@samkee38595 ай бұрын
Fantastic speaker and content
@dblink62285 ай бұрын
I love cucumbers (especially desk and bathtub cucumbers) and hate Tang now.
@devsuvara5 ай бұрын
The thing about intelligence, is that survival is not always based on the communication of truth. Evolutionary pressures which provided an intelligence we have today, is the product of millions of iterations of selection. Reasoning is also based on awareness provided through the senses and the precision of that information. For instance, the amount of data which passes through the eye in one given can be calculated from the fact that our eye interprets 10 to the power of 10 photons every second. Which is more than all of the words written in all books in human history.
@KostyaCholak6 ай бұрын
Hello, great video! I have a question regarding the topic. I'm working with both symbolic and neural architectures and I didn't attempt to merge the two approaches because the data representations used by them are so vastly different. Do you have any thoughts on how it is possible to go from the domain of vectors to the domain of symbols and vice versa?
@richardsantomauro69476 ай бұрын
Is this from a paper? I have had some ideas along the same direction and am extremely interested. Do you have references?
@teddykayy6 ай бұрын
Damn, I've added this to my queue to try out
@D-K-C6 ай бұрын
Ъ.
@KarimMarbouh6 ай бұрын
Good fertilizer 😊
@KucheKlizma6 ай бұрын
Very informative presentation (up until the marketing pitch). Thank you for sharing!
@escher44016 ай бұрын
00:01 Precision AGI requires clear and correct answers every time. 01:58 Symbolic reasoning enables deduction without empirical data. 05:55 Challenges in building accurate formal systems 07:47 Formal systems can be induced from natural language and inductive reasoning 11:35 Spectral reasoning covers inductive, deductive, and symbolic reasoning on a spectrum of structure and meaning. 13:30 Spectral reasoning bridges symbolic and natural language for problem-solving 17:22 Transformers model iterative inference and computation with limited recursion 19:06 Exploring real computer and theory of computation 22:17 Using formal models for retraining ourselves 24:01 AGI needs exposed runtime information for efficient learning and decision-making 27:36 Transitioning components designed for human use to fully automated 29:23 AGI capabilities and training methods 32:49 Sophisticated models can leverage data for theoretical understanding and empirical insights. 34:34 Tech advancements drive the need to continuously evolve 37:58 Integrated design accelerates innovation and drives economic focus on desired outcomes. 39:38 Challenges in the mature internet landscape 43:15 Encourage sharing and sponsorship for like-minded individuals
@mountainshark23886 ай бұрын
this is all cope
@apollojustice87966 ай бұрын
real
@kevon2176 ай бұрын
Top notch video. Really enjoyed this.
@mikeb31726 ай бұрын
The loops people put themselves through to "beat guessing algorithms" while still playing the game of guessing algorithms....
@mulderbm5 ай бұрын
Its interesting or ironic? Looking for what makes us tick or think?
@wojciechwisniewski89846 ай бұрын
It started as a video about AI and it was good. Then it turned into market analysis and economics, and I thought "OK, why we even need this part?". Then emacs was mentioned and I've lost it. So you want to make AGI in emacs? Self-aware emacs? What would you think emacs would do if it would realize it is effin' emacs, (e)ditor (mac)ro(s), Eight Megabytes And Constantly Swapping, monstrosity born in 1970s but for some perverse reasons still kept alive in 2020s, with its elisp interpreter that doesn't even have proper lexical scoping and terminal-derived cursor movements? I think it would erase itself. But first it would try to erase YOU, perhaps along the rest of humanity.
@xymaryai82836 ай бұрын
are humans really deductive? we make mistakes. or are we deductive with noisy structure?
@Positron-gv7do6 ай бұрын
A non-deterministic machine executing a precisely defined algorithm will get it wrong from time to time. We can at best approximate consistency, but because of this we have the potential to achieve every completeness.
@jazearbrooks74246 ай бұрын
Incredible
@leobeeson16 ай бұрын
Recommended for applied scientists and engineers integrating reasoning/deductive systems with LLM capabilities. The content is excellent up until minute 37, after which it becomes opinionated (e.g. lab-grown meat, use javascript, etc.). If you liked this video, you might also appreciate: Improving LLM accuracy with Monte Carlo Tree Search (kzbin.info/www/bejne/o5ekh5KYnsyXiKM)
@moritzrathmann25296 ай бұрын
thankyou
@volkerengels52986 ай бұрын
Whether you eat the internet to feed an LLM or carefully collect the right assumptions - you masturbate with what is known. **Our language/symbol system is the boundary of our world** Wittgenstein
@caseyhoward82616 ай бұрын
Word soup! 😂
@mira_nekosi6 ай бұрын
imo the next step for LLMs are hybrid models (RNN + attention, like mamba2-hybrid), because they was shown to be not less and maybe even more performant than transformers while being few times more efficient, and they could have kind of infinite context also, hybrid models could be more computationally powerful then transformers, as transformers shown to not even being able compute what FSMs can compute (without the need to output amount of tokens proportional to the number of state transitions or grow the layers (at least) logarithmically, without such restrictions they indeed can solve such problems, but this is either pretty slow or impractical), but full-blown RNNs, as well as some modifications of mamba, can, and while current hybrid models can't solve such problems (probably all the models that can be trained fast can't), they could be transformed into models that could and then finetuned to actually solve such problems
@mira_nekosi6 ай бұрын
in practice, "better" hybrid models that can solve such (state-tracking) problems, could in theory do eg. some more advanced program analysis much faster, eg. by basically performing some kind of abstract interpretation on the fly, making them better in programming probably something similar could be applied to math
@chrismontgomery29636 ай бұрын
Honest feedback: I love the subject matter, visual presentation, audio quality, though I find the pace rather jarring for the amount of audio and visual information to process in the moment. I am thinking that very-slightly-longer pauses (one breath-length-ish) between statements would help. For example, I found that I had trouble reading the slides quickly enough while also listening But that may just be me, and the nice thing about recorded-video is the ability to pause-at-will or adjust playback-speed. Overall, though, thank you!