I hereby claim:
- I am sadraskol on github.
- I am sadraskol (https://keybase.io/sadraskol) on keybase.
- I have a public key ASBGMzHTZkzBUeEDhkHfIMzkU8hyCzP0j8RZtBHK1mOWigo
To claim this, I am signing this object:
Thomas Bracher sadraskol
sadraskol
/ SimpleReservation.tla
Created
November 12, 2020 21:27
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -------------------------- MODULE DullReservation -------------------------- | |
| EXTENDS Naturals, FiniteSets | |
| VARIABLE reservations | |
| Coaches == { "A", "B" } | |
| SeatNumbers == 1..10 | |
| Seats == Coaches \X SeatNumbers | |
| 70PercentTrainOccupation == (70 * Cardinality(Seats)) \div 100 |
sadraskol
/ LessDullReservation.tla
Created
November 12, 2020 21:05
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -------------------------- MODULE LessDullReservation -------------------------- | |
| EXTENDS Naturals, FiniteSets | |
| VARIABLE reservations | |
| Coaches == { "A", "B" } | |
| SeatNumbers == 1..10 | |
| Seats == Coaches \X SeatNumbers | |
| 70PercentTrainOccupation == (70 * Cardinality(Seats)) \div 100 |
sadraskol
/ DullReservation.tla
Last active
November 12, 2020 21:04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -------------------------- MODULE DullReservation -------------------------- | |
| EXTENDS Naturals | |
| VARIABLE reservations | |
| Coaches == { "A", "B" } | |
| SeatNumbers == 1..10 | |
| Seats == Coaches \X SeatNumbers | |
| ---- |
sadraskol
/ gilded-rose.als
Last active
June 4, 2020 13:16
Gilded rose with higher level specification
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open util/ordering [Time] | |
| sig Time {} | |
| abstract sig Item { | |
| sellIn: Int one -> Time, | |
| quality: Quality one -> Time | |
| } | |
| one sig AgedBrie extends Item {} | |
| one sig BackstagePass extends Item {} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open util/ordering [Time] | |
| sig Time {} | |
| abstract sig Item { | |
| quality: Int one -> Time, | |
| sellIn: Int one -> Time | |
| } | |
| sig AgedBrie extends Item {} | |
| sig BackstagePass extends Item {} |
sadraskol
/ keybase.md
Last active
November 11, 2022 00:05
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This file has been auto-generated by i3-config-wizard(1). | |
| # It will not be overwritten, so edit it as you like. | |
| # | |
| # Should you change your keyboard layout some time, delete | |
| # this file and re-run i3-config-wizard(1). | |
| # | |
| # i3 config file (v4) | |
| # | |
| # Please see https://i3wm.org/docs/userguide.html for a complete reference! |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <bookable yoid="56167d3de4b09d3daa624cea" class="medium-insert-bookable medium-insert-bookable-wide" data-href="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break-in-2016/5705/activities/ACT3013"> | |
| <figure data-click="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break-in-2016/5705/activities/ACT3013" data-mp-event="Clicked Book Now" data-mp-type="BookableActivity" data-mp-url="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break-in-2016/5705/activities/ACT3013" gtm-action="Navigate to Activity Page" gtm-category="Story Page" gtm-click="" gtm-label="Clicked Hotel Image from Story"> | |
| <img src="https://yonderbound.imgix.net/uploads/bookable_activity/pictures/95ce22f3-a116-4b10-9d12-465a1c4d4d19/img_1444314429422.jpg?ixlib=rails-1.1.0&w=600&h=380&fit=crop&crop=entropy&fm=pjpg&s=35e41823eb8fca3f60df9bd7a6f81891"> | |
| </figure> | |
| <div class="bookable-info"> | |
| <div data-click="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break- |
sadraskol
/ 99-bottles.ex
Created
November 11, 2015 02:02
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| defmodule DrunkMan do | |
| def bottle(0), do: "no more bottles" | |
| def bottle(1), do: "1 bottle" | |
| def bottle(n), do: to_string(n) <>" bottles" | |
| def verse(0), do: "No more bottles of beer on the wall, no more bottles of beer. | |
| Go to the store and buy some more, 99 bottles of beer on the wall." | |
| def verse(n), do: "#{DrunkMan.bottle n} of beer on the wall, #{DrunkMan.bottle n} of beer. | |
| Take one down and pass it around, #{DrunkMan.bottle(n - 1)} of beer on the wall.\n" |
sadraskol
/ curl-response
Created
October 6, 2015 08:55
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ curl -i http://localhost:8181/surv-karaf/monitor.jsp | |
| HTTP/1.1 500 Server Error | |
| Content-Type: text/html;charset=ISO-8859-1 | |
| Cache-Control: must-revalidate,no-cache,no-store | |
| Content-Length: 5191 | |
| Server: Jetty(8.1.17.v20150415) | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/> |