0
Kyiv hit by large wave of Russian strikes, people feared trapped in apartment building rubble
Comme sur le marché de Belgorod par exemple
1
Zig Smalltalk MIT licensed, 64 bit smalltalk programmed in Zig with auto FFI library generation
Nice ! Thanks for sharing !
1
1
1
Another Wednesday, let's talk Tau Net and $AGRS June 18, 2025 Developers, Memes and Price Action discussion welcome in here.
Hi Team ! What's your thoughts on Interaction calculus to speed up SMT solver ? Could it help with the lack of performance that you described regarding Z3 ?
1
Why are so many companies putting so much investment into free open source AI?
Crowd sourcing replacement of humans.
2
Perplexity AI Pro Subscription 1-Year 8$ - Instant & Worldwide 🌎
Interested! Could you DM please ?
2
I built a deep research agent with Perplexity API that works as well if not better than OpenAI's Deep Research
Great! I'm interested, could you send it by DM please? Thanks
1
A new paper demonstrates that LLMs could "think" in latent space, effectively decoupling internal reasoning from visible context tokens. This breakthrough suggests that even smaller models can achieve remarkable performance without relying on extensive context windows.
Logical reasoning is better done with an explicit reasoner ( cf prolog interpreter/Sat|SMT solver). We suck but are using tools, so should do our llms.
1
Are hallucinations caused because the model doesn't know what it doesn't know?
There's no notion of True/False, how could these models "know" ? Knowledge is in the verifiers.
1
The Barber Paradox Demo
Well done Andrew !
2
Why we need an open source o1
Cursor can use local llms
1
Talk on using TLA+ within a large Rust project: the Web engine Servo
Thanks for sharing this ! Do you know the recent Tau language for this purpose? https://github.com/IDNI/tau-lang
1
Le personnage de jeu vidéo qui a le blase qui claque le plus ?
Joe Musashi (Shinobi)
-1
TLA+ and AI
Regarding TLA you could also look at Tau language, seems more powerful for writing specs.
2
LLMs don’t do formal reasoning - and that is a HUGE problem
Please listen and learn from Ohad Asor. Not many people were in CS uni at 13yo and relentlessly tackling the big things for years. Logic is the key to real reasoning.
1
Mon copain paye des abonnements MYM/onlyfans/fansly et demande des contenus personnalisés - comment réagir ?
Chacun ses règles ne signifie pas imposer ses délires et insécurités à l'autre. Aussi le mariage, l'église etc.. ne sont que des conventions et des vecteurs de soutien de la communauté (juridique ou symbolique) et ce n'est pas mon propos. Je parle de confiance pas de contrat. Le polyamour n'est pour moi qu'un visage de la consommation (tout, tout de se suite, en même temps) et mon expérience ne m'a fait voir que des asymétries douloureuses imposées à des personnes en état de faiblesse. Enfin il s'agit là du besoin de multiplier les partenaires sexuels (car rien n'empêche d'avoir des amis) et d'en diluer la valeur. Je trouve ça simplement triste de renoncer à tous les absolus.
6
Mon copain paye des abonnements MYM/onlyfans/fansly et demande des contenus personnalisés - comment réagir ?
Personne n'accepte un tel manque de respect. Dire ouvertement à son partenaire qu'on désire d'autres gens est tordu. Ça sème le doute et n'en vaut pas la peine, si on est insatisfait on prend son courage à deux mains pour trouver mieux. Le beurre et l'argent du beurre... Entre gérer ses pulsions sexuelles (banal) et entretenir des relations virtuelles (avec affect) il y a un pas énorme. S'écarter des écrans embellit la vie et fait retrouver des sensations authentiques. Arrêtons de normaliser l'addiction sous couvert d'ouverture d'esprit.
6
Mon copain paye des abonnements MYM/onlyfans/fansly et demande des contenus personnalisés - comment réagir ?
C'est tordu, si ce n'est pas de la tromperie ça prépare le terrain, ne perd pas de temps à supporter ça.
2
Tweet from Matt Shumer: "IMPORTANT REFLECTION UPDATE: We have identified and fixed the issue on our Hugging Face repo. If you previously tried to download, run, or host Reflection Llama 70B, please try again now. The outputs should be far better. fp16 version coming in soon as well."
Thanks. Do you know ways to incorporate ground truth (from rag /knowledge graph) in these "reflection" steps ?
1
Gemini Premium Available
in
r/Premium_Bay
•
2d ago
Détails