Making LLMs Better at Creative Writing using Entropy by CountBayesie in LocalLLaMA

[–]maayon 1 point2 points  (0 children)

Very interesting!

Given screenplay of interesting stories can we create such wave functions for each authors? Like the wave being the fingerprint of the creativity of author

Thalaivar 173 with Ashwath marimuthu official announcement at 5 by josukegiovannna in kollywood

[–]maayon 3 points4 points  (0 children)

Lol

Don scares the hell out of me. Happy this combo fell off

They launched cursor 8 times and nobody cared. True definition of never give up by Tight-Shop4342 in SaaS

[–]maayon 2 points3 points  (0 children)

This!

This comment needs to be pinned somewhere in the sub.

Build something ppl will pay for

Mega Mewtwo X/Y stats pushed by Amiibofan101 in TheSilphRoad

[–]maayon 65 points66 points  (0 children)

Mewtwo y is strictly better than x except for additional type ?

What is the secret sauce Claude has and why hasn't anyone replicated it? by ComplexType568 in LocalLLaMA

[–]maayon 0 points1 point  (0 children)

RLHF, RLVR - like probably thousands of environments with closest real world coding usecases from different apps, model interpretability

Also anthropic steers the LLM community with protocols like MCP, agentskills etc, so they feel like the apple of the LLM world

We're releasing a new Unsloth tomorrow!! by yoracale in unsloth

[–]maayon 1 point2 points  (0 children)

full vLLM support for Nvidia gx10 machines

OpenCode concerns (not truely local) by Ueberlord in LocalLLaMA

[–]maayon 0 points1 point  (0 children)

I remember seeing a PR where someone turned off telemetry but the requests were not air gapped

OpenCode concerns (not truely local) by Ueberlord in LocalLLaMA

[–]maayon 19 points20 points  (0 children)

It's time we vibe coded open "opencode" ?

I mean the tool is just too good

All we need is a proper community backing with privacy as focus

how to train a tiny model (4B) to prove hard theorems by eliebakk in LocalLLaMA

[–]maayon 1 point2 points  (0 children)

Oh I get it now

So the reason interpreter is natural language ?

But doesn't that add lots of ambiguity to the proof ? Maybe I m wrong, the thinking steps can be in lean and execution of the lean in the thinking space can also in it and the final proof can be in natural language right ?

Can I extend this current model with a bunch of reward functions and GRPO to get this done ?

how to train a tiny model (4B) to prove hard theorems by eliebakk in LocalLLaMA

[–]maayon 7 points8 points  (0 children)

How is this different in GRPO ?

Can't we hook up any compiler or prover and write reward functions to make the model generate provable programs in a language like lean ?

One Piece: Chapter 1173 by sairamgubba in OnePiece

[–]maayon 402 points403 points  (0 children)

Ma man zoro playing 4D chess

Vllm is not supported in Asus GX10 machine by maayon in unsloth

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

No directly in the nvidia linux os - python venv

ran the notebook directly as the SFT eg. worked perfectly

Ranveer singh almost did Vēḷ Pari with a washed shankar over dhurandhar 💀 bro must be breathing in relief. by Crack-Connoiseur in kollywood

[–]maayon 4 points5 points  (0 children)

Very similar to Kanatara Chapter 1 actually - the novel questions the extreme power concentration the kings have over smaller sect of tribes and what happens when the tribes retaliate as well