GNU social JP
  • FAQ
  • Login
GNU social JPใฏๆ—ฅๆœฌใฎGNU socialใ‚ตใƒผใƒใƒผใงใ™ใ€‚
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)

  1. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Wednesday, 23-Apr-2025 05:10:16 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Alfred M. Szmidt
    • Sergei Trofimovich

    @amszmidt maybe @trofi knows

    In conversation about a month ago from mathstodon.xyz permalink
  2. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Wednesday, 23-Apr-2025 05:07:04 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Alfred M. Szmidt

    @amszmidt
    the problem is that

    void foobar();

    (or perhaps foobar(void)) used to match a function foobar() with any calling convention and any number of arguments. (and similar for function pointers). It could have been implementation-dependent, formally speaking, but given that the most compilers were able to deal with it, no problems arose.

    So 20-30-40 years ago people wrote Lisp compilers (ECL), computer algebra systems, and with minimal changes the code worked from one standard to another. Not any more with c23 or gnu23.

    In conversation about a month ago from mathstodon.xyz permalink

    Attachments


  3. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Tuesday, 22-Apr-2025 20:26:41 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ

    C23 C language standard made a decision which breaks C functions with arbitrary number of arguments.

    How does one define an *arbitrary* function pointer in C23? (not only variadic, which is a special case)

    https://gitlab.com/embeddable-common-lisp/ecl/-/issues/775

    #c #c23

    In conversation about a month ago from mathstodon.xyz permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: gitlab.com
      ecl can't be built by gcc-15 with default options, i.e. `-std=c23` ('bool' cannot be defined via 'typedef' - and MUCH MORE) (#775) ยท Issues ยท Embeddable Common-Lisp / ECL ยท GitLab
      Describe the problem here. This is a build issue with gcc-15, which is by default using c23 C standard. From here:
  4. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Monday, 17-Mar-2025 02:52:47 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Eugen Rochko

    @Gargron it would be nice to know how to post using curl on the command line. Is it still possible and documented?

    In conversation about 2 months ago from mathstodon.xyz permalink
  5. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Monday, 03-Mar-2025 12:06:32 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    • Paul Cantrell
    • Stuart Celarier

    @VisualStuart @inthehands
    internetz:
    "If the total loss payment is less than what you owe on the lease, you'll need to pay the difference unless you have gap insurance. If the insurance payout is more than what you owe to the leasing company, the balance should be paid to you."

    so, well, if you can get away with insurance fraud and are not afraid to get hurt in a crash, go for it. (I am not a lawyer, and have never driven a car in my life, either)

    In conversation about 3 months ago from mathstodon.xyz permalink
  6. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Wednesday, 26-Feb-2025 08:56:10 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • BrianKrebs
    • Wyatt H Knott

    @whknott @briankrebs sounds disturbingly familiar (lifelong USSR PTSD here) - that's roughly the language of prosecutors at Stalin's show trials against "enemies of the people"

    In conversation about 3 months ago from mathstodon.xyz permalink
  7. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Wednesday, 26-Feb-2025 08:56:09 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • BrianKrebs
    • Wyatt H Knott

    @whknott @briankrebs given that Putin's Russia basically employs Nazi Germany style of symbolics, and Putin's speechwriters get inspired by Goebbels et al, no wonder that tRump's goons draw upon similarly inspiring historical documents....

    In conversation about 3 months ago from mathstodon.xyz permalink
  8. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Wednesday, 26-Feb-2025 08:56:06 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • BrianKrebs
    • Wyatt H Knott

    @whknott @briankrebs when you let a lot of corporate money into the politics - they merge with the state. Just today I read that DCCC got $2.5 million last month from Palantir - no wonder most House Dems are strangely silent...

    https://readsludge.com/2025/02/24/dccc-scores-massive-palantir-and-spacex-lobbyist-cash-haul/

    FFS, in good parts of Europe it's already a huge scandal if a politician accepts a free holiday in a millionaire's 2nd home...

    In conversation about 3 months ago from mathstodon.xyz permalink
  9. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Friday, 07-Feb-2025 03:30:28 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Aaron Toponce โš›๏ธ:debian:
    • Rich Felker

    @atoponce @dalias all pass exposes are file names. Yes, indeed, if bazbar.gpg in your password store is revealing important info that you're a bazbar member, you're vulnerable to bazbar exploits.

    But calling this a grave vulnerability is a bit farfetched

    In conversation about 4 months ago from mathstodon.xyz permalink
  10. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Friday, 07-Feb-2025 03:30:27 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Aaron Toponce โš›๏ธ:debian:
    • Rich Felker

    @atoponce @dalias you called it horrible ๐Ÿ™‚

    In conversation about 4 months ago from mathstodon.xyz permalink
  11. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Friday, 07-Feb-2025 01:40:06 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Aaron Toponce โš›๏ธ:debian:

    @atoponce I know just one password manager which also doubles up as 2FA code generator. It's called pass, and it's a CLI application. It encrypts the data using GPG, and distributes/backs up data using git.

    Just added a new key? Well, do "pass git push" to send it over, encrypted, to your git server. Yes, you'll need to do "pass git pull" on the other installs.
    I can only complain that adding 2FA keys is somewhat painful.

    In conversation about 4 months ago from mathstodon.xyz permalink
  12. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Wednesday, 05-Feb-2025 13:28:03 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • mcc

    @mcc why don't you switch to a non-google 2FA app, there is some choice of these; I'm using andOTP (or even a terminal or desktop program - this takes the phone out of the picture; I am using a terminal program called pass, with a pass-otp extension) ?

    In conversation about 4 months ago from mathstodon.xyz permalink
  13. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Thursday, 16-Jan-2025 23:56:35 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Jade Master
    • julesh

    @julesh @Andrev @JadeMasterMath and just plain corruption (cf. Gazprom puppy Schrรถder)

    In conversation about 4 months ago from mathstodon.xyz permalink
  14. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Thursday, 16-Jan-2025 12:17:50 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    • Rich Felker
    • tante
    • altruios phasma

    @woe2you @dalias @altruios @tante what you described is called NLP, Natural Language Processing. It's not directly related to LLMs we are speaking here. For a smart home setup, one doesn't need to continuously scrap the internet, one doesn't need to gobble up copyrighted content.

    In conversation about 4 months ago from mathstodon.xyz permalink
  15. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Thursday, 16-Jan-2025 09:35:24 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Jade Master
    • julesh

    @julesh @JadeMasterMath why does it have to be a ton of work? one needs to build a good enough FFI build tool, something akin to pybind11 for Python FFI to C++ (and C).
    https://pybind11.readthedocs.io/en/stable/

    In conversation about 4 months ago from mathstodon.xyz permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      pybind11 documentation
  16. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Thursday, 16-Jan-2025 08:17:33 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • Jade Master
    • julesh

    @julesh @JadeMasterMath I see - certified functional graphics in Haskell... and if you look under the hood of numpy/scipy you are likely to discover that it calls C functions, mostly ๐Ÿ™‚

    In conversation about 4 months ago from mathstodon.xyz permalink
  17. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Sunday, 12-Jan-2025 22:50:10 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • julesh

    @julesh "Manifesto of the Party of Catergorification" - a mistranslation of "Manifest der Kategoriesierunsfest"

    In conversation about 4 months ago from mathstodon.xyz permalink
  18. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Thursday, 02-Jan-2025 00:33:58 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • julesh

    @julesh @Andrev IMHO Southend stopped with scheduled flights long ago.

    In conversation about 5 months ago from mathstodon.xyz permalink
  19. Embed this notice
    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ (dimpase@mathstodon.xyz)'s status on Sunday, 29-Dec-2024 00:43:32 JST Dima Pasechnik 🇺🇦 🇳🇱 Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ
    in reply to
    • julesh

    @julesh Germany is less homogeneous than UK.

    And, interestingly, things aren't working well in Berlin (the capital) compared to things working better in London (the capital) than most anywhere else in UK.

    Health services still mostly work in Germany. In UK - total collapse in several areas.

    Trains in Germany are at least affordable...

    In conversation about 5 months ago from mathstodon.xyz permalink

User actions

    Dima Pasechnik 🇺🇦 🇳🇱

    Dima Pasechnik ๐Ÿ‡บ๐Ÿ‡ฆ ๐Ÿ‡ณ๐Ÿ‡ฑ

    https://mathoverflow.net/users/11100/dima-pasechnikUSSR->Australia (Perth)->Netherlands->Germany->Netherlands->Singapore->Oxford (UK)->Evanston, Illinois (USA)Lecturer at CS Department, mathematician interested in "computer algebra".My Erdล‘s number is 2 in two different ways, via Lex Schrijver, and via Michel Deza.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          227658
          Member since
          30 Dec 2023
          Notices
          19
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP็ฎก็†ไบบ. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.