Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#workaround

0 posts0 participants0 posts today
Continued thread
Public
Jan :rust: :ferris:

Nice, I think I've found a (for me) suitable workaround for the above problem 👆 :awesome:

=> github.com/creusot-rs/creusot/

The "trick" is to use conditional compilation with `cfg` and `cfg_attr`, so we don't derive or use `Debug` when in context of Creusot.

See the above linked comment on how to do this exactly.

More on `cfg`, `cfg_attr` and conditional compilation in the #Rust reference:

doc.rust-lang.org/reference/co

thread 'rustc' panicked at creusot/src/backend/ty_inv.rs:69:18: not implemented: dyn [Binder { value: Trait(std::fmt::Write), bound_vars: [] }] + '?24 note: run with `RUST_BACKTRACE=1` environment ...
GitHubDebug implementation causes Creusot ICE · Issue #1337 · creusot-rs/creusotBy xldenis
#RustLang#Creusot#Bug
Continued thread
Public
Aral Balkan

So it does look like the TypeScript language server has a limit of 4MB source size where it disables type checking (and actually shows an erroneous error stating that exports that exist in the file do not exist) for files that are imported but not open in the current workspace/session.

Still not sure if this is documented anywhere or not (haven’t been able to find it, if it is).

99.99999% of the time, unless you’re doing niche stuff like I am, you won’t run into this.

Workaround: should you have such a large file, e.g., with a large generated object, try and refactor to split it up into multiple files and rejoin it a separate file. The actual object size/memory usage isn’t the issue, it’s the file size.

github.com/typescript-language

I ran into an issue while creating and exporting a constant object that holds component versions of the ~1,500 icons in the Phorsphor icons library and I’ve created the simple reproduction below: D...
GitHubServer fails on import when exported object constant has too many entries/is too large · Issue #951 · typescript-language-server/typescript-language-serverBy aral
#TypeScript#max#lines
Public
Gea-Suan Lin

自建郵件伺服器的挑戰 在 Hacker News 上看到「Mox – modern, secure, all-in-one email server (xmox.nl)」這邊的討論，在講自建 e-mail 伺服器的套裝軟體，不過這種文章很多都是商業推銷，所以不會對他宣稱的東西看的太仔細。 自建 e-mail 系統頗麻煩的，尤其是大的 vendor 因為 spam 的關係都會有一堆奇怪的 blocking rules，對於新手自己架設 e-mail 系統會蠻挫折的，所以反倒是 Hacker News 裡面的討論可以看看... 然後看到了 id=43266096 這個 comment： > Wow... having just gone through a 20+ hour byzantine nightmare of setting up postfix & dovecot Did you do… blog.gslin.org/archives/2025/0 #dns #domain #email #mail #spam #workaround

Gea-Suan Lin's BLOG · 自建郵件伺服器的挑戰在 Hacker News 上看到「Mox – modern, secure, all-in-one email server (xmox.nl)」這邊的討論，在講自建 e-mail 伺服器的套裝軟體，不過這種文章很多都是商業推銷，所以不會對他宣稱的東西看的太仔細。 自建 e-mail 系統頗麻煩的，尤其是大的...
Public
Jennifer Morency :mastodon:

GHacks: This is the simplest option to upgrade Windows 11 on unsupported hardware ghacks.net/2025/01/17/this-is- It won't work on ancient hardware but might be worth a try on my 6th-gen Intel before I switch it over to Linux. My only real problem with Linux is that Linux fonts look bad on Windows and vice versa. #Windows #upgrade #workaround

gHacks Technology News · This is the simplest option to upgrade Windows 11 on unsupported hardware - gHacks Tech NewsThe open source tool FlyBy11 makes it easier than ever to upgrade Windows 11 PCs that have unsupported hardware.
Public
Gea-Suan Lin

改寫 feed2facebook

feed2social 專案是把 RSS feed 轉到其他的 social network 上 (我是拿 Mastodon 提供的 RSS feed)，其中 Facebook 算是比較麻煩的，沒有 API 代表需要用比較複雜的方式解決...

先前 Facebook 有提供 mbasic.facebook.com，查資料可以得知一開始是提供給極低網路頻寬的地區使用的，所以頁面幾乎都是 html 加上很少的 javascript，剛好這樣的特性也很適合讓程式處理，算是當時比較方便的方式了。

blog.gslin.org/archives/2024/1

#Computer#Murmuring#Network
Public
CM Thiede

#Journalism

What happened?

#Frontline has always been a #goto for me when trying to get others to absorb a topic that can't be explained through #soundbites

They really #DroppedTheBall on this one though!

Please, for the sake of everything people hold dear ( #LOVE )

#DoBetter

Ever wanted to know what it feels like to go through a time warp?

Whatch this #DocuJournal

If the link doesn't work, and you really want to #feel the #TimeWarp yourself, you might have to #spark up your #VPN or other #creative #WorkAround

Feel free to aid others in the comments.

There's no shortage of #experts in the #fediverse #StandingBy ready to #HELP

I'll post the #timestamp of the warp in the thread behind a #warning

#NoPeaking #HappyHolidays2024

pbs.org/wgbh/frontline/documen

1/2

FRONTLINEAmerican Voices | FRONTLINEFRONTLINE follows the changing views and experiences of Americans from the 2020 election season to today.
Public
RS, Author, Novelist, Prosaist

#Mastodon #Fediverse: If you rotate your iPhone and you don't see the multiple column web interface, tap the single gear properties button. In properties, tap Enable advanced web interface (if not already checked) and tap Save. Tap the header and voila!

Note, even enabled, rotation doesn't make the UI go multi-column reliably. On mine, it fails almost always, so Gears + Save gets me there.

Yes. It is a #bug. This is a #workaround.

Replied in thread
Public *
Kevin Karhan :verified:

@LibreKitsune I still consider this a hostile act and a blatant violation of their previous #settlement that forced them into #publishing said #IPv4 #ranges...

  • In fact had they not actively worked against that previously and it only raised my attention when I saw errors re: said ranges.

I'm considering to build a #workaround on #GitHub to just use a #cookie and some #compute to do it, but if I had cash to spare I'd sue them into removing #ClownFlare and allowing me to scrape the list directly...

  • I'm very close to just sending them an #invoice for the personnel hours wasted on that bs and billing them regularly for the expense of manually checking the difference between those (@ minimum of 60:15 billable minutes)...

Otherwise I do expect regulators to actually go after #OpenAI and force them to undo the #Cloudflare-based #Enshittification, since it's neither feasible nor reasonable to claim "#DDoS-#Protection" for a 48 Bytes (!!!) file...

  • Every #WAF / #WebApplicationFirewall I know would not get triggered even if I were to query it once per hour (which I now do just to annoy them or rather ClownFlare!...
#webapplicationfirewall#waf
Public *
Torbjörn Andersson

Monkey Island 2 is the worst!

No, not the game. I still hold that to be one of LucasArts's best adventure games, despite... you know... that puzzle. But getting the text "Monkey Island 2" to render correctly in ScummVM is turning out to be surprisingly difficult.

It finally looks right, but it's actually doing it wrong. ScummVM spaces the letters too close together, so I had to compensate for that.

Screenshot from the Macintosh version of Monkey Island 2 running in ScummVM. It's showing one page of the "About" dialog, displaying the text: LeChuck's Revenge Monkey Island 2 SCUMM Story System created by Ron Gilbert, Aric Wilmunder, Brad P. Taylor, Vince Lee, and Eric Johnston
#LucasArts#MonkeyIsland#Workaround
Continued thread
Public *
Jor ☝️😐

Idée de #workaround pour contourner le problème en attendant un bugfix 🔥 : quand on prend un truc censé être en promo avec une deuxième étiquette qui donne un prix différent, prendre l’habitude de toujours gratter immédiatement la première étiquette, au moins assez pour qu’elle soit plus scannable et que le numéro ne soit plus entier et ne puisse plus être entré manuellement.

(Ou c’est aussi possible de la barrer avec un marqueur par exemple, ça revient au même et ça peut être plus simple dans certains cas. Mais bon faut avoir un marqueur dans la poche…)

Comme ça plus de risque d’« erreurs » et d’oubli qui passe inaperçu une fois à la caisse.

SearchLive feeds
About