喵喵小喵喵

As Large Language Models become more ubiquitous across domains, it becomes important to examine their inherent limitations critically. This work argues that hallucinations in language models are...

🥱1

287 viewsMeow-meow 🍓, 11:42

喵喵小喵喵

https://arxiv.org/abs/2409.05746

Our analysis draws on computational theory and Godel's First Incompleteness Theorem, which references the undecidability of problems like the Halting, Emptiness, and Acceptance Problems.

317 viewsMeow-meow 🍓, 11:42

喵喵小喵喵

Our analysis draws on computational theory and Godel's First Incompleteness Theorem, which references the undecidability of problems like the Halting, Emptiness, and Acceptance Problems.

This media is not supported in your browser

VIEW IN TELEGRAM

295 viewsMeow-meow 🍓, 11:42

喵喵小喵喵

https://arxiv.org/abs/2409.05746

翻了一下，当个乐子看吧

❤3

268 viewsMeow-meow 🍓, 12:20

喵喵小喵喵

https://vxtwitter.com/RailgunKy/status/1835244351016059273

vxTwitter / fixvx
💖 29.76K 🔁 3.18K

ぺんたごん🍃🌸@C105 12/30西へ-16a (@RailgunKy)

「んー取れない…暑い…動きたくない…」

❤2🥰1

247 viewsMeow-meow 🍓, 12:51

喵喵小喵喵

https://vxtwitter.com/SydusArts/status/1834912641728627057

vxTwitter / fixvx
💖 35.63K 🔁 2.98K

SydusArts (シドゥスの美術) (@SydusArts)

髪を少しだけ切りましょう。

256 viewsMeow-meow 🍓, 12:53

喵喵小喵喵

https://vxtwitter.com/SydusArts/status/1834912641728627057

https://vxtwitter.com/SydusArts/status/1835136452809658819

vxTwitter / fixvx
💖 13.41K 🔁 1.5K

SydusArts (シドゥスの美術) (@SydusArts)

ゼンゼ✂️
#フリーレン #frieren https://t.co/snBf88y4R1

🥱1

558 viewsMeow-meow 🍓, 12:56

喵喵小喵喵

https://vxtwitter.com/sualily522/status/1835601828823646307

vxTwitter / fixvx
💖 34.34K 🔁 2.72K

Sua (@sualily522)

https://t.co/6OvlLtrdpF

😴1

291 viewsMeow-meow 🍓, 13:59

喵喵小喵喵

https://developer.mozilla.org/en-US/docs/Web/Security/Subresource_Integrity
TIL. Vite 会生成一个假的这个

MDN Web Docs

Subresource Integrity - Security | MDN

Subresource Integrity (SRI) is a security feature that enables browsers to verify that resources they fetch (for example, from a CDN) are delivered without unexpected manipulation. It works by allowing you to provide a cryptographic hash that a fetched resource…

314 viewsMeow-meow 🍓, 06:24

喵喵小喵喵 via @pixiv_net_bot

￶フォフォ / Leafpie zaurus #pixiv id=113485910

🥰6

331 viewsMeow-meow 🍓, 06:45

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Show HN: Electrico – Electron Without Node and Chrome (Rust / Wry) https://github.com/thomastschurtschenthaler/electrico

GitHub

GitHub - thomastschurtschenthaler/electrico: A Lightweight Electron App Container

A Lightweight Electron App Container. Contribute to thomastschurtschenthaler/electrico development by creating an account on GitHub.

🤮1

277 viewsMeow-meow 🍓, 14:30

Score: 134+ 🔥Comments: 56+

喵喵小喵喵

https://github.com/Z3Prover/z3/issues/4653#issuecomment-678798313

GitHub

Question: Proof Checking in Z3 - state of the art · Issue #4653 · Z3Prover/z3

Hello, Mr. Bjørner! I would like to be able to re-check proof objects produced by Z3 proof generation facility (for UNSAT) What options do I have? I see some proof-checking facility is available in...

👍1

288 viewsMeow-meow 🍓, 05:55

喵喵小喵喵

https://vxtwitter.com/summer_or_lily/status/1836003415719104828

vxTwitter / fixvx
💖 13.07K 🔁 1.43K

なつかりり (@summer_or_lily)

ゆるけもミカ

❤1

327 viewsMeow-meow 🍓, 07:49

喵喵小喵喵

https://vxtwitter.com/alvaro_montoro/status/1836401012862493027
啊？？？

vxTwitter / fixvx
💖 782 🔁 136

Álvaro Montoro (@alvaro_montoro)

The CSS Working Group has just published the first public draft of the CSS Values and Units Level 5 Module. Although still in its early stages, this release introduces many new features and exciting improvements.

Here's a summary of some of the changes.

282 viewsMeow-meow 🍓, 08:00

喵喵小喵喵

https://www.youtube.com/live/zCFNimFWhTc

YouTube

ICPC World Finals Astana 2024 mirror live stream with ksun48 and KAN

We'll be solving the ICPC World Finals Astana 2024 mirror live with ksun48 and KAN tomorrow.

Also check out https://live.icpc.global/ for the official broadcast!

💘2

277 viewsMeow-meow 🍓, 08:43

喵喵小喵喵

https://vxtwitter.com/alterna2250678/status/1836986691892170976

vxTwitter / fixvx
💖 9.94K 🔁 1.26K

おるたな(alane)@ (@alterna2250678)

ようやく届きました
限りなく神に近い https://t.co/X5JhbItARD

🥱1

287 viewsMeow-meow 🍓, 12:04

喵喵小喵喵

https://vxtwitter.com/patch_oxxo/status/1836986982947279117

vxTwitter / fixvx
💖 7.92K 🔁 700

Patch (@patch_oxxo)

https://t.co/C35LdBQyFn

🥰1👌1

331 viewsMeow-meow 🍓, 12:05

喵喵小喵喵

https://developer.chrome.com/docs/css-ui/animate-to-height-auto/

Chrome for Developers

Animate to height: auto; (and other intrinsic sizing keywords) in CSS | CSS and UI | Chrome for Developers

Animate to and from intrinsic sizing keywords with `interpolate-size` and `calc-size()`

👌1

309 viewsMeow-meow 🍓, 08:08

喵喵小喵喵

准备出发前往雁栖湖会展中心
晚上有无群友约夜宵

🥰7😢1

295 viewsMeow-meow 🍓, 09:03

喵喵小喵喵

https://vxtwitter.com/himaraya/status/1837467252561449077

vxTwitter / fixvx
💖 89.45K 🔁 24.93K

あらゐけいいち (@himaraya)

https://t.co/YqmpX4EPWP

291 viewsMeow-meow 🍓, 13:59

喵喵小喵喵

https://vxtwitter.com/himaraya/status/1837467252561449077

https://vxtwitter.com/kyoani/status/1837467042431291511

vxTwitter / fixvx
💖 45.55K 🔁 18.79K

京都アニメーション (@kyoani)

「京都アニメーション 2025新作発表会」ご視聴いただきありがとうございました！
映画『小林さんちのメイドラゴンさみしがりやの竜』『CITY THE ANIMATION』の2作品を発表しました！
2025年も世界中の皆様にたくさんの想いを込めて作品を届けて参ります。
#京アニ新作 #映画メイドラゴン #アニメCITY https://t.co/1CLBE0fD5m

318 viewsMeow-meow 🍓, edited 14:00

About

Blog

Apps

Platform