c0balt

That seems a but pessimistic. A few companies use it for customer service, like ime Adidas Germany [0] (they handled an exchange for me once on there). It is effectively just another customer support line like a chat portal on a website.

[0]: https://www.adidas.de/en/help/contact-us

Not really. That is federal spending, right? So your local transport authority or most of the funding of a local schopl, for example, wouldn't be included here?

That is a fair point, thank you for the correction there

Lean is far off the most bloated one. Isabelle most likely takes that spot, the main archive includes a whole vscodium among other things.

I don't know about running per se but practical applications (as in done for product/service) exist. A notable practitioner for Isabelle and Lean is AWS[0]. There is also TLA+ for a more practical tool.

The most widely used variant of these proof assistants are probably formally verified compilers, like compcert, which are used in some highly regulated industries like aviation.

[0]: https://isabelle.systems/zulip-archive/stream/247541-Mirror.... and https://lean-lang.org/ (Cedar)

That is a surprising sentiment. Most dell and Lenovo laptops work just fine and are usually of reasonably good build quality (non-plastic chassis etc.).

arm64 is however mostly bad. The only real contender for Linux laptops (outside of asahi) was Snapdragon's chips but the HW support there was lacking iirc.

Someone's "good guys" are just someone "bad guys". Access to a valuable resource/tool that provides some sort of power and utility will be just another contended item.

> Edit: Maybe this is what github is doing :P

Announcing the new "mobile" tier on azure.

The next step is just selling tickets to that flight in advance as a preorder. One could call it roadster preorders because of the difficult road ahead

Are you sure about that? Flutter development for Android works great in VS Code/Codium. The Android extension [0] for VS Code has also worked fine in the past on a small Java-based App for me.

Android Studio is a probably the best IDE for this usecase but is not the only way.

[0]: https://marketplace.visualstudio.com/items?itemName=adelphes...

Most likely just intentionally misspelling the name in the spirit of calling them Microslop.

They restricted JIT, interpreters are fine afaik. See also dart etc.

Edit: JIT is under a flag, https://developer.apple.com/documentation/bundleresources/en...

As someone who has experienced a Migration to SAP, no it is quite hard to say it is good. Doesn't work on mobile (unless you toggle on "desktop" mode, at which point if kinda works), is slower than the preceding PHP solution and generally functions like a POS. Other SAP implementations did not seem to behave much better.

They might have some great software _somewhere_ but I have yet to see it.

To provide some practical examples, Dubai is it's own region in some online games like Valorant. It has relatively good connectivity to the region and there are enough customers there

GitLab is quite good, the organizational features and CI is also mostly on par with GitHub. You can use gitlab.com, SaaS or self-host.

Thank you for sharing your story, that was an interesting perspective of the practical side of light body implants.

The API looks genuinely nice to use. I wonder if this could be used as an inspiration/base for on of the programming languages aimed at expressing/creating music.

Yes, their NAND division has been sold, it is now mostly under solidigm. Maybe solidigm could bring it back, but it seems unlikely (given the previous commercial failure).

Ime, some shrinkage is inevitably if you wash with reasonably hot temperatures. Reasonable ~ following the washing instructions. Most mid to high end tshirts are pre-shrunk however which helps a lot, low end shirts (maybe some conference swag?) can skip this step for cost reasons.

It might be an interesting idea given that the Steam Deck has reasonable amount of RAM/GPU. The main issue for a knowledge base might be the lack of a physical keyboard though.

Thank you for pointing that out, I'm looking forward to this release a lot then

Somewhere in the net of tubes of our AC we have a machine that produces rocks. They randomly shoot of the air vents, please install ballistic shields in front of the vents to stop them from hitting our customers.

Same here, there are some pain points with swaywm (notably screen sharing is only per display, DisplayLink support and screen mirroring is a pain). Most of these points however are IME a worthwhile tradeoff. Sway has also been astoundingly stable (compared to gnome or KDE)

Thanks for noticing the typo, must've mixed up the PHP and Golang IDEs

No, I'm not. Through university (and even before) I have access to their full suite. I have tried to use PyCharm, GoLand and Idea.

Idea was useful for Java but felt quite slow and even with vim bindings was a pain to navigate. Learning the shortcuts helped but it never got quite as fast as helix/vim for general editing (especially as my work usually is a polyglot). It might be the best for Java (compared to eclipse or bluej) but that does not mean it fits my workflow/way of work.

PyCharm/GoLand both are "nice" but it did not feel better/more efficient than pylance/pyright)/gopls + vscode/helix. The only I still occasionally use is DataStorm as it is quite a nice SQLite/PostgreSQL client.

edit: fixed typo from gostorm -> goland

Maybe this is just a question of taste but I never could get along with Javas (or Kotlin's) tooling.

Primarily working in Vim/Helix works for most languages from Nix to Typescript or Rust and C, but Java just never worked quite right. It also generally felt like it had a worse story around tooling from a DX perspective, something like Golang or even npm feels a lot lighter than the molasses of JDK management and gradle et al.

It is there to ensure an animal is not experimented on unnecessarily or with excessive pain. Discussing a process like this might require you to slightly look further than one mostly clear cut case.

Part of his filings will be actually stating the "terminally ill" part and having this approved by an ethics committee. Making a moral judgment here is the committee's actual role as not all cases are so "simple".

Likely the same as in most other countries: fines, further orders and eventually criminal prosecution.

That is not really accurate? Linux traffic control (tc, [0]) exists since Kernel 2.2. It can introduce traffic latency and a few other network conditions, like packet loss.

[0]: https://www.man7.org/linux/man-pages/man8/tc.8.html

The curriculum in my university mostly didn't change. Most CS topics didn't change through ML research.

The main change was in testing/exams. There was a big effort towards regular testing assisted by online tools (to replace the system with one exam at the end in favor of multiple smaller tests). This effort is slowly being winded down as students blatantly submit ChatGPT/Claude outputs for many tasks. This is now being moved back to a single exam (oral/written), passing rates are down by 10-20% iirc.

Going into CS as a career will be interesting but the university studies/degree are still likely worth it (partly spoken from a perspective where uni fees are less than 500€ per semester). Having a CS degree also does not mean you become a programmer etc. but can be the springboard for many other careers afterwards.

Having a degree and going through the effort of learning the various fundamentals is valuable, regardless of everything being directly applicable. There is also the social aspects that can be very valuable for personal development.