Abhinav2000

Exactly :-(

So cool! Thanks for sharing

A bit late to the party. I recommend SICP, On Lisp & Art of Metaobject Protocol. The last you can skip to some degree because its quite advanced so unless you want to stay in the Lisp world, not as useful IMO (but lovely from an intellectual perspective, its a masterpiece). SICP definitely IMO.

On Lisp is by Paul Graham and pretty good too, but again its kinda more Lisp focused. Actually try PAIP by Norvig, I heard that is really good and it should be more useful for non lispers (even though its a lisp based book, it teaches lots of good programming concepts)

Eh is the book GPL though :-/ Can somebody confirm

This part is really interesting:

It is fast - our spatial classifier takes only milliseconds to come to a conclusion about a page (there is additional time prior to this step due to the OpenCV processing - but not too much) and identify it and doesn’t require expensive hardware. Most of our instances run on ARM-64, which at least at AWS, is 30% or so cheaper than x86-64. The s-expression structures align to document structures nicely and allow a nice representation that doesn’t lose fidelity to the original layouts and hierarchies.

The article also mentioned they have 3 programmers and 100k lines of code, that sounds impressive.

I see, thanks

Can somebody elaborate what is Mezzano and how it compares to Linux?

Well Mahatma Gandhi, who literally pioneered the Non-Violence Movement, never won the Peace Prize so any of its credibility has long been gone. In fact its probably better /not/ to win it.

I would have thought governments would be more worried about China spying on everyone and the insane data collection from TikTok (yes it might have an American operator in the US, but I can imagine they found a way to still siphon all that data to the mainland)...its a pretty big security risk if one thinks about it

Mostly text based mathematical analysis. I couldn't stick to Swift as it would rule out a large section of the potential audience (Linux / Win - although Kotlin, which is similar enough, could bridge the gap to some degree), so I'm going more down the Web App route. For now, most of my I/O is in Emacs and later I may plan to work on the GUI side (via Electron or Web App, maybe but very unlikely CAPI or some CFFI).

How about yourself? Do you still do programming in AI?

The documentation does _not_ suck. It it literally the most well documented software in existence, a reason for which it has been used for many different things outside its original purpose of text editing.

Yes, it may not be for everyone. But just say that, that it uses certain conventions that are likely outdated for a reasonable set of the population. But you can't say the documentation sucks when you have the below:

https://www.gnu.org/software/emacs/manual/html_node/emacs/in...

https://www.gnu.org/software/emacs/manual/html_node/elisp/in...

I _really_ don't know how you got that from this article.

Agree with you, and Swift is also such a great language. I went from it to Lisp, sometimes I ponder about returning back (however my use case currently is for Lisp).

I think this is a very valid viewpoint. Typically its better not to learn / use macros until one is sufficiently advanced, functions will do for 99.5% of the circumstances, to call a famous author ;-)

You should try it out. The book Common Lisp Recipes by Edi Weitz is really good and practical - you can get web servers up and running in minutes, and has many other practical uses (I have to check the contents again, but its about 750 pages long and covers stuff like interfacing with C and Java), highly recommended if you want to get productive in Lisp!

Ummmm sorry to burst your bubble, all those languages you mentioned are considered part of the lisp family (I'm not sure what Fennel is, so can't comment), so actually you interpreted Paul's statement incorrectly - he didn't say Common Lisp or Scheme in particular, he said Lisp so was referring to all of them.

For what its worth, he's writing his own Lisps (Bel, Arc), is highly proficient in Scheme (just check out the book On Lisp), and is a true lisp polygot. I can't speak for him obviously but I don't think he has a super strong affiliation _just_ to Common Lisp.

Macros let you construct expressions at compile time (not run time). So one can basically create their own programming language in macros, which at compile time expands into the standard language (e.g. lisp). In this way they are powerful for being expressive and also for being highly efficient (as its compile time, not run time).

There are many other nifty things you can do as a result, but I am myself not that great. Paul Graham actually wrote the book on macros ('On Lisp'), he's legit :-)

For those who want to try out a quote unquote weird language, here is a cheat sheet I found helpful for Lisp: https://github.com/ashok-khanna/lisp-notes

p.s. love you weekly Emacs blog, its such a joy to read. Thanks for doing that!

MathML, like other XML syntax languages, are more meant for computers to read & interpret - not for end users to write. I hope it becomes native across all browsers (as its the best chance of standardisation we currently have), as good as MathJax is, we shouldn't be having to rely on a JS polyfill to render maths in a browser...

Great advice

Google Ads is the monetisation of all of the other services Google offers. Everything is a funnel of information to Google's Ad Analytics

Might be difficult but will have a look

Your welcome

There's definitely a market for it!

My favourite IOS calculator app (for those who are RPN minded). Love this little free gem!

https://apps.apple.com/qa/app/rpn-30/id1451413517

Thanks

Thanks Kevin. It seems like having both approaches is more flexible and thus more general (which can hopefully only be a good thing?). One could always replace a proof by contradiction later with a direct proof, but there's definitely value in using it in the meantime (at least in my uneducated view).

p.s. could you let me know your e-mail so I can keep for future reference, as I'm also working on a hobby project for automated theorem solving.

What is constructive mathematics for the layman?

Dear Kevin,

I am working on some hobby projects, similar but very much more elementary to what you are doing. May I please kindly get your e-mail address (or you may drop me a note at ashok dot khanna at hotmail dot com). I would love to connect and follow your work.

I apologise as I was not able to find your e-mail address on your blog post - sorry if I missed it.

Best wishes,

Hi all - submitter here. I wasn't sure what was the right way to do this, but I know a lot of facebookers frequent this forum and hoping it can get some attention as its an unfortunate, unintended consequences of the recent changes in the Australian market.

If this can be brought to the right attention, that would be great!

Sorry if this is not the right mechanism