🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy! plai.org

I've found the perfect Instagram account. Seattle's Twice Sold Tales owner Jamie recommends books and shows her cats. That's it. IG twicesoldtales

We are facing a #funding crisis for Behaviour 2025. Please help with sponsors, donors, funders, to make the conference a success! Please spread the word!

If things go according to plan, in Hookmark 6.11 we are adding additional integration with bookmarking apps and services. Let us know your preferences!

I am super-pleased to be serving on the PC of the excellent and much-needed "Undone Science in CS" 2026: "to provide an opportunity to pause and reflect on the epistemological and ethical aspects of computer science". For much more information, please see: undonecs.org/2026/

We will be soft-launching a new initiative for teachers in the higher education sector in India, centered around a training program but will also feature a community and regular live events (workshops, talks, etc). Help us finalize a logo bu voting here: 99designs.com/contests/poll/…

As we have scaled our conferences up (somehow), there is absolutely no human-touch in the entire peer-review pipeline of most AI/NLP conferences. No wonder the quality has gone down the drain. Just feels like soul-sucking service. We need better models.

This!

Indian team shines at IMO 2025! India wins 3 Gold, 2 Silver and 1 Bronze medals. The (unofficial) overall country ranking for India is 7 this year (the highest total score by India after 1989). imo-official.org/team_r.aspx?co…

The rivalry between Knuth and Douglas McIlroy is well known. While McIlroy favoured real-world implementation, Knuth was known for mathematical and algorithmic elegance. When asked to implement a program to list the most frequent words in a file, Knuth wrote a 10-page program

⁉️ "How the hell did you think of drawing this???" ⁉️ "How did you come up with this metaphor?" I keep getting this question, and trust me, this is NOT A TALENT I was born with. It's a skill that I learnt and polished over the years. A skill you can learn, too.

Has anyone tried AI video generation in Canva yet? What's your experience with it? Also couldn't figure out the pricing from a quick look, hard to imagine that unlimited usage would be included in the default plan...

Hey Lovable, any chance you'd consider making top-up credits possible? Would be super handy for one-off projects! I'd rather not to upgrade for a month and downgrade back because I am on a legacy annual plan :|

We moved to Linux as the default for new dev hires at 37signals a while back. Our setup flow complexity collapsed. It's just so much easier to automate everything on top of Linux than on Mac. And for our work, Linux is also just way faster since we use Docker for DBs etc.

Just finished my first month using Kagi as my search engine, at the Professional tier ("Standard AI"). Unlike with others, I almost never retried a query on Google. As for "AI", out of a budget of $10, I spent… $0.34. And I *really* like how they combine search w/ genAI.

Capacities is a tastefully designed PKM system. If you don’t mind the trade off of a proprietary format (ie it’s not a wrapper for a folder of plaintext files) + slightly limited support for offline/collab, definitely give it a spin! Delightful UI/UX & some very handy features.

I have expanded the name of my blog : "VISMAYA – History & Philosophy of Science" In Sanskrit, the word ‘विस्मय' (vismaya) means wonder, which is the essence of science, and perhaps the essence of human beings. Welcome to Vismaya! historyofscience.in/about/

Looking for a graphic illustrator for the book. It is a book for girl scientists - part memoir, part reportage. 📘👩🏽‍🔬 The work will require regular communication of ideas and styles with me, and delivery of illustrations within a fixed timeline of 6 weeks. Other details, such

Another AI system, ByteDance's SeedProver solved 4 out of 6 IMO problems *with* Lean, and solved a fifth with extended compute. This is becoming routine, like when we went to the moon for the fourth time. There is *nothing* "routine" about this!!...

CCL at IITGN participated in the world's largest Math+Art conference held at the Technical University of Eindhoven, showcasing its innovative approach to integrating creativity with mathematics.