Lmst

An annotated example of a simple #symbolic #neuralnetwork written in #commonlisp, with a bunch of comments to help understand data flow.

Thanks @screwlisp for the implementation!

https://git.etenil.net/better-ffnn/tree/algo1.lisp

@screwlisp @kentpitman regarding the discussion we had after the #LispyGopherClimate show ended, MiniKanren is logic programming language embedded in Scheme (sort-of like a Prolog implemented in Scheme and coded with S-expressions), and you can use machine leaning methods like neural networks to guide the search tree of the goal solver mechanism. This paper is an example of what I was talking about.

Even before LLMs were invented, MiniKanren was able to do program synthesis using purely symbolic logic. They developed a prototype called Barliman where you would provide example input->output pairs as constraints, and using a constraint solver, could generalize those examples to a function that generates any output for any input. As a simple example, you could give it the following input-output pairs:

() -> ()
(a) () -> (a)
() (a) -> (a)
(a) (a) -> (a a)

…and the constraint solver could determine that you are trying to implement the append function for lists and write the code automatically — without LLMs, using purely symbolic logic.

As you might expect, the solver could be very slow, or even diverge (never returning an answer). The paper I mentioned above talks about using neural networks to try to guide the constraint solver to improve the performance and usefulness of the results returned by the solver.

Now imagine applying this technique to other domains besides code generation or optimization, for example, auto-completion, or cache pre-fetching, and building it into a programmable computing environment like Emacs. You could have a tool like “Cursor,” but instead of using LLMs, it uses classical computing and constraint solvers, while taking a fraction of the amount of energy that LLMs use.

#tech #software #AI #LLM #MachineLearning #NeuralNetwork #ConstraintLogic #ConstraintSolver #LogicProgramming #Prolog #MiniKanren #Emacs #Lisp #Scheme #SchemeLang #ProgramSynthesis

== MÃ BÍ ẨN CỦA VỊ TRÍ 193: PHÁT HIỆN BẤT THƯỜNG TRONG MÃ HÓA ẢNH CỦA GEMMA 3 ==
Nghiên cứu phát hiện vị trí 193 trong 256 mã hóa hình ảnh của Gemma 3 hoạt động khác biệt (95% ảnh), không phụ thuộc không gian (không thay đổi khi xoay ảnh) và ảnh hưởng đến khả năng xử lý dữ liệu. Khi bị "đảo ngược", mô hình AI vẫn "nhìn" được nhưng trả lời hỗn loạn. #AI #ML #TríTuệNhânTạo #AIResearch #DeepLearning #NeuralNetwork #TechNews #MysteryInAI

https://www.reddit.com/r/LocalLLaMA/comments/1qpg4ty/the_my

#ЯПокакал #NeuralNetwork #AIArt #ДаНоНет

...Вот чем радует #Grok — так это количеством вариантов 😉

#webcomic #NeuralNetwork #DuckDuckGo #AIArt #Nancy #ВеселыеКартинки

Ох... Да простит меня Бушмиллер (ну или подключайте динамо, пусть в гробу не зря вертится).

P.S. И редактировать умеет!

#NeuralNetwork #fediverse_ppl #СкриншотыКаментов

«Картинки не грузятся», да.

#fediverse_ppl #смищно #Firefox #addons #ТрудностиПеревода #NeuralNetwork #userscript #Mastodon #MastodonTools

Лол, кек. Удивительно непонятное, но от этого иещеболее занятное взаимодействие переводчика, который (каюсь, грешен) иногда включаю в ленте, и юзерскрипта, чтобы комментировать кого-то вот прямо в ленте.

В комментарии — только 🚫 🤖— как напоминание о том, что @iron_bug не приемлет генерацию. Уважаю, позывы сдерживаю. Откуда берется такая интерпретация — совершенно непонятно. Пробовал добавлять тот же комментарий другим пользователям — не работает.

P.S. Сейчас у кого-то, кажется, подгорит на тему «мои посты отправляются на сервера гугла без моего ведома, а я всего-то хотела посрать на площади, прикрываяь ладошкой».

Блок через 5-4-3-2...

#NeuralNetwork #AIArt #ChatGPT

#NeuralNetwork #жаба #гадюка

На этой неделе Anthropic ограничила доступ разработчикам xAI, которые использовали модели Claude для программирования через популярный инструмент Cursor AI.

https://habr.com/ru/news/984052/

https://sherwood.news/tech/report-anthropic-cuts-off-xais-access-to-its-models-for-coding/

#NeuralNetwork #Perplexity #виброкодинг

🎯 НАШЁЛ ПРОБЛЕМУ!
IntersectionObserver НЕ даёт boundingClientRect в entry! Нужно getBoundingClientRect().
✅ РАБОЧИЙ КОД (финальная версия)

...А он оптимист! 😆

#ВеселыеКартинки #МемцыВГороде #NeuralNetwork #AIArt #ChatGPT #цензура #политкорректность

🔬 Một người dùng LLaMA thử “baseline” bằng prompt “Respond with the word hello”. Kết quả: bản đồ hoạt động nội bộ không phẳng—kích thước nút phản ánh hoạt động tương quan, màu biểu thị K2, chiều cao thể hiện KL. Ngay cả trong trạng thái “không làm gì”, mô hình vẫn có cấu trúc tính toán phong phú, buộc chúng ta phải suy xét lại định nghĩa baseline. #AI #LLaMA #MachineLearning #NeuralNetwork #KhoaHoc #TríTuệNhânTạo

https://www.reddit.com/r/LocalLLaMA/comments/1q63og1/llama_fmri/

#железо #мониторы #гамез #NeuralNetwork

#MSI зделола монитор со встроенной ИИшницей, чтобы... Читерить в играх беспалева.

«*These AI features are recommended for use in single-player gameplay or practice», — пытаются отмазаться они, и мы, конечно же, верим.

https://www.techspot.com/news/110805-msi-shows-off-gaming-monitors-ai-help-you.html

@iron_bug

Извини, ты ИИшницу не котируешь, но не мог удержаться 😉

#ВеселыеКартинки #NeuralNetwork #AIArt

RE: https://friendica.ironbug.org/display/3217dd65-1769-5b0f-d201-08d371074089

#образование #США #дислексия #ЦенныеСпециалисты #NeuralNetwork #НуТыАлёша #ИхНравы

Пара историй из эсэшай:

Американская студентка из Коннектикута, Aleysha Ortiz, подала в суд на школьный округ Hartford Public Schools и город Hartford, утверждая, что, несмотря на то, что она получила диплом с отличием, она не научилась читать и писать в школе, поскольку система не обеспечила адекватной поддержки и специальных образовательных услуг. В иске говорится, что её учебные трудности признавались школой на протяжении многих лет, но надлежащая помощь так и не была предоставлена, из-за чего она по сути осталась неграмотной после окончания школы.
Аналогичный случай, где ученик из Теннесси, обозначенный как William A., подал в суд на школьный округ Clarksville Montgomery County School System, утверждая, что он окончательно не научился читать даже своё имя, несмотря на то, что закончил школу c GPA ~3.4 (что примерно соответствует хорошим оценкам). Судебное решение в этом деле подтвердило, что система не обеспечила ему адекватное образование, и обязало школу предоставить компенсирующие занятия по чтению.

Какбля?

Оба ученика утверждают, что страдают дислексией и СДВау, голубь!. Домашние задания выполняли, используя speech-to-text для формулирования вопросов, и ChatGPT для генерации.

Такие дела.

https://www.lawcommentary.com/articles/high-school-graduate-sues-her-school-district-because-she-graduated-without-learning-how-to-read-or-write

https://www.wsaz.com/2025/02/28/former-high-school-honors-student-who-says-she-cant-read-write-sues-district-where-she-graduated/

https://people.com/connecticut-high-school-graduate-sues-alleges-cant-read-write-11688869

https://www.newsweek.com/how-did-honors-student-who-says-she-cant-read-write-get-college-2038026

#видео #NeuralNetwork #Шиндошс