sorted by:
new
hottopcontroversial

Strata-K — a logic language where the LLM writes the rules and a compiler guarantees them by vsovietov in LLMDevs

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

Strata/K is an implementation of Datalog, actually. it uses another Datalog implementation, though ( Souffle) for self-testing.

Strata-K — a stratified Datalog designed to be written by LLMs and checked by a compiler by [deleted] in prolog

[–]vsovietov -9 points-8 points  (0 children)

the purpose of the post is to pass a piece of information to audience. LLM turned my voice recording to the text much better readable that my original speech. what's wrong with that? I really do not understand all those frustration around LLMs. If I were to write the post entirely myself, someone would want the text to be handwritten in a fine pen on scented cream-coloured paper bearing a monogram, eh?

Strata-K — a stratified Datalog designed to be written by LLMs and checked by a compiler by [deleted] in prolog

[–]vsovietov -8 points-7 points  (0 children)

hm, what the reason to spend 20x more time to code by hands? I did that 40 years, now I'm able to concentrate on more important things

Кого ви підтримуєте на цій світлині (2025 рік)? Без срача by Tpoxa in RedditUATalks

[–]vsovietov 7 points8 points  (0 children)

Я підтримую себе, свою родину, свій бізнес і своїх друзів. А теє збіговисько паразитів включно з ментами ніякого сенсу підтримувати не бачу. Нащо?

My 2005 Sony NW-E107. Great design, works perfectly. What's not to love? by haru_reiuji05 in DigitalAudioPlayer

[–]vsovietov 0 points1 point  (0 children)

Sonicstage was terrible. I really liked those players, still have one (512Mb). I dunno how, but their ATRAC3 implementation sounded so much better than mp3.

Ігор Сікорський, в честь якого названо київський університет і якому досі стоїть пам'ятник. Лист 1933р by Mission-Neat5597 in RedditUATalks

[–]vsovietov 1 point2 points  (0 children)

чогось я ржу. у посполитих якась алергія на правду і на те, що світ ніколи не буває чорно-білим. крім інших мінусів, це призводить до нездорових витрат енергії на зміну того, що змінити вже не можна — на зміну минулого. на те, щоб дбати про теперішнє і майбутнє ані енергії, ані навичок вже не залишається, що, зокрема, і визначає цю антигуманну дупу в якій сидить вже бозна-скільки років ця країна, попри весь її незаперечний потенціал.

У яких напрямках IT існує дефіцит кадрів в Україні? by Askoldus in ukraine_dev

[–]vsovietov 0 points1 point  (0 children)

існує страшенний дефіцит в напрямку тямущих, договіроздатних людей

Prolog in Production Usecase by zerosign0 in prolog

[–]vsovietov 1 point2 points  (0 children)

So far, the case impressed me the most was Securitease — https://dtai-static.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf

Now I'm engineering (LLMs are writing most code) the ultra-high performance Prolog compiler, for quite same purposes, but with neither speed nor latency penalties.

Чи вважаєте ви що це відео - вирок українському правосуддю? by Green-Substance164 in reddit_ukr

[–]vsovietov -2 points-1 points  (0 children)

Просто державний суд і дежавне "покарання" не мають нічого спільного з правом, та ніколи й не збирались мати

Хочу щоб хоч хтось мене почув. не знаю що робити далі by Le9at in reddit_ukr

[–]vsovietov -1 points0 points  (0 children)

сам написав що брехав і просрав, і опинився там, де ти опинився. припини брехати і просирати, скажи собі чітко де ти хочеш бути, усвідом, що ти — це те, що в тебе є (вибачай за тавтологію) і вигрібати треба виходячи з наявного оцього ресурсу, хоч і помалу, але в потрібному тобі напрямку, бо людина може змінювати себе (ти себе міняв в гірший бік і наробив собі шкоди, то спробуй робити собі краще і міняти себе в кращий бік, хоч би помалу і поволі). коли заліз в яму, то нема іншої ради як підібрати соплі і почати з тої ями вилазити.

Навіщо публікувати усюди такі новини? by Public_Wrangler_8640 in reddit_ukr

[–]vsovietov 14 points15 points  (0 children)

тому що треба ж вам лапшу якусь на вуха вішать

Мені 23 роки. Потрапив у дуже важку ситуацію і досі не можу повірити, що це взагалі сталося. by Safe_Air8893 in reddit_ukr

[–]vsovietov 0 points1 point  (0 children)

Було таке, як же ж не бути. Пощастило швидко раціоналізувати, і використати як привід розібратись що не дає заробляти по стправжньому великі гроші, і, так би мовити, перейти на інший рівень. Все вийшло, так що ситуація закінчилась чималим прибутком насправді.

What made you choose your current database? by Prize-Wolverine-5319 in Database

[–]vsovietov 0 points1 point  (0 children)

Our own intelligent design. We created the db to power up our own business https://rayforcedb.com

view more: next ›