james2doyle

6 ms·

61.
by james2doyle 7mo ago
There is a blog post now: https://mistral.ai/news/leanstral
62.
by james2doyle 7mo ago
Mentioned in the 2.5.0 release of the Vibe CLI tool: https://github.com/mistralai/mistral-vibe/releases/tag/v2.5....
63.
Mistral.ai Leanstral: open-source model designed for engineering(docs.mistral.ai)
5 points by james2doyle 7mo ago|3 comments
64.
by james2doyle 7mo ago
> Leanstral > Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active. Mentioned in the 2.5.0 release of the Vibe CLI tool: https:/&#x2
65.
by james2doyle 7mo ago
This article sure uses a lot of em dashes. I see 9 in the article body.
66.
by james2doyle 7mo ago
> You're absolutely right Bot detected
67.
by james2doyle 8mo ago
The blog post includes a video showcasing the improvements. Looks really impressive: https://blog.google/innovation-and-ai/models-and-research/ge...
68.
by james2doyle 8mo ago
That is just not true. These AI scrapers are hammering all types of sites and causing their bills to explode. https://www.pcmag.com/news/wikipedia-faces-flood-of-ai-bots-... The nature of archives is that they are cons
69.
by james2doyle 8mo ago
Haven’t seen this one, but I settled on this offline-running one: https://github.com/hoomanaskari/mac-dictate-anywhere
70.
by james2doyle 8mo ago
I was having the same journey but landed on https://github.com/hoomanaskari/mac-dictate-anywhere
71.
by james2doyle 8mo ago
Having used both, the experience of building actual UI with Flutter is a breeze compared to building UI in any game engine. I can imagine that most of the usage of Flutter is leveraging the huge amount of work that was already done to get e
72.
by james2doyle 8mo ago
Makes me wish more apps had feature toggles
73.
Official N8n AI Benchmark(n8n.io)
1 points by james2doyle 8mo ago|1 comments
74.
by james2doyle 8mo ago
Over 60 AI models across 8 categories. The entire benchmark was built and runs inside of n8n and scores models on actual use cases in n8n rather than conversational style or subjective preference. Smaller models often outperform larger mode
75.
by james2doyle 8mo ago
Yep I had the same experience with Astro a couple years ago. Tried to deploy to Cloudflare and it was not working so ended up with Netlify. Tried again a few months ago and it worked flawlessly. Funny enough, they have since "bought&qu
76.
by james2doyle 9mo ago
I think this one is better: https://huggingface.co/spaces/ronedgecomb/ml-sharp
77.
by james2doyle 9mo ago
I believe if you are using a project workspace (working in a directory with a .sublime-project file) then you can also write plugins right there in the project. But, if you wanted, you can use symlinks. Sublime will follow symlinks. I use t
78.
by james2doyle 9mo ago
Maybe try out some of the alternative CLI options? Like https://opencode.ai ? I also like https://github.com/charmbracelet/crush and https://github.com/mistralai/mistral-vibe
79.
by james2doyle 9mo ago
You can actually use tailwind via the script tag in a plain HTML file. Not for production, but great for whipping up prototypes
80.
by james2doyle 9mo ago
I don’t think people realize how easy it is to make Sublime plugins. They can be as simple as a single .py file. No dependencies install step, no meta files, no rituals to go through. Just drop the .py file in the right directory. I’ve used
81.
How I use AI in Sublime Text(ohdoylerules.com)
4 points by james2doyle 9mo ago|0 comments
82.
by james2doyle 10mo ago
I have found MCPs helpful. Recently, I used one to migrate a site from WordPress to Sanity. I pasted in the markdown from the original site and told it to create documents that matched my schemas. This was much quicker and more flexible tha
83.
by james2doyle 10mo ago
Still not "9 times faster", and still seems disingenuous, but here is one comparison that is at least given with some more context: https://x.com/ShieldCrush/status/1943516032674537958
84.
by james2doyle 10mo ago
This is just using robots.txt and asking "pretty please, don’t scrape me". Here is an article (from TODAY) about the case where Perplexity is being accused of ignoring robots.txt: https://www.theverge.com/news&#x2F
85.
by james2doyle 10mo ago
You call it extortion of the AI companies, but isn’t stealing/crawling/hammering a site to scrape their content to resell just as nefarious? I would say Cloudflare is giving these site owners an option to protect their content and
86.
A custom Blender-to-Godot addon that makes level and gameplay creation easy(github.com)
3 points by james2doyle 10mo ago|0 comments
87.
by james2doyle 10mo ago
How often do you buy the first result on an Amazon search? Because that's delegating your labour, isn't it? Surely the best products are getting to the top, right? Well no, they're being paid to get to the top. An LLM that ha
88.
by james2doyle 10mo ago
Do you buy the first item that pops up on Amazon for a search that you've made? Because that's letting the robot do it for you. If the answer is "no because that's an ad", well, how do you know that the output from
89.
by james2doyle 11mo ago
There seems to be quite a few of projects like this these days: * https://github.com/Scythe-Technology/zune * https://github.com/lune-org/lune * https://github.com/luau-lang/l
90.
LLM Chat Platform for iOS, Android, Mac, Windows, and Linux(github.com)
1 points by james2doyle 11mo ago|0 comments

More ›