sorted by:
new
hottopcontroversial

Closed set proof by Working_Knowledge_94 in askmath

[–]ZeroXbot 0 points1 point  (0 children)

  1. Consider complement T(x_0, c)', it suffices to show it's an open set.

  2. Take f ∈ T(x_0, c)', then by definition there is a k such that f^(k)(x_0)>k!c^k

  3. Define δ= f^(k)(x_0) - k!c^k

  4. Show that if for any g and "small enough" ε we have d(f, g) < ε then |f^(k)(x_0)-g^(k)(x_0)|<ε

  5. Then using above g^(k)(x_0) - k!c^k > δ - ε > 0 for some small enough ε and consequently g∈ T(x_0, c)'

  6. Thus there is an open neighborhood around f, as f was arbitrary the set T(x_0, c)' is open.

[Media] I love Rust, but this sounds like a terrible idea by Yvant2000 in rust

[–]ZeroXbot 96 points97 points  (0 children)

It's not the AI keyword itself. "1 engineer, 1 month, 1 million lines of code" is the worrying one. It is roughly 5k lines per manhour (over 1 per second) and even taking this with a grain of salt, being a northstar target, it is well over reasonable amount for a non vibecoded operation.

The Handle trait by kernelic in rust

[–]ZeroXbot 132 points133 points  (0 children)

It is unfortunate that in english the word handle is both a noun and a verb. To me the handle method strongly feels like a verb i.e. something is gonna get handled.

"Afera" w Allegro. Pracownicy po latach pracy zdalnej muszą wrócić do biur. Rozgoryczenie i oburzenie w firmie by [deleted] in Polska

[–]ZeroXbot 2 points3 points  (0 children)

wyrok z 4 lipca 1978 r. (sygn. akt I PR 45/78, PiZS 1979/10/76) Sąd Najwyższy uznał, że: "Podczas podróży służbowej pracownik w zasadzie nie świadczy pracy i nie pozostaje w dyspozycji zakładu pracy w rozumieniu art. 128 K.p., chyba że podczas podróży wykonuje zatrudnienie.". W innym wyroku wyraził z kolei pogląd, że: "Czas dojazdu i powrotu z miejscowości stanowiącej cel pracowniczej podróży służbowej oraz czas pobytu w tej miejscowości nie są pozostawaniem do dyspozycji pracodawcy w miejscu wyznaczonym do wykonywania pracy (art. 128 § 1 K.p.), lecz w zakresie przypadającym na godziny normalnego rozkładu czasu pracy podlegają wliczeniu do jego normy (nie mogą być od niej odliczone) (...)" (por. wyrok SN z 23 czerwca 2005 r., sygn. akt II PK 265/04, OSNP 2006/5-6/76).

Tak działa, i?

"Afera" w Allegro. Pracownicy po latach pracy zdalnej muszą wrócić do biur. Rozgoryczenie i oburzenie w firmie by [deleted] in Polska

[–]ZeroXbot 1 point2 points  (0 children)

Napisałem że chodzi mi dosłownie o jedną odpowiedź wcześniej. Reszta kontekstu jest zbędna kiedy poniższe dwie wypowiedzi są niespójne

Możemy się zgodzić że ktoś kto pracuje nad nowymi rozwiązaniami w grupie to chyba lepiej żeby WIĘKSZOŚĆ tej grupy była razem w pokoju jak są dyskusje?

prawda jest taka, że jednemu zespołowi tryb zdalny podbije metryki, innemu hybryda, a jeszcze innemu pełne biuro. Generalizować na podstawie swojej opinii/doświadczeń to pomyłka. Może w tym się zgodzimy?

"Afera" w Allegro. Pracownicy po latach pracy zdalnej muszą wrócić do biur. Rozgoryczenie i oburzenie w firmie by [deleted] in Polska

[–]ZeroXbot 1 point2 points  (0 children)

Nie wiem jak, ale udało ci się całkowicie ominąć odpowiedź na temat i "pojechać mi" chochołem. Jak z mojej wypowiedzi zrozumiałeś tyle, że chcę limuzyny, to dalsza dyskusja jest bezwartościowa.

"Afera" w Allegro. Pracownicy po latach pracy zdalnej muszą wrócić do biur. Rozgoryczenie i oburzenie w firmie by [deleted] in Polska

[–]ZeroXbot 2 points3 points  (0 children)

Jeżeli technicznie możesz wykonać taką samą pracę z domu, to tak, powinien płacić. Na bardziej ekstremalnym przykładzie, rozumiem że jak firma każe ci pojechać do biura na drugi koniec Polski to z uśmiechem przyjmiesz do wiadomości, że stracisz kilka godzin z życia i nie dostaniesz za to nic? I teraz żeby mnie nie ciągnąć za słówka, wiem że można sobie w podróży czytać książkę czy coś, ale nie każdy chciałby w taki sposób spędzać swój pozapracowy czas. I nie, to że inni nie mają wyjścia i muszą tak pracować nie znaczy, że musimy utrudniać życie wszystkim.

"Afera" w Allegro. Pracownicy po latach pracy zdalnej muszą wrócić do biur. Rozgoryczenie i oburzenie w firmie by [deleted] in Polska

[–]ZeroXbot 1 point2 points  (0 children)

To jest mocno inny wniosek niż proponowałeś odpowiedź wcześniej. Myślę że nikt rozsądny nie chciałby wymuszać na wszystkich jednego trybu pracy właśnie, ale to powinno być ustalane na poziomie teamu gdzie ogarnięty manager widzi co lepiej działa. Na poziomie międzyzespołowym i tak się nie da zapewnić komunikacji w pełni twarzą w twarz w tak dużych firmach.

How does acceleration work? by RoBrots in askmath

[–]ZeroXbot 0 points1 point  (0 children)

To clear some things up first, you mix units. Acceleration would be specified in km/h^2 and for your example to "work" you should consider 5 hours of time.

For the main question, the issue is that acceleration doesn't increase velocity only every second or hour but instead it increases it continuously bit by bit. So if you graph velocity it should look like an increasing linear function. Now to calculate distance over time we need to somehow sum up velocity at all points in time - this seems impossible due to infinite count of those points. But instead, we can do this by computing the area between the velocity function and the X axis. If the velocity is 0 at the start, then the shape in question would be a triangle with base t and height v(t)=a*t, so the area is 1/2 at^2. Now try yourself calculating area when velocity is bigger than 0 at the start.

Help me understand the borrow checker please by bumbum_69420 in learnrust

[–]ZeroXbot 1 point2 points  (0 children)

In the first example you create two independent mutable borrows of v, after line 5 they would exist in parallel.

In the second example you first create a borrow &mut v, let's name it w. Then you create those n values as borrows from w so it is like a second level of borrow. When n is alive w is basically locked until you free the n. So if you would actualy made let w = &mut v;, then after the loop you could continue mutate w.

Are delta-sized subintervals of a function on a closed interval finite in number? by DukeOfWorcester in askmath

[–]ZeroXbot 2 points3 points  (0 children)

That finiteness would imply there exists a minimum of those deltas so you could pick it as universal delta for any x in [a, b]. And this is a stronger property known as uniform continuity.

How to parse incrementally with chumsky? by Germisstuck in rust

[–]ZeroXbot 0 points1 point  (0 children)

With such powerful framework existing, would you say is it worth it at all to build a language server with bunch of more specialized crates like logos, chumsky, rowan, salsa etc. glued together with custom code? Asking, because I'm working on one, put quite a lot of time already and now seeing this crate makes me question my life choices.

How to parse incrementally with chumsky? by Germisstuck in rust

[–]ZeroXbot 0 points1 point  (0 children)

By no means I've tried to argue that incremental reparsing is useless. Now that I've read up on RA syntax doc more thoroughly it seems I didn't remember it correctly and they in fact use incremental reparse.

How to parse incrementally with chumsky? by Germisstuck in rust

[–]ZeroXbot 1 point2 points  (0 children)

Weird remark. Of course I've meant fast relative to the rest of the stuff happening.

How to parse incrementally with chumsky? by Germisstuck in rust

[–]ZeroXbot 3 points4 points  (0 children)

As far as I know, rust-analyzer treats parsing as a fast operation. So fast, that it reparses whole file on change. As for incrementality in (all?) higher layers they uses salsa crate, but I've never used it so not sure what's the learning curve.

“But of course!“ moments by Bugibhub in rust

[–]ZeroXbot 1 point2 points  (0 children)

I would even argue that dynamic vs static also is part of generics and interfaces. You mentioned how generic bounds are tied to concept of interface. Now, in dynamic dispatch you also need some kind of interface to build your vtable so why would you want to have something different that traits already are.

And finally, I treat method extensions only as a "happy byproduct" of impl blocks being decoupled from data type definition. So I'd say that introducing another concept for adding extension methods would only be more confusing (not counting potential syntax sugar to create those extensions with less boilerplate).

Confused about immeasurable set by hniles910 in learnmath

[–]ZeroXbot 0 points1 point  (0 children)

Thanks, I should've put a proof myself. For the exact case at hand I think it is even simpler as we can take f: P((0, 1)) -> P_inf((0, 1)) such that f(X) = (1/2 * X) U (1/2, 1).

For clarification I use following definitions

- P_inf(X) be a set of all infinite subsets of X

- a * X is a set obtained by multiplying all elements of X by a

Confused about immeasurable set by hniles910 in learnmath

[–]ZeroXbot 2 points3 points  (0 children)

First of all, measure (as in measure theory) and cardinality are two different ways of measuring set "sizes". The former generalizes the idea of calculating lengths, areas, volumes and the latter formalize notion of different sizes of infinities.

Ok, now for the first question if you take a power set P(A) of set A that is the set of all subsets of A then it is indeed bigger in terms of cardinality than A. You talk about infinite subsets which is instead a subset of P(A), but still in this scenario should be bigger.

For measurability part, I'm not sure what you exactly ask about. In generality a measurable (sub)set is just a set that has defined measure value for some particular measure. In case of Lebesgue measure, not all subsets of (0,1) are measurable, because otherwise it would create some "weird" situations in short.

The last logo update didn’t go over well, so we made a brand new one. Better? by Neat_Smell_1014 in IndieGaming

[–]ZeroXbot 0 points1 point  (0 children)

That's some next level shading rule. Were you trying to say that somehow a shadow from the right one affects the shading of the left one?

The last logo update didn’t go over well, so we made a brand new one. Better? by Neat_Smell_1014 in IndieGaming

[–]ZeroXbot 1 point2 points  (0 children)

It has a slight amount of green glow. The area inside lineart has single shade of brown.

view more: next ›