喵喵小喵喵

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

喵喵小喵喵

302 viewsMeow-meow 🍓, 23:27

喵喵小喵喵

Photo

🤯3

285 viewsMeow-meow 🍓, 01:38

喵喵小喵喵

https://youtu.be/d8P4Jq4lGqc
是热的（

YouTube

*Luna - 夏が僕らを呼ぶのなら ( If Summer is calling us) feat.わかばやし | 2024 Ver.

毎年やっている夏動画募集企画で作ったMVです。
皆さんに送っていただいた思い出を繋げて動画を作りました！

あの夏は5回もやったので新曲を作りました！
個人的に今年の夏は忙しくて何も遊べなかったので、皆さんの動画で夏気分味わわせていただきました😭 & 涙ちょちょぎれながら編集しました。
たくさんのご応募ありがとうございました！

2023 Ver. → https://youtu.be/igg0iHG8MR4
2022 Ver. → https://www.youtube.com/watch?v=VUI8v0rAAl8…

🥰1🥱1

323 viewsMeow-meow 🍓, 12:33

喵喵小喵喵

Photo

🥰21🔥1👌1

326 viewsMeow-meow 🍓, 04:16

喵喵小喵喵

Forwarded from Lobste.rs

Why the “Null” Lifetime Does Not Exist

Comments

via knl@users.lobste.rs (knl)

Sabrina Jewson

Why the “Null” Lifetime Does Not Exist

This post originated from an interesting conversation had on the Rust community Discord the other day, in which a user asks:

281 viewsMeow-meow 🍓, 09:26

喵喵小喵喵

Forwarded from xkcd

292 viewsMeow-meow 🍓, 04:01

喵喵小喵喵

https://vxtwitter.com/arin189/status/1838172194561733032

vxTwitter / fixvx
💖 35.94K 🔁 3.05K

_Miio (@arin189)

尾
↓ ↑ https://t.co/xSQUsY22rf

347 viewsMeow-meow 🍓, 06:08

喵喵小喵喵

https://vxtwitter.com/Mobius_Games/status/1838631987621593169

vxTwitter / fixvx
💖 2.27K 🔁 338

Mobius Digital Games (@Mobius_Games)

We're excited to announce we've been working with Lost in Cult on a Design Works project! 🚀

There's both a Standard Edition and Deluxe Edition with lots of goodies!

Campaign ends 2 November 2024

Pre-order now http://lostincult.co.uk https://t.co/ZGg3giAukR

285 viewsMeow-meow 🍓, 06:28

喵喵小喵喵

https://vxtwitter.com/horuhara/status/1838773233442787713

vxTwitter / fixvx
💖 8.8K 🔁 963

HoR 호르 / 1 art a day (@horuhara)

36k달성 하루만에 37k 대박... 감사합니다!!!🥳🥰

💢😾🩸
#ブルアカ https://t.co/7FrnqmjXdp

【QRT of HoR 호르 / 1 art a day (@horuhara):】

'아주 빠른 36k 감사합니다!!! 😱😱

내일 그림과 이어집니다!
🐱💤👈 😾
#ブルアカ https://t.co/zJREPZU9Rt'

🤮1

296 viewsMeow-meow 🍓, 06:48

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Working Turing Machine https://ideas.lego.com/projects/10a3239f-4562-4d23-ba8e-f4fc94eef5c7

Lego

Turing Machine – Working Lego Computer | LEGO® Ideas

What is a Turing machine?It's an abstract model of an algorithmic machine. Although it was not designed to be implemented in real life, some people actually do …

🤯2🆒1

242 viewsMeow-meow 🍓, 12:33

Score: 119+ 🔥Comments: 5+

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

NASA spacecraft to probe possibility of life in Europa's salty ocean https://www.science.org/content/article/nasa-spacecraft-probe-possibility-life-europa-s-salty-ocean

www.science.org

NASA spacecraft to probe possibility of life in Europa's salty ocean

Cutting-edge mission to Jupiter's moon could transform search for habitable worlds

🥱1

260 viewsMeow-meow 🍓, 12:36

Score: 158+ 🔥Comments: 115+ 🔥

About

Blog

Apps

Platform