Szukana fraza: Autor: Maciej Sobczak <s...@g...com>
Znaleziono: 850 wiadomości
-
Re: Formal Methods Toolkit
2018-05-05 21:45:05 autor: Maciej Sobczak
> Czy to jest po prostu nowy język programowania Sprawa jest bardziej złożona. Nie jest to zupełnie nowy język, bo wykorzystuje gramatykę języka Wolfram. Tzn. każda konstrukcja ... [ więcej ]
grupa: pl.comp.programming
-
Możliwość pokrycia testami dla wyrażeń logicznych
2018-06-12 12:46:12 autor: Maciej Sobczak
Całkiem ta grupa zdechła, czy jest jeszcze nadzieja? :-) Jest taki temat jak generowanie testów i są też różne stopnie pokrycia testami, które się definiuje (i wymaga) w ... [ więcej ]
grupa: pl.comp.programming
-
Re: [OT] Możliwość pokrycia testami dla wyrażeń logicznych
2018-06-12 23:38:44 autor: Maciej Sobczak
Zaryzykuję odpowiedź... > domyślam się, że coś takiego nie da się zrobić: > 0001 > 0010 > 0100 > 1000 Takie coś *należy* zrobić, żeby przetestować ORa na 4 ... [ więcej ]
grupa: pl.comp.programming
-
Re: Możliwość pokrycia testami dla wyrażeń logicznych
2018-06-14 12:00:06 autor: Maciej Sobczak
> Oni tam mają bardziej statystyczne podejście do > problemów jakości. Ciekawe. To może być związane z mindsetem hardware'owym, gdzie awarie wynikają nie tylko z ... [ więcej ]
grupa: pl.comp.programming
-
Re: so i learned lisp ;c
2018-06-30 19:55:08 autor: Maciej Sobczak
> I tu arcyciekawe: czy w Lisp napisano jakikolwiek program, który > jest OBECNIE używany przez Zwykłych Użytkowników? Ponieważ nie zdefiniowałeś pojęcia "Zwykły ... [ więcej ]
grupa: pl.comp.programming
-
EDC Hackathon 2018
2018-07-01 22:58:46 autor: Maciej Sobczak
http://www.edc.pl/hackathon -- Maciej Sobczak [ więcej ]
grupa: pl.comp.programming
-
Re: Szybkie znalezienie zestawu branek w obwodzie
2018-07-19 22:48:33 autor: Maciej Sobczak
On Thursday, July 19, 2018 at 9:25:12 PM UTC+2, Borneq wrote: > Knuth pisał, że jego program znalazł, 10 czy 11 bramek, mniej o jedną > niż myślał że obwód potrzebuje. To ... [ więcej ]
grupa: pl.comp.programming
-
Re: Szybkie znalezienie zestawu bramek w obwodzie
2018-07-20 23:14:46 autor: Maciej Sobczak
> Mam znaleźć ileś bramek, by pasowały do tabeli prawdy. > Jak teraz widzę, najpierw tworzy się zgrubne przybliżenie - obwód który > ma wielokrotnie więcej niż trzeba, ... [ więcej ]
grupa: pl.comp.programming
-
EDC Hackathon
2018-07-25 16:21:36 autor: Maciej Sobczak
Ponownie wrzuta, mamy więcej szczegółów do pokazania: https://www.facebook.com/events/2384102902799 79/ http://www.edc.pl/hackathon Ten hackathon jest imprezą dla miłośników ... [ więcej ]
grupa: pl.comp.programming
-
Re: List do programistamag.pl
2018-07-26 09:15:19 autor: Maciej Sobczak
> Ma tę zaletę, > że da się go pisać i czytać w zwykłych edytorach tekstowych, > co dla mnie było wygodne, jak pisałem swój "Pamphlet against R" > i pracę ... [ więcej ]
grupa: pl.comp.programming